Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 5.2M May 29 14:32 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 1748933203982

Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C06
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2025-06-03 06:46:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2025-06-03 06:46:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 06:46:46] [INFO ] Load time of PNML (sax parser for PT used): 619 ms
[2025-06-03 06:46:46] [INFO ] Transformed 5568 places.
[2025-06-03 06:46:46] [INFO ] Transformed 7799 transitions.
[2025-06-03 06:46:46] [INFO ] Parsed PT model containing 5568 places and 7799 transitions and 29646 arcs in 847 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 5568/5568 places, 7799/7799 transitions.
Reduce places removed 32 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1632 transitions
Trivial Post-agglo rules discarded 1632 transitions
Performed 1632 trivial Post agglomeration. Transition count delta: 1632
Iterating post reduction 0 with 1664 rules applied. Total rules applied 1664 place count 5536 transition count 6167
Reduce places removed 1632 places and 0 transitions.
Iterating post reduction 1 with 1632 rules applied. Total rules applied 3296 place count 3904 transition count 6167
Performed 204 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 204 Pre rules applied. Total rules applied 3296 place count 3904 transition count 5963
Deduced a syphon composed of 204 places in 36 ms
Reduce places removed 204 places and 0 transitions.
Iterating global reduction 2 with 408 rules applied. Total rules applied 3704 place count 3700 transition count 5963
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 17 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 3738 place count 3683 transition count 5946
Applied a total of 3738 rules in 755 ms. Remains 3683 /5568 variables (removed 1885) and now considering 5946/7799 (removed 1853) transitions.
[2025-06-03 06:46:47] [INFO ] Flow matrix only has 5674 transitions (discarded 272 similar events)
// Phase 1: matrix 5674 rows 3683 cols
[2025-06-03 06:46:48] [INFO ] Computed 541 invariants in 607 ms
[2025-06-03 06:47:00] [INFO ] Implicit Places using invariants in 12749 ms returned [4, 7, 17, 29, 43, 59, 77, 97, 119, 142, 164, 184, 202, 218, 232, 244, 254, 276, 282, 291, 301, 313, 327, 343, 361, 381, 402, 422, 440, 456, 470, 482, 492, 501, 523, 529, 538, 547, 557, 569, 583, 599, 617, 636, 654, 670, 684, 696, 706, 715, 724, 746, 752, 761, 770, 779, 789, 801, 815, 831, 848, 864, 878, 890, 900, 909, 918, 927, 949, 955, 964, 973, 982, 991, 1001, 1013, 1027, 1042, 1056, 1068, 1078, 1087, 1096, 1105, 1114, 1136, 1142, 1151, 1160, 1169, 1178, 1187, 1197, 1209, 1222, 1234, 1244, 1253, 1262, 1271, 1280, 1289, 1311, 1317, 1326, 1335, 1344, 1353, 1362, 1371, 1381, 1392, 1402, 1411, 1420, 1429, 1438, 1447, 1456, 1478, 1484, 1493, 1502, 1511, 1520, 1529, 1538, 1547, 1556, 1565, 1574, 1583, 1592, 1601, 1610, 1619, 1641, 1643, 1646, 1655, 1664, 1673, 1682, 1691, 1700, 1709, 1718, 1727, 1736, 1745, 1754, 1763, 1772, 1781, 1803, 1809, 1818, 1827, 1836, 1845, 1854, 1863, 1872, 1881, 1890, 1899, 1908, 1917, 1926, 1935, 1944, 1966, 1972, 1981, 1990, 1999, 2008, 2017, 2026, 2035, 2045, 2056, 2066, 2075, 2084, 2093, 2102, 2111, 2133, 2139, 2148, 2157, 2166, 2175, 2184, 2193, 2203, 2215, 2228, 2240, 2250, 2259, 2268, 2277, 2286, 2308, 2314, 2323, 2332, 2341, 2350, 2359, 2369, 2381, 2395, 2410, 2424, 2436, 2446, 2455, 2464, 2473, 2495, 2501, 2510, 2519, 2528, 2537, 2547, 2559, 2573, 2589, 2606, 2622, 2636, 2648, 2658, 2667, 2676, 2698, 2704, 2713, 2722, 2731, 2741, 2753, 2767, 2783, 2801, 2820, 2838, 2854, 2868, 2880, 2890, 2899, 2921, 2927, 2936, 2945, 2955, 2967, 2981, 2997, 3015, 3035, 3056, 3076, 3094, 3110, 3124, 3136, 3146, 3168, 3170, 3173, 3182, 3192, 3204, 3218, 3234, 3252, 3272, 3294, 3317, 3339, 3359, 3377, 3393, 3407, 3419, 3442]
[2025-06-03 06:47:00] [INFO ] Actually due to overlaps returned [276, 523, 746, 949, 1136, 1311, 1478, 1641, 1803, 1966, 2133, 2308, 2495, 2698, 2921, 3168, 3442, 4, 1643, 3170]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 12829 ms to find 20 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 3663/5568 places, 5946/7799 transitions.
Applied a total of 0 rules in 58 ms. Remains 3663 /3663 variables (removed 0) and now considering 5946/5946 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 13679 ms. Remains : 3663/5568 places, 5946/7799 transitions.
Initial state reduction rules removed 17 formulas.
RANDOM walk for 40000 steps (801 resets) in 20024 ms. (1 steps per ms) remains 2756/5929 properties
BEST_FIRST walk for 124 steps (4 resets) in 20 ms. (5 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 14 ms. (8 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 20 ms. (5 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 17 ms. (6 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 15 ms. (7 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 12 ms. (9 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 22 ms. (5 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 14 ms. (8 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 15 ms. (7 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 23 ms. (5 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2756/2756 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2756/2756 properties
[2025-06-03 06:47:06] [INFO ] Flow matrix only has 5674 transitions (discarded 272 similar events)
// Phase 1: matrix 5674 rows 3663 cols
[2025-06-03 06:47:06] [INFO ] Computed 521 invariants in 269 ms
[2025-06-03 06:47:06] [INFO ] State equation strengthened by 2178 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)
(s14 1.0)
(s15 1.0)
(s17 1.0)
(s18 1.0)
(s19 1.0)
(s20 1.0)
(s21 1.0)
(s26 1.0)
(s27 1.0)
(s29 1.0)
(s30 1.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s40 1.0)
(s41 1.0)
(s43 1.0)
(s44 1.0)
(s45 1.0)
(s46 1.0)
(s47 1.0)
(s48 1.0)
(s49 1.0)
(s50 1.0)
(s51 1.0)
(s56 1.0)
(s57 1.0)
(s59 1.0)
(s60 1.0)
(s61 1.0)
(s62 1.0)
(s63 1.0)
(s64 1.0)
(s65 1.0)
(s66 1.0)
(s67 1.0)
(s68 1.0)
(s69 1.0)
(s75 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)
(s87 1.0)
(s88 1.0)
(s89 1.0)
(s94 1.0)
(s95 1.0)
(s97 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)
(s111 1.0)
(s115 1.0)
(s117 1.0)
(s119 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)
(s139 1.0)
(s140 1.0)
(s142 1.0)
(s144 1.0)
(s145 1.0)
(s146 1.0)
(s147 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)
(s160 1.0)
(s162 1.0)
(s164 1.0)
(s165 1.0)
(s166 1.0)
(s167 1.0)
(s168 1.0)
(s169 1.0)
(s170 1.0)
(s171 1.0)
(s172 1.0)
(s173 1.0)
(s174 1.0)
(s175 1.0)
(s176 1.0)
(s182 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)
(s199 1.0)
(s200 1.0)
(s202 1.0)
(s203 1.0)
(s204 1.0)
(s205 1.0)
(s206 1.0)
(s207 1.0)
(s208 1.0)
(s209 1.0)
(s210 1.0)
(s216 1.0)
(s218 1.0)
(s219 1.0)
(s220 1.0)
(s221 1.0)
(s222 1.0)
(s223 1.0)
(s224 1.0)
(s229 1.0)
(s230 1.0)
(s232 1.0)
(s233 1.0)
(s234 1.0)
(s235 1.0)
(s236 1.0)
(s241 1.0)
(s242 1.0)
(s244 1.0)
(s245 1.0)
(s246 1.0)
(s252 1.0)
(s254 1.0)
(s255 1.0)
(s260 1.0)
(s261 1.0)
(s272 1.0)
(s273 1.0)
(s275 0.0)
(s276 0.0)
(s277 1.0)
(s278 1.0)
(s279 1.0)
(s281 1.0)
(s282 1.0)
(s286 1.0)
(s287 1.0)
(s288 1.0)
(s290 1.0)
(s291 1.0)
(s292 1.0)
(s297 1.0)
(s298 1.0)
(s300 1.0)
(s301 1.0)
(s302 1.0)
(s303 1.0)
(s304 1.0)
(s308 1.0)
(s309 1.0)
(s310 1.0)
(s312 1.0)
(s313 1.0)
(s314 1.0)
(s315 1.0)
(s316 1.0)
(s317 1.0)
(s318 1.0)
(s322 1.0)
(s324 1.0)
(s326 1.0)
(s327 1.0)
(s328 1.0)
(s329 1.0)
(s330 1.0)
(s331 1.0)
(s332 1.0)
(s333 1.0)
(s334 1.0)
(s339 1.0)
(s340 1.0)
(s342 1.0)
(s343 1.0)
(s344 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)
(s357 1.0)
(s358 1.0)
(s360 1.0)
(s362 1.0)
(s363 1.0)
(s364 1.0)
(s365 1.0)
(s366 1.0)
(s367 1.0)
(s368 1.0)
(s369 1.0)
(s370 1.0)
(s371 1.0)
(s372 1.0)
(s376 1.0)
(s377 1.0)
(s378 1.0)
(s380 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)
(s393 1.0)
(s397 1.0)
(s398 1.0)
(s399 1.0)
(s401 1.0)
(s403 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)
(s418 1.0)
(s421 1.0)
(s422 1.0)
(s423 1.0)
(s424 1.0)
(s425 1.0)
(s426 1.0)
(s427 1.0)
(s428 1.0)
(s429 1.0)
(s430 1.0)
(s431 1.0)
(s436 1.0)
(s437 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)
(s451 1.0)
(s452 1.0)
(s453 1.0)
(s455 1.0)
(s456 1.0)
(s457 1.0)
(s458 1.0)
(s459 1.0)
(s460 1.0)
(s461 1.0)
(s466 1.0)
(s467 1.0)
(s469 1.0)
(s470 1.0)
(s471 1.0)
(s472 1.0)
(s473 1.0)
(s478 1.0)
(s479 1.0)
(s481 1.0)
(s482 1.0)
(s483 1.0)
(s487 1.0)
(s488 1.0)
(s489 1.0)
(s491 1.0)
(s492 1.0)
(s497 1.0)
(s498 1.0)
(s500 1.0)
(s501 1.0)
(s506 1.0)
(s507 1.0)
(s517 1.0)
(s518 1.0)
(s521 0.0)
(s522 0.0)
(s523 1.0)
(s524 1.0)
(s525 1.0)
(s527 1.0)
(s528 1.0)
(s533 1.0)
(s534 1.0)
(s536 1.0)
(s537 1.0)
(s543 1.0)
(s545 1.0)
(s546 1.0)
(s547 1.0)
(s552 1.0)
(s553 1.0)
(s555 1.0)
(s556 1.0)
(s557 1.0)
(s558 1.0)
(s559 1.0)
(s564 1.0)
(s565 1.0)
(s567 1.0)
(s568 1.0)
(s569 1.0)
(s570 1.0)
(s571 1.0)
(s572 1.0)
(s573 1.0)
(s578 1.0)
(s579 1.0)
(s581 1.0)
(s582 1.0)
(s583 1.0)
(s584 1.0)
(s585 1.0)
(s586 1.0)
(s587 1.0)
(s588 1.0)
(s589 1.0)
(s593 1.0)
(s594 1.0)
(s595 1.0)
(s597 1.0)
(s599 1.0)
(s600 1.0)
(s601 1.0)
(s602 1.0)
(s603 1.0)
(s604 1.0)
(s605 1.0)
(s606 1.0)
(s607 1.0)
(s612 1.0)
(s613 1.0)
(s615 1.0)
(s618 1.0)
(s619 1.0)
(s620 1.0)
(s621 1.0)
(s622 1.0)
(s623 1.0)
(s624 1.0)
(s625 1.0)
(s626 1.0)
(s631 1.0)
(s632 1.0)
(s634 1.0)
(s636 1.0)
(s637 1.0)
(s638 1.0)
(s639 1.0)
(s640 1.0)
(s641 1.0)
(s642 1.0)
(s643 1.0)
(s644 1.0)
(s649 1.0)
(s650 1.0)
(s652 1.0)
(s653 1.0)
(s654 1.0)
(s655 1.0)
(s656 1.0)
(s657 1.0)
(s658 1.0)
(s659 1.0)
(s660 1.0)
(s664 1.0)
(s665 1.0)
(s666 1.0)
(s668 1.0)
(s669 1.0)
(s670 1.0)
(s671 1.0)
(s672 1.0)
(s673 1.0)
(s674 1.0)
(s680 1.0)
(s682 1.0)
(s683 1.0)
(s684 1.0)
(s685 1.0)
(s686 1.0)
(s691 1.0)
(s692 1.0)
(s694 1.0)
(s695 1.0)
(s696 1.0)
(s701 1.0)
(s702 1.0)
(s704 1.0)
(s705 1.0)
(s710 1.0)
(s711 1.0)
(s713 1.0)
(s714 1.0)
(s719 1.0)
(s720 1.0)
(s722 1.0)
(s723 1.0)
(s728 1.0)
(s729 1.0)
(s740 1.0)
(s741 1.0)
(s743 0.0)
(s744 0.0)
(s745 1.0)
(s746 1.0)
(s747 1.0)
(s749 1.0)
(s750 1.0)
(s755 1.0)
(s756 1.0)
(s758 1.0)
(s759 1.0)
(s764 1.0)
(s765 1.0)
(s767 1.0)
(s768 1.0)
(s772 1.0)
(s773 1.0)
(s774 1.0)
(s776 1.0)
(s777 1.0)
(s778 1.0)
(s783 1.0)
(s784 1.0)
(s786 1.0)
(s787 1.0)
(s788 1.0)
(s789 1.0)
(s790 1.0)
(s794 1.0)
(s795 1.0)
(s796 1.0)
(s798 1.0)
(s799 1.0)
(s800 1.0)
(s801 1.0)
(s802 1.0)
(s803 1.0)
(s804 1.0)
(s809 1.0)
(s810 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)
(s824 1.0)
(s825 1.0)
(s826 1.0)
(s828 1.0)
(s830 1.0)
(s831 1.0)
(s832 1.0)
(s833 1.0)
(s834 1.0)
(s835 1.0)
(s836 1.0)
(s837 1.0)
(s843 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)
(s861 1.0)
(s862 1.0)
(s863 1.0)
(s864 1.0)
(s865 1.0)
(s866 1.0)
(s867 1.0)
(s872 1.0)
(s873 1.0)
(s875 1.0)
(s876 1.0)
(s877 1.0)
(s878 1.0)
(s879 1.0)
(s884 1.0)
(s885 1.0)
(s887 1.0)
(s888 1.0)
(s889 1.0)
(s895 1.0)
(s897 1.0)
(s898 1.0)
(s903 1.0)
(s904 1.0)
(s906 1.0)
(s907 1.0)
(s913 1.0)
(s915 1.0)
(s916 1.0)
(s922 1.0)
(s924 1.0)
(s925 1.0)
(s930 1.0)
(s931 1.0)
(s942 1.0)
(s945 1.0)
(s946 1.0)
(s947 0.0)
(s948 1.0)
(s949 1.0)
(s951 1.0)
(s952 1.0)
(s956 1.0)
(s958 1.0)
(s960 1.0)
(s961 1.0)
(s967 1.0)
(s969 1.0)
(s970 1.0)
(s975 1.0)
(s976 1.0)
(s978 1.0)
(s979 1.0)
(s984 1.0)
(s985 1.0)
(s987 1.0)
(s988 1.0)
(s989 1.0)
(s993 1.0)
(s994 1.0)
(s995 1.0)
(s997 1.0)
(s998 1.0)
(s999 1.0)
(s1000 1.0)
(s1001 1.0)
(s1007 1.0)
(s1009 1.0)
(s1010 1.0)
(s1011 1.0)
(s1012 1.0)
(s1013 1.0)
(s1014 1.0)
(s1015 1.0)
(s1020 1.0)
(s1021 1.0)
(s1023 1.0)
(s1026 1.0)
(s1027 1.0)
(s1028 1.0)
(s1029 1.0)
(s1030 1.0)
(s1035 1.0)
(s1036 1.0)
(s1038 1.0)
(s1040 1.0)
(s1041 1.0)
(s1042 1.0)
(s1043 1.0)
(s1044 1.0)
(s1049 1.0)
(s1050 1.0)
(s1052 1.0)
(s1053 1.0)
(s1054 1.0)
(s1055 1.0)
(s1056 1.0)
(s1062 1.0)
(s1064 1.0)
(s1065 1.0)
(s1066 1.0)
(s1072 1.0)
(s1074 1.0)
(s1075 1.0)
(s1080 1.0)
(s1081 1.0)
(s1083 1.0)
(s1084 1.0)
(s1090 1.0)
(s1092 1.0)
(s1093 1.0)
(s1099 1.0)
(s1101 1.0)
(s1102 1.0)
(s1106 1.0)
(s1108 1.0)
(s1110 1.0)
(s1111 1.0)
(s1115 1.0)
(s1116 1.0)
(s1117 1.0)
(s1128 1.0)
(s1129 1.0)
(s1131 1.0)
(s1132 1.0)
(s1133 0.0)
(s1134 1.0)
(s1135 1.0)
(s1137 1.0)
(s1138 1.0)
(s1144 1.0)
(s1146 1.0)
(s1147 1.0)
(s1153 1.0)
(s1155 1.0)
(s1156 1.0)
(s1161 1.0)
(s1162 1.0)
(s1164 1.0)
(s1165 1.0)
(s1170 1.0)
(s1171 1.0)
(s1173 1.0)
(s1174 1.0)
(s1178 1.0)
(s1180 1.0)
(s1182 1.0)
(s1184 1.0)
(s1189 1.0)
(s1190 1.0)
(s1192 1.0)
(s1194 1.0)
(s1195 1.0)
(s1196 1.0)
(s1201 1.0)
(s1202 1.0)
(s1204 1.0)
(s1208 1.0)
(s1209 1.0)
(s1214 1.0)
(s1215 1.0)
(s1217 1.0)
(s1219 1.0)
(s1220 1.0)
(s1221 1.0)
(s1226 1.0)
(s1227 1.0)
(s1229 1.0)
(s1230 1.0)
(s1231 1.0)
(s1236 1.0)
(s1237 1.0)
(s1239 1.0)
(s1240 1.0)
(s1243 1.0)
(s1245 1.0)
(s1246 1.0)
(s1248 1.0)
(s1249 1.0)
(s1254 1.0)
(s1255 1.0)
(s1257 1.0)
(s1258 1.0)
(s1263 1.0)
(s1264 1.0)
(s1266 1.0)
(s1267 1.0)
(s1273 1.0)
(s1276 1.0)
(s1284 1.0)
(s1285 1.0)
(s1290 1.0)
(s1291 1.0)
(s1302 1.0)
(s1305 0.0)
(s1306 0.0)
(s1307 1.0)
(s1308 1.0)
(s1309 1.0)
(s1311 1.0)
(s1312 1.0)
(s1317 1.0)
(s1318 1.0)
(s1320 1.0)
(s1321 1.0)
(s1327 1.0)
(s1329 1.0)
(s1330 1.0)
(s1336 1.0)
(s1338 1.0)
(s1339 1.0)
(s1344 1.0)
(s1345 1.0)
(s1347 1.0)
(s1348 1.0)
(s1352 1.0)
(s1353 1.0)
(s1354 1.0)
(s1356 1.0)
(s1357 1.0)
(s1362 1.0)
(s1363 1.0)
(s1365 1.0)
(s1367 1.0)
(s1370 1.0)
(s1372 1.0)
(s1373 1.0)
(s1375 1.0)
(s1382 1.0)
(s1383 1.0)
(s1384 1.0)
(s1386 1.0)
(s1393 1.0)
(s1394 1.0)
(s1396 1.0)
(s1397 1.0)
(s1402 1.0)
(s1403 1.0)
(s1405 1.0)
(s1406 1.0)
(s1412 1.0)
(s1414 1.0)
(s1415 1.0)
(s1420 1.0)
(s1421 1.0)
(s1423 1.0)
(s1424 1.0)
(s1430 1.0)
(s1432 1.0)
(s1433 1.0)
(s1438 1.0)
(s1439 1.0)
(s1441 1.0)
(s1442 1.0)
(s1446 1.0)
(s1447 1.0)
(s1448 1.0)
(s1450 1.0)
(s1451 1.0)
(s1456 1.0)
(s1457 1.0)
(s1468 1.0)
(s1469 1.0)
(s1471 0.0)
(s1472 0.0)
(s1473 1.0)
(s1474 1.0)
(s1475 1.0)
(s1477 1.0)
(s1478 1.0)
(s1483 1.0)
(s1484 1.0)
(s1486 1.0)
(s1487 1.0)
(s1491 1.0)
(s1492 1.0)
(s1493 1.0)
(s1495 1.0)
(s1496 1.0)
(s1502 1.0)
(s1504 1.0)
(s1505 1.0)
(s1509 1.0)
(s1510 1.0)
(s1511 1.0)
(s1513 1.0)
(s1514 1.0)
(s1519 1.0)
(s1520 1.0)
(s1522 1.0)
(s1523 1.0)
(s1527 1.0)
(s1528 1.0)
(s1529 1.0)
(s1531 1.0)
(s1532 1.0)
(s1538 1.0)
(s1540 1.0)
(s1547 1.0)
(s1549 1.0)
(s1550 1.0)
(s1555 1.0)
(s1556 1.0)
(s1558 1.0)
(s1559 1.0)
(s1564 1.0)
(s1565 1.0)
(s1567 1.0)
(s1568 1.0)
(s1573 1.0)
(s1574 1.0)
(s1576 1.0)
(s1577 1.0)
(s1582 1.0)
(s1583 1.0)
(s1585 1.0)
(s1586 1.0)
(s1592 1.0)
(s1594 1.0)
(s1595 1.0)
(s1600 1.0)
(s1603 1.0)
(s1604 1.0)
(s1609 1.0)
(s1610 1.0)
(s1612 1.0)
(s1613 1.0)
(s1618 1.0)
(s1619 1.0)
(s1630 1.0)
(s1635 1.0)
(s1637 1.0)
(s1638 1.0)
(s1643 1.0)
(s1644 1.0)
(s1646 1.0)
(s1647 1.0)
(s1653 1.0)
(s1655 1.0)
(s1656 1.0)
(s1661 1.0)
(s1662 1.0)
(s1664 1.0)
(s1665 1.0)
(s1670 1.0)
(s1671 1.0)
(s1673 1.0)
(s1674 1.0)
(s1679 1.0)
(s1680 1.0)
(s1682 1.0)
(s1683 1.0)
(s1688 1.0)
(s1689 1.0)
(s1691 1.0)
(s1692 1.0)
(s1698 1.0)
(s1700 1.0)
(s1701 1.0)
(s1705 1.0)
(s1706 1.0)
(s1707 1.0)
(s1709 1.0)
(s1710 1.0)
(s1715 1.0)
(s1716 1.0)
(s1718 1.0)
(s1719 1.0)
(s1725 1.0)
(s1727 1.0)
(s1728 1.0)
(s1733 1.0)
(s1734 1.0)
(s1736 1.0)
(s1737 1.0)
(s1739 1.0)
(s1742 1.0)
(s1743 1.0)
(s1745 1.0)
(s1746 1.0)
(s1750 1.0)
(s1751 1.0)
(s1752 1.0)
(s1754 1.0)
(s1755 1.0)
(s1761 1.0)
(s1763 1.0)
(s1764 1.0)
(s1770 1.0)
(s1772 1.0)
(s1773 1.0)
(s1778 1.0)
(s1779 1.0)
(s1790 1.0)
(s1791 1.0)
(s1793 0.0)
(s1794 0.0)
(s1795 1.0)
(s1796 1.0)
(s1797 1.0)
(s1799 1.0)
(s1800 1.0)
(s1805 1.0)
(s1806 1.0)
(s1808 1.0)
(s1809 1.0)
(s1814 1.0)
(s1815 1.0)
(s1817 1.0)
(s1818 1.0)
(s1823 1.0)
(s1824 1.0)
(s1826 1.0)
(s1827 1.0)
(s1833 1.0)
(s1835 1.0)
(s1836 1.0)
(s1841 1.0)
(s1842 1.0)
(s1844 1.0)
(s1845 1.0)
(s1850 1.0)
(s1851 1.0)
(s1853 1.0)
(s1854 1.0)
(s1859 1.0)
(s1860 1.0)
(s1862 1.0)
(s1869 1.0)
(s1871 1.0)
(s1876 1.0)
(s1877 1.0)
(s1878 1.0)
(s1880 1.0)
(s1881 1.0)
(s1886 1.0)
(s1887 1.0)
(s1889 1.0)timeout

org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/1876 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 2756 unsolved
SMT process timed out in 9172ms, After SMT, problems are : Problem set: 0 solved, 2756 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1876 out of 3663 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3663/3663 places, 5946/5946 transitions.
Discarding 946 places :
Symmetric choice reduction at 0 with 946 rule applications. Total rules 946 place count 2717 transition count 5000
Iterating global reduction 0 with 946 rules applied. Total rules applied 1892 place count 2717 transition count 5000
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 1892 place count 2717 transition count 4998
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 1896 place count 2715 transition count 4998
Free-agglomeration rule (complex) applied 14 times.
Iterating global reduction 0 with 14 rules applied. Total rules applied 1910 place count 2715 transition count 4984
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 0 with 14 rules applied. Total rules applied 1924 place count 2701 transition count 4984
Partial Free-agglomeration rule applied 71 times.
Drop transitions (Partial Free agglomeration) removed 71 transitions
Iterating global reduction 1 with 71 rules applied. Total rules applied 1995 place count 2701 transition count 4984
Applied a total of 1995 rules in 1164 ms. Remains 2701 /3663 variables (removed 962) and now considering 4984/5946 (removed 962) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1165 ms. Remains : 2701/3663 places, 4984/5946 transitions.
RANDOM walk for 553626 steps (12404 resets) in 120004 ms. (4 steps per ms) remains 1804/2756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 1804/1804 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 1804/1804 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1802/1804 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 171 ms. (23 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 166 ms. (23 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 175 ms. (22 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 167 ms. (23 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4002 steps (16 resets) in 175 ms. (22 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4003 steps (15 resets) in 174 ms. (22 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 4004 steps (15 resets) in 178 ms. (22 steps per ms) remains 1800/1802 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (15 resets) in 170 ms. (23 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (15 resets) in 180 ms. (22 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (16 resets) in 175 ms. (22 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4002 steps (16 resets) in 193 ms. (20 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (15 resets) in 336 ms. (11 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4002 steps (15 resets) in 127 ms. (31 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (15 resets) in 154 ms. (25 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4002 steps (15 resets) in 173 ms. (23 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (15 resets) in 152 ms. (26 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4003 steps (15 resets) in 156 ms. (25 steps per ms) remains 1800/1800 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1798/1800 properties
BEST_FIRST walk for 4004 steps (15 resets) in 130 ms. (30 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (15 resets) in 132 ms. (30 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (14 resets) in 153 ms. (26 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4003 steps (15 resets) in 132 ms. (30 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4002 steps (16 resets) in 137 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1798/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1796/1798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4002 steps (16 resets) in 139 ms. (28 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4004 steps (15 resets) in 133 ms. (29 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4003 steps (14 resets) in 128 ms. (31 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4003 steps (15 resets) in 131 ms. (30 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1796/1796 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1794/1796 properties
BEST_FIRST walk for 4004 steps (15 resets) in 129 ms. (30 steps per ms) remains 1794/1794 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1792/1794 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1792/1792 properties
BEST_FIRST walk for 4004 steps (15 resets) in 130 ms. (30 steps per ms) remains 1790/1792 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1788/1790 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4002 steps (15 resets) in 131 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4002 steps (15 resets) in 126 ms. (31 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1788/1788 properties
BEST_FIRST walk for 4001 steps (15 resets) in 130 ms. (30 steps per ms) remains 1786/1788 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1786/1786 properties
BEST_FIRST walk for 4003 steps (15 resets) in 128 ms. (31 steps per ms) remains 1786/1786 properties
BEST_FIRST walk for 4002 steps (15 resets) in 128 ms. (31 steps per ms) remains 1786/1786 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1784/1786 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1784/1784 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1784/1784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1780/1784 properties
BEST_FIRST walk for 4002 steps (16 resets) in 137 ms. (29 steps per ms) remains 1780/1780 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1780/1780 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1780/1780 properties
BEST_FIRST walk for 4004 steps (15 resets) in 259 ms. (15 steps per ms) remains 1780/1780 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1780/1780 properties
BEST_FIRST walk for 4003 steps (15 resets) in 131 ms. (30 steps per ms) remains 1778/1780 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1778/1778 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1776/1778 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1774/1776 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4002 steps (16 resets) in 136 ms. (29 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4004 steps (14 resets) in 125 ms. (31 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4004 steps (15 resets) in 131 ms. (30 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4004 steps (15 resets) in 128 ms. (31 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1774/1774 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1772/1774 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1772/1772 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1772/1772 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1772/1772 properties
BEST_FIRST walk for 4003 steps (16 resets) in 135 ms. (29 steps per ms) remains 1770/1772 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1770/1770 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 1766/1770 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 1764/1766 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 1762/1764 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 1762/1762 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 1760/1762 properties
BEST_FIRST walk for 4003 steps (16 resets) in 135 ms. (29 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4003 steps (15 resets) in 128 ms. (31 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4002 steps (16 resets) in 124 ms. (32 steps per ms) remains 1760/1760 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1758/1760 properties
BEST_FIRST walk for 4003 steps (15 resets) in 124 ms. (32 steps per ms) remains 1758/1758 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1758/1758 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1756/1758 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (15 resets) in 145 ms. (27 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (15 resets) in 125 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (14 resets) in 127 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4004 steps (15 resets) in 140 ms. (28 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4002 steps (16 resets) in 140 ms. (28 steps per ms) remains 1756/1756 properties
BEST_FIRST walk for 4003 steps (16 resets) in 226 ms. (17 steps per ms) remains 1754/1756 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1754/1754 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1754/1754 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1754/1754 properties
BEST_FIRST walk for 4004 steps (13 resets) in 125 ms. (31 steps per ms) remains 1754/1754 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1754/1754 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1752/1754 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4004 steps (15 resets) in 125 ms. (31 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4002 steps (15 resets) in 129 ms. (30 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1752/1752 properties
BEST_FIRST walk for 4002 steps (16 resets) in 129 ms. (30 steps per ms) remains 1750/1752 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1750/1750 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 1750/1750 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1748/1750 properties
BEST_FIRST walk for 4003 steps (15 resets) in 151 ms. (26 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4003 steps (16 resets) in 140 ms. (28 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4003 steps (14 resets) in 126 ms. (31 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4002 steps (16 resets) in 136 ms. (29 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4002 steps (15 resets) in 126 ms. (31 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1748/1748 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1746/1748 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1746/1746 properties
BEST_FIRST walk for 4003 steps (15 resets) in 129 ms. (30 steps per ms) remains 1746/1746 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1746/1746 properties
BEST_FIRST walk for 4001 steps (16 resets) in 138 ms. (28 steps per ms) remains 1746/1746 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1744/1746 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4002 steps (16 resets) in 126 ms. (31 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1744/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1740/1744 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1740/1740 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1740/1740 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1738/1740 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 152 ms. (26 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 137 ms. (29 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4002 steps (16 resets) in 127 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4002 steps (16 resets) in 129 ms. (30 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (14 resets) in 124 ms. (32 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (15 resets) in 123 ms. (32 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 211 ms. (18 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1738/1738 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1736/1738 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1736/1736 properties
BEST_FIRST walk for 4002 steps (15 resets) in 151 ms. (26 steps per ms) remains 1736/1736 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1731/1736 properties
BEST_FIRST walk for 4004 steps (15 resets) in 124 ms. (32 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (15 resets) in 124 ms. (32 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 127 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (14 resets) in 125 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 125 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4002 steps (16 resets) in 126 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 124 ms. (32 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 1731/1731 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 1729/1731 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1729/1729 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 1729/1729 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1729/1729 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1727/1729 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1727/1727 properties
BEST_FIRST walk for 4002 steps (16 resets) in 145 ms. (27 steps per ms) remains 1727/1727 properties
BEST_FIRST walk for 4001 steps (16 resets) in 147 ms. (27 steps per ms) remains 1727/1727 properties
BEST_FIRST walk for 4003 steps (16 resets) in 163 ms. (24 steps per ms) remains 1727/1727 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 1725/1727 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 163 ms. (24 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4002 steps (16 resets) in 127 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4002 steps (15 resets) in 127 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (14 resets) in 124 ms. (32 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (15 resets) in 128 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4002 steps (15 resets) in 124 ms. (32 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 137 ms. (29 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1725/1725 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1723/1725 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4001 steps (16 resets) in 129 ms. (30 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (15 resets) in 122 ms. (32 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (14 resets) in 125 ms. (31 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4002 steps (16 resets) in 126 ms. (31 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4002 steps (16 resets) in 135 ms. (29 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4002 steps (15 resets) in 133 ms. (29 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1723/1723 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 1722/1723 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4003 steps (15 resets) in 125 ms. (31 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 1722/1722 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1720/1722 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1720/1720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 208 ms. (19 steps per ms) remains 1720/1720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 197 ms. (20 steps per ms) remains 1720/1720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 213 ms. (18 steps per ms) remains 1720/1720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 212 ms. (18 steps per ms) remains 1720/1720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 227 ms. (17 steps per ms) remains 1717/1720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 212 ms. (18 steps per ms) remains 1717/1717 properties
BEST_FIRST walk for 4001 steps (16 resets) in 223 ms. (17 steps per ms) remains 1715/1717 properties
BEST_FIRST walk for 4003 steps (16 resets) in 214 ms. (18 steps per ms) remains 1713/1715 properties
BEST_FIRST walk for 4003 steps (16 resets) in 194 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4003 steps (16 resets) in 210 ms. (18 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 223 ms. (17 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4003 steps (16 resets) in 193 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 187 ms. (21 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4003 steps (16 resets) in 197 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 214 ms. (18 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 198 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 193 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 215 ms. (18 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 204 ms. (19 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4003 steps (16 resets) in 147 ms. (27 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4003 steps (16 resets) in 157 ms. (25 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1713/1713 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 1711/1713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1711/1711 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1711/1711 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1711/1711 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1709/1711 properties
BEST_FIRST walk for 4002 steps (16 resets) in 132 ms. (30 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4002 steps (16 resets) in 137 ms. (29 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1709/1709 properties
BEST_FIRST walk for 4003 steps (15 resets) in 132 ms. (30 steps per ms) remains 1707/1709 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 138 ms. (28 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 140 ms. (28 steps per ms) remains 1707/1707 properties
BEST_FIRST walk for 4003 steps (16 resets) in 137 ms. (29 steps per ms) remains 1705/1707 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4002 steps (16 resets) in 131 ms. (30 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4003 steps (16 resets) in 137 ms. (29 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4002 steps (15 resets) in 133 ms. (29 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1703/1705 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1703/1703 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1702/1703 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4002 steps (16 resets) in 134 ms. (29 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1702/1702 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1700/1702 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 140 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4001 steps (15 resets) in 126 ms. (31 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1700/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1699/1700 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1699/1699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1697/1699 properties
BEST_FIRST walk for 4004 steps (16 resets) in 146 ms. (27 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4002 steps (16 resets) in 163 ms. (24 steps per ms) remains 1697/1697 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1695/1697 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4002 steps (16 resets) in 132 ms. (30 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4002 steps (16 resets) in 139 ms. (28 steps per ms) remains 1695/1695 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1693/1695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1693/1693 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1693/1693 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1693/1693 properties
BEST_FIRST walk for 4003 steps (16 resets) in 174 ms. (22 steps per ms) remains 1691/1693 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 1689/1691 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1689/1689 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1689/1689 properties
BEST_FIRST walk for 4003 steps (16 resets) in 145 ms. (27 steps per ms) remains 1689/1689 properties
BEST_FIRST walk for 4003 steps (16 resets) in 143 ms. (27 steps per ms) remains 1688/1689 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1686/1688 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1686/1686 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1684/1686 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1684/1684 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1684/1684 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1684/1684 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1682/1684 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (15 resets) in 122 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4002 steps (16 resets) in 126 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4001 steps (15 resets) in 124 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (14 resets) in 120 ms. (33 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4002 steps (16 resets) in 127 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (15 resets) in 124 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (15 resets) in 122 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (14 resets) in 123 ms. (32 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4000 steps (16 resets) in 145 ms. (27 steps per ms) remains 1682/1682 properties
BEST_FIRST walk for 4001 steps (16 resets) in 144 ms. (27 steps per ms) remains 1680/1682 properties
BEST_FIRST walk for 4000 steps (16 resets) in 145 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4002 steps (16 resets) in 145 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4001 steps (16 resets) in 143 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4002 steps (16 resets) in 146 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4002 steps (16 resets) in 163 ms. (24 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4002 steps (16 resets) in 145 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4001 steps (16 resets) in 146 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4001 steps (16 resets) in 142 ms. (27 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4003 steps (15 resets) in 128 ms. (31 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4004 steps (15 resets) in 125 ms. (31 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4004 steps (15 resets) in 125 ms. (31 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4003 steps (16 resets) in 120 ms. (33 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1680/1680 properties
BEST_FIRST walk for 4002 steps (16 resets) in 127 ms. (31 steps per ms) remains 1678/1680 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4002 steps (15 resets) in 123 ms. (32 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4003 steps (15 resets) in 133 ms. (29 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4003 steps (15 resets) in 124 ms. (32 steps per ms) remains 1678/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1674/1678 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4002 steps (16 resets) in 132 ms. (30 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (14 resets) in 120 ms. (33 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (15 resets) in 120 ms. (33 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (15 resets) in 125 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (15 resets) in 125 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (14 resets) in 121 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1674/1674 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1673/1674 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1673/1673 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1673/1673 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1673/1673 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1673/1673 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1673/1673 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1671/1673 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4002 steps (16 resets) in 129 ms. (30 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (14 resets) in 118 ms. (33 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4002 steps (15 resets) in 123 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 122 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 120 ms. (33 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4002 steps (15 resets) in 136 ms. (29 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4002 steps (15 resets) in 125 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (15 resets) in 127 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 120 ms. (33 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 124 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 125 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 121 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 123 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4001 steps (15 resets) in 124 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4002 steps (15 resets) in 123 ms. (32 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1671/1671 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1669/1671 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4002 steps (16 resets) in 134 ms. (29 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4004 steps (14 resets) in 147 ms. (27 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4002 steps (15 resets) in 124 ms. (32 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4003 steps (16 resets) in 123 ms. (32 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4004 steps (15 resets) in 120 ms. (33 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1669/1669 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1667/1669 properties
BEST_FIRST walk for 4004 steps (15 resets) in 123 ms. (32 steps per ms) remains 1667/1667 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1667/1667 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1667/1667 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1667/1667 properties
BEST_FIRST walk for 4003 steps (14 resets) in 121 ms. (32 steps per ms) remains 1665/1667 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (15 resets) in 120 ms. (33 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (15 resets) in 123 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4002 steps (16 resets) in 131 ms. (30 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (15 resets) in 126 ms. (31 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (16 resets) in 123 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4002 steps (16 resets) in 124 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4002 steps (16 resets) in 126 ms. (31 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (15 resets) in 121 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4002 steps (16 resets) in 134 ms. (29 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (15 resets) in 122 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4004 steps (15 resets) in 122 ms. (32 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (15 resets) in 119 ms. (33 steps per ms) remains 1665/1665 properties
BEST_FIRST walk for 4003 steps (15 resets) in 125 ms. (31 steps per ms) remains 1663/1665 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1663/1663 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1663/1663 properties
BEST_FIRST walk for 4004 steps (14 resets) in 120 ms. (33 steps per ms) remains 1663/1663 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1661/1663 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 137 ms. (29 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 139 ms. (28 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 121 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (15 resets) in 119 ms. (33 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (14 resets) in 119 ms. (33 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (15 resets) in 145 ms. (27 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4002 steps (15 resets) in 121 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (15 resets) in 122 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4002 steps (16 resets) in 128 ms. (31 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 126 ms. (31 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 144 ms. (27 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (15 resets) in 119 ms. (33 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1661/1661 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1659/1661 properties
BEST_FIRST walk for 4004 steps (15 resets) in 123 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (15 resets) in 119 ms. (33 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (15 resets) in 119 ms. (33 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 121 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (15 resets) in 122 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (15 resets) in 117 ms. (33 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (15 resets) in 120 ms. (33 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4002 steps (16 resets) in 123 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4002 steps (16 resets) in 124 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (15 resets) in 121 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1659/1659 properties
BEST_FIRST walk for 4003 steps (14 resets) in 120 ms. (33 steps per ms) remains 1657/1659 properties
BEST_FIRST walk for 4003 steps (16 resets) in 122 ms. (32 steps per ms) remains 1657/1657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1657/1657 properties
BEST_FIRST walk for 4003 steps (16 resets) in 123 ms. (32 steps per ms) remains 1657/1657 properties
BEST_FIRST walk for 4004 steps (14 resets) in 118 ms. (33 steps per ms) remains 1657/1657 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1657/1657 properties
BEST_FIRST walk for 4001 steps (16 resets) in 127 ms. (31 steps per ms) remains 1655/1657 properties
BEST_FIRST walk for 4003 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (16 resets) in 122 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4002 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4002 steps (16 resets) in 125 ms. (31 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (15 resets) in 121 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (16 resets) in 122 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (15 resets) in 120 ms. (33 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4002 steps (16 resets) in 129 ms. (30 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4002 steps (16 resets) in 131 ms. (30 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (14 resets) in 118 ms. (33 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4002 steps (16 resets) in 124 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 123 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4001 steps (16 resets) in 124 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4002 steps (16 resets) in 134 ms. (29 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (15 resets) in 121 ms. (32 steps per ms) remains 1655/1655 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1653/1655 properties
BEST_FIRST walk for 4003 steps (15 resets) in 123 ms. (32 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4002 steps (15 resets) in 130 ms. (30 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4004 steps (15 resets) in 120 ms. (33 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4004 steps (15 resets) in 121 ms. (32 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4003 steps (15 resets) in 124 ms. (32 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4004 steps (16 resets) in 122 ms. (32 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4002 steps (16 resets) in 123 ms. (32 steps per ms) remains 1653/1653 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1651/1653 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1651/1651 properties
BEST_FIRST walk for 4004 steps (16 resets) in 121 ms. (32 steps per ms) remains 1651/1651 properties
BEST_FIRST walk for 4003 steps (16 resets) in 124 ms. (32 steps per ms) remains 1651/1651 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1649/1651 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 123 ms. (32 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4002 steps (16 resets) in 129 ms. (30 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4002 steps (16 resets) in 124 ms. (32 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4002 steps (16 resets) in 133 ms. (29 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4004 steps (16 resets) in 135 ms. (29 steps per ms) remains 1649/1649 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1647/1649 properties
BEST_FIRST walk for 4003 steps (16 resets) in 136 ms. (29 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (15 resets) in 126 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (15 resets) in 127 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4002 steps (16 resets) in 151 ms. (26 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 135 ms. (29 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4002 steps (16 resets) in 132 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4002 steps (16 resets) in 129 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (15 resets) in 130 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (15 resets) in 128 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 122 ms. (32 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1647/1647 properties
BEST_FIRST walk for 4000 steps (16 resets) in 132 ms. (30 steps per ms) remains 1645/1647 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1645/1645 properties
BEST_FIRST walk for 4002 steps (16 resets) in 134 ms. (29 steps per ms) remains 1645/1645 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1643/1645 properties
BEST_FIRST walk for 4003 steps (16 resets) in 153 ms. (25 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 130 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 134 ms. (29 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 132 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 135 ms. (29 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 131 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 133 ms. (29 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 156 ms. (25 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 138 ms. (28 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 125 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 129 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 124 ms. (32 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 138 ms. (28 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 128 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 131 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 129 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 131 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 132 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4002 steps (16 resets) in 131 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 132 ms. (30 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (15 resets) in 125 ms. (31 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 151 ms. (26 steps per ms) remains 1643/1643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 127 ms. (31 steps per ms) remains 1643/1643 properties
[2025-06-03 06:48:20] [INFO ] Flow matrix only has 4699 transitions (discarded 285 similar events)
// Phase 1: matrix 4699 rows 2701 cols
[2025-06-03 06:48:20] [INFO ] Computed 521 invariants in 129 ms
[2025-06-03 06:48:20] [INFO ] State equation strengthened by 2178 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1061 variables, 24/24 constraints. Problems are: Problem set: 0 solved, 1643 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1061 variables, 2/26 constraints. Problems are: Problem set: 0 solved, 1643 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1061/7400 variables, and 26 constraints, problems are : Problem set: 0 solved, 1643 unsolved in 45036 ms.
Refiners :[Positive P Invariants (semi-flows): 24/31 constraints, Generalized P Invariants (flows): 2/490 constraints, State Equation: 0/2701 constraints, ReadFeed: 0/2178 constraints, PredecessorRefiner: 1643/1643 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1643 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1061 variables, 24/24 constraints. Problems are: Problem set: 0 solved, 1643 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1061 variables, 2/26 constraints. Problems are: Problem set: 0 solved, 1643 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1061/7400 variables, and 26 constraints, problems are : Problem set: 0 solved, 1643 unsolved in 45035 ms.
Refiners :[Positive P Invariants (semi-flows): 24/31 constraints, Generalized P Invariants (flows): 2/490 constraints, State Equation: 0/2701 constraints, ReadFeed: 0/2178 constraints, PredecessorRefiner: 0/1643 constraints, Known Traps: 0/0 constraints]
After SMT, in 91910ms problems are : Problem set: 0 solved, 1643 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1061 out of 2701 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2701/2701 places, 4984/4984 transitions.
Discarding 380 places :
Symmetric choice reduction at 0 with 380 rule applications. Total rules 380 place count 2321 transition count 4604
Iterating global reduction 0 with 380 rules applied. Total rules applied 760 place count 2321 transition count 4604
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 6 Pre rules applied. Total rules applied 760 place count 2321 transition count 4598
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 772 place count 2315 transition count 4598
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 916 place count 2171 transition count 3734
Iterating global reduction 0 with 144 rules applied. Total rules applied 1060 place count 2171 transition count 3734
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1061 place count 2171 transition count 3733
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1062 place count 2170 transition count 3733
Partial Free-agglomeration rule applied 36 times.
Drop transitions (Partial Free agglomeration) removed 36 transitions
Iterating global reduction 1 with 36 rules applied. Total rules applied 1098 place count 2170 transition count 3733
Applied a total of 1098 rules in 999 ms. Remains 2170 /2701 variables (removed 531) and now considering 3733/4984 (removed 1251) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 999 ms. Remains : 2170/2701 places, 3733/4984 transitions.
RANDOM walk for 794763 steps (18178 resets) in 120004 ms. (6 steps per ms) remains 1538/1643 properties
BEST_FIRST walk for 4004 steps (16 resets) in 124 ms. (32 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 127 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (16 resets) in 120 ms. (33 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (15 resets) in 116 ms. (34 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (15 resets) in 111 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (16 resets) in 110 ms. (36 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 119 ms. (33 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (15 resets) in 110 ms. (36 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 114 ms. (34 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 113 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 117 ms. (33 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (15 resets) in 112 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (15 resets) in 109 ms. (36 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (15 resets) in 113 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (15 resets) in 109 ms. (36 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4002 steps (16 resets) in 121 ms. (32 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4002 steps (14 resets) in 107 ms. (37 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (15 resets) in 109 ms. (36 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 113 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (16 resets) in 111 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (16 resets) in 113 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (15 resets) in 113 ms. (35 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4004 steps (15 resets) in 110 ms. (36 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (16 resets) in 113 ms. (35 steps per ms) remains 1536/1538 properties
BEST_FIRST walk for 4003 steps (15 resets) in 110 ms. (36 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4003 steps (16 resets) in 109 ms. (36 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4002 steps (16 resets) in 110 ms. (36 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4003 steps (14 resets) in 111 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 128 ms. (31 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 130 ms. (30 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (15 resets) in 110 ms. (36 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 115 ms. (34 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 120 ms. (33 steps per ms) remains 1536/1536 properties
BEST_FIRST walk for 4003 steps (16 resets) in 112 ms. (35 steps per ms) remains 1534/1536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 136 ms. (29 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 113 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 109 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 112 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4002 steps (16 resets) in 143 ms. (27 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (15 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 110 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4002 steps (16 resets) in 112 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (15 resets) in 107 ms. (37 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 110 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 112 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 114 ms. (34 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 115 ms. (34 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4002 steps (16 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 109 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 112 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 113 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 115 ms. (34 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (13 resets) in 106 ms. (37 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4002 steps (14 resets) in 106 ms. (37 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 109 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 114 ms. (34 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 130 ms. (30 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 119 ms. (33 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4001 steps (15 resets) in 110 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 110 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 109 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 113 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 109 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 110 ms. (36 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 115 ms. (34 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 114 ms. (34 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 111 ms. (35 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (14 resets) in 117 ms. (33 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 147 ms. (27 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (15 resets) in 145 ms. (27 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (15 resets) in 129 ms. (30 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (16 resets) in 126 ms. (31 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4004 steps (15 resets) in 171 ms. (23 steps per ms) remains 1534/1534 properties
BEST_FIRST walk for 4003 steps (16 resets) in 163 ms. (24 steps per ms) remains 1534/1534 properties
Interrupted probabilistic random walk after 729715 steps, run timeout after 99001 ms. (steps per millisecond=7 ) properties seen :42 out of 1534
Probabilistic random walk after 729715 steps, saw 325898 distinct states, run finished after 99011 ms. (steps per millisecond=7 ) properties seen :42
[2025-06-03 06:52:05] [INFO ] Flow matrix only has 3447 transitions (discarded 286 similar events)
// Phase 1: matrix 3447 rows 2170 cols
[2025-06-03 06:52:05] [INFO ] Computed 521 invariants in 93 ms
[2025-06-03 06:52:05] [INFO ] State equation strengthened by 1458 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/919 variables, 24/24 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/919 variables, 2/26 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/919 variables, 0/26 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
At refinement iteration 3 (OVERLAPS) 700/1619 variables, 6/32 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1619/5617 variables, and 32 constraints, problems are : Problem set: 0 solved, 1492 unsolved in 75058 ms.
Refiners :[Positive P Invariants (semi-flows): 30/32 constraints, Generalized P Invariants (flows): 2/489 constraints, State Equation: 0/2170 constraints, ReadFeed: 0/1458 constraints, PredecessorRefiner: 1492/1492 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1492 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/919 variables, 24/24 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/919 variables, 2/26 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/919 variables, 0/26 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
At refinement iteration 3 (OVERLAPS) 700/1619 variables, 6/32 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
[2025-06-03 06:54:07] [INFO ] Deduced a trap composed of 33 places in 1747 ms of which 158 ms to minimize.
[2025-06-03 06:54:08] [INFO ] Deduced a trap composed of 656 places in 1832 ms of which 17 ms to minimize.
[2025-06-03 06:54:10] [INFO ] Deduced a trap composed of 670 places in 1786 ms of which 16 ms to minimize.
[2025-06-03 06:54:12] [INFO ] Deduced a trap composed of 638 places in 1690 ms of which 16 ms to minimize.
[2025-06-03 06:54:13] [INFO ] Deduced a trap composed of 212 places in 298 ms of which 5 ms to minimize.
[2025-06-03 06:54:13] [INFO ] Deduced a trap composed of 203 places in 384 ms of which 6 ms to minimize.
[2025-06-03 06:54:14] [INFO ] Deduced a trap composed of 221 places in 512 ms of which 7 ms to minimize.
[2025-06-03 06:54:14] [INFO ] Deduced a trap composed of 237 places in 564 ms of which 7 ms to minimize.
[2025-06-03 06:54:16] [INFO ] Deduced a trap composed of 743 places in 1767 ms of which 16 ms to minimize.
[2025-06-03 06:54:18] [INFO ] Deduced a trap composed of 613 places in 1813 ms of which 16 ms to minimize.
[2025-06-03 06:54:20] [INFO ] Deduced a trap composed of 721 places in 1640 ms of which 16 ms to minimize.
[2025-06-03 06:54:22] [INFO ] Deduced a trap composed of 681 places in 1781 ms of which 16 ms to minimize.
[2025-06-03 06:54:23] [INFO ] Deduced a trap composed of 732 places in 1779 ms of which 16 ms to minimize.
[2025-06-03 06:54:25] [INFO ] Deduced a trap composed of 792 places in 1797 ms of which 17 ms to minimize.
[2025-06-03 06:54:27] [INFO ] Deduced a trap composed of 741 places in 1623 ms of which 15 ms to minimize.
[2025-06-03 06:54:29] [INFO ] Deduced a trap composed of 793 places in 1810 ms of which 19 ms to minimize.
[2025-06-03 06:54:31] [INFO ] Deduced a trap composed of 79 places in 1669 ms of which 15 ms to minimize.
[2025-06-03 06:54:32] [INFO ] Deduced a trap composed of 118 places in 1655 ms of which 16 ms to minimize.
[2025-06-03 06:54:34] [INFO ] Deduced a trap composed of 293 places in 1875 ms of which 16 ms to minimize.
[2025-06-03 06:54:36] [INFO ] Deduced a trap composed of 517 places in 1867 ms of which 16 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1619 variables, 20/52 constraints. Problems are: Problem set: 0 solved, 1492 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1619/5617 variables, and 52 constraints, problems are : Problem set: 0 solved, 1492 unsolved in 75043 ms.
Refiners :[Positive P Invariants (semi-flows): 30/32 constraints, Generalized P Invariants (flows): 2/489 constraints, State Equation: 0/2170 constraints, ReadFeed: 0/1458 constraints, PredecessorRefiner: 0/1492 constraints, Known Traps: 20/20 constraints]
After SMT, in 151751ms problems are : Problem set: 0 solved, 1492 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 919 out of 2170 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2170/2170 places, 3733/3733 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 2114 transition count 3677
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 2114 transition count 3677
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 166 place count 2060 transition count 3353
Iterating global reduction 0 with 54 rules applied. Total rules applied 220 place count 2060 transition count 3353
Partial Free-agglomeration rule applied 12 times.
Drop transitions (Partial Free agglomeration) removed 12 transitions
Iterating global reduction 0 with 12 rules applied. Total rules applied 232 place count 2060 transition count 3353
Applied a total of 232 rules in 304 ms. Remains 2060 /2170 variables (removed 110) and now considering 3353/3733 (removed 380) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 304 ms. Remains : 2060/2170 places, 3353/3733 transitions.
RANDOM walk for 873782 steps (19993 resets) in 120004 ms. (7 steps per ms) remains 1456/1492 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 172 ms. (23 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 211 ms. (18 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 212 ms. (18 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 153 ms. (26 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 206 ms. (19 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 180 ms. (22 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4002 steps (16 resets) in 158 ms. (25 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4002 steps (16 resets) in 182 ms. (21 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (15 resets) in 173 ms. (23 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (15 resets) in 158 ms. (25 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (15 resets) in 149 ms. (26 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 184 ms. (21 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 177 ms. (22 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 148 ms. (26 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (14 resets) in 153 ms. (25 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (15 resets) in 168 ms. (23 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4002 steps (16 resets) in 171 ms. (23 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (15 resets) in 161 ms. (24 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4003 steps (16 resets) in 139 ms. (28 steps per ms) remains 1456/1456 properties
BEST_FIRST walk for 4004 steps (15 resets) in 188 ms. (21 steps per ms) remains 1452/1456 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (15 resets) in 151 ms. (26 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 169 ms. (23 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 163 ms. (24 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 169 ms. (23 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 159 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 187 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4002 steps (16 resets) in 187 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 155 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 182 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (14 resets) in 136 ms. (29 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 187 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 165 ms. (24 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 132 ms. (30 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (15 resets) in 147 ms. (27 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 179 ms. (22 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (15 resets) in 185 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 191 ms. (20 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 189 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4002 steps (16 resets) in 147 ms. (27 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4002 steps (15 resets) in 181 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (15 resets) in 181 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 134 ms. (29 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (15 resets) in 135 ms. (29 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 196 ms. (20 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (15 resets) in 156 ms. (25 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (16 resets) in 148 ms. (26 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (16 resets) in 181 ms. (21 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4004 steps (15 resets) in 180 ms. (22 steps per ms) remains 1452/1452 properties
BEST_FIRST walk for 4003 steps (14 resets) in 138 ms. (28 steps per ms) remains 1452/1452 properties
Interrupted probabilistic random walk after 758905 steps, run timeout after 99001 ms. (steps per millisecond=7 ) properties seen :6 out of 1452
Probabilistic random walk after 758905 steps, saw 337644 distinct states, run finished after 99002 ms. (steps per millisecond=7 ) properties seen :6
[2025-06-03 06:56:50] [INFO ] Flow matrix only has 3067 transitions (discarded 286 similar events)
// Phase 1: matrix 3067 rows 2060 cols
[2025-06-03 06:56:50] [INFO ] Computed 521 invariants in 116 ms
[2025-06-03 06:56:50] [INFO ] State equation strengthened by 1188 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/874 variables, 23/23 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/874 variables, 2/25 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/874 variables, 0/25 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
At refinement iteration 3 (OVERLAPS) 676/1550 variables, 7/32 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1550/5127 variables, and 32 constraints, problems are : Problem set: 0 solved, 1446 unsolved in 90046 ms.
Refiners :[Positive P Invariants (semi-flows): 30/32 constraints, Generalized P Invariants (flows): 2/489 constraints, State Equation: 0/2060 constraints, ReadFeed: 0/1188 constraints, PredecessorRefiner: 1446/1446 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1446 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/874 variables, 23/23 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/874 variables, 2/25 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/874 variables, 0/25 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
At refinement iteration 3 (OVERLAPS) 676/1550 variables, 7/32 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
[2025-06-03 06:59:03] [INFO ] Deduced a trap composed of 33 places in 1678 ms of which 16 ms to minimize.
[2025-06-03 06:59:05] [INFO ] Deduced a trap composed of 627 places in 1690 ms of which 17 ms to minimize.
[2025-06-03 06:59:06] [INFO ] Deduced a trap composed of 170 places in 311 ms of which 4 ms to minimize.
[2025-06-03 06:59:06] [INFO ] Deduced a trap composed of 203 places in 410 ms of which 6 ms to minimize.
[2025-06-03 06:59:06] [INFO ] Deduced a trap composed of 238 places in 376 ms of which 6 ms to minimize.
[2025-06-03 06:59:07] [INFO ] Deduced a trap composed of 231 places in 477 ms of which 7 ms to minimize.
[2025-06-03 06:59:08] [INFO ] Deduced a trap composed of 233 places in 551 ms of which 7 ms to minimize.
[2025-06-03 06:59:10] [INFO ] Deduced a trap composed of 613 places in 1696 ms of which 16 ms to minimize.
[2025-06-03 06:59:11] [INFO ] Deduced a trap composed of 570 places in 1707 ms of which 16 ms to minimize.
[2025-06-03 06:59:13] [INFO ] Deduced a trap composed of 582 places in 1623 ms of which 15 ms to minimize.
[2025-06-03 06:59:14] [INFO ] Deduced a trap composed of 580 places in 1425 ms of which 16 ms to minimize.
[2025-06-03 06:59:16] [INFO ] Deduced a trap composed of 619 places in 1659 ms of which 14 ms to minimize.
[2025-06-03 06:59:18] [INFO ] Deduced a trap composed of 587 places in 1670 ms of which 15 ms to minimize.
[2025-06-03 06:59:19] [INFO ] Deduced a trap composed of 745 places in 1498 ms of which 14 ms to minimize.
[2025-06-03 06:59:21] [INFO ] Deduced a trap composed of 556 places in 1592 ms of which 14 ms to minimize.
[2025-06-03 06:59:23] [INFO ] Deduced a trap composed of 553 places in 1621 ms of which 16 ms to minimize.
[2025-06-03 06:59:24] [INFO ] Deduced a trap composed of 769 places in 1621 ms of which 14 ms to minimize.
[2025-06-03 06:59:26] [INFO ] Deduced a trap composed of 790 places in 1631 ms of which 15 ms to minimize.
[2025-06-03 06:59:28] [INFO ] Deduced a trap composed of 79 places in 1667 ms of which 15 ms to minimize.
[2025-06-03 06:59:29] [INFO ] Deduced a trap composed of 118 places in 1657 ms of which 15 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1550 variables, 20/52 constraints. Problems are: Problem set: 0 solved, 1446 unsolved
[2025-06-03 06:59:33] [INFO ] Deduced a trap composed of 649 places in 1440 ms of which 14 ms to minimize.
[2025-06-03 06:59:35] [INFO ] Deduced a trap composed of 595 places in 1553 ms of which 15 ms to minimize.
[2025-06-03 06:59:37] [INFO ] Deduced a trap composed of 794 places in 1640 ms of which 15 ms to minimize.
[2025-06-03 06:59:39] [INFO ] Deduced a trap composed of 770 places in 1556 ms of which 15 ms to minimize.
[2025-06-03 06:59:41] [INFO ] Deduced a trap composed of 567 places in 1614 ms of which 15 ms to minimize.
[2025-06-03 06:59:42] [INFO ] Deduced a trap composed of 554 places in 1613 ms of which 15 ms to minimize.
[2025-06-03 06:59:44] [INFO ] Deduced a trap composed of 628 places in 1439 ms of which 15 ms to minimize.
[2025-06-03 06:59:45] [INFO ] Deduced a trap composed of 746 places in 1636 ms of which 16 ms to minimize.
[2025-06-03 06:59:47] [INFO ] Deduced a trap composed of 765 places in 1658 ms of which 15 ms to minimize.
[2025-06-03 06:59:49] [INFO ] Deduced a trap composed of 771 places in 1650 ms of which 15 ms to minimize.
[2025-06-03 06:59:50] [INFO ] Deduced a trap composed of 579 places in 1617 ms of which 16 ms to minimize.
[2025-06-03 06:59:52] [INFO ] Deduced a trap composed of 576 places in 1655 ms of which 15 ms to minimize.
SMT process timed out in 182013ms, After SMT, problems are : Problem set: 0 solved, 1446 unsolved
Fused 1446 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 874 out of 2060 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2060/2060 places, 3353/3353 transitions.
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 15 place count 2045 transition count 3338
Iterating global reduction 0 with 15 rules applied. Total rules applied 30 place count 2045 transition count 3338
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 44 place count 2031 transition count 3254
Iterating global reduction 0 with 14 rules applied. Total rules applied 58 place count 2031 transition count 3254
Partial Free-agglomeration rule applied 8 times.
Drop transitions (Partial Free agglomeration) removed 8 transitions
Iterating global reduction 0 with 8 rules applied. Total rules applied 66 place count 2031 transition count 3254
Applied a total of 66 rules in 263 ms. Remains 2031 /2060 variables (removed 29) and now considering 3254/3353 (removed 99) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 263 ms. Remains : 2031/2060 places, 3254/3353 transitions.
RANDOM walk for 546779 steps (12507 resets) in 120006 ms. (4 steps per ms) remains 1436/1446 properties
BEST_FIRST walk for 4003 steps (16 resets) in 202 ms. (19 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 193 ms. (20 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 189 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 200 ms. (19 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 200 ms. (19 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 203 ms. (19 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 201 ms. (19 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (15 resets) in 135 ms. (29 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 190 ms. (20 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4002 steps (14 resets) in 137 ms. (29 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (15 resets) in 166 ms. (23 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4002 steps (16 resets) in 165 ms. (24 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4002 steps (16 resets) in 153 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (15 resets) in 157 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 168 ms. (23 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 146 ms. (27 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 193 ms. (20 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 154 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (15 resets) in 152 ms. (26 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 140 ms. (28 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 189 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 196 ms. (20 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (15 resets) in 171 ms. (23 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (15 resets) in 163 ms. (24 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (15 resets) in 136 ms. (29 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4003 steps (15 resets) in 148 ms. (26 steps per ms) remains 1436/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 1434/1436 properties
BEST_FIRST walk for 4004 steps (16 resets) in 152 ms. (26 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4002 steps (16 resets) in 156 ms. (25 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 160 ms. (24 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (16 resets) in 194 ms. (20 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 170 ms. (23 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 141 ms. (28 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (16 resets) in 168 ms. (23 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (15 resets) in 142 ms. (27 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (16 resets) in 161 ms. (24 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (16 resets) in 178 ms. (22 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (16 resets) in 174 ms. (22 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (15 resets) in 181 ms. (22 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4003 steps (16 resets) in 151 ms. (26 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (15 resets) in 178 ms. (22 steps per ms) remains 1434/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 1432/1434 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 150 ms. (26 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (14 resets) in 179 ms. (22 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 184 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 154 ms. (25 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 172 ms. (23 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 175 ms. (22 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 142 ms. (28 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 169 ms. (23 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 186 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 161 ms. (24 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (15 resets) in 180 ms. (22 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 186 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 144 ms. (27 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4002 steps (14 resets) in 192 ms. (20 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4002 steps (16 resets) in 184 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (15 resets) in 145 ms. (27 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 169 ms. (23 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4002 steps (15 resets) in 141 ms. (28 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (15 resets) in 156 ms. (25 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 161 ms. (24 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 181 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4002 steps (16 resets) in 154 ms. (25 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (15 resets) in 183 ms. (21 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4003 steps (16 resets) in 149 ms. (26 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 192 ms. (20 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 215 ms. (18 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 215 ms. (18 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 214 ms. (18 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 172 ms. (23 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 205 ms. (19 steps per ms) remains 1432/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 205 ms. (19 steps per ms) remains 1432/1432 properties
Interrupted probabilistic random walk after 819350 steps, run timeout after 105001 ms. (steps per millisecond=7 ) properties seen :0 out of 1432
Probabilistic random walk after 819350 steps, saw 364281 distinct states, run finished after 105005 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-03 07:02:13] [INFO ] Flow matrix only has 2968 transitions (discarded 286 similar events)
// Phase 1: matrix 2968 rows 2031 cols
[2025-06-03 07:02:13] [INFO ] Computed 521 invariants in 65 ms
[2025-06-03 07:02:13] [INFO ] State equation strengthened by 1118 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/862 variables, 22/22 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/862 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/862 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
At refinement iteration 3 (OVERLAPS) 670/1532 variables, 7/31 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1532/4999 variables, and 31 constraints, problems are : Problem set: 0 solved, 1432 unsolved in 105038 ms.
Refiners :[Positive P Invariants (semi-flows): 29/31 constraints, Generalized P Invariants (flows): 2/490 constraints, State Equation: 0/2031 constraints, ReadFeed: 0/1118 constraints, PredecessorRefiner: 1432/1432 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1432 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/862 variables, 22/22 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/862 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/862 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
At refinement iteration 3 (OVERLAPS) 670/1532 variables, 7/31 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
[2025-06-03 07:04:37] [INFO ] Deduced a trap composed of 33 places in 68 ms of which 1 ms to minimize.
[2025-06-03 07:04:38] [INFO ] Deduced a trap composed of 170 places in 279 ms of which 5 ms to minimize.
[2025-06-03 07:04:38] [INFO ] Deduced a trap composed of 206 places in 393 ms of which 6 ms to minimize.
[2025-06-03 07:04:39] [INFO ] Deduced a trap composed of 275 places in 355 ms of which 6 ms to minimize.
[2025-06-03 07:04:39] [INFO ] Deduced a trap composed of 221 places in 503 ms of which 7 ms to minimize.
[2025-06-03 07:04:40] [INFO ] Deduced a trap composed of 232 places in 567 ms of which 8 ms to minimize.
[2025-06-03 07:04:40] [INFO ] Deduced a trap composed of 232 places in 553 ms of which 7 ms to minimize.
[2025-06-03 07:04:41] [INFO ] Deduced a trap composed of 238 places in 542 ms of which 8 ms to minimize.
[2025-06-03 07:04:42] [INFO ] Deduced a trap composed of 245 places in 545 ms of which 7 ms to minimize.
[2025-06-03 07:04:43] [INFO ] Deduced a trap composed of 737 places in 1358 ms of which 14 ms to minimize.
[2025-06-03 07:04:45] [INFO ] Deduced a trap composed of 712 places in 1395 ms of which 15 ms to minimize.
[2025-06-03 07:04:46] [INFO ] Deduced a trap composed of 689 places in 1539 ms of which 15 ms to minimize.
[2025-06-03 07:04:48] [INFO ] Deduced a trap composed of 764 places in 1493 ms of which 15 ms to minimize.
[2025-06-03 07:04:49] [INFO ] Deduced a trap composed of 844 places in 1406 ms of which 14 ms to minimize.
[2025-06-03 07:04:51] [INFO ] Deduced a trap composed of 861 places in 1532 ms of which 15 ms to minimize.
[2025-06-03 07:04:52] [INFO ] Deduced a trap composed of 823 places in 1497 ms of which 15 ms to minimize.
[2025-06-03 07:04:54] [INFO ] Deduced a trap composed of 853 places in 1530 ms of which 16 ms to minimize.
[2025-06-03 07:04:55] [INFO ] Deduced a trap composed of 790 places in 1396 ms of which 14 ms to minimize.
[2025-06-03 07:04:58] [INFO ] Deduced a trap composed of 368 places in 1644 ms of which 15 ms to minimize.
[2025-06-03 07:05:00] [INFO ] Deduced a trap composed of 376 places in 1381 ms of which 15 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1532 variables, 20/51 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
[2025-06-03 07:05:02] [INFO ] Deduced a trap composed of 212 places in 257 ms of which 4 ms to minimize.
[2025-06-03 07:05:03] [INFO ] Deduced a trap composed of 263 places in 479 ms of which 7 ms to minimize.
[2025-06-03 07:05:04] [INFO ] Deduced a trap composed of 274 places in 539 ms of which 7 ms to minimize.
[2025-06-03 07:05:04] [INFO ] Deduced a trap composed of 279 places in 522 ms of which 7 ms to minimize.
[2025-06-03 07:05:06] [INFO ] Deduced a trap composed of 810 places in 1541 ms of which 15 ms to minimize.
[2025-06-03 07:05:07] [INFO ] Deduced a trap composed of 110 places in 1523 ms of which 15 ms to minimize.
[2025-06-03 07:05:09] [INFO ] Deduced a trap composed of 823 places in 1518 ms of which 15 ms to minimize.
[2025-06-03 07:05:11] [INFO ] Deduced a trap composed of 881 places in 1506 ms of which 15 ms to minimize.
[2025-06-03 07:05:12] [INFO ] Deduced a trap composed of 902 places in 1503 ms of which 15 ms to minimize.
[2025-06-03 07:05:15] [INFO ] Deduced a trap composed of 410 places in 1553 ms of which 16 ms to minimize.
[2025-06-03 07:05:16] [INFO ] Deduced a trap composed of 418 places in 1320 ms of which 15 ms to minimize.
[2025-06-03 07:05:22] [INFO ] Deduced a trap composed of 1393 places in 1521 ms of which 15 ms to minimize.
[2025-06-03 07:05:22] [INFO ] Deduced a trap composed of 341 places in 244 ms of which 4 ms to minimize.
[2025-06-03 07:05:23] [INFO ] Deduced a trap composed of 390 places in 346 ms of which 5 ms to minimize.
[2025-06-03 07:05:24] [INFO ] Deduced a trap composed of 408 places in 1412 ms of which 15 ms to minimize.
[2025-06-03 07:05:26] [INFO ] Deduced a trap composed of 1005 places in 1462 ms of which 15 ms to minimize.
[2025-06-03 07:05:26] [INFO ] Deduced a trap composed of 323 places in 527 ms of which 7 ms to minimize.
[2025-06-03 07:05:28] [INFO ] Deduced a trap composed of 907 places in 1337 ms of which 15 ms to minimize.
[2025-06-03 07:05:29] [INFO ] Deduced a trap composed of 900 places in 1504 ms of which 15 ms to minimize.
[2025-06-03 07:05:31] [INFO ] Deduced a trap composed of 904 places in 1572 ms of which 15 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/1532 variables, 20/71 constraints. Problems are: Problem set: 0 solved, 1432 unsolved
[2025-06-03 07:05:36] [INFO ] Deduced a trap composed of 301 places in 537 ms of which 7 ms to minimize.
[2025-06-03 07:05:38] [INFO ] Deduced a trap composed of 791 places in 1728 ms of which 15 ms to minimize.
[2025-06-03 07:05:39] [INFO ] Deduced a trap composed of 886 places in 1528 ms of which 15 ms to minimize.
[2025-06-03 07:05:41] [INFO ] Deduced a trap composed of 840 places in 1569 ms of which 15 ms to minimize.
[2025-06-03 07:05:42] [INFO ] Deduced a trap composed of 919 places in 1509 ms of which 14 ms to minimize.
[2025-06-03 07:05:44] [INFO ] Deduced a trap composed of 959 places in 1499 ms of which 15 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1532/4999 variables, and 77 constraints, problems are : Problem set: 0 solved, 1432 unsolved in 105039 ms.
Refiners :[Positive P Invariants (semi-flows): 29/31 constraints, Generalized P Invariants (flows): 2/490 constraints, State Equation: 0/2031 constraints, ReadFeed: 0/1118 constraints, PredecessorRefiner: 0/1432 constraints, Known Traps: 46/46 constraints]
After SMT, in 211333ms problems are : Problem set: 0 solved, 1432 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 862 out of 2031 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2031/2031 places, 3254/3254 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 2027 transition count 3250
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 2027 transition count 3250
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 11 place count 2024 transition count 3232
Iterating global reduction 0 with 3 rules applied. Total rules applied 14 place count 2024 transition count 3232
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 15 place count 2024 transition count 3232
Applied a total of 15 rules in 251 ms. Remains 2024 /2031 variables (removed 7) and now considering 3232/3254 (removed 22) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 251 ms. Remains : 2024/2031 places, 3232/3254 transitions.
RANDOM walk for 884021 steps (20214 resets) in 120008 ms. (7 steps per ms) remains 1420/1432 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 239 ms. (16 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 200 ms. (19 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 197 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 205 ms. (19 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 197 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 165 ms. (24 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 205 ms. (19 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4002 steps (16 resets) in 195 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4002 steps (14 resets) in 166 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4002 steps (15 resets) in 181 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 192 ms. (20 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (15 resets) in 177 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (15 resets) in 179 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 178 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4002 steps (16 resets) in 186 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 173 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (15 resets) in 177 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 187 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (15 resets) in 155 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 188 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 149 ms. (26 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (15 resets) in 182 ms. (21 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (15 resets) in 165 ms. (24 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4002 steps (16 resets) in 159 ms. (25 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 178 ms. (22 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (15 resets) in 168 ms. (23 steps per ms) remains 1420/1420 properties
BEST_FIRST walk for 4003 steps (16 resets) in 182 ms. (21 steps per ms) remains 1420/1420 properties
Interrupted probabilistic random walk after 752212 steps, run timeout after 96001 ms. (steps per millisecond=7 ) properties seen :0 out of 1420
Probabilistic random walk after 752212 steps, saw 334338 distinct states, run finished after 96005 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-03 07:07:53] [INFO ] Flow matrix only has 2946 transitions (discarded 286 similar events)
// Phase 1: matrix 2946 rows 2024 cols
[2025-06-03 07:07:53] [INFO ] Computed 521 invariants in 68 ms
[2025-06-03 07:07:53] [INFO ] State equation strengthened by 1103 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/853 variables, 22/22 constraints. Problems are: Problem set: 0 solved, 1420 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/853 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 1420 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/853 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1420 unsolved
At refinement iteration 3 (OVERLAPS) 673/1526 variables, 7/31 constraints. Problems are: Problem set: 0 solved, 1420 unsolved
[2025-06-03 07:09:36] [INFO ] Deduced a trap composed of 33 places in 73 ms of which 2 ms to minimize.
[2025-06-03 07:09:37] [INFO ] Deduced a trap composed of 212 places in 284 ms of which 4 ms to minimize.
[2025-06-03 07:09:37] [INFO ] Deduced a trap composed of 203 places in 387 ms of which 6 ms to minimize.
[2025-06-03 07:09:37] [INFO ] Deduced a trap composed of 238 places in 386 ms of which 6 ms to minimize.
[2025-06-03 07:09:38] [INFO ] Deduced a trap composed of 272 places in 380 ms of which 6 ms to minimize.
[2025-06-03 07:09:38] [INFO ] Deduced a trap composed of 327 places in 332 ms of which 6 ms to minimize.
[2025-06-03 07:09:39] [INFO ] Deduced a trap composed of 231 places in 480 ms of which 6 ms to minimize.
[2025-06-03 07:09:39] [INFO ] Deduced a trap composed of 259 places in 520 ms of which 7 ms to minimize.
[2025-06-03 07:09:41] [INFO ] Deduced a trap composed of 733 places in 1477 ms of which 15 ms to minimize.
[2025-06-03 07:09:43] [INFO ] Deduced a trap composed of 751 places in 1475 ms of which 15 ms to minimize.
[2025-06-03 07:09:44] [INFO ] Deduced a trap composed of 753 places in 1432 ms of which 14 ms to minimize.
[2025-06-03 07:09:46] [INFO ] Deduced a trap composed of 774 places in 1497 ms of which 15 ms to minimize.
[2025-06-03 07:09:47] [INFO ] Deduced a trap composed of 758 places in 1479 ms of which 14 ms to minimize.
[2025-06-03 07:09:49] [INFO ] Deduced a trap composed of 794 places in 1511 ms of which 15 ms to minimize.
[2025-06-03 07:09:50] [INFO ] Deduced a trap composed of 818 places in 1480 ms of which 15 ms to minimize.
[2025-06-03 07:09:52] [INFO ] Deduced a trap composed of 835 places in 1505 ms of which 15 ms to minimize.
[2025-06-03 07:09:53] [INFO ] Deduced a trap composed of 852 places in 1474 ms of which 15 ms to minimize.
[2025-06-03 07:09:55] [INFO ] Deduced a trap composed of 877 places in 1525 ms of which 15 ms to minimize.
SMT process timed out in 121894ms, After SMT, problems are : Problem set: 0 solved, 1420 unsolved
Fused 1420 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 853 out of 2024 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2024/2024 places, 3232/3232 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 2021 transition count 3229
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 2021 transition count 3229
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 8 place count 2019 transition count 3217
Iterating global reduction 0 with 2 rules applied. Total rules applied 10 place count 2019 transition count 3217
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 11 place count 2019 transition count 3217
Applied a total of 11 rules in 250 ms. Remains 2019 /2024 variables (removed 5) and now considering 3217/3232 (removed 15) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 250 ms. Remains : 2019/2024 places, 3217/3232 transitions.
RANDOM walk for 507952 steps (11621 resets) in 120004 ms. (4 steps per ms) remains 1412/1420 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 198 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 173 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 199 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 193 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 173 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 173 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 178 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 192 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 186 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 178 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4002 steps (16 resets) in 185 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 165 ms. (24 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4002 steps (16 resets) in 184 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4001 steps (15 resets) in 176 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 169 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 178 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (15 resets) in 187 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 155 ms. (25 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 196 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 190 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4002 steps (15 resets) in 148 ms. (26 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (14 resets) in 139 ms. (28 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 194 ms. (20 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 178 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 181 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 182 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4002 steps (16 resets) in 164 ms. (24 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 171 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 184 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 160 ms. (24 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 162 ms. (24 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4002 steps (16 resets) in 181 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 172 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 167 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 185 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 176 ms. (22 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 172 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 173 ms. (23 steps per ms) remains 1412/1412 properties
BEST_FIRST walk for 4003 steps (16 resets) in 199 ms. (20 steps per ms) remains 1412/1412 properties
Interrupted probabilistic random walk after 765088 steps, run timeout after 96001 ms. (steps per millisecond=7 ) properties seen :0 out of 1412
Probabilistic random walk after 765088 steps, saw 340013 distinct states, run finished after 96002 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-03 07:12:04] [INFO ] Flow matrix only has 2931 transitions (discarded 286 similar events)
// Phase 1: matrix 2931 rows 2019 cols
[2025-06-03 07:12:04] [INFO ] Computed 521 invariants in 60 ms
[2025-06-03 07:12:04] [INFO ] State equation strengthened by 1093 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/849 variables, 22/22 constraints. Problems are: Problem set: 0 solved, 1412 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/849 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 1412 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/849 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 1412 unsolved
At refinement iteration 3 (OVERLAPS) 675/1524 variables, 8/32 constraints. Problems are: Problem set: 0 solved, 1412 unsolved
[2025-06-03 07:13:52] [INFO ] Deduced a trap composed of 33 places in 1634 ms of which 15 ms to minimize.
[2025-06-03 07:13:54] [INFO ] Deduced a trap composed of 621 places in 1598 ms of which 15 ms to minimize.
[2025-06-03 07:13:56] [INFO ] Deduced a trap composed of 171 places in 1623 ms of which 15 ms to minimize.
[2025-06-03 07:13:58] [INFO ] Deduced a trap composed of 543 places in 1600 ms of which 15 ms to minimize.
[2025-06-03 07:13:58] [INFO ] Deduced a trap composed of 203 places in 318 ms of which 6 ms to minimize.
[2025-06-03 07:14:00] [INFO ] Deduced a trap composed of 245 places in 1574 ms of which 15 ms to minimize.
[2025-06-03 07:14:01] [INFO ] Deduced a trap composed of 272 places in 1656 ms of which 15 ms to minimize.
[2025-06-03 07:14:03] [INFO ] Deduced a trap composed of 949 places in 1598 ms of which 15 ms to minimize.
[2025-06-03 07:14:05] [INFO ] Deduced a trap composed of 997 places in 1613 ms of which 14 ms to minimize.
[2025-06-03 07:14:06] [INFO ] Deduced a trap composed of 390 places in 1596 ms of which 15 ms to minimize.
[2025-06-03 07:14:08] [INFO ] Deduced a trap composed of 708 places in 1663 ms of which 15 ms to minimize.
[2025-06-03 07:14:09] [INFO ] Deduced a trap composed of 223 places in 512 ms of which 6 ms to minimize.
[2025-06-03 07:14:09] [INFO ] Deduced a trap composed of 232 places in 540 ms of which 7 ms to minimize.
[2025-06-03 07:14:11] [INFO ] Deduced a trap composed of 555 places in 1622 ms of which 15 ms to minimize.
[2025-06-03 07:14:13] [INFO ] Deduced a trap composed of 755 places in 1639 ms of which 15 ms to minimize.
[2025-06-03 07:14:14] [INFO ] Deduced a trap composed of 750 places in 1450 ms of which 15 ms to minimize.
[2025-06-03 07:14:16] [INFO ] Deduced a trap composed of 585 places in 1572 ms of which 14 ms to minimize.
[2025-06-03 07:14:17] [INFO ] Deduced a trap composed of 905 places in 1658 ms of which 15 ms to minimize.
[2025-06-03 07:14:19] [INFO ] Deduced a trap composed of 735 places in 1607 ms of which 15 ms to minimize.
[2025-06-03 07:14:21] [INFO ] Deduced a trap composed of 597 places in 1566 ms of which 15 ms to minimize.
SMT process timed out in 137031ms, After SMT, problems are : Problem set: 0 solved, 1412 unsolved
Fused 1412 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 849 out of 2019 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2019/2019 places, 3217/3217 transitions.
Applied a total of 0 rules in 82 ms. Remains 2019 /2019 variables (removed 0) and now considering 3217/3217 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 82 ms. Remains : 2019/2019 places, 3217/3217 transitions.
RANDOM walk for 512690 steps (11731 resets) in 120004 ms. (4 steps per ms) remains 1404/1412 properties
BEST_FIRST walk for 4004 steps (16 resets) in 210 ms. (18 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 192 ms. (20 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 191 ms. (20 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 195 ms. (20 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 155 ms. (25 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 179 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 197 ms. (20 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 185 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 171 ms. (23 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 184 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 179 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (15 resets) in 137 ms. (29 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (15 resets) in 188 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 188 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 191 ms. (20 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (15 resets) in 161 ms. (24 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 165 ms. (24 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4002 steps (16 resets) in 168 ms. (23 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 184 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 171 ms. (23 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4002 steps (15 resets) in 169 ms. (23 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (15 resets) in 177 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (15 resets) in 153 ms. (26 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 164 ms. (24 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (15 resets) in 165 ms. (24 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 150 ms. (26 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (16 resets) in 157 ms. (25 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 181 ms. (21 steps per ms) remains 1404/1404 properties
BEST_FIRST walk for 4004 steps (15 resets) in 179 ms. (22 steps per ms) remains 1402/1404 properties
BEST_FIRST walk for 4003 steps (16 resets) in 163 ms. (24 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 182 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (15 resets) in 163 ms. (24 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (15 resets) in 188 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (15 resets) in 172 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (14 resets) in 136 ms. (29 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (15 resets) in 174 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 176 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 162 ms. (24 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (15 resets) in 157 ms. (25 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (15 resets) in 164 ms. (24 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4001 steps (14 resets) in 175 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 143 ms. (27 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (15 resets) in 169 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 177 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 183 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 183 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 158 ms. (25 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 167 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (15 resets) in 147 ms. (27 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (15 resets) in 154 ms. (25 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 186 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 180 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 159 ms. (25 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 142 ms. (27 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 173 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 189 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 181 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 185 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (15 resets) in 151 ms. (26 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 171 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4002 steps (16 resets) in 184 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 174 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 185 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 180 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 166 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4000 steps (16 resets) in 192 ms. (20 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 175 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 173 ms. (23 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 183 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4004 steps (16 resets) in 158 ms. (25 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4002 steps (16 resets) in 179 ms. (22 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4002 steps (13 resets) in 144 ms. (27 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4003 steps (16 resets) in 188 ms. (21 steps per ms) remains 1402/1402 properties
BEST_FIRST walk for 4002 steps (14 resets) in 175 ms. (22 steps per ms) remains 1402/1402 properties
Interrupted probabilistic random walk after 772939 steps, run timeout after 102001 ms. (steps per millisecond=7 ) properties seen :0 out of 1402
Probabilistic random walk after 772939 steps, saw 343470 distinct states, run finished after 102003 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-03 07:16:37] [INFO ] Flow matrix only has 2931 transitions (discarded 286 similar events)
[2025-06-03 07:16:37] [INFO ] Invariant cache hit.
[2025-06-03 07:16:37] [INFO ] State equation strengthened by 1093 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-S16C06"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2024"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool gold2024"
echo " Input is MultiCrashLeafsetExtension-PT-S16C06, 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 r140-smll-174876533600197"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C06.tgz
mv MultiCrashLeafsetExtension-PT-S16C06 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;