MCC'2024- Execution of r255-tall-171654364600092

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
0.000	561547.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-171654364600092.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-S32C02, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r255-tall-171654364600092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K 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.4K 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 24K Apr 12 05:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Apr 12 05:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 12 05:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 12 05:37 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 16M 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 1716629699220

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-S32C02
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202405141337
[2024-05-25 09:35:00] [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:35:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 09:35:01] [INFO ] Load time of PNML (sax parser for PT used): 794 ms
[2024-05-25 09:35:01] [INFO ] Transformed 13544 places.
[2024-05-25 09:35:01] [INFO ] Transformed 21807 transitions.
[2024-05-25 09:35:01] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 1037 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Reduce places removed 40 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2112 transitions
Trivial Post-agglo rules discarded 2112 transitions
Performed 2112 trivial Post agglomeration. Transition count delta: 2112
Iterating post reduction 0 with 2152 rules applied. Total rules applied 2152 place count 13504 transition count 19695
Reduce places removed 2112 places and 0 transitions.
Iterating post reduction 1 with 2112 rules applied. Total rules applied 4264 place count 11392 transition count 19695
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 4264 place count 11392 transition count 19563
Deduced a syphon composed of 132 places in 67 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 4528 place count 11260 transition count 19563
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 20 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 4594 place count 11227 transition count 19530
Applied a total of 4594 rules in 1218 ms. Remains 11227 /13544 variables (removed 2317) and now considering 19530/21807 (removed 2277) transitions.
[2024-05-25 09:35:02] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11227 cols
[2024-05-25 09:35:04] [INFO ] Computed 1293 invariants in 1603 ms
[2024-05-25 09:35:36] [INFO ] Performed 6564/11227 implicitness test of which 728 returned IMPLICIT in 30 seconds.
[2024-05-25 09:35:57] [INFO ] Implicit Places using invariants in 54837 ms returned [4, 7, 13, 21, 31, 43, 57, 73, 91, 111, 133, 157, 183, 211, 241, 273, 307, 342, 376, 408, 438, 466, 492, 516, 538, 558, 576, 592, 606, 618, 628, 636, 642, 652, 658, 663, 669, 677, 687, 699, 713, 729, 747, 767, 789, 813, 839, 867, 897, 929, 962, 994, 1024, 1052, 1078, 1102, 1124, 1144, 1162, 1178, 1192, 1204, 1214, 1222, 1228, 1233, 1243, 1249, 1254, 1259, 1265, 1273, 1283, 1295, 1309, 1325, 1343, 1363, 1385, 1409, 1435, 1463, 1493, 1524, 1554, 1582, 1608, 1632, 1654, 1674, 1692, 1708, 1722, 1734, 1744, 1752, 1758, 1763, 1768, 1778, 1784, 1789, 1794, 1799, 1805, 1813, 1823, 1835, 1849, 1865, 1883, 1903, 1925, 1949, 1975, 2003, 2032, 2060, 2086, 2110, 2132, 2152, 2170, 2186, 2200, 2212, 2222, 2230, 2236, 2241, 2246, 2251, 2261, 2267, 2272, 2277, 2282, 2287, 2293, 2301, 2311, 2323, 2337, 2353, 2371, 2391, 2413, 2437, 2463, 2490, 2516, 2540, 2562, 2582, 2600, 2616, 2630, 2642, 2652, 2660, 2666, 2671, 2676, 2681, 2686, 2696, 2702, 2707, 2712, 2717, 2722, 2727, 2733, 2741, 2751, 2763, 2777, 2793, 2811, 2831, 2853, 2877, 2902, 2926, 2948, 2968, 2986, 3002, 3016, 3028, 3038, 3046, 3052, 3057, 3062, 3067, 3072, 3077, 3087, 3093, 3098, 3103, 3108, 3113, 3118, 3123, 3129, 3137, 3147, 3159, 3173, 3189, 3207, 3227, 3249, 3272, 3294, 3314, 3332, 3348, 3362, 3374, 3384, 3392, 3398, 3403, 3408, 3413, 3418, 3423, 3428, 3438, 3444, 3449, 3454, 3459, 3464, 3469, 3474, 3479, 3485, 3493, 3503, 3515, 3529, 3545, 3563, 3583, 3604, 3624, 3642, 3658, 3672, 3684, 3694, 3702, 3708, 3713, 3718, 3723, 3728, 3733, 3738, 3743, 3753, 3759, 3764, 3769, 3774, 3779, 3784, 3789, 3794, 3799, 3805, 3813, 3823, 3835, 3849, 3865, 3883, 3902, 3920, 3936, 3950, 3962, 3972, 3980, 3986, 3991, 3996, 4001, 4006, 4011, 4016, 4021, 4026, 4036, 4042, 4047, 4052, 4057, 4062, 4067, 4072, 4077, 4082, 4087, 4093, 4101, 4111, 4123, 4137, 4153, 4170, 4186, 4200, 4212, 4222, 4230, 4236, 4241, 4246, 4251, 4256, 4261, 4266, 4271, 4276, 4281, 4291, 4297, 4302, 4307, 4312, 4317, 4322, 4327, 4332, 4337, 4342, 4347, 4353, 4361, 4371, 4383, 4397, 4412, 4426, 4438, 4448, 4456, 4462, 4467, 4472, 4477, 4482, 4487, 4492, 4497, 4502, 4507, 4512, 4522, 4528, 4533, 4538, 4543, 4548, 4553, 4558, 4563, 4568, 4573, 4578, 4583, 4589, 4597, 4607, 4619, 4632, 4644, 4654, 4662, 4668, 4673, 4678, 4683, 4688, 4693, 4698, 4703, 4708, 4713, 4718, 4723, 4733, 4739, 4744, 4749, 4754, 4759, 4764, 4769, 4774, 4779, 4784, 4789, 4794, 4799, 4805, 4813, 4823, 4834, 4844, 4852, 4858, 4863, 4868, 4873, 4878, 4883, 4888, 4893, 4898, 4903, 4908, 4913, 4918, 4928, 4934, 4939, 4944, 4949, 4954, 4959, 4964, 4969, 4974, 4979, 4984, 4989, 4994, 4999, 5005, 5013, 5022, 5030, 5036, 5041, 5046, 5051, 5056, 5061, 5066, 5071, 5076, 5081, 5086, 5091, 5096, 5101, 5111, 5117, 5122, 5127, 5132, 5137, 5142, 5147, 5152, 5157, 5162, 5167, 5172, 5177, 5182, 5187, 5193, 5200, 5206, 5211, 5216, 5221, 5226, 5231, 5236, 5241, 5246, 5251, 5256, 5261, 5266, 5271, 5276, 5286, 5292, 5297, 5302, 5307, 5312, 5317, 5322, 5327, 5332, 5337, 5342, 5347, 5352, 5357, 5362, 5367, 5372, 5377, 5382, 5387, 5392, 5397, 5402, 5407, 5412, 5417, 5422, 5427, 5432, 5437, 5442, 5447, 5457, 5459, 5462, 5467, 5472, 5477, 5482, 5487, 5492, 5497, 5502, 5507, 5512, 5517, 5522, 5527, 5532, 5537, 5542, 5547, 5552, 5557, 5562, 5567, 5572, 5577, 5582, 5587, 5592, 5597, 5602, 5607, 5612, 5617, 5627, 5633, 5638, 5643, 5648, 5653, 5658, 5663, 5668, 5673, 5678, 5683, 5688, 5693, 5698, 5703, 5708, 5713, 5718, 5723, 5728, 5733, 5738, 5743, 5748, 5753, 5758, 5763, 5768, 5773, 5778, 5783, 5788, 5798, 5804, 5809, 5814, 5819, 5824, 5829, 5834, 5839, 5844, 5849, 5854, 5859, 5864, 5869, 5874, 5879, 5885, 5892, 5898, 5903, 5908, 5913, 5918, 5923, 5928, 5933, 5938, 5943, 5948, 5953, 5958, 5963, 5973, 5979, 5984, 5989, 5994, 5999, 6004, 6009, 6014, 6019, 6024, 6029, 6034, 6039, 6044, 6049, 6055, 6063, 6072, 6080, 6086, 6091, 6096, 6101, 6106, 6111, 6116, 6121, 6126, 6131, 6136, 6141, 6146, 6156, 6162, 6167, 6172, 6177, 6182, 6187, 6192, 6197, 6202, 6207, 6212, 6217, 6222, 6227, 6233, 6241, 6251, 6262, 6272, 6280, 6286, 6291, 6296, 6301, 6306, 6311, 6316, 6321, 6326, 6331, 6336, 6341, 6351, 6357, 6362, 6367, 6372, 6377, 6382, 6387, 6392, 6397, 6402, 6407, 6412, 6417, 6423, 6431, 6441, 6453, 6466, 6478, 6488, 6496, 6502, 6507, 6512, 6517, 6522, 6527, 6532, 6537, 6542, 6547, 6552, 6562, 6568, 6573, 6578, 6583, 6588, 6593, 6598, 6603, 6608, 6613, 6618, 6623, 6629, 6637, 6647, 6659, 6673, 6688, 6702, 6714, 6724, 6732, 6738, 6743, 6748, 6753, 6758, 6763, 6768, 6773, 6778, 6783, 6793, 6799, 6804, 6809, 6814, 6819, 6824, 6829, 6834, 6839, 6844, 6849, 6855, 6863, 6873, 6885, 6899, 6915, 6932, 6948, 6962, 6974, 6984, 6992, 6998, 7003, 7008, 7013, 7018, 7023, 7028, 7033, 7038, 7048, 7054, 7059, 7064, 7069, 7074, 7079, 7084, 7089, 7094, 7099, 7105, 7113, 7123, 7135, 7149, 7165, 7183, 7202, 7220, 7236, 7250, 7262, 7272, 7280, 7286, 7291, 7296, 7301, 7306, 7311, 7316, 7321, 7331, 7337, 7342, 7347, 7352, 7357, 7362, 7367, 7372, 7377, 7383, 7391, 7401, 7413, 7427, 7443, 7461, 7481, 7502, 7522, 7540, 7556, 7570, 7582, 7592, 7600, 7606, 7611, 7616, 7621, 7626, 7631, 7636, 7646, 7652, 7657, 7662, 7667, 7672, 7677, 7682, 7687, 7693, 7701, 7711, 7723, 7737, 7753, 7771, 7791, 7813, 7836, 7858, 7878, 7896, 7912, 7926, 7938, 7948, 7956, 7962, 7967, 7972, 7977, 7982, 7987, 7997, 8003, 8008, 8013, 8018, 8023, 8028, 8033, 8039, 8047, 8057, 8069, 8083, 8099, 8117, 8137, 8159, 8183, 8208, 8232, 8254, 8274, 8292, 8308, 8322, 8334, 8344, 8352, 8358, 8363, 8368, 8373, 8378, 8388, 8394, 8399, 8404, 8409, 8414, 8419, 8425, 8433, 8443, 8455, 8469, 8485, 8503, 8523, 8545, 8569, 8595, 8622, 8648, 8672, 8694, 8714, 8732, 8748, 8762, 8774, 8784, 8792, 8798, 8803, 8808, 8813, 8823, 8829, 8834, 8839, 8844, 8849, 8855, 8863, 8873, 8885, 8899, 8915, 8933, 8953, 8975, 8999, 9025, 9053, 9082, 9110, 9136, 9160, 9182, 9202, 9220, 9236, 9250, 9262, 9272, 9280, 9286, 9291, 9296, 9306, 9312, 9317, 9322, 9327, 9333, 9341, 9351, 9363, 9377, 9393, 9411, 9431, 9453, 9477, 9503, 9531, 9561, 9592, 9622, 9650, 9676, 9700, 9722, 9742, 9760, 9776, 9790, 9802, 9812, 9820, 9826, 9831, 9841, 9847, 9852, 9857, 9863, 9871, 9881, 9893, 9907, 9923, 9941, 9961, 9983, 10007, 10033, 10061, 10091, 10123, 10156, 10188, 10218, 10246, 10272, 10296, 10318, 10338, 10356, 10372, 10386, 10398, 10408, 10416, 10422, 10432, 10434, 10437, 10442, 10448, 10456, 10466, 10478, 10492, 10508, 10526, 10546, 10568, 10592, 10618, 10646, 10676, 10708, 10742, 10777, 10811, 10843, 10873, 10901, 10927, 10951, 10973, 10993, 11011, 11027, 11041, 11053, 11063, 11071, 11082]
[2024-05-25 09:35:57] [INFO ] Actually due to overlaps returned [652, 1243, 1778, 2261, 2696, 3087, 3438, 3753, 4036, 4291, 4522, 4733, 4928, 5111, 5286, 5457, 5627, 5798, 5973, 6156, 6351, 6562, 6793, 7048, 7331, 7646, 7997, 8388, 8823, 9306, 9841, 10432, 11082, 4, 5459, 10434]
Discarding 36 places :
Implicit Place search using SMT only with invariants took 55029 ms to find 36 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 11191/13544 places, 19530/21807 transitions.
Applied a total of 0 rules in 113 ms. Remains 11191 /11191 variables (removed 0) and now considering 19530/19530 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 56383 ms. Remains : 11191/13544 places, 19530/21807 transitions.
Initial state reduction rules removed 33 formulas.
[2024-05-25 09:36:01] [INFO ] Flatten gal took : 1305 ms
RANDOM walk for 40000 steps (2335 resets) in 13428 ms. (2 steps per ms) remains 18530/19497 properties
BEST_FIRST walk for 124 steps (0 resets) in 91 ms. (1 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 48 ms. (2 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 30 ms. (4 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 65 ms. (1 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 67 ms. (1 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 44 ms. (2 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 47 ms. (2 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 18530/18530 properties
[2024-05-25 09:36:02] [INFO ] Flatten gal took : 1031 ms
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 30 ms. (4 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 18530/18530 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18530/18530 properties
[2024-05-25 09:36:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10700910401265149686.gal : 243 ms
[2024-05-25 09:36:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12745279191855296081.prop : 82 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/ReachabilityCardinality10700910401265149686.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12745279191855296081.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 ...330
Loading property file /tmp/ReachabilityCardinality12745279191855296081.prop.
Interrupted probabilistic random walk after 12321 steps, run timeout after 12001 ms. (steps per millisecond=1 ) properties seen :3428 out of 18530
Probabilistic random walk after 12321 steps, saw 5724 distinct states, run finished after 12011 ms. (steps per millisecond=1 ) properties seen :3428
[2024-05-25 09:36:15] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11191 cols
[2024-05-25 09:36:16] [INFO ] Computed 1257 invariants in 1331 ms
[2024-05-25 09:36:16] [INFO ] State equation strengthened by 7042 read => feed constraints.
SMT process timed out in 44402ms, After SMT, problems are : Problem set: 0 solved, 15102 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8830 out of 11191 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11191/11191 places, 19530/19530 transitions.
Discarding 990 places :
Symmetric choice reduction at 0 with 990 rule applications. Total rules 990 place count 10201 transition count 18540
Iterating global reduction 0 with 990 rules applied. Total rules applied 1980 place count 10201 transition count 18540
Discarding 132 places :
Symmetric choice reduction at 0 with 132 rule applications. Total rules 2112 place count 10069 transition count 18276
Iterating global reduction 0 with 132 rules applied. Total rules applied 2244 place count 10069 transition count 18276
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 2245 place count 10069 transition count 18275
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2246 place count 10068 transition count 18275
Applied a total of 2246 rules in 2051 ms. Remains 10068 /11191 variables (removed 1123) and now considering 18275/19530 (removed 1255) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2054 ms. Remains : 10068/11191 places, 18275/19530 transitions.
RANDOM walk for 719830 steps (40572 resets) in 120010 ms. (5 steps per ms) remains 14314/15102 properties
BEST_FIRST walk for 4004 steps (24 resets) in 570 ms. (7 steps per ms) remains 14292/14314 properties
BEST_FIRST walk for 4004 steps (24 resets) in 587 ms. (6 steps per ms) remains 14278/14292 properties
BEST_FIRST walk for 4004 steps (24 resets) in 625 ms. (6 steps per ms) remains 14269/14278 properties
BEST_FIRST walk for 4004 steps (24 resets) in 617 ms. (6 steps per ms) remains 14266/14269 properties
BEST_FIRST walk for 4004 steps (24 resets) in 566 ms. (7 steps per ms) remains 14263/14266 properties
BEST_FIRST walk for 4004 steps (24 resets) in 577 ms. (6 steps per ms) remains 14257/14263 properties
BEST_FIRST walk for 4004 steps (24 resets) in 582 ms. (6 steps per ms) remains 14257/14257 properties
BEST_FIRST walk for 4004 steps (24 resets) in 541 ms. (7 steps per ms) remains 14256/14257 properties
BEST_FIRST walk for 4004 steps (24 resets) in 549 ms. (7 steps per ms) remains 14254/14256 properties
BEST_FIRST walk for 4004 steps (24 resets) in 590 ms. (6 steps per ms) remains 14254/14254 properties
BEST_FIRST walk for 4004 steps (24 resets) in 598 ms. (6 steps per ms) remains 14252/14254 properties
BEST_FIRST walk for 4004 steps (24 resets) in 614 ms. (6 steps per ms) remains 14247/14252 properties
BEST_FIRST walk for 4004 steps (24 resets) in 617 ms. (6 steps per ms) remains 14247/14247 properties
BEST_FIRST walk for 4004 steps (24 resets) in 568 ms. (7 steps per ms) remains 14244/14247 properties
BEST_FIRST walk for 4004 steps (24 resets) in 626 ms. (6 steps per ms) remains 14244/14244 properties
BEST_FIRST walk for 4004 steps (24 resets) in 579 ms. (6 steps per ms) remains 14244/14244 properties
BEST_FIRST walk for 4004 steps (24 resets) in 575 ms. (6 steps per ms) remains 14244/14244 properties
BEST_FIRST walk for 4004 steps (24 resets) in 560 ms. (7 steps per ms) remains 14244/14244 properties
BEST_FIRST walk for 4004 steps (24 resets) in 580 ms. (6 steps per ms) remains 14244/14244 properties
BEST_FIRST walk for 4004 steps (24 resets) in 563 ms. (7 steps per ms) remains 14242/14244 properties
BEST_FIRST walk for 4004 steps (24 resets) in 589 ms. (6 steps per ms) remains 14240/14242 properties
BEST_FIRST walk for 4004 steps (24 resets) in 545 ms. (7 steps per ms) remains 14240/14240 properties
BEST_FIRST walk for 4004 steps (24 resets) in 581 ms. (6 steps per ms) remains 14240/14240 properties
BEST_FIRST walk for 4004 steps (24 resets) in 577 ms. (6 steps per ms) remains 14238/14240 properties
BEST_FIRST walk for 4004 steps (24 resets) in 582 ms. (6 steps per ms) remains 14238/14238 properties
BEST_FIRST walk for 4004 steps (24 resets) in 536 ms. (7 steps per ms) remains 14238/14238 properties
BEST_FIRST walk for 4004 steps (24 resets) in 575 ms. (6 steps per ms) remains 14238/14238 properties
BEST_FIRST walk for 4004 steps (24 resets) in 588 ms. (6 steps per ms) remains 14238/14238 properties
BEST_FIRST walk for 4004 steps (24 resets) in 588 ms. (6 steps per ms) remains 14238/14238 properties
BEST_FIRST walk for 4004 steps (24 resets) in 551 ms. (7 steps per ms) remains 14238/14238 properties
BEST_FIRST walk for 4004 steps (22 resets) in 549 ms. (7 steps per ms) remains 14222/14238 properties
BEST_FIRST walk for 4004 steps (22 resets) in 522 ms. (7 steps per ms) remains 14199/14222 properties
BEST_FIRST walk for 4004 steps (20 resets) in 446 ms. (8 steps per ms) remains 14197/14199 properties
BEST_FIRST walk for 4003 steps (20 resets) in 427 ms. (9 steps per ms) remains 14164/14197 properties
BEST_FIRST walk for 4003 steps (22 resets) in 506 ms. (7 steps per ms) remains 14150/14164 properties
BEST_FIRST walk for 4002 steps (20 resets) in 431 ms. (9 steps per ms) remains 14150/14150 properties
BEST_FIRST walk for 4003 steps (20 resets) in 496 ms. (8 steps per ms) remains 14114/14150 properties
BEST_FIRST walk for 4004 steps (20 resets) in 442 ms. (9 steps per ms) remains 14108/14114 properties
BEST_FIRST walk for 4003 steps (20 resets) in 416 ms. (9 steps per ms) remains 14088/14108 properties
BEST_FIRST walk for 4004 steps (20 resets) in 495 ms. (8 steps per ms) remains 14079/14088 properties
BEST_FIRST walk for 4004 steps (20 resets) in 510 ms. (7 steps per ms) remains 14077/14079 properties
BEST_FIRST walk for 4004 steps (20 resets) in 437 ms. (9 steps per ms) remains 14047/14077 properties
BEST_FIRST walk for 4004 steps (20 resets) in 391 ms. (10 steps per ms) remains 14045/14047 properties
BEST_FIRST walk for 4004 steps (20 resets) in 473 ms. (8 steps per ms) remains 14025/14045 properties
BEST_FIRST walk for 4004 steps (20 resets) in 467 ms. (8 steps per ms) remains 14022/14025 properties
BEST_FIRST walk for 4003 steps (20 resets) in 451 ms. (8 steps per ms) remains 14005/14022 properties
BEST_FIRST walk for 4004 steps (21 resets) in 454 ms. (8 steps per ms) remains 13989/14005 properties
BEST_FIRST walk for 4003 steps (20 resets) in 426 ms. (9 steps per ms) remains 13989/13989 properties
BEST_FIRST walk for 4003 steps (20 resets) in 482 ms. (8 steps per ms) remains 13975/13989 properties
BEST_FIRST walk for 4004 steps (20 resets) in 454 ms. (8 steps per ms) remains 13973/13975 properties
BEST_FIRST walk for 4004 steps (20 resets) in 448 ms. (8 steps per ms) remains 13960/13973 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 13960/13960 properties
BEST_FIRST walk for 4004 steps (19 resets) in 478 ms. (8 steps per ms) remains 13944/13960 properties
BEST_FIRST walk for 4004 steps (20 resets) in 445 ms. (8 steps per ms) remains 13942/13944 properties
BEST_FIRST walk for 4002 steps (20 resets) in 499 ms. (8 steps per ms) remains 13929/13942 properties
BEST_FIRST walk for 4004 steps (23 resets) in 550 ms. (7 steps per ms) remains 13915/13929 properties
BEST_FIRST walk for 4004 steps (20 resets) in 450 ms. (8 steps per ms) remains 13911/13915 properties
BEST_FIRST walk for 4004 steps (20 resets) in 507 ms. (7 steps per ms) remains 13906/13911 properties
BEST_FIRST walk for 4004 steps (20 resets) in 429 ms. (9 steps per ms) remains 13906/13906 properties
BEST_FIRST walk for 4004 steps (20 resets) in 465 ms. (8 steps per ms) remains 13894/13906 properties
BEST_FIRST walk for 4004 steps (18 resets) in 472 ms. (8 steps per ms) remains 13894/13894 properties
BEST_FIRST walk for 4003 steps (19 resets) in 603 ms. (6 steps per ms) remains 13886/13894 properties
BEST_FIRST walk for 4004 steps (19 resets) in 432 ms. (9 steps per ms) remains 13883/13886 properties
BEST_FIRST walk for 4004 steps (20 resets) in 468 ms. (8 steps per ms) remains 13874/13883 properties
BEST_FIRST walk for 4003 steps (20 resets) in 478 ms. (8 steps per ms) remains 13874/13874 properties
BEST_FIRST walk for 4003 steps (20 resets) in 419 ms. (9 steps per ms) remains 13862/13874 properties
BEST_FIRST walk for 4003 steps (23 resets) in 556 ms. (7 steps per ms) remains 13852/13862 properties
BEST_FIRST walk for 4003 steps (20 resets) in 422 ms. (9 steps per ms) remains 13837/13852 properties
BEST_FIRST walk for 4003 steps (19 resets) in 430 ms. (9 steps per ms) remains 13820/13837 properties
BEST_FIRST walk for 4004 steps (20 resets) in 451 ms. (8 steps per ms) remains 13811/13820 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 13802/13811 properties
BEST_FIRST walk for 4004 steps (20 resets) in 414 ms. (9 steps per ms) remains 13802/13802 properties
BEST_FIRST walk for 4003 steps (20 resets) in 453 ms. (8 steps per ms) remains 13794/13802 properties
BEST_FIRST walk for 4003 steps (20 resets) in 456 ms. (8 steps per ms) remains 13793/13794 properties
BEST_FIRST walk for 4002 steps (20 resets) in 449 ms. (8 steps per ms) remains 13782/13793 properties
BEST_FIRST walk for 4003 steps (20 resets) in 469 ms. (8 steps per ms) remains 13782/13782 properties
BEST_FIRST walk for 4004 steps (20 resets) in 480 ms. (8 steps per ms) remains 13772/13782 properties
BEST_FIRST walk for 4004 steps (20 resets) in 440 ms. (9 steps per ms) remains 13772/13772 properties
BEST_FIRST walk for 4003 steps (20 resets) in 467 ms. (8 steps per ms) remains 13761/13772 properties
BEST_FIRST walk for 4003 steps (22 resets) in 531 ms. (7 steps per ms) remains 13743/13761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 496 ms. (8 steps per ms) remains 13731/13743 properties
BEST_FIRST walk for 4003 steps (20 resets) in 512 ms. (7 steps per ms) remains 13726/13731 properties
BEST_FIRST walk for 4003 steps (20 resets) in 494 ms. (8 steps per ms) remains 13716/13726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 428 ms. (9 steps per ms) remains 13708/13716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 466 ms. (8 steps per ms) remains 13708/13708 properties
BEST_FIRST walk for 4004 steps (20 resets) in 496 ms. (8 steps per ms) remains 13702/13708 properties
BEST_FIRST walk for 4004 steps (20 resets) in 497 ms. (8 steps per ms) remains 13702/13702 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 13696/13702 properties
BEST_FIRST walk for 4004 steps (19 resets) in 483 ms. (8 steps per ms) remains 13696/13696 properties
BEST_FIRST walk for 4003 steps (20 resets) in 436 ms. (9 steps per ms) remains 13684/13696 properties
BEST_FIRST walk for 4004 steps (20 resets) in 509 ms. (7 steps per ms) remains 13683/13684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 470 ms. (8 steps per ms) remains 13675/13683 properties
BEST_FIRST walk for 4004 steps (20 resets) in 507 ms. (7 steps per ms) remains 13675/13675 properties
BEST_FIRST walk for 4002 steps (20 resets) in 487 ms. (8 steps per ms) remains 13666/13675 properties
BEST_FIRST walk for 4003 steps (21 resets) in 518 ms. (7 steps per ms) remains 13657/13666 properties
BEST_FIRST walk for 4004 steps (20 resets) in 497 ms. (8 steps per ms) remains 13644/13657 properties
BEST_FIRST walk for 4004 steps (20 resets) in 444 ms. (8 steps per ms) remains 13634/13644 properties
BEST_FIRST walk for 4004 steps (20 resets) in 455 ms. (8 steps per ms) remains 13624/13634 properties
BEST_FIRST walk for 4003 steps (20 resets) in 450 ms. (8 steps per ms) remains 13614/13624 properties
BEST_FIRST walk for 4003 steps (20 resets) in 431 ms. (9 steps per ms) remains 13609/13614 properties
BEST_FIRST walk for 4004 steps (20 resets) in 465 ms. (8 steps per ms) remains 13605/13609 properties
BEST_FIRST walk for 4003 steps (20 resets) in 435 ms. (9 steps per ms) remains 13603/13605 properties
BEST_FIRST walk for 4004 steps (20 resets) in 468 ms. (8 steps per ms) remains 13601/13603 properties
BEST_FIRST walk for 4004 steps (20 resets) in 422 ms. (9 steps per ms) remains 13598/13601 properties
BEST_FIRST walk for 4003 steps (20 resets) in 457 ms. (8 steps per ms) remains 13590/13598 properties
BEST_FIRST walk for 4002 steps (20 resets) in 440 ms. (9 steps per ms) remains 13590/13590 properties
BEST_FIRST walk for 4002 steps (20 resets) in 454 ms. (8 steps per ms) remains 13584/13590 properties
BEST_FIRST walk for 4003 steps (20 resets) in 463 ms. (8 steps per ms) remains 13584/13584 properties
BEST_FIRST walk for 4004 steps (20 resets) in 425 ms. (9 steps per ms) remains 13576/13584 properties
BEST_FIRST walk for 4004 steps (19 resets) in 439 ms. (9 steps per ms) remains 13574/13576 properties
BEST_FIRST walk for 4003 steps (20 resets) in 444 ms. (8 steps per ms) remains 13570/13574 properties
BEST_FIRST walk for 4004 steps (22 resets) in 487 ms. (8 steps per ms) remains 13563/13570 properties
BEST_FIRST walk for 4003 steps (20 resets) in 432 ms. (9 steps per ms) remains 13555/13563 properties
BEST_FIRST walk for 4003 steps (20 resets) in 419 ms. (9 steps per ms) remains 13550/13555 properties
BEST_FIRST walk for 4002 steps (20 resets) in 430 ms. (9 steps per ms) remains 13543/13550 properties
BEST_FIRST walk for 4004 steps (20 resets) in 476 ms. (8 steps per ms) remains 13540/13543 properties
BEST_FIRST walk for 4004 steps (20 resets) in 426 ms. (9 steps per ms) remains 13538/13540 properties
BEST_FIRST walk for 4004 steps (20 resets) in 515 ms. (7 steps per ms) remains 13534/13538 properties
BEST_FIRST walk for 4003 steps (20 resets) in 503 ms. (7 steps per ms) remains 13530/13534 properties
BEST_FIRST walk for 4003 steps (20 resets) in 494 ms. (8 steps per ms) remains 13520/13530 properties
BEST_FIRST walk for 4004 steps (20 resets) in 502 ms. (7 steps per ms) remains 13519/13520 properties
BEST_FIRST walk for 4003 steps (20 resets) in 448 ms. (8 steps per ms) remains 13516/13519 properties
BEST_FIRST walk for 4004 steps (20 resets) in 473 ms. (8 steps per ms) remains 13516/13516 properties
BEST_FIRST walk for 4004 steps (20 resets) in 500 ms. (7 steps per ms) remains 13512/13516 properties
BEST_FIRST walk for 4004 steps (19 resets) in 429 ms. (9 steps per ms) remains 13512/13512 properties
BEST_FIRST walk for 4003 steps (20 resets) in 514 ms. (7 steps per ms) remains 13507/13512 properties
BEST_FIRST walk for 4004 steps (20 resets) in 455 ms. (8 steps per ms) remains 13507/13507 properties
BEST_FIRST walk for 4003 steps (20 resets) in 428 ms. (9 steps per ms) remains 13504/13507 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 13504/13504 properties
BEST_FIRST walk for 4003 steps (20 resets) in 472 ms. (8 steps per ms) remains 13504/13504 properties
BEST_FIRST walk for 4004 steps (23 resets) in 550 ms. (7 steps per ms) remains 13491/13504 properties
BEST_FIRST walk for 4004 steps (20 resets) in 484 ms. (8 steps per ms) remains 13479/13491 properties
BEST_FIRST walk for 4003 steps (20 resets) in 492 ms. (8 steps per ms) remains 13471/13479 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 13468/13471 properties
BEST_FIRST walk for 4003 steps (20 resets) in 423 ms. (9 steps per ms) remains 13466/13468 properties
BEST_FIRST walk for 4002 steps (20 resets) in 413 ms. (9 steps per ms) remains 13464/13466 properties
BEST_FIRST walk for 4003 steps (20 resets) in 467 ms. (8 steps per ms) remains 13458/13464 properties
BEST_FIRST walk for 4004 steps (19 resets) in 455 ms. (8 steps per ms) remains 13454/13458 properties
BEST_FIRST walk for 4004 steps (20 resets) in 418 ms. (9 steps per ms) remains 13449/13454 properties
BEST_FIRST walk for 4004 steps (20 resets) in 447 ms. (8 steps per ms) remains 13448/13449 properties
BEST_FIRST walk for 4003 steps (20 resets) in 447 ms. (8 steps per ms) remains 13445/13448 properties
BEST_FIRST walk for 4003 steps (20 resets) in 463 ms. (8 steps per ms) remains 13443/13445 properties
BEST_FIRST walk for 4004 steps (20 resets) in 418 ms. (9 steps per ms) remains 13440/13443 properties
BEST_FIRST walk for 4004 steps (20 resets) in 427 ms. (9 steps per ms) remains 13438/13440 properties
BEST_FIRST walk for 4004 steps (20 resets) in 437 ms. (9 steps per ms) remains 13434/13438 properties
BEST_FIRST walk for 4003 steps (20 resets) in 402 ms. (9 steps per ms) remains 13432/13434 properties
BEST_FIRST walk for 4004 steps (20 resets) in 479 ms. (8 steps per ms) remains 13428/13432 properties
BEST_FIRST walk for 4003 steps (19 resets) in 412 ms. (9 steps per ms) remains 13428/13428 properties
BEST_FIRST walk for 4003 steps (20 resets) in 468 ms. (8 steps per ms) remains 13428/13428 properties
BEST_FIRST walk for 4003 steps (20 resets) in 437 ms. (9 steps per ms) remains 13428/13428 properties
BEST_FIRST walk for 4002 steps (20 resets) in 398 ms. (10 steps per ms) remains 13424/13428 properties
BEST_FIRST walk for 4003 steps (22 resets) in 498 ms. (8 steps per ms) remains 13417/13424 properties
BEST_FIRST walk for 4004 steps (20 resets) in 468 ms. (8 steps per ms) remains 13408/13417 properties
BEST_FIRST walk for 4004 steps (20 resets) in 452 ms. (8 steps per ms) remains 13406/13408 properties
BEST_FIRST walk for 4003 steps (20 resets) in 410 ms. (9 steps per ms) remains 13406/13406 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 13404/13406 properties
BEST_FIRST walk for 4004 steps (20 resets) in 468 ms. (8 steps per ms) remains 13398/13404 properties
BEST_FIRST walk for 4003 steps (20 resets) in 474 ms. (8 steps per ms) remains 13398/13398 properties
BEST_FIRST walk for 4003 steps (20 resets) in 434 ms. (9 steps per ms) remains 13394/13398 properties
BEST_FIRST walk for 4003 steps (20 resets) in 454 ms. (8 steps per ms) remains 13385/13394 properties
BEST_FIRST walk for 4004 steps (20 resets) in 483 ms. (8 steps per ms) remains 13382/13385 properties
BEST_FIRST walk for 4004 steps (20 resets) in 440 ms. (9 steps per ms) remains 13380/13382 properties
BEST_FIRST walk for 4004 steps (20 resets) in 438 ms. (9 steps per ms) remains 13380/13380 properties
BEST_FIRST walk for 4004 steps (20 resets) in 424 ms. (9 steps per ms) remains 13371/13380 properties
BEST_FIRST walk for 4004 steps (20 resets) in 476 ms. (8 steps per ms) remains 13369/13371 properties
BEST_FIRST walk for 4002 steps (20 resets) in 483 ms. (8 steps per ms) remains 13359/13369 properties
BEST_FIRST walk for 4004 steps (20 resets) in 468 ms. (8 steps per ms) remains 13359/13359 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 13354/13359 properties
BEST_FIRST walk for 4004 steps (20 resets) in 408 ms. (9 steps per ms) remains 13354/13354 properties
BEST_FIRST walk for 4002 steps (20 resets) in 441 ms. (9 steps per ms) remains 13346/13354 properties
BEST_FIRST walk for 4004 steps (20 resets) in 453 ms. (8 steps per ms) remains 13346/13346 properties
BEST_FIRST walk for 4003 steps (20 resets) in 399 ms. (10 steps per ms) remains 13341/13346 properties
BEST_FIRST walk for 4003 steps (20 resets) in 459 ms. (8 steps per ms) remains 13341/13341 properties
BEST_FIRST walk for 4003 steps (20 resets) in 476 ms. (8 steps per ms) remains 13335/13341 properties
BEST_FIRST walk for 4003 steps (24 resets) in 538 ms. (7 steps per ms) remains 13328/13335 properties
BEST_FIRST walk for 4003 steps (20 resets) in 479 ms. (8 steps per ms) remains 13323/13328 properties
BEST_FIRST walk for 4003 steps (20 resets) in 453 ms. (8 steps per ms) remains 13317/13323 properties
BEST_FIRST walk for 4003 steps (20 resets) in 477 ms. (8 steps per ms) remains 13310/13317 properties
BEST_FIRST walk for 4004 steps (20 resets) in 455 ms. (8 steps per ms) remains 13307/13310 properties
BEST_FIRST walk for 4004 steps (19 resets) in 445 ms. (8 steps per ms) remains 13298/13307 properties
BEST_FIRST walk for 4003 steps (20 resets) in 448 ms. (8 steps per ms) remains 13292/13298 properties
BEST_FIRST walk for 4003 steps (20 resets) in 424 ms. (9 steps per ms) remains 13291/13292 properties
BEST_FIRST walk for 4003 steps (20 resets) in 411 ms. (9 steps per ms) remains 13288/13291 properties
BEST_FIRST walk for 4002 steps (20 resets) in 433 ms. (9 steps per ms) remains 13286/13288 properties
BEST_FIRST walk for 4004 steps (20 resets) in 422 ms. (9 steps per ms) remains 13283/13286 properties
BEST_FIRST walk for 4004 steps (20 resets) in 406 ms. (9 steps per ms) remains 13283/13283 properties
BEST_FIRST walk for 4001 steps (20 resets) in 505 ms. (7 steps per ms) remains 13280/13283 properties
BEST_FIRST walk for 4001 steps (20 resets) in 439 ms. (9 steps per ms) remains 13280/13280 properties
BEST_FIRST walk for 4003 steps (20 resets) in 395 ms. (10 steps per ms) remains 13276/13280 properties
BEST_FIRST walk for 4004 steps (20 resets) in 441 ms. (9 steps per ms) remains 13276/13276 properties
BEST_FIRST walk for 4004 steps (20 resets) in 418 ms. (9 steps per ms) remains 13272/13276 properties
BEST_FIRST walk for 4004 steps (19 resets) in 428 ms. (9 steps per ms) remains 13272/13272 properties
BEST_FIRST walk for 4003 steps (20 resets) in 445 ms. (8 steps per ms) remains 13267/13272 properties
BEST_FIRST walk for 4002 steps (20 resets) in 454 ms. (8 steps per ms) remains 13267/13267 properties
BEST_FIRST walk for 4003 steps (20 resets) in 392 ms. (10 steps per ms) remains 13263/13267 properties
BEST_FIRST walk for 4004 steps (20 resets) in 445 ms. (8 steps per ms) remains 13263/13263 properties
BEST_FIRST walk for 4003 steps (20 resets) in 428 ms. (9 steps per ms) remains 13260/13263 properties
BEST_FIRST walk for 4003 steps (20 resets) in 443 ms. (9 steps per ms) remains 13260/13260 properties
BEST_FIRST walk for 4002 steps (20 resets) in 463 ms. (8 steps per ms) remains 13257/13260 properties
BEST_FIRST walk for 4003 steps (22 resets) in 517 ms. (7 steps per ms) remains 13255/13257 properties
BEST_FIRST walk for 4004 steps (20 resets) in 404 ms. (9 steps per ms) remains 13252/13255 properties
BEST_FIRST walk for 4004 steps (20 resets) in 446 ms. (8 steps per ms) remains 13247/13252 properties
BEST_FIRST walk for 4004 steps (20 resets) in 452 ms. (8 steps per ms) remains 13245/13247 properties
BEST_FIRST walk for 4003 steps (20 resets) in 442 ms. (9 steps per ms) remains 13238/13245 properties
BEST_FIRST walk for 4004 steps (20 resets) in 450 ms. (8 steps per ms) remains 13235/13238 properties
BEST_FIRST walk for 4002 steps (20 resets) in 411 ms. (9 steps per ms) remains 13231/13235 properties
BEST_FIRST walk for 4003 steps (20 resets) in 428 ms. (9 steps per ms) remains 13230/13231 properties
BEST_FIRST walk for 4003 steps (20 resets) in 461 ms. (8 steps per ms) remains 13226/13230 properties
BEST_FIRST walk for 4004 steps (20 resets) in 511 ms. (7 steps per ms) remains 13226/13226 properties
BEST_FIRST walk for 4004 steps (20 resets) in 481 ms. (8 steps per ms) remains 13223/13226 properties
BEST_FIRST walk for 4003 steps (20 resets) in 439 ms. (9 steps per ms) remains 13223/13223 properties
BEST_FIRST walk for 4001 steps (20 resets) in 429 ms. (9 steps per ms) remains 13217/13223 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 13215/13217 properties
BEST_FIRST walk for 4003 steps (19 resets) in 436 ms. (9 steps per ms) remains 13215/13215 properties
BEST_FIRST walk for 4003 steps (18 resets) in 406 ms. (9 steps per ms) remains 13215/13215 properties
BEST_FIRST walk for 4003 steps (20 resets) in 438 ms. (9 steps per ms) remains 13213/13215 properties
BEST_FIRST walk for 4004 steps (20 resets) in 417 ms. (9 steps per ms) remains 13213/13213 properties
BEST_FIRST walk for 4003 steps (20 resets) in 410 ms. (9 steps per ms) remains 13208/13213 properties
BEST_FIRST walk for 4004 steps (20 resets) in 446 ms. (8 steps per ms) remains 13208/13208 properties
BEST_FIRST walk for 4004 steps (20 resets) in 444 ms. (8 steps per ms) remains 13206/13208 properties
BEST_FIRST walk for 4003 steps (20 resets) in 448 ms. (8 steps per ms) remains 13205/13206 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 13202/13205 properties
BEST_FIRST walk for 4004 steps (19 resets) in 423 ms. (9 steps per ms) remains 13201/13202 properties
BEST_FIRST walk for 4004 steps (19 resets) in 505 ms. (7 steps per ms) remains 13201/13201 properties
BEST_FIRST walk for 4004 steps (19 resets) in 449 ms. (8 steps per ms) remains 13199/13201 properties
BEST_FIRST walk for 4004 steps (20 resets) in 525 ms. (7 steps per ms) remains 13193/13199 properties
BEST_FIRST walk for 4003 steps (19 resets) in 538 ms. (7 steps per ms) remains 13177/13193 properties
BEST_FIRST walk for 4004 steps (19 resets) in 488 ms. (8 steps per ms) remains 13174/13177 properties
BEST_FIRST walk for 4003 steps (20 resets) in 533 ms. (7 steps per ms) remains 13167/13174 properties
BEST_FIRST walk for 4004 steps (20 resets) in 474 ms. (8 steps per ms) remains 13163/13167 properties
BEST_FIRST walk for 4003 steps (20 resets) in 513 ms. (7 steps per ms) remains 13163/13163 properties
BEST_FIRST walk for 4002 steps (20 resets) in 468 ms. (8 steps per ms) remains 13159/13163 properties
BEST_FIRST walk for 4004 steps (20 resets) in 521 ms. (7 steps per ms) remains 13159/13159 properties
BEST_FIRST walk for 4001 steps (20 resets) in 508 ms. (7 steps per ms) remains 13153/13159 properties
BEST_FIRST walk for 4004 steps (19 resets) in 480 ms. (8 steps per ms) remains 13152/13153 properties
BEST_FIRST walk for 4004 steps (20 resets) in 521 ms. (7 steps per ms) remains 13152/13152 properties
BEST_FIRST walk for 4003 steps (19 resets) in 515 ms. (7 steps per ms) remains 13152/13152 properties
BEST_FIRST walk for 4002 steps (19 resets) in 515 ms. (7 steps per ms) remains 13144/13152 properties
BEST_FIRST walk for 4003 steps (20 resets) in 513 ms. (7 steps per ms) remains 13143/13144 properties
BEST_FIRST walk for 4004 steps (20 resets) in 508 ms. (7 steps per ms) remains 13140/13143 properties
BEST_FIRST walk for 4004 steps (20 resets) in 536 ms. (7 steps per ms) remains 13139/13140 properties
BEST_FIRST walk for 4004 steps (19 resets) in 497 ms. (8 steps per ms) remains 13139/13139 properties
BEST_FIRST walk for 4003 steps (20 resets) in 496 ms. (8 steps per ms) remains 13137/13139 properties
BEST_FIRST walk for 4004 steps (20 resets) in 487 ms. (8 steps per ms) remains 13134/13137 properties
BEST_FIRST walk for 4003 steps (20 resets) in 483 ms. (8 steps per ms) remains 13132/13134 properties
BEST_FIRST walk for 4003 steps (20 resets) in 465 ms. (8 steps per ms) remains 13129/13132 properties
BEST_FIRST walk for 4002 steps (20 resets) in 471 ms. (8 steps per ms) remains 13129/13129 properties
BEST_FIRST walk for 4004 steps (20 resets) in 520 ms. (7 steps per ms) remains 13129/13129 properties
BEST_FIRST walk for 4004 steps (20 resets) in 514 ms. (7 steps per ms) remains 13129/13129 properties
BEST_FIRST walk for 4004 steps (20 resets) in 475 ms. (8 steps per ms) remains 13127/13129 properties
BEST_FIRST walk for 4003 steps (19 resets) in 431 ms. (9 steps per ms) remains 13126/13127 properties
BEST_FIRST walk for 4004 steps (20 resets) in 454 ms. (8 steps per ms) remains 13124/13126 properties
BEST_FIRST walk for 4004 steps (19 resets) in 479 ms. (8 steps per ms) remains 13124/13124 properties
BEST_FIRST walk for 4004 steps (19 resets) in 398 ms. (10 steps per ms) remains 13122/13124 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 13107/13122 properties
BEST_FIRST walk for 4004 steps (19 resets) in 449 ms. (8 steps per ms) remains 13105/13107 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 13103/13105 properties
BEST_FIRST walk for 4004 steps (20 resets) in 484 ms. (8 steps per ms) remains 13101/13103 properties
BEST_FIRST walk for 4003 steps (20 resets) in 461 ms. (8 steps per ms) remains 13100/13101 properties
BEST_FIRST walk for 4003 steps (20 resets) in 437 ms. (9 steps per ms) remains 13097/13100 properties
BEST_FIRST walk for 4002 steps (18 resets) in 400 ms. (9 steps per ms) remains 13091/13097 properties
BEST_FIRST walk for 4003 steps (20 resets) in 439 ms. (9 steps per ms) remains 13091/13091 properties
BEST_FIRST walk for 4004 steps (19 resets) in 480 ms. (8 steps per ms) remains 13089/13091 properties
BEST_FIRST walk for 4003 steps (20 resets) in 427 ms. (9 steps per ms) remains 13085/13089 properties
BEST_FIRST walk for 4004 steps (20 resets) in 427 ms. (9 steps per ms) remains 13085/13085 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 13079/13085 properties
BEST_FIRST walk for 4004 steps (20 resets) in 424 ms. (9 steps per ms) remains 13079/13079 properties
BEST_FIRST walk for 4003 steps (20 resets) in 412 ms. (9 steps per ms) remains 13079/13079 properties
BEST_FIRST walk for 4004 steps (20 resets) in 454 ms. (8 steps per ms) remains 13077/13079 properties
BEST_FIRST walk for 4004 steps (20 resets) in 423 ms. (9 steps per ms) remains 13075/13077 properties
BEST_FIRST walk for 4004 steps (20 resets) in 401 ms. (9 steps per ms) remains 13075/13075 properties
BEST_FIRST walk for 4004 steps (20 resets) in 442 ms. (9 steps per ms) remains 13074/13075 properties
BEST_FIRST walk for 4004 steps (20 resets) in 394 ms. (10 steps per ms) remains 13074/13074 properties
BEST_FIRST walk for 4004 steps (20 resets) in 420 ms. (9 steps per ms) remains 13074/13074 properties
BEST_FIRST walk for 4002 steps (20 resets) in 365 ms. (10 steps per ms) remains 13074/13074 properties
BEST_FIRST walk for 4002 steps (20 resets) in 434 ms. (9 steps per ms) remains 13070/13074 properties
BEST_FIRST walk for 4004 steps (18 resets) in 407 ms. (9 steps per ms) remains 13070/13070 properties
BEST_FIRST walk for 4004 steps (20 resets) in 453 ms. (8 steps per ms) remains 13066/13070 properties
BEST_FIRST walk for 4003 steps (20 resets) in 437 ms. (9 steps per ms) remains 13066/13066 properties
BEST_FIRST walk for 4004 steps (19 resets) in 373 ms. (10 steps per ms) remains 13062/13066 properties
BEST_FIRST walk for 4003 steps (20 resets) in 440 ms. (9 steps per ms) remains 13062/13062 properties
BEST_FIRST walk for 4002 steps (20 resets) in 432 ms. (9 steps per ms) remains 13060/13062 properties
BEST_FIRST walk for 4004 steps (23 resets) in 488 ms. (8 steps per ms) remains 13053/13060 properties
BEST_FIRST walk for 4002 steps (18 resets) in 454 ms. (8 steps per ms) remains 13045/13053 properties
BEST_FIRST walk for 4003 steps (19 resets) in 477 ms. (8 steps per ms) remains 13045/13045 properties
BEST_FIRST walk for 4003 steps (20 resets) in 499 ms. (8 steps per ms) remains 13045/13045 properties
BEST_FIRST walk for 4003 steps (20 resets) in 443 ms. (9 steps per ms) remains 13045/13045 properties
BEST_FIRST walk for 4003 steps (20 resets) in 454 ms. (8 steps per ms) remains 13045/13045 properties
BEST_FIRST walk for 4003 steps (20 resets) in 479 ms. (8 steps per ms) remains 13045/13045 properties
BEST_FIRST walk for 4004 steps (19 resets) in 451 ms. (8 steps per ms) remains 13044/13045 properties
BEST_FIRST walk for 4004 steps (18 resets) in 389 ms. (10 steps per ms) remains 13042/13044 properties
BEST_FIRST walk for 4004 steps (20 resets) in 432 ms. (9 steps per ms) remains 13042/13042 properties
BEST_FIRST walk for 4003 steps (20 resets) in 421 ms. (9 steps per ms) remains 13039/13042 properties
BEST_FIRST walk for 4004 steps (20 resets) in 416 ms. (9 steps per ms) remains 13039/13039 properties
BEST_FIRST walk for 4002 steps (20 resets) in 493 ms. (8 steps per ms) remains 13033/13039 properties
BEST_FIRST walk for 4003 steps (20 resets) in 478 ms. (8 steps per ms) remains 13033/13033 properties
BEST_FIRST walk for 4004 steps (20 resets) in 433 ms. (9 steps per ms) remains 13031/13033 properties
BEST_FIRST walk for 4004 steps (20 resets) in 464 ms. (8 steps per ms) remains 13031/13031 properties
BEST_FIRST walk for 4002 steps (20 resets) in 493 ms. (8 steps per ms) remains 13031/13031 properties
BEST_FIRST walk for 4004 steps (20 resets) in 472 ms. (8 steps per ms) remains 13031/13031 properties
BEST_FIRST walk for 4004 steps (20 resets) in 431 ms. (9 steps per ms) remains 13030/13031 properties
BEST_FIRST walk for 4003 steps (20 resets) in 412 ms. (9 steps per ms) remains 13030/13030 properties
BEST_FIRST walk for 4004 steps (20 resets) in 438 ms. (9 steps per ms) remains 13027/13030 properties
BEST_FIRST walk for 4003 steps (20 resets) in 511 ms. (7 steps per ms) remains 13026/13027 properties
BEST_FIRST walk for 4004 steps (19 resets) in 470 ms. (8 steps per ms) remains 13026/13026 properties
BEST_FIRST walk for 4003 steps (20 resets) in 425 ms. (9 steps per ms) remains 13026/13026 properties
BEST_FIRST walk for 4003 steps (20 resets) in 458 ms. (8 steps per ms) remains 13026/13026 properties
BEST_FIRST walk for 4003 steps (20 resets) in 497 ms. (8 steps per ms) remains 13025/13026 properties
BEST_FIRST walk for 4004 steps (20 resets) in 466 ms. (8 steps per ms) remains 13024/13025 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 13024/13024 properties
BEST_FIRST walk for 4004 steps (20 resets) in 473 ms. (8 steps per ms) remains 13024/13024 properties
BEST_FIRST walk for 4004 steps (23 resets) in 540 ms. (7 steps per ms) remains 13023/13024 properties
BEST_FIRST walk for 4004 steps (19 resets) in 475 ms. (8 steps per ms) remains 13023/13023 properties
BEST_FIRST walk for 4004 steps (20 resets) in 427 ms. (9 steps per ms) remains 13023/13023 properties
BEST_FIRST walk for 4004 steps (20 resets) in 437 ms. (9 steps per ms) remains 13023/13023 properties
BEST_FIRST walk for 4004 steps (20 resets) in 443 ms. (9 steps per ms) remains 13023/13023 properties
BEST_FIRST walk for 4004 steps (20 resets) in 414 ms. (9 steps per ms) remains 13023/13023 properties
BEST_FIRST walk for 4003 steps (20 resets) in 439 ms. (9 steps per ms) remains 13020/13023 properties
BEST_FIRST walk for 4003 steps (20 resets) in 452 ms. (8 steps per ms) remains 13019/13020 properties
BEST_FIRST walk for 4003 steps (20 resets) in 418 ms. (9 steps per ms) remains 13017/13019 properties
BEST_FIRST walk for 4002 steps (20 resets) in 446 ms. (8 steps per ms) remains 13017/13017 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 13017/13017 properties
BEST_FIRST walk for 4003 steps (20 resets) in 396 ms. (10 steps per ms) remains 13017/13017 properties
BEST_FIRST walk for 4004 steps (19 resets) in 422 ms. (9 steps per ms) remains 13017/13017 properties
BEST_FIRST walk for 4003 steps (20 resets) in 394 ms. (10 steps per ms) remains 13017/13017 properties
BEST_FIRST walk for 4004 steps (20 resets) in 431 ms. (9 steps per ms) remains 13017/13017 properties
BEST_FIRST walk for 4003 steps (20 resets) in 460 ms. (8 steps per ms) remains 13016/13017 properties
BEST_FIRST walk for 4004 steps (19 resets) in 423 ms. (9 steps per ms) remains 13011/13016 properties
BEST_FIRST walk for 4003 steps (20 resets) in 423 ms. (9 steps per ms) remains 13011/13011 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 13010/13011 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 13008/13010 properties
BEST_FIRST walk for 4004 steps (20 resets) in 482 ms. (8 steps per ms) remains 13008/13008 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 13008/13008 properties
BEST_FIRST walk for 4004 steps (20 resets) in 452 ms. (8 steps per ms) remains 13006/13008 properties
BEST_FIRST walk for 4004 steps (20 resets) in 490 ms. (8 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4003 steps (20 resets) in 431 ms. (9 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4003 steps (20 resets) in 506 ms. (7 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4003 steps (20 resets) in 477 ms. (8 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4004 steps (22 resets) in 481 ms. (8 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4004 steps (20 resets) in 437 ms. (9 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4002 steps (20 resets) in 473 ms. (8 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4004 steps (20 resets) in 433 ms. (9 steps per ms) remains 13006/13006 properties
BEST_FIRST walk for 4001 steps (20 resets) in 440 ms. (9 steps per ms) remains 13002/13006 properties
BEST_FIRST walk for 4003 steps (20 resets) in 474 ms. (8 steps per ms) remains 13002/13002 properties
BEST_FIRST walk for 4004 steps (20 resets) in 440 ms. (9 steps per ms) remains 13001/13002 properties
BEST_FIRST walk for 4002 steps (20 resets) in 439 ms. (9 steps per ms) remains 13001/13001 properties
BEST_FIRST walk for 4002 steps (20 resets) in 496 ms. (8 steps per ms) remains 12999/13001 properties
BEST_FIRST walk for 4003 steps (20 resets) in 464 ms. (8 steps per ms) remains 12999/12999 properties
BEST_FIRST walk for 4004 steps (20 resets) in 430 ms. (9 steps per ms) remains 12998/12999 properties
BEST_FIRST walk for 4003 steps (20 resets) in 459 ms. (8 steps per ms) remains 12998/12998 properties
BEST_FIRST walk for 4003 steps (20 resets) in 430 ms. (9 steps per ms) remains 12997/12998 properties
BEST_FIRST walk for 4003 steps (20 resets) in 434 ms. (9 steps per ms) remains 12997/12997 properties
BEST_FIRST walk for 4004 steps (20 resets) in 416 ms. (9 steps per ms) remains 12997/12997 properties
BEST_FIRST walk for 4003 steps (20 resets) in 472 ms. (8 steps per ms) remains 12997/12997 properties
BEST_FIRST walk for 4003 steps (19 resets) in 463 ms. (8 steps per ms) remains 12995/12997 properties
BEST_FIRST walk for 4004 steps (20 resets) in 467 ms. (8 steps per ms) remains 12995/12995 properties
BEST_FIRST walk for 4004 steps (20 resets) in 501 ms. (7 steps per ms) remains 12995/12995 properties
BEST_FIRST walk for 4004 steps (20 resets) in 515 ms. (7 steps per ms) remains 12995/12995 properties
BEST_FIRST walk for 4004 steps (20 resets) in 465 ms. (8 steps per ms) remains 12990/12995 properties
BEST_FIRST walk for 4004 steps (20 resets) in 488 ms. (8 steps per ms) remains 12988/12990 properties
BEST_FIRST walk for 4003 steps (20 resets) in 420 ms. (9 steps per ms) remains 12988/12988 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 12988/12988 properties
BEST_FIRST walk for 4004 steps (20 resets) in 487 ms. (8 steps per ms) remains 12986/12988 properties
BEST_FIRST walk for 4004 steps (22 resets) in 506 ms. (7 steps per ms) remains 12983/12986 properties
BEST_FIRST walk for 4002 steps (20 resets) in 506 ms. (7 steps per ms) remains 12983/12983 properties
BEST_FIRST walk for 4004 steps (20 resets) in 478 ms. (8 steps per ms) remains 12982/12983 properties
BEST_FIRST walk for 4004 steps (20 resets) in 511 ms. (7 steps per ms) remains 12982/12982 properties
BEST_FIRST walk for 4004 steps (19 resets) in 476 ms. (8 steps per ms) remains 12978/12982 properties
BEST_FIRST walk for 4003 steps (20 resets) in 492 ms. (8 steps per ms) remains 12978/12978 properties
BEST_FIRST walk for 4003 steps (20 resets) in 482 ms. (8 steps per ms) remains 12978/12978 properties
BEST_FIRST walk for 4003 steps (20 resets) in 455 ms. (8 steps per ms) remains 12976/12978 properties
BEST_FIRST walk for 4003 steps (20 resets) in 497 ms. (8 steps per ms) remains 12970/12976 properties
BEST_FIRST walk for 4003 steps (20 resets) in 402 ms. (9 steps per ms) remains 12969/12970 properties
BEST_FIRST walk for 4003 steps (20 resets) in 498 ms. (8 steps per ms) remains 12966/12969 properties
BEST_FIRST walk for 4004 steps (20 resets) in 441 ms. (9 steps per ms) remains 12966/12966 properties
BEST_FIRST walk for 4003 steps (20 resets) in 455 ms. (8 steps per ms) remains 12966/12966 properties
BEST_FIRST walk for 4003 steps (19 resets) in 451 ms. (8 steps per ms) remains 12966/12966 properties
BEST_FIRST walk for 4004 steps (20 resets) in 489 ms. (8 steps per ms) remains 12966/12966 properties
BEST_FIRST walk for 4004 steps (20 resets) in 449 ms. (8 steps per ms) remains 12966/12966 properties
BEST_FIRST walk for 4003 steps (19 resets) in 448 ms. (8 steps per ms) remains 12962/12966 properties
BEST_FIRST walk for 4002 steps (20 resets) in 435 ms. (9 steps per ms) remains 12960/12962 properties
BEST_FIRST walk for 4004 steps (20 resets) in 490 ms. (8 steps per ms) remains 12960/12960 properties
BEST_FIRST walk for 4004 steps (20 resets) in 432 ms. (9 steps per ms) remains 12959/12960 properties
BEST_FIRST walk for 4004 steps (20 resets) in 499 ms. (8 steps per ms) remains 12959/12959 properties
BEST_FIRST walk for 4003 steps (19 resets) in 491 ms. (8 steps per ms) remains 12959/12959 properties
BEST_FIRST walk for 4004 steps (20 resets) in 446 ms. (8 steps per ms) remains 12959/12959 properties
BEST_FIRST walk for 4004 steps (22 resets) in 484 ms. (8 steps per ms) remains 12957/12959 properties
BEST_FIRST walk for 4004 steps (20 resets) in 433 ms. (9 steps per ms) remains 12956/12957 properties
BEST_FIRST walk for 4004 steps (19 resets) in 576 ms. (6 steps per ms) remains 12953/12956 properties
BEST_FIRST walk for 4002 steps (20 resets) in 440 ms. (9 steps per ms) remains 12953/12953 properties
BEST_FIRST walk for 4003 steps (20 resets) in 495 ms. (8 steps per ms) remains 12950/12953 properties
BEST_FIRST walk for 4004 steps (20 resets) in 453 ms. (8 steps per ms) remains 12950/12950 properties
BEST_FIRST walk for 4004 steps (20 resets) in 430 ms. (9 steps per ms) remains 12948/12950 properties
BEST_FIRST walk for 4003 steps (19 resets) in 413 ms. (9 steps per ms) remains 12948/12948 properties
BEST_FIRST walk for 4004 steps (20 resets) in 434 ms. (9 steps per ms) remains 12948/12948 properties
BEST_FIRST walk for 4003 steps (20 resets) in 424 ms. (9 steps per ms) remains 12947/12948 properties
BEST_FIRST walk for 4004 steps (19 resets) in 414 ms. (9 steps per ms) remains 12946/12947 properties
BEST_FIRST walk for 4004 steps (20 resets) in 472 ms. (8 steps per ms) remains 12946/12946 properties
BEST_FIRST walk for 4004 steps (19 resets) in 493 ms. (8 steps per ms) remains 12946/12946 properties
BEST_FIRST walk for 4004 steps (20 resets) in 468 ms. (8 steps per ms) remains 12946/12946 properties
BEST_FIRST walk for 4003 steps (20 resets) in 451 ms. (8 steps per ms) remains 12946/12946 properties
BEST_FIRST walk for 4003 steps (19 resets) in 500 ms. (7 steps per ms) remains 12946/12946 properties
BEST_FIRST walk for 4004 steps (19 resets) in 447 ms. (8 steps per ms) remains 12941/12946 properties
BEST_FIRST walk for 4004 steps (20 resets) in 432 ms. (9 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4003 steps (20 resets) in 400 ms. (9 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4003 steps (20 resets) in 433 ms. (9 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4004 steps (20 resets) in 460 ms. (8 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4004 steps (20 resets) in 455 ms. (8 steps per ms) remains 12941/12941 properties
BEST_FIRST walk for 4004 steps (20 resets) in 456 ms. (8 steps per ms) remains 12940/12941 properties
BEST_FIRST walk for 4004 steps (20 resets) in 427 ms. (9 steps per ms) remains 12939/12940 properties
BEST_FIRST walk for 4003 steps (20 resets) in 404 ms. (9 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (20 resets) in 490 ms. (8 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (20 resets) in 475 ms. (8 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4003 steps (20 resets) in 398 ms. (10 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4003 steps (20 resets) in 431 ms. (9 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 12939/12939 properties
BEST_FIRST walk for 4003 steps (20 resets) in 511 ms. (7 steps per ms) remains 12937/12939 properties
BEST_FIRST walk for 4004 steps (20 resets) in 456 ms. (8 steps per ms) remains 12937/12937 properties
BEST_FIRST walk for 4003 steps (20 resets) in 498 ms. (8 steps per ms) remains 12937/12937 properties
BEST_FIRST walk for 4002 steps (20 resets) in 477 ms. (8 steps per ms) remains 12933/12937 properties
BEST_FIRST walk for 4003 steps (20 resets) in 465 ms. (8 steps per ms) remains 12933/12933 properties
BEST_FIRST walk for 4003 steps (20 resets) in 417 ms. (9 steps per ms) remains 12933/12933 properties
BEST_FIRST walk for 4004 steps (20 resets) in 428 ms. (9 steps per ms) remains 12933/12933 properties
BEST_FIRST walk for 4002 steps (20 resets) in 403 ms. (9 steps per ms) remains 12932/12933 properties
BEST_FIRST walk for 4004 steps (19 resets) in 396 ms. (10 steps per ms) remains 12930/12932 properties
BEST_FIRST walk for 4003 steps (20 resets) in 467 ms. (8 steps per ms) remains 12928/12930 properties
BEST_FIRST walk for 4004 steps (21 resets) in 446 ms. (8 steps per ms) remains 12924/12928 properties
BEST_FIRST walk for 4003 steps (20 resets) in 406 ms. (9 steps per ms) remains 12921/12924 properties
BEST_FIRST walk for 4004 steps (19 resets) in 490 ms. (8 steps per ms) remains 12920/12921 properties
BEST_FIRST walk for 4002 steps (20 resets) in 438 ms. (9 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4004 steps (20 resets) in 449 ms. (8 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4004 steps (20 resets) in 415 ms. (9 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4003 steps (20 resets) in 441 ms. (9 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4003 steps (20 resets) in 499 ms. (8 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4004 steps (20 resets) in 476 ms. (8 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4003 steps (20 resets) in 481 ms. (8 steps per ms) remains 12920/12920 properties
BEST_FIRST walk for 4004 steps (20 resets) in 490 ms. (8 steps per ms) remains 12919/12920 properties
BEST_FIRST walk for 4002 steps (20 resets) in 467 ms. (8 steps per ms) remains 12919/12919 properties
BEST_FIRST walk for 4004 steps (20 resets) in 476 ms. (8 steps per ms) remains 12919/12919 properties
BEST_FIRST walk for 4003 steps (20 resets) in 424 ms. (9 steps per ms) remains 12919/12919 properties
BEST_FIRST walk for 4002 steps (20 resets) in 509 ms. (7 steps per ms) remains 12917/12919 properties
BEST_FIRST walk for 4004 steps (20 resets) in 428 ms. (9 steps per ms) remains 12913/12917 properties
BEST_FIRST walk for 4002 steps (20 resets) in 495 ms. (8 steps per ms) remains 12913/12913 properties
BEST_FIRST walk for 4004 steps (20 resets) in 453 ms. (8 steps per ms) remains 12913/12913 properties
BEST_FIRST walk for 4002 steps (20 resets) in 490 ms. (8 steps per ms) remains 12913/12913 properties
BEST_FIRST walk for 4004 steps (20 resets) in 454 ms. (8 steps per ms) remains 12913/12913 properties
BEST_FIRST walk for 4004 steps (19 resets) in 483 ms. (8 steps per ms) remains 12911/12913 properties
BEST_FIRST walk for 4004 steps (20 resets) in 463 ms. (8 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4004 steps (20 resets) in 452 ms. (8 steps per ms) remains 12911/12911 properties
BEST_FIRST walk for 4003 steps (20 resets) in 459 ms. (8 steps per ms) remains 12909/12911 properties
BEST_FIRST walk for 4003 steps (19 resets) in 410 ms. (9 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4004 steps (20 resets) in 419 ms. (9 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4003 steps (20 resets) in 431 ms. (9 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4004 steps (20 resets) in 467 ms. (8 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4003 steps (20 resets) in 414 ms. (9 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4004 steps (20 resets) in 483 ms. (8 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4004 steps (20 resets) in 436 ms. (9 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4004 steps (20 resets) in 426 ms. (9 steps per ms) remains 12909/12909 properties
BEST_FIRST walk for 4004 steps (22 resets) in 517 ms. (7 steps per ms) remains 12908/12909 properties
BEST_FIRST walk for 4004 steps (20 resets) in 410 ms. (9 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4003 steps (20 resets) in 444 ms. (8 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4003 steps (20 resets) in 452 ms. (8 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4004 steps (19 resets) in 413 ms. (9 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4003 steps (19 resets) in 434 ms. (9 steps per ms) remains 12908/12908 properties
BEST_FIRST walk for 4003 steps (20 resets) in 463 ms. (8 steps per ms) remains 12906/12908 properties
BEST_FIRST walk for 4003 steps (20 resets) in 496 ms. (8 steps per ms) remains 12906/12906 properties
BEST_FIRST walk for 4004 steps (20 resets) in 463 ms. (8 steps per ms) remains 12906/12906 properties
BEST_FIRST walk for 4004 steps (20 resets) in 487 ms. (8 steps per ms) remains 12906/12906 properties
BEST_FIRST walk for 4004 steps (20 resets) in 402 ms. (9 steps per ms) remains 12904/12906 properties
BEST_FIRST walk for 4004 steps (20 resets) in 424 ms. (9 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4004 steps (20 resets) in 482 ms. (8 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4004 steps (22 resets) in 450 ms. (8 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4003 steps (20 resets) in 477 ms. (8 steps per ms) remains 12903/12904 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 12903/12903 properties
BEST_FIRST walk for 4004 steps (19 resets) in 502 ms. (7 steps per ms) remains 12903/12903 properties
BEST_FIRST walk for 4003 steps (20 resets) in 412 ms. (9 steps per ms) remains 12902/12903 properties
BEST_FIRST walk for 4003 steps (20 resets) in 403 ms. (9 steps per ms) remains 12902/12902 properties
BEST_FIRST walk for 4003 steps (20 resets) in 434 ms. (9 steps per ms) remains 12900/12902 properties
BEST_FIRST walk for 4004 steps (20 resets) in 443 ms. (9 steps per ms) remains 12900/12900 properties
BEST_FIRST walk for 4003 steps (20 resets) in 495 ms. (8 steps per ms) remains 12899/12900 properties
BEST_FIRST walk for 4004 steps (19 resets) in 472 ms. (8 steps per ms) remains 12899/12899 properties
BEST_FIRST walk for 4003 steps (20 resets) in 479 ms. (8 steps per ms) remains 12899/12899 properties
BEST_FIRST walk for 4004 steps (22 resets) in 515 ms. (7 steps per ms) remains 12899/12899 properties
BEST_FIRST walk for 4004 steps (19 resets) in 451 ms. (8 steps per ms) remains 12898/12899 properties
BEST_FIRST walk for 4004 steps (20 resets) in 478 ms. (8 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4003 steps (20 resets) in 432 ms. (9 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4003 steps (20 resets) in 407 ms. (9 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4004 steps (20 resets) in 448 ms. (8 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4002 steps (20 resets) in 426 ms. (9 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4004 steps (20 resets) in 495 ms. (8 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4004 steps (21 resets) in 493 ms. (8 steps per ms) remains 12898/12898 properties
BEST_FIRST walk for 4002 steps (20 resets) in 400 ms. (9 steps per ms) remains 12897/12898 properties
BEST_FIRST walk for 4002 steps (20 resets) in 494 ms. (8 steps per ms) remains 12895/12897 properties
BEST_FIRST walk for 4003 steps (20 resets) in 505 ms. (7 steps per ms) remains 12895/12895 properties
BEST_FIRST walk for 4004 steps (20 resets) in 473 ms. (8 steps per ms) remains 12894/12895 properties
BEST_FIRST walk for 4004 steps (20 resets) in 536 ms. (7 steps per ms) remains 12894/12894 properties
BEST_FIRST walk for 4003 steps (20 resets) in 506 ms. (7 steps per ms) remains 12894/12894 properties
BEST_FIRST walk for 4004 steps (23 resets) in 535 ms. (7 steps per ms) remains 12890/12894 properties
BEST_FIRST walk for 4004 steps (20 resets) in 499 ms. (8 steps per ms) remains 12890/12890 properties
BEST_FIRST walk for 4004 steps (20 resets) in 471 ms. (8 steps per ms) remains 12888/12890 properties
BEST_FIRST walk for 4004 steps (19 resets) in 418 ms. (9 steps per ms) remains 12888/12888 properties
BEST_FIRST walk for 4003 steps (19 resets) in 495 ms. (8 steps per ms) remains 12887/12888 properties
BEST_FIRST walk for 4004 steps (22 resets) in 476 ms. (8 steps per ms) remains 12886/12887 properties
BEST_FIRST walk for 4004 steps (20 resets) in 484 ms. (8 steps per ms) remains 12884/12886 properties
BEST_FIRST walk for 4003 steps (20 resets) in 446 ms. (8 steps per ms) remains 12883/12884 properties
BEST_FIRST walk for 4004 steps (22 resets) in 549 ms. (7 steps per ms) remains 12882/12883 properties
BEST_FIRST walk for 4004 steps (24 resets) in 578 ms. (6 steps per ms) remains 12882/12882 properties
BEST_FIRST walk for 4004 steps (24 resets) in 570 ms. (7 steps per ms) remains 12880/12882 properties
BEST_FIRST walk for 4004 steps (24 resets) in 515 ms. (7 steps per ms) remains 12878/12880 properties
BEST_FIRST walk for 4004 steps (24 resets) in 558 ms. (7 steps per ms) remains 12878/12878 properties
BEST_FIRST walk for 4004 steps (24 resets) in 548 ms. (7 steps per ms) remains 12878/12878 properties
BEST_FIRST walk for 4004 steps (24 resets) in 564 ms. (7 steps per ms) remains 12878/12878 properties
BEST_FIRST walk for 4004 steps (24 resets) in 545 ms. (7 steps per ms) remains 12878/12878 properties
BEST_FIRST walk for 4004 steps (24 resets) in 554 ms. (7 steps per ms) remains 12877/12878 properties
BEST_FIRST walk for 4004 steps (24 resets) in 531 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 564 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 531 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 556 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 525 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 532 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 569 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 543 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 564 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 524 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 554 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 558 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 541 ms. (7 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 557 ms. (7 steps per ms) remains 12875/12877 properties
BEST_FIRST walk for 4004 steps (24 resets) in 538 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 502 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 511 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 578 ms. (6 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 540 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 509 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 528 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (24 resets) in 561 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4002 steps (22 resets) in 526 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4004 steps (20 resets) in 471 ms. (8 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4002 steps (20 resets) in 505 ms. (7 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4003 steps (20 resets) in 482 ms. (8 steps per ms) remains 12873/12875 properties
BEST_FIRST walk for 4003 steps (24 resets) in 544 ms. (7 steps per ms) remains 12871/12873 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 12871/12871 properties
BEST_FIRST walk for 4004 steps (20 resets) in 499 ms. (8 steps per ms) remains 12869/12871 properties
BEST_FIRST walk for 4004 steps (20 resets) in 498 ms. (8 steps per ms) remains 12869/12869 properties
BEST_FIRST walk for 4003 steps (20 resets) in 532 ms. (7 steps per ms) remains 12869/12869 properties
BEST_FIRST walk for 4003 steps (22 resets) in 489 ms. (8 steps per ms) remains 12868/12869 properties
BEST_FIRST walk for 4001 steps (20 resets) in 512 ms. (7 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4003 steps (20 resets) in 501 ms. (7 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4003 steps (20 resets) in 478 ms. (8 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4002 steps (20 resets) in 410 ms. (9 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4003 steps (20 resets) in 467 ms. (8 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4004 steps (20 resets) in 449 ms. (8 steps per ms) remains 12868/12868 properties
BEST_FIRST walk for 4004 steps (21 resets) in 515 ms. (7 steps per ms) remains 12866/12868 properties
BEST_FIRST walk for 4004 steps (20 resets) in 464 ms. (8 steps per ms) remains 12866/12866 properties
BEST_FIRST walk for 4003 steps (20 resets) in 503 ms. (7 steps per ms) remains 12866/12866 properties
BEST_FIRST walk for 4003 steps (20 resets) in 485 ms. (8 steps per ms) remains 12866/12866 properties
BEST_FIRST walk for 4004 steps (20 resets) in 492 ms. (8 steps per ms) remains 12864/12866 properties
BEST_FIRST walk for 4004 steps (20 resets) in 457 ms. (8 steps per ms) remains 12864/12864 properties
BEST_FIRST walk for 4003 steps (20 resets) in 450 ms. (8 steps per ms) remains 12863/12864 properties
BEST_FIRST walk for 4004 steps (20 resets) in 488 ms. (8 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (19 resets) in 450 ms. (8 steps per ms) remains 12861/12863 properties
BEST_FIRST walk for 4004 steps (23 resets) in 538 ms. (7 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4003 steps (20 resets) in 481 ms. (8 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4004 steps (20 resets) in 434 ms. (9 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4003 steps (20 resets) in 497 ms. (8 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4003 steps (20 resets) in 478 ms. (8 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4004 steps (20 resets) in 421 ms. (9 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4003 steps (20 resets) in 468 ms. (8 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4004 steps (20 resets) in 493 ms. (8 steps per ms) remains 12859/12861 properties
BEST_FIRST walk for 4004 steps (20 resets) in 471 ms. (8 steps per ms) remains 12859/12859 properties
BEST_FIRST walk for 4004 steps (20 resets) in 425 ms. (9 steps per ms) remains 12859/12859 properties
BEST_FIRST walk for 4004 steps (21 resets) in 508 ms. (7 steps per ms) remains 12858/12859 properties
BEST_FIRST walk for 4003 steps (20 resets) in 461 ms. (8 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4004 steps (20 resets) in 425 ms. (9 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4003 steps (20 resets) in 429 ms. (9 steps per ms) remains 12858/12858 properties
BEST_FIRST walk for 4003 steps (20 resets) in 446 ms. (8 steps per ms) remains 12856/12858 properties
BEST_FIRST walk for 4004 steps (20 resets) in 498 ms. (8 steps per ms) remains 12856/12856 properties
BEST_FIRST walk for 4002 steps (18 resets) in 469 ms. (8 steps per ms) remains 12854/12856 properties
BEST_FIRST walk for 4004 steps (20 resets) in 427 ms. (9 steps per ms) remains 12854/12854 properties
BEST_FIRST walk for 4003 steps (20 resets) in 456 ms. (8 steps per ms) remains 12854/12854 properties
BEST_FIRST walk for 4004 steps (20 resets) in 450 ms. (8 steps per ms) remains 12854/12854 properties
BEST_FIRST walk for 4004 steps (19 resets) in 383 ms. (10 steps per ms) remains 12852/12854 properties
BEST_FIRST walk for 4002 steps (20 resets) in 437 ms. (9 steps per ms) remains 12852/12852 properties
BEST_FIRST walk for 4004 steps (20 resets) in 432 ms. (9 steps per ms) remains 12852/12852 properties
BEST_FIRST walk for 4003 steps (23 resets) in 474 ms. (8 steps per ms) remains 12852/12852 properties
BEST_FIRST walk for 4003 steps (20 resets) in 430 ms. (9 steps per ms) remains 12852/12852 properties
BEST_FIRST walk for 4002 steps (20 resets) in 485 ms. (8 steps per ms) remains 12852/12852 properties
BEST_FIRST walk for 4004 steps (20 resets) in 442 ms. (9 steps per ms) remains 12852/12852 properties
BEST_FIRST walk for 4004 steps (20 resets) in 461 ms. (8 steps per ms) remains 12851/12852 properties
BEST_FIRST walk for 4004 steps (20 resets) in 470 ms. (8 steps per ms) remains 12851/12851 properties
BEST_FIRST walk for 4003 steps (20 resets) in 420 ms. (9 steps per ms) remains 12846/12851 properties
BEST_FIRST walk for 4002 steps (20 resets) in 457 ms. (8 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4003 steps (19 resets) in 480 ms. (8 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4004 steps (19 resets) in 414 ms. (9 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4002 steps (20 resets) in 442 ms. (9 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4003 steps (20 resets) in 459 ms. (8 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4002 steps (20 resets) in 399 ms. (10 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4002 steps (20 resets) in 436 ms. (9 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4003 steps (20 resets) in 434 ms. (9 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4003 steps (23 resets) in 495 ms. (8 steps per ms) remains 12844/12846 properties
BEST_FIRST walk for 4004 steps (20 resets) in 442 ms. (9 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (19 resets) in 432 ms. (9 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (20 resets) in 443 ms. (9 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4003 steps (20 resets) in 393 ms. (10 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4002 steps (20 resets) in 409 ms. (9 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (20 resets) in 450 ms. (8 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (20 resets) in 410 ms. (9 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (19 resets) in 395 ms. (10 steps per ms) remains 12844/12844 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 12843/12844 properties
BEST_FIRST walk for 4003 steps (20 resets) in 413 ms. (9 steps per ms) remains 12843/12843 properties
BEST_FIRST walk for 4004 steps (19 resets) in 375 ms. (10 steps per ms) remains 12841/12843 properties
BEST_FIRST walk for 4004 steps (20 resets) in 405 ms. (9 steps per ms) remains 12841/12841 properties
BEST_FIRST walk for 4004 steps (20 resets) in 496 ms. (8 steps per ms) remains 12839/12841 properties
BEST_FIRST walk for 4003 steps (20 resets) in 480 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 428 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (22 resets) in 481 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 486 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 501 ms. (7 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 489 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 495 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (19 resets) in 415 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4002 steps (20 resets) in 407 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 452 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 440 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 452 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 441 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 428 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 428 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 390 ms. (10 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4002 steps (20 resets) in 448 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (18 resets) in 479 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 507 ms. (7 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 476 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (21 resets) in 454 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 459 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 441 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4004 steps (20 resets) in 461 ms. (8 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 390 ms. (10 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (20 resets) in 429 ms. (9 steps per ms) remains 12839/12839 properties
BEST_FIRST walk for 4003 steps (19 resets) in 392 ms. (10 steps per ms) remains 12837/12839 properties
BEST_FIRST walk for 4001 steps (20 resets) in 403 ms. (9 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4002 steps (20 resets) in 509 ms. (7 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4003 steps (20 resets) in 475 ms. (8 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4003 steps (20 resets) in 416 ms. (9 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12836/12837 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4003 steps (20 resets) in 495 ms. (8 steps per ms) remains 12836/12836 properties
BEST_FIRST walk for 4002 steps (20 resets) in 501 ms. (7 steps per ms) remains 12832/12836 properties
BEST_FIRST walk for 4003 steps (19 resets) in 468 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4003 steps (20 resets) in 454 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4003 steps (20 resets) in 461 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4003 steps (19 resets) in 500 ms. (7 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 418 ms. (9 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 509 ms. (7 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (23 resets) in 498 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4002 steps (20 resets) in 451 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 480 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4003 steps (20 resets) in 437 ms. (9 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (19 resets) in 481 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 487 ms. (8 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4003 steps (20 resets) in 464 ms. (8 steps per ms) remains 12831/12832 properties
BEST_FIRST walk for 4003 steps (20 resets) in 492 ms. (8 steps per ms) remains 12830/12831 properties
BEST_FIRST walk for 4004 steps (20 resets) in 469 ms. (8 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (18 resets) in 451 ms. (8 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4003 steps (20 resets) in 479 ms. (8 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (20 resets) in 471 ms. (8 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (19 resets) in 431 ms. (9 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4004 steps (20 resets) in 497 ms. (8 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4003 steps (20 resets) in 434 ms. (9 steps per ms) remains 12830/12830 properties
BEST_FIRST walk for 4003 steps (20 resets) in 445 ms. (8 steps per ms) remains 12829/12830 properties
BEST_FIRST walk for 4004 steps (20 resets) in 496 ms. (8 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4004 steps (19 resets) in 399 ms. (10 steps per ms) remains 12827/12829 properties
BEST_FIRST walk for 4001 steps (20 resets) in 419 ms. (9 steps per ms) remains 12827/12827 properties
BEST_FIRST walk for 4004 steps (20 resets) in 498 ms. (8 steps per ms) remains 12826/12827 properties
BEST_FIRST walk for 4004 steps (23 resets) in 464 ms. (8 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 427 ms. (9 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (19 resets) in 500 ms. (7 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 503 ms. (7 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4003 steps (20 resets) in 520 ms. (7 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 518 ms. (7 steps per ms) remains 12824/12826 properties
BEST_FIRST walk for 4003 steps (20 resets) in 523 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 513 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4003 steps (20 resets) in 515 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4003 steps (20 resets) in 528 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (19 resets) in 505 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 501 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4003 steps (20 resets) in 492 ms. (8 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 512 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 512 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 535 ms. (7 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 12824/12824 properties
BEST_FIRST walk for 4004 steps (20 resets) in 500 ms. (7 steps per ms) remains 12822/12824 properties
BEST_FIRST walk for 4003 steps (19 resets) in 444 ms. (8 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4004 steps (20 resets) in 448 ms. (8 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4004 steps (20 resets) in 419 ms. (9 steps per ms) remains 12822/12822 properties
BEST_FIRST walk for 4001 steps (20 resets) in 434 ms. (9 steps per ms) remains 12820/12822 properties
BEST_FIRST walk for 4004 steps (20 resets) in 456 ms. (8 steps per ms) remains 12819/12820 properties
BEST_FIRST walk for 4004 steps (20 resets) in 451 ms. (8 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4002 steps (20 resets) in 418 ms. (9 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 12818/12819 properties
BEST_FIRST walk for 4004 steps (18 resets) in 470 ms. (8 steps per ms) remains 12818/12818 properties
BEST_FIRST walk for 4003 steps (19 resets) in 499 ms. (8 steps per ms) remains 12818/12818 properties
BEST_FIRST walk for 4004 steps (20 resets) in 583 ms. (6 steps per ms) remains 12818/12818 properties
BEST_FIRST walk for 4004 steps (20 resets) in 460 ms. (8 steps per ms) remains 12818/12818 properties
BEST_FIRST walk for 4002 steps (19 resets) in 431 ms. (9 steps per ms) remains 12817/12818 properties
BEST_FIRST walk for 4003 steps (20 resets) in 496 ms. (8 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (20 resets) in 444 ms. (8 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4002 steps (20 resets) in 415 ms. (9 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (20 resets) in 397 ms. (10 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4003 steps (20 resets) in 436 ms. (9 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (20 resets) in 420 ms. (9 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4003 steps (20 resets) in 390 ms. (10 steps per ms) remains 12815/12817 properties
BEST_FIRST walk for 4003 steps (20 resets) in 424 ms. (9 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (19 resets) in 428 ms. (9 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (20 resets) in 430 ms. (9 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4003 steps (20 resets) in 393 ms. (10 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4003 steps (20 resets) in 410 ms. (9 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4004 steps (20 resets) in 443 ms. (9 steps per ms) remains 12813/12815 properties
BEST_FIRST walk for 4003 steps (19 resets) in 405 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4001 steps (20 resets) in 503 ms. (7 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4002 steps (20 resets) in 455 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 454 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 463 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 418 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4002 steps (20 resets) in 501 ms. (7 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 456 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 414 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 463 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (19 resets) in 494 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 424 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (19 resets) in 490 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4002 steps (20 resets) in 406 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 488 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 489 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 524 ms. (7 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4001 steps (20 resets) in 469 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 464 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 445 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 483 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 436 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 444 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 457 ms. (8 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (20 resets) in 439 ms. (9 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4003 steps (19 resets) in 432 ms. (9 steps per ms) remains 12811/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 485 ms. (8 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4004 steps (19 resets) in 424 ms. (9 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4004 steps (20 resets) in 460 ms. (8 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4004 steps (22 resets) in 506 ms. (7 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4003 steps (19 resets) in 464 ms. (8 steps per ms) remains 12803/12811 properties
BEST_FIRST walk for 4004 steps (20 resets) in 420 ms. (9 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4002 steps (20 resets) in 412 ms. (9 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4004 steps (20 resets) in 493 ms. (8 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4003 steps (20 resets) in 447 ms. (8 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4003 steps (20 resets) in 473 ms. (8 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4002 steps (20 resets) in 461 ms. (8 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4004 steps (20 resets) in 404 ms. (9 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4003 steps (20 resets) in 499 ms. (8 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4002 steps (19 resets) in 417 ms. (9 steps per ms) remains 12803/12803 properties
BEST_FIRST walk for 4004 steps (20 resets) in 448 ms. (8 steps per ms) remains 12801/12803 properties
BEST_FIRST walk for 4004 steps (20 resets) in 470 ms. (8 steps per ms) remains 12801/12801 properties
BEST_FIRST walk for 4004 steps (20 resets) in 424 ms. (9 steps per ms) remains 12801/12801 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 12801/12801 properties
BEST_FIRST walk for 4004 steps (20 resets) in 459 ms. (8 steps per ms) remains 12800/12801 properties
BEST_FIRST walk for 4004 steps (20 resets) in 508 ms. (7 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 519 ms. (7 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 437 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 430 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 437 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 463 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (19 resets) in 404 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 485 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 446 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 488 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (22 resets) in 526 ms. (7 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 467 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 465 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 414 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 438 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 469 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 456 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 422 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (19 resets) in 469 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 422 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 426 ms. (9 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 464 ms. (8 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 454 ms. (8 steps per ms) remains 12798/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 461 ms. (8 steps per ms) remains 12798/12798 properties
BEST_FIRST walk for 4004 steps (20 resets) in 481 ms. (8 steps per ms) remains 12798/12798 properties
BEST_FIRST walk for 4004 steps (20 resets) in 419 ms. (9 steps per ms) remains 12798/12798 properties
BEST_FIRST walk for 4003 steps (20 resets) in 415 ms. (9 steps per ms) remains 12797/12798 properties
BEST_FIRST walk for 4003 steps (20 resets) in 456 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 446 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 388 ms. (10 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 493 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (19 resets) in 433 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 378 ms. (10 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 482 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 412 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (21 resets) in 505 ms. (7 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 452 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 499 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 463 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (19 resets) in 427 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 471 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4002 steps (20 resets) in 443 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 416 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 488 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 455 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (19 resets) in 489 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 411 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 421 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 491 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4002 steps (20 resets) in 492 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 477 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 434 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 467 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4002 steps (20 resets) in 502 ms. (7 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 435 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 441 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 487 ms. (8 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 422 ms. (9 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (22 resets) in 499 ms. (8 steps per ms) remains 12795/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 484 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 461 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 428 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4002 steps (20 resets) in 426 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (19 resets) in 490 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 468 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 425 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (19 resets) in 431 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 476 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 432 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 493 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 417 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 489 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4002 steps (20 resets) in 500 ms. (7 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (19 resets) in 495 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4002 steps (20 resets) in 441 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 490 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 420 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (18 resets) in 462 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 466 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 455 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 481 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (19 resets) in 454 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 445 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4002 steps (20 resets) in 495 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4002 steps (20 resets) in 448 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 421 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 478 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 461 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (19 resets) in 397 ms. (10 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 465 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 470 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 412 ms. (9 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 497 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 487 ms. (8 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (21 resets) in 499 ms. (8 steps per ms) remains 12793/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 438 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 436 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (20 resets) in 464 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 485 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4002 steps (20 resets) in 532 ms. (7 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (20 resets) in 490 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (20 resets) in 423 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 470 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (20 resets) in 415 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 394 ms. (10 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4003 steps (20 resets) in 420 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4002 steps (20 resets) in 434 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (18 resets) in 399 ms. (10 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 415 ms. (9 steps per ms) remains 12793/12793 properties
BEST_FIRST walk for 4002 steps (23 resets) in 483 ms. (8 steps per ms) remains 12791/12793 properties
BEST_FIRST walk for 4004 steps (20 resets) in 415 ms. (9 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4004 steps (19 resets) in 383 ms. (10 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4003 steps (20 resets) in 429 ms. (9 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4004 steps (20 resets) in 487 ms. (8 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4004 steps (20 resets) in 475 ms. (8 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4003 steps (20 resets) in 451 ms. (8 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4002 steps (20 resets) in 491 ms. (8 steps per ms) remains 12791/12791 properties
BEST_FIRST walk for 4004 steps (20 resets) in 513 ms. (7 steps per ms) remains 12789/12791 properties
BEST_FIRST walk for 4002 steps (20 resets) in 430 ms. (9 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4003 steps (20 resets) in 447 ms. (8 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4004 steps (20 resets) in 496 ms. (8 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4002 steps (20 resets) in 428 ms. (9 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4004 steps (20 resets) in 494 ms. (8 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4004 steps (22 resets) in 520 ms. (7 steps per ms) remains 12788/12789 properties
BEST_FIRST walk for 4004 steps (20 resets) in 440 ms. (9 steps per ms) remains 12786/12788 properties
BEST_FIRST walk for 4003 steps (20 resets) in 454 ms. (8 steps per ms) remains 12784/12786 properties
BEST_FIRST walk for 4004 steps (20 resets) in 491 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 475 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 435 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 488 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 415 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 416 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 432 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 480 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4002 steps (20 resets) in 405 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 482 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (21 resets) in 452 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (19 resets) in 442 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4003 steps (20 resets) in 485 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 418 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 458 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 457 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 421 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4002 steps (20 resets) in 497 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4003 steps (20 resets) in 491 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 480 ms. (8 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4003 steps (20 resets) in 421 ms. (9 steps per ms) remains 12784/12784 properties
BEST_FIRST walk for 4004 steps (22 resets) in 513 ms. (7 steps per ms) remains 12783/12784 properties
BEST_FIRST walk for 4004 steps (20 resets) in 480 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4002 steps (20 resets) in 479 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (19 resets) in 404 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (19 resets) in 426 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 407 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4002 steps (20 resets) in 405 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (22 resets) in 476 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (20 resets) in 442 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (20 resets) in 430 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 402 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (19 resets) in 411 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (19 resets) in 432 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 401 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (23 resets) in 492 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 426 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (20 resets) in 414 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (20 resets) in 421 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4002 steps (20 resets) in 409 ms. (9 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (22 resets) in 509 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (20 resets) in 484 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4003 steps (20 resets) in 451 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (22 resets) in 489 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 545 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 506 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 561 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 546 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 492 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 545 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 554 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 498 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 543 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 547 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 494 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 518 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 569 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 554 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 528 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 506 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 562 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 546 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 541 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 541 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 538 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 496 ms. (8 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 543 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 523 ms. (7 steps per ms) remains 12783/12783 properties
BEST_FIRST walk for 4004 steps (24 resets) in 562 ms. (7 steps per ms) remains 12783/12783 properties
[2024-05-25 09:40:02] [INFO ] Flow matrix only has 17219 transitions (discarded 1056 similar events)
// Phase 1: matrix 17219 rows 10068 cols
[2024-05-25 09:40:03] [INFO ] Computed 1257 invariants in 989 ms
[2024-05-25 09:40:03] [INFO ] State equation strengthened by 6910 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/6595 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 12783 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6595/27287 variables, and 60 constraints, problems are : Problem set: 0 solved, 12783 unsolved in 45275 ms.
Refiners :[Positive P Invariants (semi-flows): 60/63 constraints, Generalized P Invariants (flows): 0/1194 constraints, State Equation: 0/10068 constraints, ReadFeed: 0/6910 constraints, PredecessorRefiner: 12783/12783 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12783 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6595 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 12783 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6595/27287 variables, and 60 constraints, problems are : Problem set: 0 solved, 12783 unsolved in 45158 ms.
Refiners :[Positive P Invariants (semi-flows): 60/63 constraints, Generalized P Invariants (flows): 0/1194 constraints, State Equation: 0/10068 constraints, ReadFeed: 0/6910 constraints, PredecessorRefiner: 0/12783 constraints, Known Traps: 0/0 constraints]
After SMT, in 124260ms problems are : Problem set: 0 solved, 12783 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6595 out of 10068 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10068/10068 places, 18275/18275 transitions.
Discarding 988 places :
Symmetric choice reduction at 0 with 988 rule applications. Total rules 988 place count 9080 transition count 17279
Iterating global reduction 0 with 988 rules applied. Total rules applied 1976 place count 9080 transition count 17279
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 1976 place count 9080 transition count 17277
Deduced a syphon composed of 2 places in 15 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 1980 place count 9078 transition count 17277
Discarding 840 places :
Symmetric choice reduction at 0 with 840 rule applications. Total rules 2820 place count 8238 transition count 15597
Iterating global reduction 0 with 840 rules applied. Total rules applied 3660 place count 8238 transition count 15597
Free-agglomeration rule (complex) applied 24 times.
Iterating global reduction 0 with 24 rules applied. Total rules applied 3684 place count 8238 transition count 15573
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 0 with 24 rules applied. Total rules applied 3708 place count 8214 transition count 15573
Partial Free-agglomeration rule applied 59 times.
Drop transitions (Partial Free agglomeration) removed 59 transitions
Iterating global reduction 1 with 59 rules applied. Total rules applied 3767 place count 8214 transition count 15573
Applied a total of 3767 rules in 2404 ms. Remains 8214 /10068 variables (removed 1854) and now considering 15573/18275 (removed 2702) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2405 ms. Remains : 8214/10068 places, 15573/18275 transitions.
RANDOM walk for 718947 steps (47203 resets) in 120006 ms. (5 steps per ms) remains 12726/12783 properties
BEST_FIRST walk for 4004 steps (28 resets) in 559 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 596 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 640 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 657 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 629 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 591 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 619 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 622 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 667 ms. (5 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 621 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 653 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 636 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 610 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 666 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 631 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 605 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 656 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 570 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 606 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 627 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 670 ms. (5 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 637 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 590 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 566 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 642 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 605 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 536 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 598 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 606 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (28 resets) in 640 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (22 resets) in 631 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (23 resets) in 592 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 586 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 530 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4002 steps (22 resets) in 592 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4003 steps (20 resets) in 467 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4003 steps (20 resets) in 551 ms. (7 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 450 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (19 resets) in 460 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (21 resets) in 608 ms. (6 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4002 steps (20 resets) in 487 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 486 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4002 steps (20 resets) in 462 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 465 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4003 steps (20 resets) in 464 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (22 resets) in 487 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 436 ms. (9 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 492 ms. (8 steps per ms) remains 12726/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 481 ms. (8 steps per ms) remains 12726/12726 properties

BK_STOP 1716630260767

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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-S32C02"
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-S32C02, 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-171654364600092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C02.tgz
mv MultiCrashLeafsetExtension-PT-S32C02 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 ;