Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 05:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 12 05:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 26M May 18 16:43 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1717227497748

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C07
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 07:38:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 07:38:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 07:38:20] [INFO ] Load time of PNML (sax parser for PT used): 1077 ms
[2024-06-01 07:38:20] [INFO ] Transformed 25134 places.
[2024-06-01 07:38:20] [INFO ] Transformed 38317 transitions.
[2024-06-01 07:38:20] [INFO ] Parsed PT model containing 25134 places and 38317 transitions and 148438 arcs in 1394 ms.
RANDOM walk for 40000 steps (556 resets) in 6684 ms. (5 steps per ms) remains 23487/25134 properties
BEST_FIRST walk for 124 steps (0 resets) in 37 ms. (3 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 78 ms. (1 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 55 ms. (2 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 35 ms. (3 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 27 ms. (4 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 31 ms. (3 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 23487/23487 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 23487/23487 properties
Interrupted probabilistic random walk after 3622 steps, run timeout after 6001 ms. (steps per millisecond=0 ) properties seen :1324 out of 23487
Probabilistic random walk after 3622 steps, saw 1897 distinct states, run finished after 6011 ms. (steps per millisecond=0 ) properties seen :1324
[2024-06-01 07:38:29] [INFO ] Flow matrix only has 37261 transitions (discarded 1056 similar events)
// Phase 1: matrix 37261 rows 25134 cols
[2024-06-01 07:38:34] [INFO ] Computed 1683 invariants in 4438 ms
[2024-06-01 07:38:34] [INFO ] State equation strengthened by 12322 read => feed constraints.
SMT process timed out in 91364ms, After SMT, problems are : Problem set: 0 solved, 22163 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 22163 out of 25134 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 25134/25134 places, 38317/38317 transitions.
Graph (complete) has 85919 edges and 25134 vertex of which 25084 are kept as prefixes of interest. Removing 50 places using SCC suffix rule.66 ms
Discarding 50 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 219 transitions
Trivial Post-agglo rules discarded 219 transitions
Performed 219 trivial Post agglomeration. Transition count delta: 219
Iterating post reduction 0 with 219 rules applied. Total rules applied 220 place count 25084 transition count 38098
Reduce places removed 219 places and 0 transitions.
Performed 120 Post agglomeration using F-continuation condition.Transition count delta: 120
Iterating post reduction 1 with 339 rules applied. Total rules applied 559 place count 24865 transition count 37978
Reduce places removed 120 places and 0 transitions.
Iterating post reduction 2 with 120 rules applied. Total rules applied 679 place count 24745 transition count 37978
Performed 71 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 71 Pre rules applied. Total rules applied 679 place count 24745 transition count 37907
Deduced a syphon composed of 71 places in 46 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 3 with 142 rules applied. Total rules applied 821 place count 24674 transition count 37907
Discarding 180 places :
Symmetric choice reduction at 3 with 180 rule applications. Total rules 1001 place count 24494 transition count 37727
Iterating global reduction 3 with 180 rules applied. Total rules applied 1181 place count 24494 transition count 37727
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 45 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 1185 place count 24492 transition count 37725
Free-agglomeration rule (complex) applied 252 times.
Iterating global reduction 3 with 252 rules applied. Total rules applied 1437 place count 24492 transition count 37473
Reduce places removed 252 places and 0 transitions.
Iterating post reduction 3 with 252 rules applied. Total rules applied 1689 place count 24240 transition count 37473
Partial Free-agglomeration rule applied 39 times.
Drop transitions (Partial Free agglomeration) removed 39 transitions
Iterating global reduction 4 with 39 rules applied. Total rules applied 1728 place count 24240 transition count 37473
Applied a total of 1728 rules in 3657 ms. Remains 24240 /25134 variables (removed 894) and now considering 37473/38317 (removed 844) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3681 ms. Remains : 24240/25134 places, 37473/38317 transitions.
RANDOM walk for 720004 steps (10504 resets) in 120005 ms. (5 steps per ms) remains 11034/22163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 11023/11034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 11014/11023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 11008/11014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 11001/11008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10992/11001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10984/10992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10978/10984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10969/10978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10960/10969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10949/10960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10940/10949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10931/10940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10924/10931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10915/10924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10909/10915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 10901/10909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10893/10901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10888/10893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10880/10888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10871/10880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10863/10871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10859/10863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10856/10859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10845/10856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10839/10845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10829/10839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 629 ms. (6 steps per ms) remains 10826/10829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10817/10826 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10814/10817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10807/10814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10800/10807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 10794/10800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10790/10794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10785/10790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10783/10785 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10776/10783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10769/10776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 10766/10769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10757/10766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10749/10757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10746/10749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10740/10746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 10733/10740 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10726/10733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 10722/10726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10716/10722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10713/10716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10709/10713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 10704/10709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10704/10704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10702/10704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10697/10702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10694/10697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10691/10694 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10686/10691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 10682/10686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10679/10682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 10674/10679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 10672/10674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10666/10672 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10661/10666 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10655/10661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10651/10655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10647/10651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10644/10647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10640/10644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10636/10640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10632/10636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10629/10632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10626/10629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10621/10626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10615/10621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10612/10615 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10609/10612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10607/10609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 10603/10607 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10602/10603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10597/10602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10596/10597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 10594/10596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10591/10594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10587/10591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10585/10587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 10577/10585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10575/10577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10573/10575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10571/10573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 10570/10571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10569/10570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10567/10569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10563/10567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10563/10563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10559/10563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10558/10559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 10557/10558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10556/10557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10553/10556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 10552/10553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 10549/10552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10545/10549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10544/10545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10542/10544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10541/10542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10539/10541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10537/10539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10535/10537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10533/10535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10532/10533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10529/10532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10528/10529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10524/10528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 10523/10524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10521/10523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10520/10521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10519/10520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 10516/10519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10513/10516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10511/10513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10509/10511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10507/10509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10506/10507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 10505/10506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10505/10505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10504/10505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10503/10504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10502/10503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10498/10502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10495/10498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10494/10495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 10493/10494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10492/10493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10490/10492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10488/10490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10484/10488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 10482/10484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 10479/10482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10477/10479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10476/10477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10474/10476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10472/10474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10471/10472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10471/10471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10469/10471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10469/10469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10466/10469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10462/10466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10458/10462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10457/10458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 10454/10457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10452/10454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10452/10452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 10450/10452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10447/10450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10444/10447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10440/10444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10438/10440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10438/10438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10436/10438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10433/10436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10433/10433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 10433/10433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10432/10433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10431/10432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10430/10431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10430/10430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10426/10430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10424/10426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10421/10424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10419/10421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10418/10419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10417/10418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10415/10417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10413/10415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10411/10413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 10411/10411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 10411/10411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 10409/10411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10409/10409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10409/10409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10408/10409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10407/10408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10407/10407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10406/10407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10405/10406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10403/10405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10401/10403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 10401/10401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 10401/10401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 10399/10401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10397/10399 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10395/10397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10394/10395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10391/10394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10391/10391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 10390/10391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10390/10390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10389/10390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10389/10389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10387/10389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10385/10387 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10381/10385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10378/10381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10376/10378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10375/10376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10373/10375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10372/10373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10372/10372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10370/10372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10369/10370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10367/10369 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 10367/10367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10367/10367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10364/10367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10364/10364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10363/10364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10359/10363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10359/10359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10359/10359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10358/10359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 10358/10358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10357/10358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10354/10357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10354/10354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 10352/10354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 10352/10352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10351/10352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10349/10351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10348/10349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10348/10348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10346/10348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10346/10346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10346/10346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10345/10346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10345/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 10344/10345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10344/10344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10344/10344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10343/10344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10343/10343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10343/10343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 10342/10343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10342/10342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 10341/10342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 10341/10341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10341/10341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 10341/10341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 10339/10341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10338/10339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10338/10338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10338/10338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 10338/10338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10337/10338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10335/10337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10335/10335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10335/10335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 10334/10335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10332/10334 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10330/10332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10329/10330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10329/10329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10329/10329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10329/10329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 10328/10329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10327/10328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10325/10327 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10325/10325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10324/10325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10322/10324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10321/10322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10319/10321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10319/10319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10319/10319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10319/10319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10318/10319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10317/10318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10316/10317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10315/10316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10314/10315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10313/10314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10311/10313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10311/10311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10311/10311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10311/10311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10310/10311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10310/10310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10310/10310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10309/10310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10309/10309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 10308/10309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10308/10308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 10307/10308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10307/10307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10306/10307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10305/10306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 10305/10305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10305/10305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10304/10305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 10304/10304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10304/10304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10303/10304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10303/10303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10302/10303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10301/10302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10300/10301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 10298/10300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10298/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10298/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10298/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 10298/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10298/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10298/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10297/10298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10296/10297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10295/10296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10295/10295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10295/10295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10294/10295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10293/10294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10292/10293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10291/10292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10291/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10291/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10291/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10291/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10291/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10291/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10289/10291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10289/10289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10289/10289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10289/10289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10288/10289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 10288/10288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10288/10288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10287/10288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10287/10287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10285/10287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10285/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10285/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10285/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10285/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10285/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10285/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10284/10285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10284/10284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10283/10284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10282/10283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10281/10282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10281/10281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 10280/10281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10279/10280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10275/10279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10274/10275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10274/10274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10273/10274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10273/10273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10273/10273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10273/10273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10270/10273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10270/10270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10269/10270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10269/10269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10269/10269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10269/10269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10268/10269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10268/10268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 10267/10268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10267/10267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10267/10267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10267/10267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10267/10267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10266/10267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10266/10266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 10265/10266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10265/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10264/10265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10263/10264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10262/10263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10262/10262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 10262/10262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10262/10262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10261/10262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10261/10261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10261/10261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10260/10261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10260/10260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 10260/10260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10259/10260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10259/10259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10259/10259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10259/10259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 10259/10259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10259/10259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10257/10259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10256/10257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10256/10256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10254/10256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10254/10254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10254/10254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10254/10254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10254/10254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10254/10254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10253/10254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10252/10253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10251/10252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10251/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10251/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 10251/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 10251/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10251/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10251/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10250/10251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10250/10250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10250/10250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10250/10250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10250/10250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10249/10250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10249/10249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10249/10249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10248/10249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10248/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10248/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10248/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10248/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10248/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10248/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 10246/10248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10246/10246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 10246/10246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10246/10246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 10246/10246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10246/10246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10245/10246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 10245/10245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10242/10245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10240/10242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10240/10240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10239/10240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10239/10239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10239/10239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 588 ms. (6 steps per ms) remains 10239/10239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10238/10239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10238/10238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10237/10238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10236/10237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10236/10236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10236/10236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10236/10236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10236/10236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10235/10236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 10235/10235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10235/10235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10234/10235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 10233/10234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10233/10233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10233/10233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10233/10233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10233/10233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 10232/10233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10232/10232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10231/10232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10231/10231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10231/10231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 10229/10231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10229/10229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10228/10229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10228/10228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 10228/10228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10228/10228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 10228/10228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10227/10228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10226/10227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10224/10226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10224/10224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10224/10224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10222/10224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10222/10222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10221/10222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10221/10221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10221/10221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10221/10221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10220/10221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10220/10220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10220/10220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10220/10220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10220/10220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10220/10220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10219/10220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10219/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10218/10219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10217/10218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10217/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 10216/10217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10216/10216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10216/10216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10216/10216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 10216/10216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10214/10216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10214/10214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10214/10214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10214/10214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10212/10214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10210/10212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 10209/10210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10209/10209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10208/10209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10208/10208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 10207/10208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10207/10207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10207/10207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 10207/10207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10207/10207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10206/10207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10206/10206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10206/10206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 10205/10206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10205/10205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10205/10205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10205/10205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10205/10205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 10205/10205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10203/10205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 573 ms. (6 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 10203/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10202/10203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 10202/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 10200/10202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10200/10200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 10200/10200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10200/10200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10199/10200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 10199/10199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10199/10199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10199/10199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10198/10199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10198/10198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10197/10198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10197/10197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10196/10197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10196/10196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 588 ms. (6 steps per ms) remains 10196/10196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10195/10196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 10195/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10195/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10195/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10195/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10195/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10195/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10192/10195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10192/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10190/10192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 10188/10190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 10188/10188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10188/10188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 10187/10188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 617 ms. (6 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10187/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 10186/10187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 10186/10186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10186/10186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10186/10186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10186/10186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 10186/10186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10185/10186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10185/10185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10185/10185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10184/10185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 10184/10184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10184/10184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 10183/10184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10183/10183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10181/10183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10180/10181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10179/10180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10179/10179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10178/10179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10178/10178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10178/10178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 573 ms. (6 steps per ms) remains 10178/10178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 10178/10178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10177/10178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10177/10177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 10177/10177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10177/10177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10177/10177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 10175/10177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10174/10175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 10174/10174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10174/10174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10174/10174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10174/10174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10174/10174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10173/10174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10173/10173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10172/10173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10171/10172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10171/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10170/10171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 10169/10170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 10169/10169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10168/10169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10168/10168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10168/10168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10166/10168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 10166/10166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10166/10166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10166/10166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10165/10166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10165/10165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 10165/10165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10165/10165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10164/10165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 10164/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10164/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10164/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10164/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10164/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10164/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10163/10164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10163/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10162/10163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10162/10162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10161/10162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10161/10161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10160/10161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10160/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10159/10160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10157/10159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10157/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10157/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10157/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10157/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10157/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10157/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10156/10157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10156/10156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10156/10156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 10156/10156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10155/10156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10155/10155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 10155/10155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 10154/10155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10154/10154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10152/10154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 10152/10152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10152/10152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10152/10152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 10152/10152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10151/10152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10151/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10150/10151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10150/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10150/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 10150/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10150/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10150/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 10150/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10149/10150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10148/10149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10148/10148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10148/10148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 10148/10148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10148/10148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10148/10148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 10147/10148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10144/10147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10144/10144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10143/10144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10143/10143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10143/10143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10143/10143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 10143/10143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10143/10143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10142/10143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10142/10142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10141/10142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10141/10141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 10141/10141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10141/10141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10141/10141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10140/10141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10140/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 10140/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10140/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10140/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10140/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 10140/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10139/10140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10139/10139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 10139/10139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 10138/10139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10138/10138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10138/10138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10138/10138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 10138/10138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10137/10138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 10137/10137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10137/10137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10136/10137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 10136/10136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10136/10136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10136/10136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 10135/10136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 10135/10135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10135/10135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10135/10135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10134/10135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10134/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10134/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10134/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10134/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10134/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10134/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10132/10134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10132/10132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10132/10132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10131/10132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 10130/10131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10130/10130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10130/10130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10130/10130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10128/10130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 10128/10128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10128/10128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10127/10128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 10126/10127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 10126/10126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10126/10126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10126/10126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10126/10126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10126/10126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 10124/10126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10124/10124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10123/10124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 10123/10123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10123/10123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 10123/10123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10122/10123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 10122/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 10121/10122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10121/10121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10120/10121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10120/10120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10120/10120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10119/10120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10119/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10119/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 10119/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 10119/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10119/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10119/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 10118/10119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10118/10118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10118/10118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10117/10118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 10117/10117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10117/10117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10116/10117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10116/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 10116/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10116/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10116/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10116/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 10116/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10115/10116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 10115/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10113/10115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 10113/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 10112/10113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10112/10112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10112/10112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10112/10112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 10111/10112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 488 ms. (8 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10111/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10110/10111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 10110/10110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10109/10110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10109/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10108/10109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10108/10108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10108/10108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10108/10108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10108/10108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10108/10108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10107/10108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10107/10107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10107/10107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 10107/10107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10106/10107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 532 ms. (7 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10106/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 10104/10106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10104/10104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10104/10104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10104/10104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10104/10104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10104/10104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10103/10104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 10103/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10101/10103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10101/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 10100/10101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10099/10100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10099/10099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10099/10099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10099/10099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10098/10099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10098/10098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10098/10098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10097/10098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10096/10097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10094/10096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 10094/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10093/10094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10093/10093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10093/10093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10092/10093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10092/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10091/10092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10090/10091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10089/10090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10089/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 10088/10089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10088/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10087/10088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 10087/10087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10087/10087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10086/10087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 520 ms. (7 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10086/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 10084/10086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10084/10084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10084/10084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10084/10084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10084/10084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10083/10084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10083/10083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10082/10083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10082/10082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 10082/10082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10082/10082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 10082/10082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10082/10082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 10081/10082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 569 ms. (7 steps per ms) remains 10081/10081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10081/10081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10081/10081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10081/10081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10080/10081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 10079/10080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10079/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 10078/10079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 10078/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 10077/10078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 10076/10077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 10076/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10076/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 10076/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 10076/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 10076/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10076/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10075/10076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 10075/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 10074/10075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 10074/10074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 10074/10074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10073/10074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 10073/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 10072/10073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 10072/10072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10072/10072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10072/10072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10071/10072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10071/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 10070/10071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 10070/10070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 10069/10070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 10069/10069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10069/10069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 10069/10069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10069/10069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 595 ms. (6 steps per ms) remains 10068/10069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 10068/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 10066/10068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 525 ms. (7 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10066/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 10065/10066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10065/10065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 10064/10065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 10064/10064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 10064/10064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10063/10064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 10063/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10062/10063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10062/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 10062/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10062/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10062/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 10062/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 10062/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 10061/10062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10061/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10060/10061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 10060/10060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 10060/10060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10060/10060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 10060/10060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 10059/10060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 10059/10059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10059/10059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 10059/10059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 10059/10059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10058/10059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10058/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 10057/10058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 10057/10057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10056/10057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 10056/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 10054/10056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 554 ms. (7 steps per ms) remains 10054/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 537 ms. (7 steps per ms) remains 10051/10054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 10051/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 10050/10051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 598 ms. (6 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 10050/10050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 10050/10050 properties
[2024-06-01 07:43:33] [INFO ] Flow matrix only has 36415 transitions (discarded 1058 similar events)
// Phase 1: matrix 36415 rows 24240 cols
[2024-06-01 07:43:38] [INFO ] Computed 1633 invariants in 5566 ms
[2024-06-01 07:43:39] [INFO ] State equation strengthened by 12322 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/10050 variables, 25/25 constraints. Problems are: Problem set: 0 solved, 10050 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10050/60655 variables, and 25 constraints, problems are : Problem set: 0 solved, 10050 unsolved in 45260 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 25/1570 constraints, State Equation: 0/24240 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 10050/10050 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10050 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/10050 variables, 25/25 constraints. Problems are: Problem set: 0 solved, 10050 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 10050/60655 variables, and 25 constraints, problems are : Problem set: 0 solved, 10050 unsolved in 45140 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 25/1570 constraints, State Equation: 0/24240 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 0/10050 constraints, Known Traps: 0/0 constraints]
After SMT, in 144654ms problems are : Problem set: 0 solved, 10050 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 10050 out of 24240 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 24240/24240 places, 37473/37473 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4302 transitions
Trivial Post-agglo rules discarded 4302 transitions
Performed 4302 trivial Post agglomeration. Transition count delta: 4302
Iterating post reduction 0 with 4302 rules applied. Total rules applied 4302 place count 24240 transition count 33171
Reduce places removed 4302 places and 0 transitions.
Performed 176 Post agglomeration using F-continuation condition.Transition count delta: 176
Iterating post reduction 1 with 4478 rules applied. Total rules applied 8780 place count 19938 transition count 32995
Reduce places removed 176 places and 0 transitions.
Iterating post reduction 2 with 176 rules applied. Total rules applied 8956 place count 19762 transition count 32995
Performed 327 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 327 Pre rules applied. Total rules applied 8956 place count 19762 transition count 32668
Deduced a syphon composed of 327 places in 33 ms
Reduce places removed 327 places and 0 transitions.
Iterating global reduction 3 with 654 rules applied. Total rules applied 9610 place count 19435 transition count 32668
Discarding 4064 places :
Symmetric choice reduction at 3 with 4064 rule applications. Total rules 13674 place count 15371 transition count 28604
Iterating global reduction 3 with 4064 rules applied. Total rules applied 17738 place count 15371 transition count 28604
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 17738 place count 15371 transition count 28603
Deduced a syphon composed of 1 places in 29 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 17740 place count 15370 transition count 28603
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 27 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 17744 place count 15368 transition count 28601
Free-agglomeration rule (complex) applied 895 times.
Iterating global reduction 3 with 895 rules applied. Total rules applied 18639 place count 15368 transition count 27706
Reduce places removed 895 places and 0 transitions.
Iterating post reduction 3 with 895 rules applied. Total rules applied 19534 place count 14473 transition count 27706
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 19543 place count 14464 transition count 27697
Iterating global reduction 4 with 9 rules applied. Total rules applied 19552 place count 14464 transition count 27697
Partial Free-agglomeration rule applied 151 times.
Drop transitions (Partial Free agglomeration) removed 151 transitions
Iterating global reduction 4 with 151 rules applied. Total rules applied 19703 place count 14464 transition count 27697
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 19705 place count 14462 transition count 27695
Iterating global reduction 4 with 2 rules applied. Total rules applied 19707 place count 14462 transition count 27695
Applied a total of 19707 rules in 6564 ms. Remains 14462 /24240 variables (removed 9778) and now considering 27695/37473 (removed 9778) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6564 ms. Remains : 14462/24240 places, 27695/37473 transitions.
RANDOM walk for 719999 steps (16292 resets) in 120004 ms. (5 steps per ms) remains 8507/10050 properties
BEST_FIRST walk for 4000 steps (8 resets) in 245 ms. (16 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 242 ms. (16 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 336 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 276 ms. (14 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 391 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 377 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 417 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 312 ms. (12 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 424 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 403 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 296 ms. (13 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 298 ms. (13 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 355 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 359 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 360 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 408 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 480 ms. (8 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 356 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 477 ms. (8 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 462 ms. (8 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 350 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 482 ms. (8 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 454 ms. (8 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 366 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 431 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 290 ms. (13 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 446 ms. (8 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 401 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 286 ms. (13 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 391 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 275 ms. (14 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 393 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 316 ms. (12 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 377 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 283 ms. (14 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 331 ms. (12 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 342 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 289 ms. (13 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 339 ms. (11 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 395 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 320 ms. (12 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 408 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 257 ms. (15 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 364 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 420 ms. (9 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 381 ms. (10 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 273 ms. (14 steps per ms) remains 8507/8507 properties
BEST_FIRST walk for 4001 steps (8 resets) in 409 ms. (9 steps per ms) remains 8506/8507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 277 ms. (14 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 378 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 289 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 393 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 356 ms. (11 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 290 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 410 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 305 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 299 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 364 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 317 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 377 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 374 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 367 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 289 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 322 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 377 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 365 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 283 ms. (14 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 425 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 355 ms. (11 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 306 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 429 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 306 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 416 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 429 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 308 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 301 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 303 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 426 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 427 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 293 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 286 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 453 ms. (8 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 323 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 319 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 385 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 291 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 314 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 392 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 363 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 382 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 367 ms. (10 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 295 ms. (13 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 328 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 314 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 403 ms. (9 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 307 ms. (12 steps per ms) remains 8506/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 388 ms. (10 steps per ms) remains 8506/8506 properties
[2024-06-01 07:46:44] [INFO ] Flow matrix only has 26553 transitions (discarded 1142 similar events)
// Phase 1: matrix 26553 rows 14462 cols
[2024-06-01 07:46:47] [INFO ] Computed 1633 invariants in 2203 ms
[2024-06-01 07:46:47] [INFO ] State equation strengthened by 12322 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/8506 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 8506 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 8506/41015 variables, and 8 constraints, problems are : Problem set: 0 solved, 8506 unsolved in 75238 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 8/1570 constraints, State Equation: 0/14462 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 8506/8506 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 8506 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8506 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 8506 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 8506/41015 variables, and 8 constraints, problems are : Problem set: 0 solved, 8506 unsolved in 75114 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 8/1570 constraints, State Equation: 0/14462 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 0/8506 constraints, Known Traps: 0/0 constraints]
After SMT, in 185157ms problems are : Problem set: 0 solved, 8506 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8506 out of 14462 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 14462/14462 places, 27695/27695 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 662 transitions
Trivial Post-agglo rules discarded 662 transitions
Performed 662 trivial Post agglomeration. Transition count delta: 662
Iterating post reduction 0 with 662 rules applied. Total rules applied 662 place count 14462 transition count 27033
Reduce places removed 662 places and 0 transitions.
Performed 109 Post agglomeration using F-continuation condition.Transition count delta: 109
Iterating post reduction 1 with 771 rules applied. Total rules applied 1433 place count 13800 transition count 26924
Reduce places removed 109 places and 0 transitions.
Iterating post reduction 2 with 109 rules applied. Total rules applied 1542 place count 13691 transition count 26924
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 32 Pre rules applied. Total rules applied 1542 place count 13691 transition count 26892
Deduced a syphon composed of 32 places in 21 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 1606 place count 13659 transition count 26892
Discarding 609 places :
Symmetric choice reduction at 3 with 609 rule applications. Total rules 2215 place count 13050 transition count 26283
Iterating global reduction 3 with 609 rules applied. Total rules applied 2824 place count 13050 transition count 26283
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 3 with 4 rules applied. Total rules applied 2828 place count 13050 transition count 26279
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 2832 place count 13046 transition count 26279
Partial Free-agglomeration rule applied 181 times.
Drop transitions (Partial Free agglomeration) removed 181 transitions
Iterating global reduction 4 with 181 rules applied. Total rules applied 3013 place count 13046 transition count 26279
Discarding 135 places :
Symmetric choice reduction at 4 with 135 rule applications. Total rules 3148 place count 12911 transition count 26144
Iterating global reduction 4 with 135 rules applied. Total rules applied 3283 place count 12911 transition count 26144
Applied a total of 3283 rules in 2477 ms. Remains 12911 /14462 variables (removed 1551) and now considering 26144/27695 (removed 1551) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2477 ms. Remains : 12911/14462 places, 26144/27695 transitions.
RANDOM walk for 222441 steps (5101 resets) in 120004 ms. (1 steps per ms) remains 7785/8506 properties
BEST_FIRST walk for 4000 steps (8 resets) in 257 ms. (15 steps per ms) remains 7785/7785 properties
BEST_FIRST walk for 4000 steps (8 resets) in 248 ms. (16 steps per ms) remains 7785/7785 properties
BEST_FIRST walk for 4000 steps (8 resets) in 360 ms. (11 steps per ms) remains 7785/7785 properties
BEST_FIRST walk for 4000 steps (8 resets) in 359 ms. (11 steps per ms) remains 7785/7785 properties
BEST_FIRST walk for 4000 steps (8 resets) in 389 ms. (10 steps per ms) remains 7785/7785 properties
BEST_FIRST walk for 4000 steps (8 resets) in 439 ms. (9 steps per ms) remains 7784/7785 properties
BEST_FIRST walk for 4000 steps (8 resets) in 377 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 371 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 292 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 300 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 299 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 290 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 421 ms. (9 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 360 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 373 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 272 ms. (14 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 270 ms. (14 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 366 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 341 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 302 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 378 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 267 ms. (14 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 396 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 389 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 290 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 401 ms. (9 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 289 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 304 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 285 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 306 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 388 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 288 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 351 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 280 ms. (14 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 365 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 285 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 429 ms. (9 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 461 ms. (8 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 304 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 292 ms. (13 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 341 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 321 ms. (12 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 266 ms. (14 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 355 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 261 ms. (15 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 354 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 369 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 322 ms. (12 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 350 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 351 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 284 ms. (14 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 352 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 384 ms. (10 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 336 ms. (11 steps per ms) remains 7784/7784 properties
BEST_FIRST walk for 4000 steps (8 resets) in 268 ms. (14 steps per ms) remains 7784/7784 properties
Interrupted probabilistic random walk after 151328 steps, run timeout after 105001 ms. (steps per millisecond=1 ) properties seen :479 out of 7784
Probabilistic random walk after 151328 steps, saw 68358 distinct states, run finished after 105002 ms. (steps per millisecond=1 ) properties seen :479
[2024-06-01 07:52:13] [INFO ] Flow matrix only has 24998 transitions (discarded 1146 similar events)
// Phase 1: matrix 24998 rows 12911 cols
[2024-06-01 07:52:14] [INFO ] Computed 1633 invariants in 1788 ms
[2024-06-01 07:52:15] [INFO ] State equation strengthened by 12322 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/7305 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 7305 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7305/37909 variables, and 6 constraints, problems are : Problem set: 0 solved, 7305 unsolved in 90133 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 6/1568 constraints, State Equation: 0/12911 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 7305/7305 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 7305 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7305 variables, 6/6 constraints. Problems are: Problem set: 0 solved, 7305 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7305/37909 variables, and 6 constraints, problems are : Problem set: 0 solved, 7305 unsolved in 90094 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 6/1568 constraints, State Equation: 0/12911 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 0/7305 constraints, Known Traps: 0/0 constraints]
After SMT, in 202039ms problems are : Problem set: 0 solved, 7305 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 7305 out of 12911 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12911/12911 places, 26144/26144 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 732 transitions
Trivial Post-agglo rules discarded 732 transitions
Performed 732 trivial Post agglomeration. Transition count delta: 732
Iterating post reduction 0 with 732 rules applied. Total rules applied 732 place count 12911 transition count 25412
Reduce places removed 732 places and 0 transitions.
Iterating post reduction 1 with 732 rules applied. Total rules applied 1464 place count 12179 transition count 25412
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 11 Pre rules applied. Total rules applied 1464 place count 12179 transition count 25401
Deduced a syphon composed of 11 places in 22 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 2 with 22 rules applied. Total rules applied 1486 place count 12168 transition count 25401
Discarding 651 places :
Symmetric choice reduction at 2 with 651 rule applications. Total rules 2137 place count 11517 transition count 24750
Iterating global reduction 2 with 651 rules applied. Total rules applied 2788 place count 11517 transition count 24750
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 2792 place count 11517 transition count 24746
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 2796 place count 11513 transition count 24746
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 2802 place count 11507 transition count 24740
Iterating global reduction 3 with 6 rules applied. Total rules applied 2808 place count 11507 transition count 24740
Partial Free-agglomeration rule applied 174 times.
Drop transitions (Partial Free agglomeration) removed 174 transitions
Iterating global reduction 3 with 174 rules applied. Total rules applied 2982 place count 11507 transition count 24740
Discarding 156 places :
Symmetric choice reduction at 3 with 156 rule applications. Total rules 3138 place count 11351 transition count 24584
Iterating global reduction 3 with 156 rules applied. Total rules applied 3294 place count 11351 transition count 24584
Applied a total of 3294 rules in 2544 ms. Remains 11351 /12911 variables (removed 1560) and now considering 24584/26144 (removed 1560) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2544 ms. Remains : 11351/12911 places, 24584/26144 transitions.
RANDOM walk for 267458 steps (6167 resets) in 120004 ms. (2 steps per ms) remains 6960/7305 properties
BEST_FIRST walk for 4000 steps (8 resets) in 160 ms. (24 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 243 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 207 ms. (19 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 280 ms. (14 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 302 ms. (13 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 218 ms. (18 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 316 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 304 ms. (13 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 217 ms. (18 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 224 ms. (17 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 320 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 286 ms. (13 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 360 ms. (11 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 332 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 247 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 333 ms. (11 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 238 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 347 ms. (11 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 349 ms. (11 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 323 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 235 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 331 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 329 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 238 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 339 ms. (11 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 313 ms. (12 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 290 ms. (13 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 293 ms. (13 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 239 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 345 ms. (11 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 238 ms. (16 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 270 ms. (14 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 226 ms. (17 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 304 ms. (13 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 280 ms. (14 steps per ms) remains 6959/6960 properties
BEST_FIRST walk for 4000 steps (8 resets) in 230 ms. (17 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 313 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 238 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 271 ms. (14 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 252 ms. (15 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 254 ms. (15 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 284 ms. (14 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 298 ms. (13 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 241 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 311 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 317 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 229 ms. (17 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 265 ms. (15 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 324 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 324 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 315 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 245 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 333 ms. (11 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 324 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 365 ms. (10 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 226 ms. (17 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 253 ms. (15 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 352 ms. (11 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 245 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 315 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 220 ms. (18 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 298 ms. (13 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 299 ms. (13 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 258 ms. (15 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 311 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 237 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 310 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 278 ms. (14 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 286 ms. (13 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 253 ms. (15 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 242 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 244 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 326 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 328 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 336 ms. (11 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 319 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 305 ms. (13 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 241 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 297 ms. (13 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 314 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 275 ms. (14 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 232 ms. (17 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 242 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4000 steps (8 resets) in 333 ms. (11 steps per ms) remains 6959/6959 properties
Interrupted probabilistic random walk after 187776 steps, run timeout after 111002 ms. (steps per millisecond=1 ) properties seen :4 out of 6959
Probabilistic random walk after 187776 steps, saw 83637 distinct states, run finished after 111002 ms. (steps per millisecond=1 ) properties seen :4
[2024-06-01 07:58:05] [INFO ] Flow matrix only has 23436 transitions (discarded 1148 similar events)
// Phase 1: matrix 23436 rows 11351 cols
[2024-06-01 07:58:07] [INFO ] Computed 1633 invariants in 1426 ms
[2024-06-01 07:58:07] [INFO ] State equation strengthened by 12322 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/6955 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6955 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6955/34787 variables, and 1 constraints, problems are : Problem set: 0 solved, 6955 unsolved in 105147 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 1/1570 constraints, State Equation: 0/11351 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 6955/6955 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6955 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6955 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6955 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6955/34787 variables, and 1 constraints, problems are : Problem set: 0 solved, 6955 unsolved in 105085 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, Generalized P Invariants (flows): 1/1570 constraints, State Equation: 0/11351 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 0/6955 constraints, Known Traps: 0/0 constraints]
After SMT, in 227159ms problems are : Problem set: 0 solved, 6955 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6955 out of 11351 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11351/11351 places, 24584/24584 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 196 transitions
Trivial Post-agglo rules discarded 196 transitions
Performed 196 trivial Post agglomeration. Transition count delta: 196
Iterating post reduction 0 with 196 rules applied. Total rules applied 196 place count 11351 transition count 24388
Reduce places removed 196 places and 0 transitions.
Iterating post reduction 1 with 196 rules applied. Total rules applied 392 place count 11155 transition count 24388
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 392 place count 11155 transition count 24379
Deduced a syphon composed of 9 places in 17 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 410 place count 11146 transition count 24379
Discarding 118 places :
Symmetric choice reduction at 2 with 118 rule applications. Total rules 528 place count 11028 transition count 24261
Iterating global reduction 2 with 118 rules applied. Total rules applied 646 place count 11028 transition count 24261
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 648 place count 11028 transition count 24259
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 650 place count 11026 transition count 24259
Partial Free-agglomeration rule applied 100 times.
Drop transitions (Partial Free agglomeration) removed 100 transitions
Iterating global reduction 3 with 100 rules applied. Total rules applied 750 place count 11026 transition count 24259
Discarding 91 places :
Symmetric choice reduction at 3 with 91 rule applications. Total rules 841 place count 10935 transition count 24168
Iterating global reduction 3 with 91 rules applied. Total rules applied 932 place count 10935 transition count 24168
Applied a total of 932 rules in 1827 ms. Remains 10935 /11351 variables (removed 416) and now considering 24168/24584 (removed 416) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1827 ms. Remains : 10935/11351 places, 24168/24584 transitions.
RANDOM walk for 236456 steps (5458 resets) in 120004 ms. (1 steps per ms) remains 6781/6955 properties
BEST_FIRST walk for 4000 steps (8 resets) in 154 ms. (25 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 170 ms. (23 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 179 ms. (22 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 179 ms. (22 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 179 ms. (22 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 291 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 273 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 309 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 297 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 264 ms. (15 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 245 ms. (16 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 330 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 218 ms. (18 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 309 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 306 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 278 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 224 ms. (17 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 305 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 260 ms. (15 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 227 ms. (17 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 234 ms. (17 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 315 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 268 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 312 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 313 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 274 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 326 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 309 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 295 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 312 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 306 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 352 ms. (11 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 280 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 322 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 244 ms. (16 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 314 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 306 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 252 ms. (15 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 271 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 282 ms. (14 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 285 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 334 ms. (11 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 300 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 303 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 314 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 217 ms. (18 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 324 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 310 ms. (12 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 296 ms. (13 steps per ms) remains 6781/6781 properties
BEST_FIRST walk for 4000 steps (8 resets) in 309 ms. (12 steps per ms) remains 6781/6781 properties
Interrupted probabilistic random walk after 190183 steps, run timeout after 102009 ms. (steps per millisecond=1 ) properties seen :0 out of 6781
Probabilistic random walk after 190183 steps, saw 84708 distinct states, run finished after 102010 ms. (steps per millisecond=1 ) properties seen :0
[2024-06-01 08:04:11] [INFO ] Flow matrix only has 23018 transitions (discarded 1150 similar events)
// Phase 1: matrix 23018 rows 10935 cols
[2024-06-01 08:04:12] [INFO ] Computed 1633 invariants in 1363 ms
[2024-06-01 08:04:12] [INFO ] State equation strengthened by 12322 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s5 (/ 1.0 2.0))
(s7 (/ 1.0 2.0))
(s10 (/ 1.0 2.0))
(s17 (/ 1.0 2.0))
(s18 (/ 1.0 2.0))
(s21 (/ 1.0 2.0))
(s22 (/ 1.0 2.0))
(s23 (/ 1.0 2.0))
(s30 (/ 1.0 2.0))
(s31 (/ 1.0 2.0))
(s32 (/ 1.0 2.0))
(s33 (/ 1.0 2.0))
(s34 (/ 1.0 2.0))
(s38 (/ 1.0 2.0))
(s39 (/ 1.0 2.0))
(s40 (/ 1.0 2.0))
(s41 (/ 1.0 2.0))
(s42 (/ 1.0 2.0))
(s43 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6781 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6781 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6781/33953 variables, and 1 constraints, problems are : Problem set: 0 solved, 6781 unsolved in 120126 ms.
Refiners :[Positive P Invariants (semi-flows): 0/65 constraints, Generalized P Invariants (flows): 1/1568 constraints, State Equation: 0/10935 constraints, ReadFeed: 0/12322 constraints, PredecessorRefiner: 6781/6781 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6781 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6781 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6781 unsolved

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 StableMarking -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-S32C07"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C07.tgz
mv MultiCrashLeafsetExtension-PT-S32C07 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;