MCC'2024- Execution of r510-tall-171654364500082

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

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

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 19 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Apr 12 06:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Apr 12 06:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 19M 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 1717223778997

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C11
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 06:36:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-06-01 06:36:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 06:36:21] [INFO ] Load time of PNML (sax parser for PT used): 803 ms
[2024-06-01 06:36:21] [INFO ] Transformed 19254 places.
[2024-06-01 06:36:21] [INFO ] Transformed 27973 transitions.
[2024-06-01 06:36:21] [INFO ] Parsed PT model containing 19254 places and 27973 transitions and 103022 arcs in 1041 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 19254/19254 places, 27973/27973 transitions.
Reduce places removed 50 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6600 transitions
Trivial Post-agglo rules discarded 6600 transitions
Performed 6600 trivial Post agglomeration. Transition count delta: 6600
Iterating post reduction 0 with 6650 rules applied. Total rules applied 6650 place count 19204 transition count 21373
Reduce places removed 6600 places and 0 transitions.
Iterating post reduction 1 with 6600 rules applied. Total rules applied 13250 place count 12604 transition count 21373
Performed 550 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 550 Pre rules applied. Total rules applied 13250 place count 12604 transition count 20823
Deduced a syphon composed of 550 places in 92 ms
Reduce places removed 550 places and 0 transitions.
Iterating global reduction 2 with 1100 rules applied. Total rules applied 14350 place count 12054 transition count 20823
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 36 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 14400 place count 12029 transition count 20798
Applied a total of 14400 rules in 1474 ms. Remains 12029 /19254 variables (removed 7225) and now considering 20798/27973 (removed 7175) transitions.
[2024-06-01 06:36:22] [INFO ] Flow matrix only has 20198 transitions (discarded 600 similar events)
// Phase 1: matrix 20198 rows 12029 cols
[2024-06-01 06:36:25] [INFO ] Computed 1249 invariants in 2065 ms
[2024-06-01 06:36:57] [INFO ] Performed 7391/12029 implicitness test of which 427 returned IMPLICIT in 30 seconds.
[2024-06-01 06:37:27] [INFO ] Performed 11663/12029 implicitness test of which 628 returned IMPLICIT in 60 seconds.
[2024-06-01 06:37:43] [INFO ] Implicit Places using invariants in 80330 ms returned [4, 7, 22, 39, 58, 79, 102, 127, 154, 183, 214, 247, 282, 318, 353, 386, 417, 446, 473, 498, 521, 542, 561, 578, 593, 630, 636, 650, 665, 682, 701, 722, 745, 770, 797, 826, 857, 890, 924, 957, 988, 1017, 1044, 1069, 1092, 1113, 1132, 1149, 1164, 1178, 1215, 1221, 1235, 1249, 1264, 1281, 1300, 1321, 1344, 1369, 1396, 1425, 1456, 1488, 1519, 1548, 1575, 1600, 1623, 1644, 1663, 1680, 1695, 1709, 1723, 1760, 1766, 1780, 1794, 1808, 1823, 1840, 1859, 1880, 1903, 1928, 1955, 1984, 2014, 2043, 2070, 2095, 2118, 2139, 2158, 2175, 2190, 2204, 2218, 2232, 2269, 2275, 2289, 2303, 2317, 2331, 2346, 2363, 2382, 2403, 2426, 2451, 2478, 2506, 2533, 2558, 2581, 2602, 2621, 2638, 2653, 2667, 2681, 2695, 2709, 2746, 2752, 2766, 2780, 2794, 2808, 2822, 2837, 2854, 2873, 2894, 2917, 2942, 2968, 2993, 3016, 3037, 3056, 3073, 3088, 3102, 3116, 3130, 3144, 3158, 3195, 3201, 3215, 3229, 3243, 3257, 3271, 3285, 3300, 3317, 3336, 3357, 3380, 3404, 3427, 3448, 3467, 3484, 3499, 3513, 3527, 3541, 3555, 3569, 3583, 3620, 3626, 3640, 3654, 3668, 3682, 3696, 3710, 3724, 3739, 3756, 3775, 3796, 3818, 3839, 3858, 3875, 3890, 3904, 3918, 3932, 3946, 3960, 3974, 3988, 4025, 4031, 4045, 4059, 4073, 4087, 4101, 4115, 4129, 4143, 4158, 4175, 4194, 4214, 4233, 4250, 4265, 4279, 4293, 4307, 4321, 4335, 4349, 4363, 4377, 4414, 4420, 4434, 4448, 4462, 4476, 4490, 4504, 4518, 4532, 4546, 4561, 4578, 4596, 4613, 4628, 4642, 4656, 4670, 4684, 4698, 4712, 4726, 4740, 4754, 4791, 4797, 4811, 4825, 4839, 4853, 4867, 4881, 4895, 4909, 4923, 4937, 4952, 4968, 4983, 4997, 5011, 5025, 5039, 5053, 5067, 5081, 5095, 5109, 5123, 5160, 5166, 5180, 5194, 5208, 5222, 5236, 5250, 5264, 5278, 5292, 5306, 5320, 5334, 5348, 5362, 5376, 5390, 5404, 5418, 5432, 5446, 5460, 5474, 5488, 5525, 5527, 5530, 5544, 5558, 5572, 5586, 5600, 5614, 5628, 5642, 5656, 5670, 5684, 5698, 5712, 5726, 5740, 5754, 5768, 5782, 5796, 5810, 5824, 5838, 5852, 5889, 5895, 5909, 5923, 5937, 5951, 5965, 5979, 5993, 6007, 6021, 6035, 6049, 6063, 6077, 6091, 6105, 6119, 6133, 6147, 6161, 6175, 6189, 6203, 6217, 6254, 6260, 6274, 6288, 6302, 6316, 6330, 6344, 6358, 6372, 6386, 6400, 6414, 6429, 6445, 6460, 6474, 6488, 6502, 6516, 6530, 6544, 6558, 6572, 6586, 6623, 6629, 6643, 6657, 6671, 6685, 6699, 6713, 6727, 6741, 6755, 6769, 6784, 6801, 6819, 6836, 6851, 6865, 6879, 6893, 6907, 6921, 6935, 6949, 6963, 7000, 7006, 7020, 7034, 7048, 7062, 7076, 7090, 7104, 7118, 7132, 7147, 7164, 7183, 7203, 7222, 7239, 7254, 7268, 7282, 7296, 7310, 7324, 7338, 7352, 7389, 7395, 7409, 7423, 7437, 7451, 7465, 7479, 7493, 7507, 7522, 7539, 7558, 7579, 7601, 7622, 7641, 7658, 7673, 7687, 7701, 7715, 7729, 7743, 7757, 7794, 7800, 7814, 7828, 7842, 7856, 7870, 7884, 7898, 7913, 7930, 7949, 7970, 7993, 8017, 8040, 8061, 8080, 8097, 8112, 8126, 8140, 8154, 8168, 8182, 8219, 8225, 8239, 8253, 8267, 8281, 8295, 8309, 8324, 8341, 8360, 8381, 8404, 8429, 8455, 8480, 8503, 8524, 8543, 8560, 8575, 8589, 8603, 8617, 8631, 8668, 8674, 8688, 8702, 8716, 8730, 8744, 8759, 8776, 8795, 8816, 8839, 8864, 8891, 8919, 8946, 8971, 8994, 9015, 9034, 9051, 9066, 9080, 9094, 9108, 9145, 9151, 9165, 9179, 9193, 9207, 9222, 9239, 9258, 9279, 9302, 9327, 9354, 9383, 9413, 9442, 9469, 9494, 9517, 9538, 9557, 9574, 9589, 9603, 9617, 9654, 9660, 9674, 9688, 9702, 9717, 9734, 9753, 9774, 9797, 9822, 9849, 9878, 9909, 9941, 9972, 10001, 10028, 10053, 10076, 10097, 10116, 10133, 10148, 10162, 10199, 10205, 10219, 10233, 10248, 10265, 10284, 10305, 10328, 10353, 10380, 10409, 10440, 10473, 10507, 10540, 10571, 10600, 10627, 10652, 10675, 10696, 10715, 10732, 10747, 10784, 10786, 10789, 10803, 10818, 10835, 10854, 10875, 10898, 10923, 10950, 10979, 11010, 11043, 11078, 11114, 11149, 11182, 11213, 11242, 11269, 11294, 11317, 11338, 11357, 11374, 11412]
[2024-06-01 06:37:43] [INFO ] Actually due to overlaps returned [630, 1215, 1760, 2269, 2746, 3195, 3620, 4025, 4414, 4791, 5160, 5525, 5889, 6254, 6623, 7000, 7389, 7794, 8219, 8668, 9145, 9654, 10199, 10784, 11412, 4, 5527, 10786]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 80386 ms to find 28 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 12001/19254 places, 20798/27973 transitions.
Applied a total of 0 rules in 133 ms. Remains 12001 /12001 variables (removed 0) and now considering 20798/20798 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 82017 ms. Remains : 12001/19254 places, 20798/27973 transitions.
Initial state reduction rules removed 25 formulas.
RANDOM walk for 40000 steps (441 resets) in 6669 ms. (5 steps per ms) remains 19624/20773 properties
BEST_FIRST walk for 124 steps (8 resets) in 52 ms. (2 steps per ms) remains 19617/19624 properties
BEST_FIRST walk for 124 steps (8 resets) in 107 ms. (1 steps per ms) remains 19617/19617 properties
BEST_FIRST walk for 124 steps (8 resets) in 90 ms. (1 steps per ms) remains 19617/19617 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19617/19617 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19617 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 38 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 19616/19616 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 19616/19616 properties
Interrupted probabilistic random walk after 5151 steps, run timeout after 6001 ms. (steps per millisecond=0 ) properties seen :801 out of 19616
Probabilistic random walk after 5151 steps, saw 2590 distinct states, run finished after 6008 ms. (steps per millisecond=0 ) properties seen :801
[2024-06-01 06:37:52] [INFO ] Flow matrix only has 20198 transitions (discarded 600 similar events)
// Phase 1: matrix 20198 rows 12001 cols
[2024-06-01 06:37:54] [INFO ] Computed 1221 invariants in 1859 ms
[2024-06-01 06:37:55] [INFO ] State equation strengthened by 8602 read => feed constraints.
SMT process timed out in 53715ms, After SMT, problems are : Problem set: 0 solved, 18815 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 11052 out of 12001 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12001/12001 places, 20798/20798 transitions.
Discarding 229 places :
Symmetric choice reduction at 0 with 229 rule applications. Total rules 229 place count 11772 transition count 20569
Iterating global reduction 0 with 229 rules applied. Total rules applied 458 place count 11772 transition count 20569
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 459 place count 11772 transition count 20568
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 460 place count 11771 transition count 20568
Partial Free-agglomeration rule applied 15 times.
Drop transitions (Partial Free agglomeration) removed 15 transitions
Iterating global reduction 1 with 15 rules applied. Total rules applied 475 place count 11771 transition count 20568
Applied a total of 475 rules in 887 ms. Remains 11771 /12001 variables (removed 230) and now considering 20568/20798 (removed 230) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 889 ms. Remains : 11771/12001 places, 20568/20798 transitions.
RANDOM walk for 720003 steps (7965 resets) in 120004 ms. (5 steps per ms) remains 11049/18815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 11043/11049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 11041/11043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 11038/11041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 11037/11038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 11034/11037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 11034/11034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 11034/11034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 11034/11034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 11031/11034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 11030/11031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 11030/11030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 11028/11030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 11028/11028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 11027/11028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 11026/11027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 528 ms. (7 steps per ms) remains 11024/11026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 11023/11024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 11023/11023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 11023/11023 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 11015/11023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 11007/11015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 11004/11007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 11001/11004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10999/11001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 10997/10999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 10993/10997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10987/10993 properties
BEST_FIRST walk for 4002 steps (8 resets) in 431 ms. (9 steps per ms) remains 10981/10987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10978/10981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10974/10978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10966/10974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 10964/10966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 485 ms. (8 steps per ms) remains 10962/10964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10961/10962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 443 ms. (9 steps per ms) remains 10960/10961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 10955/10960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 10953/10955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10949/10953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10947/10949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10941/10947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 10941/10941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10940/10941 properties
BEST_FIRST walk for 4002 steps (8 resets) in 349 ms. (11 steps per ms) remains 10936/10940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10928/10936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10928/10928 properties
BEST_FIRST walk for 4002 steps (8 resets) in 438 ms. (9 steps per ms) remains 10927/10928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10922/10927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 10920/10922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10913/10920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 10912/10913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 10909/10912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 10903/10909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10898/10903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 10894/10898 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10889/10894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 10887/10889 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 10883/10887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10880/10883 properties
BEST_FIRST walk for 4002 steps (8 resets) in 391 ms. (10 steps per ms) remains 10878/10880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 370 ms. (10 steps per ms) remains 10874/10878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10873/10874 properties
BEST_FIRST walk for 4002 steps (8 resets) in 402 ms. (9 steps per ms) remains 10869/10873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10869/10869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10867/10869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 10866/10867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10863/10866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10862/10863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10859/10862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10859/10859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 10855/10859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 10853/10855 properties
BEST_FIRST walk for 4003 steps (8 resets) in 423 ms. (9 steps per ms) remains 10850/10853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10848/10850 properties
BEST_FIRST walk for 4002 steps (8 resets) in 397 ms. (10 steps per ms) remains 10846/10848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10845/10846 properties
BEST_FIRST walk for 4003 steps (8 resets) in 398 ms. (10 steps per ms) remains 10844/10845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10844/10844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10843/10844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10843/10843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 10842/10843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 440 ms. (9 steps per ms) remains 10842/10842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10839/10842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10838/10839 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 10836/10838 properties
BEST_FIRST walk for 4003 steps (8 resets) in 448 ms. (8 steps per ms) remains 10835/10836 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 10834/10835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10834/10834 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 10834/10834 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10834/10834 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 10834/10834 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10832/10834 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10831/10832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 422 ms. (9 steps per ms) remains 10831/10831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 485 ms. (8 steps per ms) remains 10828/10831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 10825/10828 properties
BEST_FIRST walk for 4003 steps (8 resets) in 441 ms. (9 steps per ms) remains 10822/10825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 10819/10822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 10819/10819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10818/10819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10815/10818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10813/10815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 10812/10813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10811/10812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 385 ms. (10 steps per ms) remains 10808/10811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 473 ms. (8 steps per ms) remains 10808/10808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 10808/10808 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10808/10808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 10807/10808 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10806/10807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10805/10806 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 10805/10805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 10805/10805 properties
BEST_FIRST walk for 4002 steps (8 resets) in 467 ms. (8 steps per ms) remains 10805/10805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10802/10805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10799/10802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 10799/10799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10797/10799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10796/10797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 10796/10796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10796/10796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10793/10796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10793/10793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 10793/10793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10791/10793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10791/10791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10791/10791 properties
BEST_FIRST walk for 4002 steps (8 resets) in 463 ms. (8 steps per ms) remains 10791/10791 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 10791/10791 properties
BEST_FIRST walk for 4002 steps (8 resets) in 397 ms. (10 steps per ms) remains 10791/10791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10789/10791 properties
BEST_FIRST walk for 4002 steps (8 resets) in 410 ms. (9 steps per ms) remains 10789/10789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10789/10789 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 10789/10789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10788/10789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10788/10788 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10788/10788 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10788/10788 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10788/10788 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10786/10788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4002 steps (8 resets) in 482 ms. (8 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4002 steps (8 resets) in 393 ms. (10 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 10786/10786 properties
BEST_FIRST walk for 4003 steps (8 resets) in 442 ms. (9 steps per ms) remains 10785/10786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10785/10785 properties
BEST_FIRST walk for 4002 steps (8 resets) in 419 ms. (9 steps per ms) remains 10784/10785 properties
BEST_FIRST walk for 4002 steps (8 resets) in 408 ms. (9 steps per ms) remains 10784/10784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10784/10784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10784/10784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 396 ms. (10 steps per ms) remains 10784/10784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 616 ms. (6 steps per ms) remains 10782/10784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 10782/10782 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 10781/10782 properties
BEST_FIRST walk for 4003 steps (8 resets) in 473 ms. (8 steps per ms) remains 10779/10781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10779/10779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10779/10779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10779/10779 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 10779/10779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10779/10779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10778/10779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10778/10778 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 10778/10778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10777/10778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10775/10777 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 10775/10775 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10774/10775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 389 ms. (10 steps per ms) remains 10773/10774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10773/10773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 457 ms. (8 steps per ms) remains 10773/10773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 407 ms. (9 steps per ms) remains 10773/10773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10772/10773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 10771/10772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 517 ms. (7 steps per ms) remains 10771/10771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10771/10771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 10771/10771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10770/10771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10770/10770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 10768/10770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 416 ms. (9 steps per ms) remains 10768/10768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 493 ms. (8 steps per ms) remains 10764/10768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 428 ms. (9 steps per ms) remains 10764/10764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 403 ms. (9 steps per ms) remains 10764/10764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10760/10764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 10760/10760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 469 ms. (8 steps per ms) remains 10758/10760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10758/10758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 10758/10758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 10758/10758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 10758/10758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 10758/10758 properties
BEST_FIRST walk for 4002 steps (8 resets) in 433 ms. (9 steps per ms) remains 10758/10758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 10757/10758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 454 ms. (8 steps per ms) remains 10757/10757 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 10757/10757 properties
BEST_FIRST walk for 4003 steps (8 resets) in 421 ms. (9 steps per ms) remains 10757/10757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10756/10757 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 10754/10756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10753/10754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 454 ms. (8 steps per ms) remains 10752/10753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 421 ms. (9 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 423 ms. (9 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 374 ms. (10 steps per ms) remains 10752/10752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10750/10752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10750/10750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10750/10750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 10750/10750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10750/10750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 10750/10750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10750/10750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 451 ms. (8 steps per ms) remains 10749/10750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 416 ms. (9 steps per ms) remains 10749/10749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10749/10749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10749/10749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 10747/10749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10747/10747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 10747/10747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10747/10747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10747/10747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 10746/10747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10746/10746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 10746/10746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10746/10746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 10745/10746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 382 ms. (10 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 490 ms. (8 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 578 ms. (6 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4002 steps (8 resets) in 503 ms. (7 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 509 ms. (7 steps per ms) remains 10745/10745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 597 ms. (6 steps per ms) remains 10743/10745 properties
BEST_FIRST walk for 4002 steps (8 resets) in 496 ms. (8 steps per ms) remains 10743/10743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10743/10743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10741/10743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 10741/10741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10741/10741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 520 ms. (7 steps per ms) remains 10741/10741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10741/10741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10741/10741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 10740/10741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 10738/10740 properties
BEST_FIRST walk for 4002 steps (8 resets) in 504 ms. (7 steps per ms) remains 10738/10738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 565 ms. (7 steps per ms) remains 10738/10738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 559 ms. (7 steps per ms) remains 10736/10738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 500 ms. (7 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 522 ms. (7 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 589 ms. (6 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 587 ms. (6 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 523 ms. (7 steps per ms) remains 10736/10736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 472 ms. (8 steps per ms) remains 10735/10736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10735/10735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 10735/10735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 10735/10735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 621 ms. (6 steps per ms) remains 10735/10735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 552 ms. (7 steps per ms) remains 10735/10735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10734/10735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 10734/10734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10732/10734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 10732/10732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10732/10732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10732/10732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 482 ms. (8 steps per ms) remains 10732/10732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 10731/10732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 590 ms. (6 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 480 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 462 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 423 ms. (9 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 514 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 595 ms. (6 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 560 ms. (7 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 492 ms. (8 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10731/10731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 475 ms. (8 steps per ms) remains 10730/10731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 10728/10730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10728/10728 properties
BEST_FIRST walk for 4003 steps (8 resets) in 454 ms. (8 steps per ms) remains 10728/10728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10728/10728 properties
BEST_FIRST walk for 4003 steps (8 resets) in 445 ms. (8 steps per ms) remains 10726/10728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10726/10726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 10725/10726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10724/10725 properties
BEST_FIRST walk for 4003 steps (8 resets) in 574 ms. (6 steps per ms) remains 10724/10724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 10724/10724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 10723/10724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 10723/10723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10723/10723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 10723/10723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 444 ms. (8 steps per ms) remains 10721/10723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10721/10721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10721/10721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 10721/10721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10721/10721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 10720/10721 properties
BEST_FIRST walk for 4001 steps (8 resets) in 463 ms. (8 steps per ms) remains 10720/10720 properties
BEST_FIRST walk for 4003 steps (8 resets) in 549 ms. (7 steps per ms) remains 10719/10720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10718/10719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10718/10718 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 10718/10718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10717/10718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10717/10717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 583 ms. (6 steps per ms) remains 10715/10717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 582 ms. (6 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 570 ms. (7 steps per ms) remains 10715/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10713/10715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10713/10713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 10713/10713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10713/10713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10713/10713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10713/10713 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 10712/10713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10712/10712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10712/10712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 10711/10712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 10711/10711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10710/10711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10710/10710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 10710/10710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 10710/10710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 10710/10710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 10710/10710 properties
BEST_FIRST walk for 4002 steps (8 resets) in 451 ms. (8 steps per ms) remains 10710/10710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 10709/10710 properties
BEST_FIRST walk for 4002 steps (8 resets) in 542 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 630 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 572 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 601 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 520 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 603 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 481 ms. (8 steps per ms) remains 10709/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10708/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 504 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 477 ms. (8 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 499 ms. (8 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 565 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10708/10708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 553 ms. (7 steps per ms) remains 10707/10708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 514 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4002 steps (8 resets) in 598 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 591 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 648 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 604 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4002 steps (8 resets) in 538 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 534 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 532 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 622 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 578 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 583 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 591 ms. (6 steps per ms) remains 10707/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 562 ms. (7 steps per ms) remains 10706/10707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 573 ms. (6 steps per ms) remains 10706/10706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10706/10706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 596 ms. (6 steps per ms) remains 10706/10706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 533 ms. (7 steps per ms) remains 10706/10706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 632 ms. (6 steps per ms) remains 10704/10706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 10704/10704 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 10704/10704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 10704/10704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 10703/10704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 589 ms. (6 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 592 ms. (6 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 512 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 503 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 553 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4001 steps (8 resets) in 548 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 529 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4002 steps (8 resets) in 494 ms. (8 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 564 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 539 ms. (7 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 587 ms. (6 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 10703/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 489 ms. (8 steps per ms) remains 10702/10703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 541 ms. (7 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4002 steps (8 resets) in 511 ms. (7 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 585 ms. (6 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4001 steps (8 resets) in 575 ms. (6 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4001 steps (8 resets) in 553 ms. (7 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 576 ms. (6 steps per ms) remains 10702/10702 properties
BEST_FIRST walk for 4002 steps (8 resets) in 607 ms. (6 steps per ms) remains 10701/10702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 547 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 592 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 614 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 585 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 541 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 523 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 586 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 641 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 528 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 10701/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 10700/10701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 635 ms. (6 steps per ms) remains 10699/10700 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 621 ms. (6 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4002 steps (8 resets) in 837 ms. (4 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 540 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 569 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 504 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 568 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 563 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 10699/10699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 642 ms. (6 steps per ms) remains 10697/10699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 594 ms. (6 steps per ms) remains 10696/10697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 564 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4002 steps (8 resets) in 495 ms. (8 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 511 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10696/10696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10695/10696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 531 ms. (7 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 552 ms. (7 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4002 steps (8 resets) in 493 ms. (8 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4002 steps (8 resets) in 559 ms. (7 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10695/10695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 449 ms. (8 steps per ms) remains 10693/10695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 421 ms. (9 steps per ms) remains 10693/10693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10693/10693 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 10693/10693 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 10693/10693 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 10691/10693 properties
BEST_FIRST walk for 4003 steps (8 resets) in 480 ms. (8 steps per ms) remains 10691/10691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 10691/10691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10691/10691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 509 ms. (7 steps per ms) remains 10691/10691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 528 ms. (7 steps per ms) remains 10691/10691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 515 ms. (7 steps per ms) remains 10690/10691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 525 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 494 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 423 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 483 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 434 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4001 steps (8 resets) in 479 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 519 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 532 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 445 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 490 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 552 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 573 ms. (6 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 482 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 473 ms. (8 steps per ms) remains 10690/10690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 10690/10690 properties
[2024-06-01 06:40:51] [INFO ] Flow matrix only has 19968 transitions (discarded 600 similar events)
// Phase 1: matrix 19968 rows 11771 cols
[2024-06-01 06:40:52] [INFO ] Computed 1221 invariants in 1584 ms
[2024-06-01 06:40:53] [INFO ] State equation strengthened by 8602 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s3 1.0)
(s4 1.0)
(s5 1.0)
(s7 1.0)
(s8 1.0)
(s9 1.0)
(s16 1.0)
(s17 1.0)
(s18 1.0)
(s19 1.0)
(s20 1.0)
(s22 1.0)
(s23 1.0)
(s24 1.0)
(s25 1.0)
(s26 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 1.0)
(s38 1.0)
(s39 1.0)
(s40 1.0)
(s41 1.0)
(s42 1.0)
(s43 1.0)
(s44 1.0)
(s51 1.0)
(s52 1.0)
(s53 1.0)
(s54 1.0)
(s56 1.0)
(s57 1.0)
(s58 1.0)
(s59 1.0)
(s60 1.0)
(s61 1.0)
(s62 1.0)
(s63 1.0)
(s64 1.0)
(s69 1.0)
(s71 1.0)
(s72 1.0)
(s73 1.0)
(s74 1.0)
(s76 1.0)
(s77 1.0)
(s78 1.0)
(s79 1.0)
(s80 1.0)
(s81 1.0)
(s82 1.0)
(s83 1.0)
(s84 1.0)
(s85 1.0)
(s86 1.0)
(s92 1.0)
(s93 1.0)
(s94 1.0)
(s95 1.0)
(s96 1.0)
(s98 1.0)
(s99 1.0)
(s100 1.0)
(s101 1.0)
(s102 1.0)
(s103 1.0)
(s104 1.0)
(s105 1.0)
(s106 1.0)
(s107 1.0)
(s108 1.0)
(s109 1.0)
(s110 1.0)
(s116 1.0)
(s117 1.0)
(s118 1.0)
(s119 1.0)
(s120 1.0)
(s122 1.0)
(s123 1.0)
(s124 1.0)
(s125 1.0)
(s126 1.0)
(s127 1.0)
(s128 1.0)
(s129 1.0)
(s130 1.0)
(s131 1.0)
(s132 1.0)
(s133 1.0)
(s134 1.0)
(s135 1.0)
(s136 1.0)
(s142 1.0)
(s143 1.0)
(s144 1.0)
(s145 1.0)
(s146 1.0)
(s148 1.0)
(s149 1.0)
(s150 1.0)
(s151 1.0)
(s152 1.0)
(s153 1.0)
(s154 1.0)
(s155 1.0)
(s156 1.0)
(s157 1.0)
(s158 1.0)
(s159 1.0)
(s160 1.0)
(s161 1.0)
(s162 1.0)
(s163 1.0)
(s164 1.0)
(s170 1.0)
(s171 1.0)
(s172 1.0)
(s173 1.0)
(s174 1.0)
(s176 1.0)
(s177 1.0)
(s178 1.0)
(s179 1.0)
(s180 1.0)
(s181 1.0)
(s182 1.0)
(s183 1.0)
(s184 1.0)
(s185 1.0)
(s186 1.0)
(s187 1.0)
(s188 1.0)
(s189 1.0)
(s190 1.0)
(s191 1.0)
(s192 1.0)
(s193 1.0)
(s194 1.0)
(s200 1.0)
(s201 1.0)
(s202 1.0)
(s203 1.0)
(s204 1.0)
(s206 1.0)
(s209 1.0)
(s210 1.0)
(s211 1.0)
(s212 1.0)
(s213 1.0)
(s214 1.0)
(s215 1.0)
(s216 1.0)
(s217 1.0)
(s218 1.0)
(s219 1.0)
(s220 1.0)
(s221 1.0)
(s222 1.0)
(s223 1.0)
(s224 1.0)
(s225 1.0)
(s226 1.0)
(s232 1.0)
(s233 1.0)
(s234 1.0)
(s235 1.0)
(s236 1.0)
(s238 1.0)
(s243 1.0)
(s244 1.0)
(s245 1.0)
(s246 1.0)
(s247 1.0)
(s248 1.0)
(s249 1.0)
(s250 1.0)
(s251 1.0)
(s252 1.0)
(s253 1.0)
(s254 1.0)
(s255 1.0)
(s256 1.0)
(s257 1.0)
(s258 1.0)
(s259 1.0)
(s260 1.0)
(s266 1.0)
(s267 1.0)
(s268 1.0)
(s269 1.0)
(s270 1.0)
(s272 1.0)
(s275 1.0)
(s276 1.0)
(s277 1.0)
(s278 1.0)
(s279 1.0)
(s280 1.0)
(s281 1.0)
(s282 1.0)
(s283 1.0)
(s284 1.0)
(s285 1.0)
(s286 1.0)
(s287 1.0)
(s288 1.0)
(s289 1.0)
(s290 1.0)
(s291 1.0)
(s292 1.0)
(s293 1.0)
(s294 1.0)
(s295 1.0)
(s299 1.0)
(s300 1.0)
(s301 1.0)
(s302 1.0)
(s303 1.0)
(s304 1.0)
(s305 1.0)
(s307 1.0)
(s311 1.0)
(s312 1.0)
(s313 1.0)
(s314 1.0)
(s315 1.0)
(s316 1.0)
(s317 1.0)
(s318 1.0)
(s319 1.0)
(s320 1.0)
(s321 1.0)
(s322 1.0)
(s323 1.0)
(s324 1.0)
(s325 1.0)
(s326 1.0)
(s327 1.0)
(s328 1.0)
(s329 1.0)
(s338 1.0)
(s339 1.0)
(s342 1.0)
(s343 1.0)
(s345 1.0)
(s346 1.0)
(s347 1.0)
(s348 1.0)
(s349 1.0)
(s350 1.0)
(s351 1.0)
(s352 1.0)
(s353 1.0)
(s354 1.0)
(s355 1.0)
(s356 1.0)
(s357 1.0)
(s358 1.0)
(s359 1.0)
(s360 1.0)
(s361 1.0)
(s362 1.0)
(s369 1.0)
(s370 1.0)
(s371 1.0)
(s374 1.0)
(s375 1.0)
(s376 1.0)
(s377 1.0)
(s378 1.0)
(s379 1.0)
(s380 1.0)
(s381 1.0)
(s382 1.0)
(s383 1.0)
(s384 1.0)
(s385 1.0)
(s386 1.0)
(s387 1.0)
(s388 1.0)
(s389 1.0)
(s390 1.0)
(s391 1.0)
(s392 1.0)
(s400 1.0)
(s401 1.0)
(s404 1.0)
(s405 1.0)
(s406 1.0)
(s407 1.0)
(s408 1.0)
(s409 1.0)
(s410 1.0)
(s411 1.0)
(s412 1.0)
(s413 1.0)
(s414 1.0)
(s415 1.0)
(s416 1.0)
(s417 1.0)
(s418 1.0)
(s419 1.0)
(s420 1.0)
(s426 1.0)
(s427 1.0)
(s428 1.0)
(s429 1.0)
(s430 1.0)
(s431 1.0)
(s433 1.0)
(s434 1.0)
(s435 1.0)
(s436 1.0)
(s437 1.0)
(s438 1.0)
(s439 1.0)
(s440 1.0)
(s441 1.0)
(s442 1.0)
(s443 1.0)
(s444 1.0)
(s445 1.0)
(s446 1.0)
(s447 1.0)
(s455 1.0)
(s456 1.0)
(s457 1.0)
(s458 1.0)
(s460 1.0)
(s461 1.0)
(s462 1.0)
(s463 1.0)
(s464 1.0)
(s465 1.0)
(s466 1.0)
(s467 1.0)
(s468 1.0)
(s469 1.0)
(s470 1.0)
(s471 1.0)
(s472 1.0)
(s478 1.0)
(s479 1.0)
(s480 1.0)
(s481 1.0)
(s482 1.0)
(s484 1.0)
(s485 1.0)
(s486 1.0)
(s487 1.0)
(s488 1.0)
(s489 1.0)
(s490 1.0)
(s491 1.0)
(s492 1.0)
(s493 1.0)
(s494 1.0)
(s501 1.0)
(s502 1.0)
(s503 1.0)
(s504 1.0)
(s505 1.0)
(s507 1.0)
(s508 1.0)
(s509 1.0)
(s510 1.0)
(s511 1.0)
(s512 1.0)
(s513 1.0)
(s514 1.0)
(s515 1.0)
(s523 1.0)
(s524 1.0)
(s526 1.0)
(s528 1.0)
(s529 1.0)
(s530 1.0)
(s531 1.0)
(s532 1.0)
(s533 1.0)
(s534 1.0)
(s541 1.0)
(s542 1.0)
(s543 1.0)
(s544 1.0)
(s545 1.0)
(s547 1.0)
(s548 1.0)
(s549 1.0)
(s550 1.0)
(s551 1.0)
(s560 1.0)
(s561 1.0)
(s562 1.0)
(s564 1.0)
(s565 1.0)
(s566 1.0)
(s574 1.0)
(s575 1.0)
(s576 1.0)
(s577 1.0)
(s579 1.0)
(s580 1.0)
(s588 1.0)
(s589 1.0)
(s590 1.0)
(s591 1.0)
(s608 1.0)
(s609 1.0)
(s610 1.0)
(s612 1.0)
(s615 1.0)
(s616 1.0)
(s617 0.0)
(s618 1.0)
(s619 1.0)
(s621 1.0)
(s622 1.0)
(s628 1.0)
(s630 1.0)
(s631 1.0)
(s632 1.0)
(s633 1.0)
(s635 1.0)
(s636 1.0)
(s637 1.0)
(s643 1.0)
(s644 1.0)
(s645 1.0)
(s646 1.0)
(s647 1.0)
(s649 1.0)
(s650 1.0)
(s651 1.0)
(s652 1.0)
(s653 1.0)
(s660 1.0)
(s661 1.0)
(s662 1.0)
(s663 1.0)
(s665 1.0)
(s666 1.0)
(s667 1.0)
(s668 1.0)
(s669 1.0)
(s670 1.0)
(s671 1.0)
(s678 1.0)
(s679 1.0)
(s680 1.0)
(s681 1.0)
(s683 1.0)
(s684 1.0)
(s685 1.0)
(s686 1.0)
(s687 1.0)
(s688 1.0)
(s689 1.0)
(s690 1.0)
(s691 1.0)
(s697 1.0)
(s698 1.0)
(s699 1.0)
(s700 1.0)
(s701 1.0)
(s703 1.0)
(s704 1.0)
(s705 1.0)
(s706 1.0)
(s707 1.0)
(s708 1.0)
(s709 1.0)
(s710 1.0)
(s711 1.0)
(s712 1.0)
(s713 1.0)
(s720 1.0)
(s721 1.0)
(s722 1.0)
(s723 1.0)
(s725 1.0)
(s726 1.0)
(s727 1.0)
(s728 1.0)
(s729 1.0)
(s730 1.0)
(s731 1.0)
(s732 1.0)
(s733 1.0)
(s734 1.0)
(s735 1.0)
(s736 1.0)
(s737 1.0)
(s744 1.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s749 1.0)
(s750 1.0)
(s751 1.0)
(s752 1.0)
(s753 1.0)
(s754 1.0)
(s755 1.0)
(s756 1.0)
(s757 1.0)
(s758 1.0)
(s759 1.0)
(s760 1.0)
(s761 1.0)
(s762 1.0)
(s763 1.0)
(s770 1.0)
(s771 1.0)
(s772 1.0)
(s773 1.0)
(s775 1.0)
(s776 1.0)
(s777 1.0)
(s778 1.0)
(s779 1.0)
(s780 1.0)
(s781 1.0)
(s782 1.0)
(s783 1.0)
(s784 1.0)
(s785 1.0)
(s786 1.0)
(s787 1.0)
(s788 1.0)
(s789 1.0)
(s790 1.0)
(s791 1.0)
(s799 1.0)
(s800 1.0)
(s801 1.0)
(s803 1.0)
(s804 1.0)
(s805 1.0)
(s806 1.0)
(s807 1.0)
(s808 1.0)
(s809 1.0)
(s810 1.0)
(s811 1.0)
(s812 1.0)
(s813 1.0)
(s814 1.0)
(s815 1.0)
(s816 1.0)
(s817 1.0)
(s818 1.0)
(s819 1.0)
(s820 1.0)
(s821 1.0)
(s827 1.0)
(s829 1.0)
(s830 1.0)
(s831 1.0)
(s833 1.0)
(s836 1.0)
(s837 1.0)
(s838 1.0)
(s839 1.0)
(s840 1.0)
(s841 1.0)
(s842 1.0)
(s843 1.0)
(s844 1.0)
(s845 1.0)
(s846 1.0)
(s847 1.0)
(s848 1.0)
(s849 1.0)
(s850 1.0)
(s851 1.0)
(s852 1.0)
(s853 1.0)
(s859 1.0)
(s860 1.0)
(s861 1.0)
(s862 1.0)
(s863 1.0)
(s865 1.0)
(s869 1.0)
(s870 1.0)
(s871 1.0)
(s872 1.0)
(s873 1.0)
(s874 1.0)
(s875 1.0)
(s876 1.0)
(s877 1.0)
(s878 1.0)
(s879 1.0)
(s880 1.0)
(s881 1.0)
(s882 1.0)
(s883 1.0)
(s884 1.0)
(s885 1.0)
(s886 1.0)
(s890 1.0)
(s891 1.0)
(s892 1.0)
(s893 1.0)
(s894 1.0)
(s895 1.0)
(s896 1.0)
(s898 1.0)
(s902 1.0)
(s903 1.0)
(s904 1.0)
(s905 1.0)
(s906 1.0)
(s907 1.0)
(s908 1.0)
(s909 1.0)
(s910 1.0)
(s911 1.0)
(s912 1.0)
(s913 1.0)
(s914 1.0)
(s915 1.0)
(s916 1.0)
(s917 1.0)
(s918 1.0)
(s926 1.0)
(s928 1.0)
(s931 1.0)
(s933 1.0)
(s934 1.0)
(s935 1.0)
(s936 1.0)
(s937 1.0)
(s938 1.0)
(s939 1.0)
(s940 1.0)
(s941 1.0)
(s942 1.0)
(s943 1.0)
(s944 1.0)
(s945 1.0)
(s946 1.0)
(s947 1.0)
(s948 1.0)
(s949 1.0)
(s957 1.0)
(s958 1.0)
(s959 1.0)
(s961 1.0)
(s962 1.0)
(s963 1.0)
(s964 1.0)
(s965 1.0)
(s966 1.0)
(s967 1.0)
(s968 1.0)
(s969 1.0)
(s970 1.0)
(s971 1.0)
(s972 1.0)
(s973 1.0)
(s974 1.0)
(s975 1.0)
(s976 1.0)
(s977 1.0)
(s984 1.0)
(s985 1.0)
(s986 1.0)
(s989 1.0)
(s990 1.0)
(s991 1.0)
(s992 1.0)
(s993 1.0)
(s994 1.0)
(s995 1.0)
(s996 1.0)
(s997 1.0)
(s998 1.0)
(s999 1.0)
(s1000 1.0)
(s1001 1.0)
(s1002 1.0)
(s1003 1.0)
(s1011 1.0)
(s1012 1.0)
(s1013 1.0)
(s1014 1.0)
(s1016 1.0)
(s1017 1.0)
(s1018 1.0)
(s1019 1.0)
(s1020 1.0)
(s1021 1.0)
(s1022 1.0)
(s1023 1.0)
(s1024 1.0)
(s1025 1.0)
(s1026 1.0)
(s1027 1.0)
(s1028 1.0)
(s1035 1.0)
(s1036 1.0)
(s1037 1.0)
(s1038 1.0)
(s1039 1.0)
(s1041 1.0)
(s1042 1.0)
(s1043 1.0)
(s1044 1.0)
(s1045 1.0)
(s1046 1.0)
(s1047 1.0)
(s1048 1.0)
(s1049 1.0)
(s1050 1.0)
(s1051 1.0)
(s1060 1.0)
(s1061 1.0)
(s1062 1.0)
(s1064 1.0)
(s1065 1.0)
(s1066 1.0)
(s1067 1.0)
(s1068 1.0)
(s1069 1.0)
(s1070 1.0)
(s1071 1.0)
(s1072 1.0)
(s1078 1.0)
(s1080 1.0)
(s1081 1.0)
(s1082 1.0)
(s1083 1.0)
(s1085 1.0)
(s1086 1.0)
(s1087 1.0)
(s1088 1.0)
(s1089 1.0)
(s1090 1.0)
(s1091 1.0)
(s1100 1.0)
(s1101 1.0)
(s1102 1.0)
(s1104 1.0)
(s1105 1.0)
(s1106 1.0)
(s1107 1.0)
(s1108 1.0)
(s1116 1.0)
(s1117 1.0)
(s1118 1.0)
(s1119 1.0)
(s1121 1.0)
(s1122 1.0)
(s1123 1.0)
(s1130 1.0)
(s1131 1.0)
(s1132 1.0)
(s1133 1.0)
(s1134 1.0)
(s1136 1.0)
(s1137 1.0)
(s1145 1.0)
(s1146 1.0)
(s1147 1.0)
(s1148 1.0)
(s1150 1.0)
(s1151 1.0)
(s1159 1.0)
(s1160 1.0)
(s1161 1.0)
(s1162 1.0)
(s1179 1.0)
(s1180 1.0)
(s1181 1.0)
(s1183 1.0)
(s1186 1.0)
(s1187 1.0)
(s1188 0.0)
(s1189 1.0)
(s1190 1.0)
(s1192 1.0)
(s1193 1.0)
(s1201 1.0)
(s1202 1.0)
(s1203 1.0)
(s1204 1.0)
(s1206 1.0)
(s1207 1.0)
(s1212 1.0)
(s1213 1.0)
(s1214 1.0)
(s1215 1.0)
(s1216 1.0)
(s1217 1.0)
(s1219 1.0)
(s1220 1.0)
(s1221 1.0)
(s1226 1.0)
(s1227 1.0)
(s1228 1.0)
(s1229 1.0)
(s1230 1.0)
(s1231 1.0)
(s1233 1.0)
(s1234 1.0)
(s1235 1.0)
(s1236 1.0)
(s1237 1.0)
(s1243 1.0)
(s1244 1.0)
(s1245 1.0)
(s1246 1.0)
(s1247 1.0)
(s1249 1.0)
(s1250 1.0)
(s1251 1.0)
(s1252 1.0)
(s1253 1.0)
(s1254 1.0)
(s1255 1.0)
(s1262 1.0)
(s1263 1.0)
(s1264 1.0)
(s1265 1.0)
(s1267 1.0)
(s1268 1.0)
(s1269 1.0)
(s1270 1.0)
(s1271 1.0)
(s1272 1.0)
(s1273 1.0)
(s1274 1.0)
(s1275 1.0)
(s1281 1.0)
(s1282 1.0)
(s1283 1.0)
(s1284 1.0)
(s1285 1.0)
(s1287 1.0)
(s1288 1.0)
(s1289 1.0)
(s1290 1.0)
(s1291 1.0)
(s1292 1.0)
(s1293 1.0)
(s1294 1.0)
(s1295 1.0)
(s1296 1.0)
(s1297 1.0)
(s1303 1.0)
(s1304 1.0)
(s1305 1.0)
(s1306 1.0)
(s1307 1.0)
(s1309 1.0)
(s1310 1.0)
(s1311 1.0)
(s1312 1.0)
(s1313 1.0)
(s1314 1.0)
(s1315 1.0)
(s1316 1.0)
(s1317 1.0)
(s1318 1.0)
(s1319 1.0)
(s1320 1.0)
(s1321 1.0)
(s1327 1.0)
(s1328 1.0)
(s1329 1.0)
(s1330 1.0)
(s1331 1.0)
(s1333 1.0)
(s1335 1.0)
(s1336 1.0)
(s1337 1.0)
(s1338 1.0)
(s1339 1.0)
(s1340 1.0)
(s1341 1.0)
(s1342 1.0)
(s1343 1.0)
(s1344 1.0)
(s1345 1.0)
(s1346 1.0)
(s1347 1.0)
(s1354 1.0)
(s1355 1.0)
(s1356 1.0)
(s1357 1.0)
(s1359 1.0)
(s1360 1.0)
(s1361 1.0)
(s1362 1.0)
(s1363 1.0)
(s1364 1.0)
(s1365 1.0)
(s1366 1.0)
(s1367 1.0)
(s1368 1.0)
(s1369 1.0)
(s1370 1.0)
(s1371 1.0)
(s1372 1.0)
(s1373 1.0)
(s1374 1.0)
(s1375 1.0)
(s1382 1.0)
(s1383 1.0)
(s1384 1.0)
(s1385 1.0)
(s1387 1.0)
(s1391 1.0)
(s1392 1.0)
(s1393 1.0)
(s1394 1.0)
(s1395 1.0)
(s1396 1.0)
(s1397 1.0)
(s1398 1.0)
(s1399 1.0)
(s1400 1.0)
(s1401 1.0)
(s1402 1.0)
(s1403 1.0)
(s1404 1.0)
(s1405 1.0)
(s1411 1.0)
(s1412 1.0)
(s1413 1.0)
(s1414 1.0)
(s1415 1.0)
(s1417 1.0)
(s1420 1.0)
(s1421 1.0)
(s1422 1.0)
(s1423 1.0)
(s1424 1.0)
(s1425 1.0)
(s1426 1.0)
(s1427 1.0)
(s1428 1.0)
(s1429 1.0)
(s1430 1.0)
(s1431 1.0)
(s1432 1.0)
(s1433 1.0)
(s1434 1.0)
(s1435 1.0)
(s1436 1.0)
(s1439 1.0)
(s1440 1.0)
(s1441 1.0)
(s1442 1.0)
(s1443 1.0)
(s1444 1.0)
(s1445 1.0)
(s1447 1.0)
(s1451 1.0)
(s1452 1.0)
(s1453 1.0)
(s1454 1.0)
(s1455 1.0)
(s1456 1.0)
(s1457 1.0)
(s1458 1.0)
(s1459 1.0)
(s1460 1.0)
(s1461 1.0)
(s1462 1.0)
(s1463 1.0)
(s1464 1.0)
(s1465 1.0)
(s1473 1.0)
(s1474 1.0)
(s1475 1.0)
(s1478 1.0)
(s1479 1.0)
(s1480 1.0)
(s1481 1.0)
(s1482 1.0)
(s1483 1.0)
(s1484 1.0)
(s1485 1.0)
(s1486 1.0)
(s1487 1.0)
(s1488 1.0)
(s1489 1.0)
(s1490 1.0)
(s1491 1.0)
(s1492 1.0)
(s1493 1.0)
(s1494 1.0)
(s1501 1.0)
(s1502 1.0)
(s1503 1.0)
(s1504 1.0)
(s1506 1.0)
(s1507 1.0)
(s1508 1.0)
(s1509 1.0)
(s1510 1.0)
(s1511 1.0)
(s1512 1.0)
(s1513 1.0)
(s1514 1.0)
(s1515 1.0)
(s1516 1.0)
(s1517 1.0)
(s1518 1.0)
(s1519 1.0)
(s1520 1.0)
(s1529 1.0)
(s1532 1.0)
(s1533 1.0)
(s1534 1.0)
(s1535 1.0)
(s1536 1.0)
(s1537 1.0)
(s1538 1.0)
(s1539 1.0)
(s1540 1.0)
(s1541 1.0)
(s1542 1.0)
(s1543 1.0)
(s1544 1.0)
(s1551 1.0)
(s1552 1.0)
(s1553 1.0)
(s1554 1.0)
(s1555 1.0)
(s1557 1.0)
(s1558 1.0)
(s1559 1.0)
(s1560 1.0)
(s1561 1.0)
(s1562 1.0)
(s1563 1.0)
(s1564 1.0)
(s1565 1.0)
(s1566 1.0)
(s1567 1.0)
(s1574 1.0)
(s1575 1.0)
(s1576 1.0)
(s1577 1.0)
(s1579 1.0)
(s1580 1.0)
(s1581 1.0)
(s1582 1.0)
(s1583 1.0)
(s1584 1.0)
(s1585 1.0)
(s1586 1.0)
(s1587 1.0)
(s1595 1.0)
(s1596 1.0)
(s1597 1.0)
(s1598 1.0)
(s1600 1.0)
(s1601 1.0)
(s1602 1.0)
(s1603 1.0)
(s1604 1.0)
(s1605 1.0)
(s1606 1.0)
(s1614 1.0)
(s1615 1.0)
(s1616 1.0)
(s1617 1.0)
(s1619 1.0)
(s1620 1.0)
(s1621 1.0)
(s1622 1.0)
(s1623 1.0)
(s1631 1.0)
(s1632 1.0)
(s1633 1.0)
(s1634 1.0)
(s1636 1.0)
(s1637 1.0)
(s1638 1.0)
(s1646 1.0)
(s1647 1.0)
(s1648 1.0)
(s1649 1.0)
(s1651 1.0)
(s1652 1.0)
(s1658 1.0)
(s1659 1.0)
(s1660 1.0)
(s1661 1.0)
(s1662 1.0)
(s1664 1.0)
(s1665 1.0)
(s1673 1.0)
(s1674 1.0)
(s1675 1.0)
(s1676 1.0)
(s1678 1.0)
(s1679 1.0)
(s1688 1.0)
(s1689 1.0)
(s1690 1.0)
(s1707 1.0)
(s1708 1.0)
(s1709 1.0)
(s1711 1.0)
(s1714 1.0)
(s1715 1.0)
(s1716 0.0)
(s1717 1.0)
(s1718 1.0)
(s1720 1.0)
(s1721 1.0)
(s1728 1.0)
(s1729 1.0)
(s1730 1.0)
(s1731 1.0)
(s1732 1.0)
(s1734 1.0)
(s1735 1.0)
(s1742 1.0)
(s1743 1.0)
(s1744 1.0)
(s1745 1.0)
(s1747 1.0)
(s1748 1.0)
(s1753 1.0)
(s1754 1.0)
(s1755 1.0)
(s1756 1.0)
(s1757 1.0)
(s1758 1.0)
(s1760 1.0)
(s1761 1.0)
(s1762 1.0)
(s1769 1.0)
(s1770 1.0)
(s1771 1.0)
(s1772 1.0)
(s1774 1.0)
(s1775 1.0)
(s1776 1.0)
(s1777 1.0)
(s1778 1.0)
(s1785 1.0)
(s1786 1.0)
(s1787 1.0)
(s1788 1.0)
(s1790 1.0)
(s1791 1.0)
(s1792 1.0)
(s1793 1.0)
(s1794 1.0)
(s1795 1.0)
(s1796 1.0)
(s1803 1.0)
(s1804 1.0)
(s1805 1.0)
(s1806 1.0)
(s1808 1.0)
(s1809 1.0)
(s1810 1.0)
(s1811 1.0)
(s1812 1.0)
(s1813 1.0)
(s1814 1.0)
(s1815 1.0)
(s1816 1.0)
(s1821 1.0)
(s1824 1.0)
(s1825 1.0)
(s1826 1.0)
(s1828 1.0)
(s1829 1.0)
(s1830 1.0)
(s1831 1.0)
(s1832 1.0)
(s1833 1.0)
(s1834 1.0)
(s1835 1.0)
(s1836 1.0)
(s1837 1.0)
(s1838 1.0)
(s1844 1.0)
(s1845 1.0)
(s1846 1.0)
(s1847 1.0)
(s1848 1.0)
(s1850 1.0)
(s1851 1.0)
(s1852 1.0)
(s1853 1.0)
(s1854 1.0)
(s1855 1.0)
(s1856 1.0)
(s1857 1.0)
(s1858 1.0)
(s1859 1.0)
(s1860 1.0)
(s1861 1.0)
(s1862 1.0)
(s1870 1.0)
(s1871 1.0)
(s1872 1.0)
(s1874 1.0)
(s1875 1.0)
(s1876 1.0)
(s1877 1.0)
(s1878 1.0)
(s1879 1.0)
(s1880 1.0)
(s1881 1.0)
(s1882 1.0)
(s1883 1.0)
(s1884 1.0)
(s1885 1.0)
(s1886 1.0)
(s1887 1.0)
(s1888 1.0)
(s1895 1.0)
(s1896 1.0)
(s1897 1.0)
(s1898 1.0)
(s1900 1.0)
(s1903 1.0)
(s1905 1.0)
(s1906 1.0)
(s1907 1.0)
(s1908 1.0)
(s1909 1.0)
(s1910 1.0)
(s1911 1.0)
(s1912 1.0)
(s1913 1.0)
(s1914 1.0)
(s1915 1.0)
(s1916 1.0)
(s1921 1.0)
(s1922 1.0)
(s1923 1.0)
(s1924 1.0)
(s1925 1.0)
(s1927 1.0)
(s1930 1.0)
(s1931 1.0)
(s1932 1.0)
(s1933 1.0)
(s1934 1.0)
(s1935 1.0)
(s1936 1.0)
(s1937 1.0)
(s1938 1.0)
(s1939 1.0)
(s1940 1.0)
(s1941 1.0)
(s1942 1.0)
(s1943 1.0)
(s1944 1.0)
(s1948 1.0)
(s1949 1.0)
(s1950 1.0)
(s1951 1.0)
(s1952 1.0)
(s1953 1.0)
(s1954 1.0)
(s1956 1.0)
(s1959 1.0)
(s1960 1.0)
(s1961 1.0)
(s1962 1.0)
(s1963 1.0)
(s1964 1.0)
(s1965 1.0)
(s1966 1.0)
(s1967 1.0)
(s1968 1.0)
(s1969 1.0)
(s1970 1.0)
(s1971 1.0)
(s1972 1.0)
(s1981 1.0)
(s1982 1.0)
(s1985 1.0)
(s1988 1.0)
(s1989 1.0)
(s1990 1.0)
(s1991 1.0)
(s1992 1.0)
(s1993 1.0)
(s1994 1.0)
(s1995 1.0)
(s1996 1.0)
(s1997 1.0)
(s1998 1.0)
(s1999 1.0)
(s2007 1.0)
(s2008 1.0)
(s2009 1.0)
(s2011 1.0)
(s2012 1.0)
(s2013 1.0)
(s2014 1.0)
(s2015 1.0)
(s2016 1.0)
(s2017 1.0)
(s2018 1.0)
(s2019 1.0)
(s2020 1.0)
(s2021 1.0)
(s2022 1.0)
(s2023 1.0)
(s2031 1.0)
(s2032 1.0)
(s2035 1.0)
(s2036 1.0)
(s2037 1.0)
(s2038 1.0)
(s2039 1.0)
(s2040 1.0)
(s2041 1.0)
(s2042 1.0)
(s2043 1.0)
(s2044 1.0)
(s2045 1.0)
(s2052 1.0)
(s2053 1.0)
(s2054 1.0)
(s2055 1.0)
(s2056 1.0)
(s2058 1.0)
(s2059 1.0)
(s2060 1.0)
(s2061 1.0)
(s2062 1.0)
(s2063 1.0)
(s2064 1.0)
(s2065 1.0)
(s2066 1.0)
(s2074 1.0)
(s2075 1.0)
(s2076 1.0)
(s2077 1.0)
(s2079 1.0)
(s2080 1.0)
(s2081 1.0)
(s2082 1.0)
(s2083 1.0)
(s2084 1.0)
(s2085 1.0)
(s2092 1.0)
(s2093 1.0)
(s2094 1.0)
(s2095 1.0)
(s2096 1.0)
(s2098 1.0)
(s2099 1.0)
(s2100 1.0)
(s2101 1.0)
(s2102 1.0)
(s2109 1.0)
(s2110 1.0)
(s2111 1.0)
(s2112 1.0)
(s2113 1.0)
(s2115 1.0)
(s2116 1.0)
(s2117 1.0)
(s2125 1.0)
(s2126 1.0)
(s2127 1.0)
(s2128 1.0)
(s2130 1.0)
(s2131 1.0)
(s2139 1.0)
(s2140 1.0)
(s2141 1.0)
(s2142 1.0)
(s2144 1.0)
(s2145 1.0)
(s2152 1.0)
(s2154 1.0)
(s2155 1.0)
(s2156 1.0)
(s2158 1.0)
(s2159 1.0)
(s2166 1.0)
(s2168 1.0)
(s2169 1.0)
(s2170 1.0)
(s2172 1.0)
(s2173 1.0)
(s2180 1.0)
(s2181 1.0)
(s2182 1.0)
(s2183 1.0)
(s2184 1.0)
(s2201 1.0)
(s2202 1.0)
(s2203 1.0)
(s2205 1.0)
(s2208 1.0)
(s2209 1.0)
(s2210 0.0)
(s2211 1.0)
(s2212 1.0)
(s2214 1.0)
(s2215 1.0)
(s2222 1.0)
(s2223 1.0)
(s2224 1.0)
(s2225 1.0)
(s2226 1.0)
(s2228 1.0)
(s2229 1.0)
(s2235 1.0)
(s2237 1.0)
(s2238 1.0)
(s2239 1.0)
(s2241 1.0)
(s2242 1.0)
(s2249 1.0)
(s2250 1.0)
(s2251 1.0)
(s2252 1.0)
(s2254 1.0)
(s2255 1.0)
(s2262 1.0)
(s2263 1.0)
(s2264 1.0)
(s2265 1.0)
(s2267 1.0)
(s2268 1.0)
(s2269 1.0)
(s2274 1.0)
(s2275 1.0)
(s2276 1.0)
(s2277 1.0)
(s2278 1.0)
(s2279 1.0)
(s2281 1.0)
(s2282 1.0)
(s2283 1.0)
(s2284 1.0)
(s2285 1.0)
(s2289 1.0)
(s2291 1.0)
(s2292 1.0)
(s2293 1.0)
(s2294 1.0)
(s2295 1.0)
(s2297 1.0)
(s2298 1.0)
(s2299 1.0)
(s2300 1.0)
(s2301 1.0)
(s2302 1.0)
(s2303 1.0)
(s2310 1.0)
(s2311 1.0)
(s2312 1.0)
(s2313 1.0)
(s2315 1.0)
(s2316 1.0)
(s2317 1.0)
(s2318 1.0)
(s2319 1.0)
(s2320 1.0)
(s2321 1.0)
(s2322 1.0)
(s2323 1.0)
(s2330 1.0)
(s2331 1.0)
(s2332 1.0)
(s2333 1.0)
(s2335 1.0)
(s2336 1.0)
(s2337 1.0)
(s2338 1.0)
(s2339 1.0)
(s2340 1.0)
(s2341 1.0)
(s2342 1.0)
(s2343 1.0)
(s2344 1.0)
(s2345 1.0)
(s2352 1.0)
(s2353 1.0)
(s2354 1.0)
(s2355 1.0)
(s2357 1.0)
(s2358 1.0)
(s2359 1.0)
(s2360 1.0)
(s2361 1.0)
(s2362 1.0)
(s2363 1.0)
(s2364 1.0)
(s2365 1.0)
(s2366 1.0)
(s2367 1.0)
(s2368 1.0)
(s2369 1.0)
(s2375 1.0)
(s2376 1.0)
(s2377 1.0)
(s2378 1.0)
(s2379 1.0)
(s2381 1.0)
(s2385 1.0)
(s2386 1.0)
(s2387 1.0)
(s2388 1.0)
(s2389 1.0)
(s2390 1.0)
(s2391 1.0)
(s2392 1.0)
(s2393 1.0)
(s2394 1.0)
(s2395 1.0)
(s2402 1.0)
(s2403 1.0)
(s2404 1.0)
(s2405 1.0)
(s2407 1.0)
(s2410 1.0)
(s2411 1.0)
(s2412 1.0)
(s2413 1.0)
(s2414 1.0)
(s2415 1.0)
(s2416 1.0)
(s2417 1.0)
(s2418 1.0)
(s2419 1.0)
(s2420 1.0)
(s2421 1.0)
(s2422 1.0)
(s2426 1.0)
(s2427 1.0)
(s2428 1.0)
(s2429 1.0)
(s2430 1.0)
(s2431 1.0)
(s2432 1.0)
(timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6537 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 10690 unsolved
SMT process timed out in 69169ms, After SMT, problems are : Problem set: 0 solved, 10690 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6537 out of 11771 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11771/11771 places, 20568/20568 transitions.
Discarding 3280 places :
Symmetric choice reduction at 0 with 3280 rule applications. Total rules 3280 place count 8491 transition count 17288
Iterating global reduction 0 with 3280 rules applied. Total rules applied 6560 place count 8491 transition count 17288
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 4 Pre rules applied. Total rules applied 6560 place count 8491 transition count 17284
Deduced a syphon composed of 4 places in 12 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 6568 place count 8487 transition count 17284
Free-agglomeration rule (complex) applied 22 times.
Iterating global reduction 0 with 22 rules applied. Total rules applied 6590 place count 8487 transition count 17262
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 6612 place count 8465 transition count 17262
Partial Free-agglomeration rule applied 131 times.
Drop transitions (Partial Free agglomeration) removed 131 transitions
Iterating global reduction 1 with 131 rules applied. Total rules applied 6743 place count 8465 transition count 17262
Applied a total of 6743 rules in 2215 ms. Remains 8465 /11771 variables (removed 3306) and now considering 17262/20568 (removed 3306) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2216 ms. Remains : 8465/11771 places, 17262/20568 transitions.
RANDOM walk for 719988 steps (8857 resets) in 120005 ms. (5 steps per ms) remains 9852/10690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4002 steps (8 resets) in 466 ms. (8 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4002 steps (8 resets) in 499 ms. (8 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 571 ms. (6 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 9852/9852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 9851/9852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 9851/9851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 9851/9851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 9851/9851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 9850/9851 properties
BEST_FIRST walk for 4001 steps (8 resets) in 544 ms. (7 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 401 ms. (9 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4002 steps (8 resets) in 499 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 395 ms. (10 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4002 steps (8 resets) in 355 ms. (11 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 512 ms. (7 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4002 steps (8 resets) in 397 ms. (10 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4001 steps (8 resets) in 498 ms. (8 steps per ms) remains 9850/9850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 9849/9850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 353 ms. (11 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 422 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 517 ms. (7 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 379 ms. (10 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 394 ms. (10 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 452 ms. (8 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 504 ms. (7 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4001 steps (8 resets) in 430 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 547 ms. (7 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 315 ms. (12 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 9849/9849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 9847/9849 properties
BEST_FIRST walk for 4002 steps (8 resets) in 373 ms. (10 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4001 steps (8 resets) in 370 ms. (10 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4001 steps (8 resets) in 406 ms. (9 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4001 steps (8 resets) in 368 ms. (10 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 9847/9847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 9845/9847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 396 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 414 ms. (9 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 538 ms. (7 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 533 ms. (7 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 389 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 342 ms. (11 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 457 ms. (8 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 493 ms. (8 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 439 ms. (9 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 398 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4000 steps (8 resets) in 502 ms. (7 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 438 ms. (9 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4001 steps (8 resets) in 649 ms. (6 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4001 steps (8 resets) in 462 ms. (8 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 355 ms. (11 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4002 steps (8 resets) in 456 ms. (8 steps per ms) remains 9845/9845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 9844/9845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 425 ms. (9 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4002 steps (8 resets) in 472 ms. (8 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4000 steps (8 resets) in 389 ms. (10 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4001 steps (8 resets) in 357 ms. (11 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4002 steps (8 resets) in 346 ms. (11 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 385 ms. (10 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4001 steps (8 resets) in 484 ms. (8 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4002 steps (8 resets) in 367 ms. (10 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 9844/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 9843/9844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 632 ms. (6 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 506 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 357 ms. (11 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 382 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 386 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4001 steps (8 resets) in 526 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 390 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 512 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 437 ms. (9 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 377 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 363 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 374 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4001 steps (8 resets) in 568 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 518 ms. (7 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 359 ms. (11 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 374 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 370 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4002 steps (8 resets) in 456 ms. (8 steps per ms) remains 9843/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 9841/9843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 460 ms. (8 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 353 ms. (11 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 482 ms. (8 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 500 ms. (7 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 479 ms. (8 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 433 ms. (9 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4001 steps (8 resets) in 457 ms. (8 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 448 ms. (8 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 346 ms. (11 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 353 ms. (11 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4001 steps (8 resets) in 441 ms. (9 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 386 ms. (10 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 524 ms. (7 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 9841/9841 properties
BEST_FIRST walk for 4002 steps (8 resets) in 440 ms. (9 steps per ms) remains 9840/9841 properties
BEST_FIRST walk for 4001 steps (8 resets) in 554 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 353 ms. (11 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 450 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 375 ms. (10 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 443 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 386 ms. (10 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4001 steps (8 resets) in 448 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 423 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 550 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 505 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 492 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 516 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 420 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4001 steps (8 resets) in 378 ms. (10 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 462 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 445 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 530 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 502 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4001 steps (8 resets) in 436 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 492 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 549 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 531 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 376 ms. (10 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 549 ms. (7 steps per ms) remains 9840/9840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 9840/9840 properties
Interrupted probabilistic random walk after 355840 steps, run timeout after 189001 ms. (steps per millisecond=1 ) properties seen :504 out of 9840
Probabilistic random walk after 355840 steps, saw 161527 distinct states, run finished after 189001 ms. (steps per millisecond=1 ) properties seen :504
[2024-06-01 06:46:15] [INFO ] Flow matrix only has 16640 transitions (discarded 622 similar events)
// Phase 1: matrix 16640 rows 8465 cols
[2024-06-01 06:46:15] [INFO ] Computed 1221 invariants in 740 ms
[2024-06-01 06:46:15] [INFO ] State equation strengthened by 8602 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5762 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 9336 unsolved
SMT process timed out in 93377ms, After SMT, problems are : Problem set: 0 solved, 9336 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5762 out of 8465 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8465/8465 places, 17262/17262 transitions.
Discarding 566 places :
Symmetric choice reduction at 0 with 566 rule applications. Total rules 566 place count 7899 transition count 16696
Iterating global reduction 0 with 566 rules applied. Total rules applied 1132 place count 7899 transition count 16696
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 1132 place count 7899 transition count 16695
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 1134 place count 7898 transition count 16695
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 1141 place count 7891 transition count 16618
Iterating global reduction 0 with 7 rules applied. Total rules applied 1148 place count 7891 transition count 16618
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 0 with 6 rules applied. Total rules applied 1154 place count 7891 transition count 16612
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 1160 place count 7885 transition count 16612
Partial Free-agglomeration rule applied 38 times.
Drop transitions (Partial Free agglomeration) removed 38 transitions
Iterating global reduction 1 with 38 rules applied. Total rules applied 1198 place count 7885 transition count 16612
Applied a total of 1198 rules in 2059 ms. Remains 7885 /8465 variables (removed 580) and now considering 16612/17262 (removed 650) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2059 ms. Remains : 7885/8465 places, 16612/17262 transitions.
RANDOM walk for 193484 steps (2407 resets) in 120004 ms. (1 steps per ms) remains 8717/9336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4001 steps (8 resets) in 290 ms. (13 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 344 ms. (11 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4000 steps (8 resets) in 424 ms. (9 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4000 steps (8 resets) in 322 ms. (12 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 423 ms. (9 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 8717/8717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 8715/8717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 363 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 413 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4001 steps (8 resets) in 416 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 400 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 413 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 403 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4001 steps (8 resets) in 407 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4001 steps (8 resets) in 320 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 367 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 473 ms. (8 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 464 ms. (8 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 315 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 326 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4000 steps (8 resets) in 377 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 389 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4001 steps (8 resets) in 414 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 324 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 364 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 335 ms. (11 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 411 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 304 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 412 ms. (9 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 8715/8715 properties
BEST_FIRST walk for 4001 steps (8 resets) in 330 ms. (12 steps per ms) remains 8715/8715 properties
Interrupted probabilistic random walk after 239048 steps, run timeout after 117001 ms. (steps per millisecond=2 ) properties seen :0 out of 8715
Probabilistic random walk after 239048 steps, saw 108348 distinct states, run finished after 117001 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 06:50:27] [INFO ] Flow matrix only has 15990 transitions (discarded 622 similar events)
// Phase 1: matrix 15990 rows 7885 cols
[2024-06-01 06:50:27] [INFO ] Computed 1221 invariants in 659 ms
[2024-06-01 06:50:27] [INFO ] State equation strengthened by 8532 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5406 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 8715 unsolved
SMT process timed out in 107743ms, After SMT, problems are : Problem set: 0 solved, 8715 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5406 out of 7885 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7885/7885 places, 16612/16612 transitions.
Discarding 238 places :
Symmetric choice reduction at 0 with 238 rule applications. Total rules 238 place count 7647 transition count 16284
Iterating global reduction 0 with 238 rules applied. Total rules applied 476 place count 7647 transition count 16284
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 491 place count 7632 transition count 16119
Iterating global reduction 0 with 15 rules applied. Total rules applied 506 place count 7632 transition count 16119
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 507 place count 7632 transition count 16118
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 508 place count 7631 transition count 16118
Partial Free-agglomeration rule applied 27 times.
Drop transitions (Partial Free agglomeration) removed 27 transitions
Iterating global reduction 1 with 27 rules applied. Total rules applied 535 place count 7631 transition count 16118
Applied a total of 535 rules in 1570 ms. Remains 7631 /7885 variables (removed 254) and now considering 16118/16612 (removed 494) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1570 ms. Remains : 7631/7885 places, 16118/16612 transitions.
RANDOM walk for 136195 steps (1704 resets) in 120006 ms. (1 steps per ms) remains 8480/8715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 484 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 489 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 421 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 403 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 459 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 436 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 336 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 298 ms. (13 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4001 steps (8 resets) in 357 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 266 ms. (14 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4002 steps (8 resets) in 441 ms. (9 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4001 steps (8 resets) in 312 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4000 steps (8 resets) in 310 ms. (12 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 352 ms. (11 steps per ms) remains 8480/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 8480/8480 properties
Interrupted probabilistic random walk after 224113 steps, run timeout after 108001 ms. (steps per millisecond=2 ) properties seen :0 out of 8480
Probabilistic random walk after 224113 steps, saw 101579 distinct states, run finished after 108003 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 06:54:40] [INFO ] Flow matrix only has 15496 transitions (discarded 622 similar events)
// Phase 1: matrix 15496 rows 7631 cols
[2024-06-01 06:54:41] [INFO ] Computed 1221 invariants in 596 ms
[2024-06-01 06:54:41] [INFO ] State equation strengthened by 8292 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5274 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 8480 unsolved
SMT process timed out in 122081ms, After SMT, problems are : Problem set: 0 solved, 8480 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5274 out of 7631 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7631/7631 places, 16118/16118 transitions.
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 88 place count 7543 transition count 16000
Iterating global reduction 0 with 88 rules applied. Total rules applied 176 place count 7543 transition count 16000
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 186 place count 7533 transition count 15890
Iterating global reduction 0 with 10 rules applied. Total rules applied 196 place count 7533 transition count 15890
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 197 place count 7533 transition count 15889
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 198 place count 7532 transition count 15889
Partial Free-agglomeration rule applied 6 times.
Drop transitions (Partial Free agglomeration) removed 6 transitions
Iterating global reduction 1 with 6 rules applied. Total rules applied 204 place count 7532 transition count 15889
Applied a total of 204 rules in 1436 ms. Remains 7532 /7631 variables (removed 99) and now considering 15889/16118 (removed 229) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1436 ms. Remains : 7532/7631 places, 15889/16118 transitions.
RANDOM walk for 228146 steps (2859 resets) in 120004 ms. (1 steps per ms) remains 8209/8480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 457 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 743 ms. (5 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 658 ms. (6 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 492 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 508 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 367 ms. (10 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 424 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4001 steps (8 resets) in 401 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 348 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 350 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 428 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 565 ms. (7 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 441 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4002 steps (8 resets) in 313 ms. (12 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 8209/8209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 346 ms. (11 steps per ms) remains 8209/8209 properties
Interrupted probabilistic random walk after 233410 steps, run timeout after 108001 ms. (steps per millisecond=2 ) properties seen :0 out of 8209
Probabilistic random walk after 233410 steps, saw 105708 distinct states, run finished after 108002 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 06:59:09] [INFO ] Flow matrix only has 15267 transitions (discarded 622 similar events)
// Phase 1: matrix 15267 rows 7532 cols
[2024-06-01 06:59:09] [INFO ] Computed 1221 invariants in 610 ms
[2024-06-01 06:59:10] [INFO ] State equation strengthened by 8162 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5121 variables, 41/41 constraints. Problems are: Problem set: 0 solved, 8209 unsolved
SMT process timed out in 137341ms, After SMT, problems are : Problem set: 0 solved, 8209 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5121 out of 7532 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7532/7532 places, 15889/15889 transitions.
Discarding 108 places :
Symmetric choice reduction at 0 with 108 rule applications. Total rules 108 place count 7424 transition count 15761
Iterating global reduction 0 with 108 rules applied. Total rules applied 216 place count 7424 transition count 15761
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 219 place count 7421 transition count 15728
Iterating global reduction 0 with 3 rules applied. Total rules applied 222 place count 7421 transition count 15728
Partial Free-agglomeration rule applied 13 times.
Drop transitions (Partial Free agglomeration) removed 13 transitions
Iterating global reduction 0 with 13 rules applied. Total rules applied 235 place count 7421 transition count 15728
Applied a total of 235 rules in 1106 ms. Remains 7421 /7532 variables (removed 111) and now considering 15728/15889 (removed 161) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1106 ms. Remains : 7421/7532 places, 15728/15889 transitions.
RANDOM walk for 127294 steps (1598 resets) in 120005 ms. (1 steps per ms) remains 8098/8209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4001 steps (8 resets) in 431 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 426 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4001 steps (8 resets) in 420 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 356 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 458 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 443 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 335 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4001 steps (8 resets) in 442 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4001 steps (8 resets) in 480 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 470 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 481 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 402 ms. (9 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 452 ms. (8 steps per ms) remains 8098/8098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 8098/8098 properties
Interrupted probabilistic random walk after 231730 steps, run timeout after 108001 ms. (steps per millisecond=2 ) properties seen :0 out of 8098
Probabilistic random walk after 231730 steps, saw 104925 distinct states, run finished after 108002 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 07:03:51] [INFO ] Flow matrix only has 15106 transitions (discarded 622 similar events)
// Phase 1: matrix 15106 rows 7421 cols
[2024-06-01 07:03:52] [INFO ] Computed 1221 invariants in 545 ms
[2024-06-01 07:03:52] [INFO ] State equation strengthened by 8112 read => feed constraints.

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C11"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C11, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r510-tall-171654364500082"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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