MCC'2026- Execution of r344-smll-178021500800077

About the Execution of ITS-Tools for ErlangenMainframeV1-PT-bP10C08

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2026-input.r344-smll-178021500800077.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool itstools
Input is ErlangenMainframeV1-PT-bP10C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500800077
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 93M
-rw-r--r-- 1 mcc users 7.5K May 27 15:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 27 15:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 27 15:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 27 15:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 27 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 27 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 27 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 27 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 8.3K May 27 15:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K May 27 15:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K May 27 15:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K May 27 15:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 27 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 8 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 93M May 26 18:17 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1780302951781

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV1-PT-bP10C08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 08:35:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 08:35:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 08:35:59] [INFO ] Load time of PNML (sax parser for PT used): 5015 ms
[2026-06-01 08:35:59] [INFO ] Transformed 339 places.
[2026-06-01 08:36:00] [INFO ] Transformed 79090 transitions.
[2026-06-01 08:36:00] [INFO ] Found NUPN structural information;
[2026-06-01 08:36:00] [INFO ] Parsed PT model containing 339 places and 79090 transitions and 1838023 arcs in 5843 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 339/339 places, 79090/79090 transitions.
Graph (trivial) has 294 edges and 339 vertex of which 12 / 339 are part of one of the 5 SCC in 39 ms
Free SCC test removed 7 places
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 133 transitions
Trivial Post-agglo rules discarded 133 transitions
Performed 133 trivial Post agglomeration. Transition count delta: 133
Iterating post reduction 0 with 133 rules applied. Total rules applied 134 place count 332 transition count 78949
Reduce places removed 133 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 1 with 145 rules applied. Total rules applied 279 place count 199 transition count 78937
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 282 place count 196 transition count 78937
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 4 Pre rules applied. Total rules applied 282 place count 196 transition count 78933
Deduced a syphon composed of 4 places in 208 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 290 place count 192 transition count 78933
Performed 53 Post agglomeration using F-continuation condition.
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 110 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 3 with 180 rules applied. Total rules applied 470 place count 102 transition count 78843
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 4 places in 357 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 478 place count 98 transition count 78843
Applied a total of 478 rules in 46781 ms. Remains 98 /339 variables (removed 241) and now considering 78843/79090 (removed 247) transitions.
[2026-06-01 08:36:47] [INFO ] Flow matrix only has 78821 transitions (discarded 22 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14640765505367822065.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16117553711621094406.kers'
[2026-06-01 08:36:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14640765505367822065.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16117553711621094406.kers]
Normalized transition count is 78820 out of 78821 initially.
Culled 0 columns in 371 ms.
// Phase 1: matrix 78820 rows 98 cols 1837441 entries
Finished phase 1 with 69 SingleSign rule and 3 generalized
[2026-06-01 08:36:50] [INFO ] Computed 26 invariants in 2048 ms
Computed 26 P flows in 2050 ms.
Exported basis to /tmp/petrispot-output-16117553711621094406.kers
Total runtime 2422 ms.
[2026-06-01 08:37:20] [INFO ] Performed 34/98 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 08:38:50] [INFO ] Performed 76/98 implicitness test of which 1 returned IMPLICIT in 119 seconds.
[2026-06-01 08:38:54] [INFO ] Implicit Places using invariants in 127191 ms returned [76]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 127545 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 97/339 places, 78843/79090 transitions.
Applied a total of 0 rules in 1340 ms. Remains 97 /97 variables (removed 0) and now considering 78843/78843 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 175715 ms. Remains : 97/339 places, 78843/79090 transitions.
Discarding 52 transitions out of 78843. Remains 78791
Initial state reduction rules removed 1 formulas.
[2026-06-01 08:46:54] [INFO ] Flatten gal took : 20754 ms
RANDOM walk for 38165 steps (722 resets) in 120015 ms. (0 steps per ms) remains 78731/78790 properties
BEST_FIRST walk for 120 steps (0 resets) in 88 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 116 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 100 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 100 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 105 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 106 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 99 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 101 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 101 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 127 ms. (0 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 100 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 91 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 95 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 99 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 85 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 95 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 67 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 83 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 90 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 93 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 100 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 90 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 90 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 99 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 76 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 90 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 87 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 77 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 72 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 85 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 78 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 92 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 81 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 91 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 96 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 85 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 101 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 92 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 105 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 119 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 126 ms. (0 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 116 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 102 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 106 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 116 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 90 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 107 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 105 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 112 ms. (1 steps per ms) remains 78731/78731 properties
BEST_FIRST walk for 120 steps (0 resets) in 91 ms. (1 steps per ms) remains 78731/78731 properties
[2026-06-01 08:47:09] [INFO ] Flatten gal took : 14562 ms
[2026-06-01 08:47:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9768267309809927679.gal : 1938 ms
[2026-06-01 08:47:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11577677336804021517.prop : 999 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality9768267309809927679.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11577677336804021517.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Probabilistic random walk after 30001 steps, saw 5907 distinct states, run finished after 68712 ms. (steps per millisecond=0 ) properties seen :7
[2026-06-01 08:48:10] [INFO ] Flow matrix only has 78821 transitions (discarded 22 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14332265785726886635.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17927059275697084808.kers'
[2026-06-01 08:48:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14332265785726886635.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17927059275697084808.kers]
Normalized transition count is 78820 out of 78821 initially.
Culled 0 columns in 497 ms.
// Phase 1: matrix 78820 rows 97 cols 1758709 entries
Finished phase 1 with 69 SingleSign rule and 3 generalized
[2026-06-01 08:48:15] [INFO ] Computed 25 invariants in 2513 ms
Computed 25 P flows in 2521 ms.
Exported basis to /tmp/petrispot-output-17927059275697084808.kers
Total runtime 3843 ms.
[2026-06-01 08:48:17] [INFO ] State equation strengthened by 27 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Loading property file /tmp/ReachabilityCardinality11577677336804021517.prop.
SMT process timed out in 517067ms, After SMT, problems are : Problem set: 0 solved, 78724 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 68 out of 97 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 97/97 places, 78843/78843 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 97 transition count 78836
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 95 transition count 78836
Free-agglomeration rule applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 14 place count 95 transition count 78831
Reduce places removed 5 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 2 with 27 rules applied. Total rules applied 41 place count 90 transition count 78809
Free-agglomeration rule applied 4 times.
Iterating global reduction 3 with 4 rules applied. Total rules applied 45 place count 90 transition count 78805
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 49 place count 86 transition count 78805
Applied a total of 49 rules in 8218 ms. Remains 86 /97 variables (removed 11) and now considering 78805/78843 (removed 38) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8229 ms. Remains : 86/97 places, 78805/78843 transitions.
Detected timeout of ITS tools.
RANDOM walk for 30994 steps (0 resets) in 120010 ms. (0 steps per ms) remains 78657/78724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 78655/78657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 78654/78655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 78649/78654 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 78644/78649 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1196 ms. (3 steps per ms) remains 78641/78644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6978 ms. (0 steps per ms) remains 78639/78641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 78637/78639 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1330 ms. (3 steps per ms) remains 78634/78637 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1141 ms. (3 steps per ms) remains 78632/78634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 5585 ms. (0 steps per ms) remains 78628/78632 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1162 ms. (3 steps per ms) remains 78625/78628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 78624/78625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 78622/78624 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1073 ms. (3 steps per ms) remains 78619/78622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 806 ms. (4 steps per ms) remains 78618/78619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 78615/78618 properties
BEST_FIRST walk for 4003 steps (8 resets) in 798 ms. (5 steps per ms) remains 78611/78615 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 78606/78611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 78602/78606 properties
BEST_FIRST walk for 4003 steps (8 resets) in 759 ms. (5 steps per ms) remains 78600/78602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 757 ms. (5 steps per ms) remains 78597/78600 properties
BEST_FIRST walk for 4003 steps (8 resets) in 816 ms. (4 steps per ms) remains 78594/78597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 78592/78594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 78588/78592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 78587/78588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 800 ms. (4 steps per ms) remains 78583/78587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 78581/78583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 78580/78581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 78577/78580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 78573/78577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 78568/78573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 78565/78568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1209 ms. (3 steps per ms) remains 78563/78565 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 78561/78563 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 78559/78561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 78558/78559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 78558/78558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 78556/78558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 78551/78556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 78550/78551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 78545/78550 properties
BEST_FIRST walk for 4002 steps (8 resets) in 906 ms. (4 steps per ms) remains 78543/78545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 833 ms. (4 steps per ms) remains 78541/78543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 78539/78541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 78536/78539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 788 ms. (5 steps per ms) remains 78535/78536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 78535/78535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 941 ms. (4 steps per ms) remains 78529/78535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 78528/78529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 78525/78528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 881 ms. (4 steps per ms) remains 78521/78525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 811 ms. (4 steps per ms) remains 78516/78521 properties
BEST_FIRST walk for 4002 steps (8 resets) in 790 ms. (5 steps per ms) remains 78512/78516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 78507/78512 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 78501/78507 properties
[2026-06-01 08:57:44] [INFO ] Flatten gal took : 21081 ms
[2026-06-01 08:57:44] [INFO ] Applying decomposition
BEST_FIRST walk for 4003 steps (8 resets) in 800 ms. (4 steps per ms) remains 78498/78501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 78496/78498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 788 ms. (5 steps per ms) remains 78493/78496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 786 ms. (5 steps per ms) remains 78489/78493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 78482/78489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 792 ms. (5 steps per ms) remains 78477/78482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 78474/78477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 775 ms. (5 steps per ms) remains 78469/78474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 800 ms. (4 steps per ms) remains 78467/78469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 78463/78467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 78459/78463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 78455/78459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 78453/78455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 78450/78453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 78448/78450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 78446/78448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 78442/78446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 78440/78442 properties
BEST_FIRST walk for 4004 steps (8 resets) in 881 ms. (4 steps per ms) remains 78437/78440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1620 ms. (2 steps per ms) remains 78436/78437 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 78433/78436 properties
BEST_FIRST walk for 4003 steps (8 resets) in 921 ms. (4 steps per ms) remains 78429/78433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12962 ms. (0 steps per ms) remains 78428/78429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 78425/78428 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 78425/78425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 78421/78425 properties
BEST_FIRST walk for 4003 steps (8 resets) in 789 ms. (5 steps per ms) remains 78415/78421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 828 ms. (4 steps per ms) remains 78414/78415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 78412/78414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 78410/78412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 78410/78410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 78406/78410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 78405/78406 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 78402/78405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 78400/78402 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 78398/78400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 78397/78398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 78395/78397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 78391/78395 properties
BEST_FIRST walk for 4002 steps (8 resets) in 778 ms. (5 steps per ms) remains 78389/78391 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 78386/78389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 78384/78386 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 78382/78384 properties
BEST_FIRST walk for 4001 steps (8 resets) in 791 ms. (5 steps per ms) remains 78381/78382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 78378/78381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 78375/78378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 78372/78375 properties
BEST_FIRST walk for 4003 steps (8 resets) in 816 ms. (4 steps per ms) remains 78369/78372 properties
BEST_FIRST walk for 4002 steps (8 resets) in 854 ms. (4 steps per ms) remains 78366/78369 properties
BEST_FIRST walk for 4003 steps (8 resets) in 820 ms. (4 steps per ms) remains 78363/78366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 804 ms. (4 steps per ms) remains 78362/78363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 78360/78362 properties
BEST_FIRST walk for 4002 steps (8 resets) in 782 ms. (5 steps per ms) remains 78358/78360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 78357/78358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 806 ms. (4 steps per ms) remains 78355/78357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 754 ms. (5 steps per ms) remains 78354/78355 properties
BEST_FIRST walk for 4003 steps (8 resets) in 801 ms. (4 steps per ms) remains 78353/78354 properties
BEST_FIRST walk for 4002 steps (8 resets) in 766 ms. (5 steps per ms) remains 78351/78353 properties
[2026-06-01 08:58:02] [INFO ] Flatten gal took : 17253 ms
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 78349/78351 properties
BEST_FIRST walk for 4002 steps (8 resets) in 776 ms. (5 steps per ms) remains 78347/78349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 768 ms. (5 steps per ms) remains 78344/78347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 961 ms. (4 steps per ms) remains 78342/78344 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1144 ms. (3 steps per ms) remains 78340/78342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 78340/78340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 785 ms. (5 steps per ms) remains 78337/78340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 78335/78337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 754 ms. (5 steps per ms) remains 78330/78335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 78328/78330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 78326/78328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 78322/78326 properties
BEST_FIRST walk for 4003 steps (8 resets) in 782 ms. (5 steps per ms) remains 78322/78322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 761 ms. (5 steps per ms) remains 78320/78322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 777 ms. (5 steps per ms) remains 78317/78320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 78315/78317 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 78311/78315 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 78306/78311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 78306/78306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 78303/78306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 78299/78303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 78296/78299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 78292/78296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 78290/78292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 78289/78290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 78286/78289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 78284/78286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 768 ms. (5 steps per ms) remains 78281/78284 properties
BEST_FIRST walk for 4002 steps (8 resets) in 792 ms. (5 steps per ms) remains 78276/78281 properties
BEST_FIRST walk for 4002 steps (8 resets) in 805 ms. (4 steps per ms) remains 78274/78276 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 78270/78274 properties
BEST_FIRST walk for 4003 steps (8 resets) in 899 ms. (4 steps per ms) remains 78268/78270 properties
BEST_FIRST walk for 4003 steps (8 resets) in 748 ms. (5 steps per ms) remains 78266/78268 properties
BEST_FIRST walk for 4002 steps (8 resets) in 932 ms. (4 steps per ms) remains 78265/78266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2016 ms. (1 steps per ms) remains 78262/78265 properties
BEST_FIRST walk for 4002 steps (8 resets) in 3302 ms. (1 steps per ms) remains 78258/78262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 78254/78258 properties
BEST_FIRST walk for 4003 steps (8 resets) in 936 ms. (4 steps per ms) remains 78252/78254 properties
BEST_FIRST walk for 3668 steps (8 resets) in 13534 ms. (0 steps per ms) remains 78249/78252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 78246/78249 properties
BEST_FIRST walk for 4002 steps (8 resets) in 839 ms. (4 steps per ms) remains 78244/78246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 78240/78244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 78238/78240 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1072 ms. (3 steps per ms) remains 78235/78238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1303 ms. (3 steps per ms) remains 78233/78235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 78232/78233 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1210 ms. (3 steps per ms) remains 78228/78232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2295 ms. (1 steps per ms) remains 78226/78228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 78222/78226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 78218/78222 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 78211/78218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 78210/78211 properties
BEST_FIRST walk for 4002 steps (8 resets) in 957 ms. (4 steps per ms) remains 78208/78210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 78205/78208 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1194 ms. (3 steps per ms) remains 78202/78205 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2103 ms. (1 steps per ms) remains 78199/78202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 78194/78199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 78191/78194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 78189/78191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 78185/78189 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1392 ms. (2 steps per ms) remains 78181/78185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1242 ms. (3 steps per ms) remains 78175/78181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2468 ms. (1 steps per ms) remains 78174/78175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 78171/78174 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1236 ms. (3 steps per ms) remains 78170/78171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 78170/78170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1231 ms. (3 steps per ms) remains 78169/78170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 78166/78169 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 78165/78166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 821 ms. (4 steps per ms) remains 78164/78165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 78160/78164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2584 ms. (1 steps per ms) remains 78156/78160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 78154/78156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 78152/78154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1468 ms. (2 steps per ms) remains 78150/78152 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 78148/78150 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 78144/78148 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1219 ms. (3 steps per ms) remains 78143/78144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 78143/78143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 78140/78143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 78137/78140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 854 ms. (4 steps per ms) remains 78133/78137 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 78133/78133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 78129/78133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 78128/78129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 78126/78128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 930 ms. (4 steps per ms) remains 78122/78126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 78118/78122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 759 ms. (5 steps per ms) remains 78117/78118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 78113/78117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 814 ms. (4 steps per ms) remains 78110/78113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 78106/78110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 78104/78106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 765 ms. (5 steps per ms) remains 78101/78104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 78096/78101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 78094/78096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 78091/78094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 78089/78091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 78087/78089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 78086/78087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 775 ms. (5 steps per ms) remains 78083/78086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 78081/78083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 78077/78081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 78075/78077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 78073/78075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 78070/78073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 78068/78070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 78064/78068 properties
BEST_FIRST walk for 4002 steps (8 resets) in 893 ms. (4 steps per ms) remains 78061/78064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 78057/78061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 779 ms. (5 steps per ms) remains 78055/78057 properties
BEST_FIRST walk for 4001 steps (8 resets) in 794 ms. (5 steps per ms) remains 78051/78055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 78045/78051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 852 ms. (4 steps per ms) remains 78043/78045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 78042/78043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 78040/78042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 884 ms. (4 steps per ms) remains 78038/78040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 78036/78038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 78029/78036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 78027/78029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 78024/78027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 78022/78024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 78020/78022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 78019/78020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 78016/78019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 78014/78016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 892 ms. (4 steps per ms) remains 78012/78014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 78007/78012 properties
BEST_FIRST walk for 4002 steps (8 resets) in 877 ms. (4 steps per ms) remains 78006/78007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 884 ms. (4 steps per ms) remains 78002/78006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 77999/78002 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2043 ms. (1 steps per ms) remains 77996/77999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 77994/77996 properties
BEST_FIRST walk for 4002 steps (8 resets) in 883 ms. (4 steps per ms) remains 77993/77994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2128 ms. (1 steps per ms) remains 77991/77993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 77988/77991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 77986/77988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 77983/77986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 77978/77983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 77977/77978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 77973/77977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 859 ms. (4 steps per ms) remains 77970/77973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 77967/77970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 77963/77967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 736 ms. (5 steps per ms) remains 77961/77963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 77960/77961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 797 ms. (5 steps per ms) remains 77960/77960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 77958/77960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 859 ms. (4 steps per ms) remains 77953/77958 properties
BEST_FIRST walk for 4002 steps (8 resets) in 804 ms. (4 steps per ms) remains 77949/77953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 77946/77949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 781 ms. (5 steps per ms) remains 77944/77946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 77941/77944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 77940/77941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 852 ms. (4 steps per ms) remains 77936/77940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 77933/77936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 77930/77933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 884 ms. (4 steps per ms) remains 77930/77930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 77928/77930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 77927/77928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 77923/77927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 843 ms. (4 steps per ms) remains 77922/77923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 77918/77922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 77914/77918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 77912/77914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 77910/77912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 77906/77910 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 77903/77906 properties
BEST_FIRST walk for 4001 steps (8 resets) in 814 ms. (4 steps per ms) remains 77902/77903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 77899/77902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 797 ms. (5 steps per ms) remains 77896/77899 properties
BEST_FIRST walk for 4001 steps (8 resets) in 838 ms. (4 steps per ms) remains 77895/77896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 778 ms. (5 steps per ms) remains 77895/77895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 77891/77895 properties
BEST_FIRST walk for 4002 steps (8 resets) in 743 ms. (5 steps per ms) remains 77888/77891 properties
BEST_FIRST walk for 4003 steps (8 resets) in 754 ms. (5 steps per ms) remains 77885/77888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 788 ms. (5 steps per ms) remains 77882/77885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 77881/77882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 77879/77881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 742 ms. (5 steps per ms) remains 77875/77879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 77870/77875 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 77870/77870 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 77869/77870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 77867/77869 properties
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1719067123445042643.txt' '-o' '/tmp/graph1719067123445042643.bin' '-w' '/tmp/graph1719067123445042643.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1719067123445042643.bin' '-l' '-1' '-v' '-w' '/tmp/graph1719067123445042643.weights' '-q' '0' '-e' '0.001'
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 77862/77867 properties
[2026-06-01 08:58:59] [INFO ] Decomposing Gal with order
[2026-06-01 08:58:59] [INFO ] Rewriting arrays to variables to allow decomposition.
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 77858/77862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 77856/77858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 77853/77856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 77849/77853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 77845/77849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 969 ms. (4 steps per ms) remains 77844/77845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 968 ms. (4 steps per ms) remains 77840/77844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 913 ms. (4 steps per ms) remains 77838/77840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 77837/77838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 77834/77837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 77831/77834 properties
BEST_FIRST walk for 4001 steps (8 resets) in 953 ms. (4 steps per ms) remains 77828/77831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 77825/77828 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 77824/77825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 836 ms. (4 steps per ms) remains 77823/77824 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 77819/77823 properties
BEST_FIRST walk for 4002 steps (8 resets) in 970 ms. (4 steps per ms) remains 77814/77819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 77811/77814 properties
BEST_FIRST walk for 4002 steps (8 resets) in 882 ms. (4 steps per ms) remains 77807/77811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 77807/77807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 77804/77807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 77801/77804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 822 ms. (4 steps per ms) remains 77798/77801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 77791/77798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 77788/77791 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 77784/77788 properties
BEST_FIRST walk for 4002 steps (8 resets) in 851 ms. (4 steps per ms) remains 77782/77784 properties
BEST_FIRST walk for 4002 steps (8 resets) in 838 ms. (4 steps per ms) remains 77778/77782 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 77776/77778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 77772/77776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 77767/77772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2436 ms. (1 steps per ms) remains 77765/77767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1499 ms. (2 steps per ms) remains 77761/77765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 77755/77761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 867 ms. (4 steps per ms) remains 77755/77755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 77751/77755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 77749/77751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 77746/77749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 77745/77746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 77742/77745 properties
BEST_FIRST walk for 4002 steps (8 resets) in 760 ms. (5 steps per ms) remains 77740/77742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 77738/77740 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 77733/77738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 876 ms. (4 steps per ms) remains 77731/77733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 77730/77731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 77730/77730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 77726/77730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 77724/77726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1466 ms. (2 steps per ms) remains 77721/77724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 77719/77721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 77715/77719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 77714/77715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 77711/77714 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1361 ms. (2 steps per ms) remains 77707/77711 properties
BEST_FIRST walk for 4002 steps (8 resets) in 868 ms. (4 steps per ms) remains 77706/77707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 77703/77706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 77701/77703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 77699/77701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 77697/77699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1363 ms. (2 steps per ms) remains 77697/77697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 77696/77697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 77694/77696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 942 ms. (4 steps per ms) remains 77693/77694 properties
BEST_FIRST walk for 4002 steps (8 resets) in 987 ms. (4 steps per ms) remains 77691/77693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 77689/77691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 77686/77689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 898 ms. (4 steps per ms) remains 77683/77686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 77682/77683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1302 ms. (3 steps per ms) remains 77680/77682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 77679/77680 properties
BEST_FIRST walk for 4004 steps (8 resets) in 818 ms. (4 steps per ms) remains 77677/77679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 77675/77677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 77674/77675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1565 ms. (2 steps per ms) remains 77671/77674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 77670/77671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 77668/77670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 77664/77668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 914 ms. (4 steps per ms) remains 77660/77664 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1127 ms. (3 steps per ms) remains 77657/77660 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1087 ms. (3 steps per ms) remains 77655/77657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 77652/77655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 77650/77652 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1187 ms. (3 steps per ms) remains 77647/77650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 77647/77647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1325 ms. (3 steps per ms) remains 77642/77647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 77641/77642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 77639/77641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 77636/77639 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1062 ms. (3 steps per ms) remains 77631/77636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 77629/77631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 77627/77629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 77621/77627 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 77620/77621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 77618/77620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 77614/77618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1446 ms. (2 steps per ms) remains 77612/77614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 77608/77612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 769 ms. (5 steps per ms) remains 77606/77608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 77603/77606 properties
BEST_FIRST walk for 4002 steps (8 resets) in 872 ms. (4 steps per ms) remains 77602/77603 properties
BEST_FIRST walk for 4002 steps (8 resets) in 974 ms. (4 steps per ms) remains 77598/77602 properties
BEST_FIRST walk for 4001 steps (8 resets) in 975 ms. (4 steps per ms) remains 77595/77598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 77592/77595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 814 ms. (4 steps per ms) remains 77589/77592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1425 ms. (2 steps per ms) remains 77586/77589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 77585/77586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 77583/77585 properties
BEST_FIRST walk for 4002 steps (8 resets) in 846 ms. (4 steps per ms) remains 77580/77583 properties
BEST_FIRST walk for 4002 steps (8 resets) in 830 ms. (4 steps per ms) remains 77577/77580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 77576/77577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 788 ms. (5 steps per ms) remains 77572/77576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 77571/77572 properties
BEST_FIRST walk for 4003 steps (8 resets) in 805 ms. (4 steps per ms) remains 77569/77571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 77567/77569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 77565/77567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 77563/77565 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 77561/77563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 809 ms. (4 steps per ms) remains 77556/77561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 77553/77556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 77551/77553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 77549/77551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 77547/77549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 77545/77547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 77544/77545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 814 ms. (4 steps per ms) remains 77543/77544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 77542/77543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 77540/77542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 77537/77540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 792 ms. (5 steps per ms) remains 77533/77537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 753 ms. (5 steps per ms) remains 77531/77533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 779 ms. (5 steps per ms) remains 77531/77531 properties
BEST_FIRST walk for 4002 steps (8 resets) in 839 ms. (4 steps per ms) remains 77526/77531 properties
BEST_FIRST walk for 4002 steps (8 resets) in 860 ms. (4 steps per ms) remains 77525/77526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 77521/77525 properties
BEST_FIRST walk for 4002 steps (8 resets) in 857 ms. (4 steps per ms) remains 77519/77521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 77516/77519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 838 ms. (4 steps per ms) remains 77514/77516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 77512/77514 properties
BEST_FIRST walk for 4002 steps (8 resets) in 827 ms. (4 steps per ms) remains 77508/77512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 809 ms. (4 steps per ms) remains 77506/77508 properties
BEST_FIRST walk for 4003 steps (8 resets) in 746 ms. (5 steps per ms) remains 77503/77506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 77501/77503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 979 ms. (4 steps per ms) remains 77499/77501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 77498/77499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 77496/77498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 77493/77496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 77491/77493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 77485/77491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1243 ms. (3 steps per ms) remains 77480/77485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 77476/77480 properties
[2026-06-01 08:59:41] [INFO ] Removed a total of 1041143 redundant transitions.
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 77474/77476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 77473/77474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 77469/77473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 77466/77469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 77464/77466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1307 ms. (3 steps per ms) remains 77462/77464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 77461/77462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 77457/77461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 77456/77457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 77452/77456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 77449/77452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 768 ms. (5 steps per ms) remains 77448/77449 properties
BEST_FIRST walk for 4003 steps (8 resets) in 860 ms. (4 steps per ms) remains 77447/77448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 77445/77447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 77445/77445 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 77442/77445 properties
BEST_FIRST walk for 4002 steps (8 resets) in 988 ms. (4 steps per ms) remains 77440/77442 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1079 ms. (3 steps per ms) remains 77436/77440 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 77432/77436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 77429/77432 properties
[2026-06-01 08:59:46] [INFO ] Flatten gal took : 34502 ms
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 77427/77429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 77425/77427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 77419/77425 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 77417/77419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 77415/77417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1483 ms. (2 steps per ms) remains 77411/77415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 77409/77411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 77408/77409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 77403/77408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 77401/77403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 77398/77401 properties
BEST_FIRST walk for 4003 steps (8 resets) in 966 ms. (4 steps per ms) remains 77396/77398 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 77393/77396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 77391/77393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1736 ms. (2 steps per ms) remains 77388/77391 properties
BEST_FIRST walk for 4003 steps (8 resets) in 967 ms. (4 steps per ms) remains 77384/77388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 77383/77384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 77380/77383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 77378/77380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 77376/77378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 77376/77376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 77371/77376 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 77370/77371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 77365/77370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 77363/77365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 77360/77363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1010 ms. (3 steps per ms) remains 77357/77360 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 77354/77357 properties
BEST_FIRST walk for 4003 steps (8 resets) in 739 ms. (5 steps per ms) remains 77349/77354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 753 ms. (5 steps per ms) remains 77347/77349 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 77342/77347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 77337/77342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 77336/77337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 77334/77336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 967 ms. (4 steps per ms) remains 77331/77334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 814 ms. (4 steps per ms) remains 77329/77331 properties
BEST_FIRST walk for 4002 steps (8 resets) in 963 ms. (4 steps per ms) remains 77329/77329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 77325/77329 properties
BEST_FIRST walk for 4002 steps (8 resets) in 925 ms. (4 steps per ms) remains 77322/77325 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1042 ms. (3 steps per ms) remains 77320/77322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1494 ms. (2 steps per ms) remains 77319/77320 properties
BEST_FIRST walk for 4003 steps (8 resets) in 919 ms. (4 steps per ms) remains 77317/77319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 77313/77317 properties
BEST_FIRST walk for 4003 steps (8 resets) in 899 ms. (4 steps per ms) remains 77309/77313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 77305/77309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 779 ms. (5 steps per ms) remains 77303/77305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 77299/77303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 77299/77299 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 77296/77299 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 77293/77296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 892 ms. (4 steps per ms) remains 77293/77293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 77290/77293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 77288/77290 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 77283/77288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 77280/77283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 77279/77280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 77277/77279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 754 ms. (5 steps per ms) remains 77272/77277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 77271/77272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 77268/77271 properties
BEST_FIRST walk for 4002 steps (8 resets) in 780 ms. (5 steps per ms) remains 77268/77268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 77266/77268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 77266/77266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 77265/77266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 77260/77265 properties
BEST_FIRST walk for 4002 steps (8 resets) in 785 ms. (5 steps per ms) remains 77259/77260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 77255/77259 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1142 ms. (3 steps per ms) remains 77254/77255 properties
BEST_FIRST walk for 4002 steps (8 resets) in 848 ms. (4 steps per ms) remains 77249/77254 properties
BEST_FIRST walk for 4003 steps (8 resets) in 963 ms. (4 steps per ms) remains 77247/77249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 77245/77247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 77239/77245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 77234/77239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 799 ms. (5 steps per ms) remains 77232/77234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1457 ms. (2 steps per ms) remains 77230/77232 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1077 ms. (3 steps per ms) remains 77226/77230 properties
BEST_FIRST walk for 4002 steps (8 resets) in 814 ms. (4 steps per ms) remains 77223/77226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 77223/77223 properties
BEST_FIRST walk for 4003 steps (8 resets) in 786 ms. (5 steps per ms) remains 77222/77223 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 77219/77222 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 77215/77219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 818 ms. (4 steps per ms) remains 77212/77215 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 77210/77212 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 77209/77210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 77208/77209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 77208/77208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1330 ms. (3 steps per ms) remains 77205/77208 properties
BEST_FIRST walk for 4003 steps (8 resets) in 811 ms. (4 steps per ms) remains 77202/77205 properties
BEST_FIRST walk for 4003 steps (8 resets) in 793 ms. (5 steps per ms) remains 77198/77202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 754 ms. (5 steps per ms) remains 77197/77198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 756 ms. (5 steps per ms) remains 77196/77197 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 77191/77196 properties
BEST_FIRST walk for 4003 steps (8 resets) in 797 ms. (5 steps per ms) remains 77190/77191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 816 ms. (4 steps per ms) remains 77187/77190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 77184/77187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 77184/77184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 77182/77184 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 77180/77182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 77179/77180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 77177/77179 properties
BEST_FIRST walk for 4002 steps (8 resets) in 905 ms. (4 steps per ms) remains 77175/77177 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1029 ms. (3 steps per ms) remains 77171/77175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 77169/77171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 77166/77169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 77165/77166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 77164/77165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 77159/77164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1323 ms. (3 steps per ms) remains 77154/77159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 77150/77154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 77149/77150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 853 ms. (4 steps per ms) remains 77145/77149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 778 ms. (5 steps per ms) remains 77143/77145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 773 ms. (5 steps per ms) remains 77140/77143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 77139/77140 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1079 ms. (3 steps per ms) remains 77137/77139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 77137/77137 properties
BEST_FIRST walk for 4002 steps (8 resets) in 818 ms. (4 steps per ms) remains 77134/77137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 77132/77134 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 77130/77132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 776 ms. (5 steps per ms) remains 77126/77130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 77124/77126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 77122/77124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 77122/77122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 837 ms. (4 steps per ms) remains 77119/77122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 780 ms. (5 steps per ms) remains 77117/77119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 77113/77117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 77112/77113 properties
BEST_FIRST walk for 4002 steps (8 resets) in 782 ms. (5 steps per ms) remains 77110/77112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 77108/77110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 77105/77108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1159 ms. (3 steps per ms) remains 77102/77105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 77100/77102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 77097/77100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 925 ms. (4 steps per ms) remains 77094/77097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 769 ms. (5 steps per ms) remains 77089/77094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 77085/77089 properties
BEST_FIRST walk for 4001 steps (8 resets) in 803 ms. (4 steps per ms) remains 77081/77085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 77078/77081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1368 ms. (2 steps per ms) remains 77075/77078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 788 ms. (5 steps per ms) remains 77073/77075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 786 ms. (5 steps per ms) remains 77070/77073 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 77069/77070 properties
BEST_FIRST walk for 4002 steps (8 resets) in 788 ms. (5 steps per ms) remains 77068/77069 properties
BEST_FIRST walk for 4002 steps (8 resets) in 795 ms. (5 steps per ms) remains 77065/77068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 77064/77065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 77063/77064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 77060/77063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 77058/77060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 77057/77058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1310 ms. (3 steps per ms) remains 77056/77057 properties
BEST_FIRST walk for 4002 steps (8 resets) in 863 ms. (4 steps per ms) remains 77053/77056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 77051/77053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 77045/77051 properties
BEST_FIRST walk for 4002 steps (8 resets) in 800 ms. (4 steps per ms) remains 77043/77045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 811 ms. (4 steps per ms) remains 77039/77043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 746 ms. (5 steps per ms) remains 77038/77039 properties
BEST_FIRST walk for 4001 steps (8 resets) in 857 ms. (4 steps per ms) remains 77036/77038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 808 ms. (4 steps per ms) remains 77033/77036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 77030/77033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 880 ms. (4 steps per ms) remains 77026/77030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 77025/77026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 77022/77025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 796 ms. (5 steps per ms) remains 77021/77022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 77021/77021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1467 ms. (2 steps per ms) remains 77016/77021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 803 ms. (4 steps per ms) remains 77015/77016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 77012/77015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 77009/77012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 77006/77009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 77004/77006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 77000/77004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 741 ms. (5 steps per ms) remains 77000/77000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 76999/77000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 837 ms. (4 steps per ms) remains 76997/76999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1194 ms. (3 steps per ms) remains 76996/76997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 76993/76996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 76987/76993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 76986/76987 properties
BEST_FIRST walk for 4002 steps (8 resets) in 802 ms. (4 steps per ms) remains 76984/76986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 76981/76984 properties
BEST_FIRST walk for 4002 steps (8 resets) in 810 ms. (4 steps per ms) remains 76979/76981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 76979/76979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 76975/76979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 837 ms. (4 steps per ms) remains 76972/76975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 76970/76972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 793 ms. (5 steps per ms) remains 76969/76970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 76968/76969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 76964/76968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 76962/76964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 76957/76962 properties
[2026-06-01 09:00:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 41 labels/synchronizations in 31942 ms.
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 76951/76957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 76951/76951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 76948/76951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 76944/76948 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1118 ms. (3 steps per ms) remains 76942/76944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 76938/76942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 76936/76938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 780 ms. (5 steps per ms) remains 76933/76936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 76931/76933 properties
[2026-06-01 09:00:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11209023689846586285.gal : 1024 ms
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 76929/76931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 76926/76929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 76922/76926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 76919/76922 properties
[2026-06-01 09:00:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5675586842577384241.prop : 1151 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11209023689846586285.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5675586842577384241.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 76916/76919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 874 ms. (4 steps per ms) remains 76913/76916 properties
BEST_FIRST walk for 4002 steps (8 resets) in 795 ms. (5 steps per ms) remains 76912/76913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 76910/76912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 783 ms. (5 steps per ms) remains 76909/76910 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 76906/76909 properties
BEST_FIRST walk for 4003 steps (8 resets) in 735 ms. (5 steps per ms) remains 76904/76906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 783 ms. (5 steps per ms) remains 76900/76904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 799 ms. (5 steps per ms) remains 76896/76900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 76892/76896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 76888/76892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 76886/76888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 855 ms. (4 steps per ms) remains 76883/76886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 76878/76883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76876/76878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 76874/76876 properties
BEST_FIRST walk for 4003 steps (8 resets) in 781 ms. (5 steps per ms) remains 76873/76874 properties
BEST_FIRST walk for 4002 steps (8 resets) in 790 ms. (5 steps per ms) remains 76870/76873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 76869/76870 properties
BEST_FIRST walk for 4003 steps (8 resets) in 781 ms. (5 steps per ms) remains 76866/76869 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1083 ms. (3 steps per ms) remains 76863/76866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 764 ms. (5 steps per ms) remains 76861/76863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 726 ms. (5 steps per ms) remains 76860/76861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 744 ms. (5 steps per ms) remains 76859/76860 properties
BEST_FIRST walk for 4004 steps (8 resets) in 723 ms. (5 steps per ms) remains 76858/76859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 76855/76858 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 76854/76855 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 76850/76854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 76847/76850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 76843/76847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 76840/76843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 76837/76840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 76835/76837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 76832/76835 properties
BEST_FIRST walk for 4003 steps (8 resets) in 919 ms. (4 steps per ms) remains 76828/76832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76823/76828 properties
BEST_FIRST walk for 4002 steps (8 resets) in 830 ms. (4 steps per ms) remains 76821/76823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 76820/76821 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 76818/76820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 76817/76818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76815/76817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 76813/76815 properties
BEST_FIRST walk for 138 steps (0 resets) in 27323 ms. (0 steps per ms) remains 76813/76813 properties
BEST_FIRST walk for 4002 steps (8 resets) in 941 ms. (4 steps per ms) remains 76809/76813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 76804/76809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 967 ms. (4 steps per ms) remains 76802/76804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 76801/76802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 76799/76801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 884 ms. (4 steps per ms) remains 76796/76799 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 76795/76796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 76791/76795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 772 ms. (5 steps per ms) remains 76789/76791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 76786/76789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 76780/76786 properties
BEST_FIRST walk for 4003 steps (8 resets) in 731 ms. (5 steps per ms) remains 76777/76780 properties
BEST_FIRST walk for 4002 steps (8 resets) in 794 ms. (5 steps per ms) remains 76775/76777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 76771/76775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 765 ms. (5 steps per ms) remains 76771/76771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 76767/76771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 76765/76767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 76761/76765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 799 ms. (5 steps per ms) remains 76761/76761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 76758/76761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 76756/76758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 76753/76756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 774 ms. (5 steps per ms) remains 76752/76753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 76748/76752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 76746/76748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 777 ms. (5 steps per ms) remains 76743/76746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 760 ms. (5 steps per ms) remains 76740/76743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 892 ms. (4 steps per ms) remains 76737/76740 properties
BEST_FIRST walk for 4002 steps (8 resets) in 793 ms. (5 steps per ms) remains 76735/76737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 76735/76735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 896 ms. (4 steps per ms) remains 76733/76735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 76730/76733 properties
BEST_FIRST walk for 4003 steps (8 resets) in 768 ms. (5 steps per ms) remains 76727/76730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 816 ms. (4 steps per ms) remains 76725/76727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 76721/76725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 752 ms. (5 steps per ms) remains 76719/76721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 752 ms. (5 steps per ms) remains 76717/76719 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 76716/76717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 776 ms. (5 steps per ms) remains 76716/76716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 914 ms. (4 steps per ms) remains 76712/76716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 776 ms. (5 steps per ms) remains 76709/76712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 76706/76709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 76703/76706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 76702/76703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 76700/76702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 785 ms. (5 steps per ms) remains 76697/76700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 766 ms. (5 steps per ms) remains 76696/76697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 756 ms. (5 steps per ms) remains 76695/76696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 778 ms. (5 steps per ms) remains 76690/76695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 76686/76690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 753 ms. (5 steps per ms) remains 76686/76686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 76684/76686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 76679/76684 properties
BEST_FIRST walk for 4002 steps (8 resets) in 756 ms. (5 steps per ms) remains 76675/76679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 76674/76675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 817 ms. (4 steps per ms) remains 76672/76674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 76669/76672 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 76665/76669 properties
BEST_FIRST walk for 4002 steps (8 resets) in 767 ms. (5 steps per ms) remains 76663/76665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 780 ms. (5 steps per ms) remains 76660/76663 properties
BEST_FIRST walk for 4003 steps (8 resets) in 927 ms. (4 steps per ms) remains 76658/76660 properties
BEST_FIRST walk for 4003 steps (8 resets) in 916 ms. (4 steps per ms) remains 76655/76658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 76653/76655 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 76650/76653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 736 ms. (5 steps per ms) remains 76648/76650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 76644/76648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 76641/76644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 76637/76641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 806 ms. (4 steps per ms) remains 76636/76637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 774 ms. (5 steps per ms) remains 76632/76636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 76627/76632 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 76626/76627 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 76622/76626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 76621/76622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 793 ms. (5 steps per ms) remains 76621/76621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 76618/76621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 76614/76618 properties
BEST_FIRST walk for 4003 steps (8 resets) in 762 ms. (5 steps per ms) remains 76610/76614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 76609/76610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 76607/76609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 76605/76607 properties
BEST_FIRST walk for 4002 steps (8 resets) in 786 ms. (5 steps per ms) remains 76601/76605 properties
BEST_FIRST walk for 4004 steps (8 resets) in 793 ms. (5 steps per ms) remains 76598/76601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 76596/76598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 76595/76596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 764 ms. (5 steps per ms) remains 76593/76595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 76592/76593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 76588/76592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 764 ms. (5 steps per ms) remains 76586/76588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 76583/76586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 783 ms. (5 steps per ms) remains 76579/76583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 76576/76579 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 76573/76576 properties
BEST_FIRST walk for 4002 steps (8 resets) in 795 ms. (5 steps per ms) remains 76571/76573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 766 ms. (5 steps per ms) remains 76567/76571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 814 ms. (4 steps per ms) remains 76566/76567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 777 ms. (5 steps per ms) remains 76562/76566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 76560/76562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 76557/76560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 76555/76557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 76555/76555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 769 ms. (5 steps per ms) remains 76553/76555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 76551/76553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 76549/76551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 799 ms. (5 steps per ms) remains 76548/76549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 76547/76548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 735 ms. (5 steps per ms) remains 76546/76547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 741 ms. (5 steps per ms) remains 76545/76546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 76541/76545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 76537/76541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 76537/76537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 76536/76537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 76531/76536 properties
BEST_FIRST walk for 4001 steps (8 resets) in 770 ms. (5 steps per ms) remains 76530/76531 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 76525/76530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 76521/76525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 76520/76521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 76518/76520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 76517/76518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 926 ms. (4 steps per ms) remains 76514/76517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 76511/76514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 76510/76511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 76510/76510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 76509/76510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 76508/76509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 814 ms. (4 steps per ms) remains 76505/76508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 76501/76505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 76499/76501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 749 ms. (5 steps per ms) remains 76497/76499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 804 ms. (4 steps per ms) remains 76494/76497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 762 ms. (5 steps per ms) remains 76493/76494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 76490/76493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 76490/76490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 76487/76490 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 76483/76487 properties
BEST_FIRST walk for 4003 steps (8 resets) in 798 ms. (5 steps per ms) remains 76480/76483 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 76475/76480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 76473/76475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 797 ms. (5 steps per ms) remains 76471/76473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 798 ms. (5 steps per ms) remains 76468/76471 properties
BEST_FIRST walk for 4002 steps (8 resets) in 830 ms. (4 steps per ms) remains 76466/76468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 76465/76466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 76461/76465 properties
BEST_FIRST walk for 4003 steps (8 resets) in 792 ms. (5 steps per ms) remains 76460/76461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 76457/76460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 76453/76457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1090 ms. (3 steps per ms) remains 76452/76453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 76450/76452 properties
BEST_FIRST walk for 4002 steps (8 resets) in 876 ms. (4 steps per ms) remains 76445/76450 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 76445/76445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 786 ms. (5 steps per ms) remains 76441/76445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 76438/76441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 76434/76438 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2454 ms. (1 steps per ms) remains 76431/76434 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3895 ms. (1 steps per ms) remains 76430/76431 properties
BEST_FIRST walk for 4001 steps (8 resets) in 7522 ms. (0 steps per ms) remains 76430/76430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1808 ms. (2 steps per ms) remains 76427/76430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1345 ms. (2 steps per ms) remains 76424/76427 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 76421/76424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 975 ms. (4 steps per ms) remains 76420/76421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 76419/76420 properties
BEST_FIRST walk for 4002 steps (8 resets) in 924 ms. (4 steps per ms) remains 76417/76419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 76414/76417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 76412/76414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 76409/76412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 76407/76409 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 76407/76407 properties
BEST_FIRST walk for 4003 steps (8 resets) in 791 ms. (5 steps per ms) remains 76406/76407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 76403/76406 properties
BEST_FIRST walk for 4003 steps (8 resets) in 853 ms. (4 steps per ms) remains 76399/76403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2834 ms. (1 steps per ms) remains 76396/76399 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1635 ms. (2 steps per ms) remains 76395/76396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 950 ms. (4 steps per ms) remains 76393/76395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2332 ms. (1 steps per ms) remains 76391/76393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3827 ms. (1 steps per ms) remains 76388/76391 properties
BEST_FIRST walk for 4003 steps (8 resets) in 797 ms. (5 steps per ms) remains 76386/76388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 793 ms. (5 steps per ms) remains 76382/76386 properties
BEST_FIRST walk for 4003 steps (8 resets) in 820 ms. (4 steps per ms) remains 76380/76382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 76379/76380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 794 ms. (5 steps per ms) remains 76379/76379 properties
BEST_FIRST walk for 4002 steps (8 resets) in 768 ms. (5 steps per ms) remains 76377/76379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 786 ms. (5 steps per ms) remains 76377/76377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 76375/76377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 773 ms. (5 steps per ms) remains 76373/76375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 76370/76373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 76368/76370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 76365/76368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 76365/76365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 76364/76365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 76362/76364 properties
BEST_FIRST walk for 4002 steps (8 resets) in 809 ms. (4 steps per ms) remains 76358/76362 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 76357/76358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 76355/76357 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 76354/76355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76352/76354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 76347/76352 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 76345/76347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 76343/76345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 76341/76343 properties
BEST_FIRST walk for 4003 steps (8 resets) in 855 ms. (4 steps per ms) remains 76339/76341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 76338/76339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 793 ms. (5 steps per ms) remains 76337/76338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 76334/76337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 883 ms. (4 steps per ms) remains 76332/76334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 76331/76332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 76328/76331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 76325/76328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 747 ms. (5 steps per ms) remains 76323/76325 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 76319/76323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 76317/76319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76316/76317 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 76313/76316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 76312/76313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 76310/76312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 76308/76310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 76308/76308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 76305/76308 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 76302/76305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 884 ms. (4 steps per ms) remains 76300/76302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 76300/76300 properties
BEST_FIRST walk for 4002 steps (8 resets) in 824 ms. (4 steps per ms) remains 76299/76300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 76298/76299 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 76298/76298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76296/76298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 76295/76296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 76294/76295 properties
BEST_FIRST walk for 4002 steps (8 resets) in 755 ms. (5 steps per ms) remains 76293/76294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 76289/76293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 76285/76289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 822 ms. (4 steps per ms) remains 76282/76285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 76279/76282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 76278/76279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 821 ms. (4 steps per ms) remains 76276/76278 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 76272/76276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 76269/76272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 739 ms. (5 steps per ms) remains 76266/76269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 76264/76266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 76261/76264 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 76260/76261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 76258/76260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 76253/76258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 76249/76253 properties
BEST_FIRST walk for 4003 steps (8 resets) in 864 ms. (4 steps per ms) remains 76247/76249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 76245/76247 properties
BEST_FIRST walk for 4003 steps (8 resets) in 800 ms. (4 steps per ms) remains 76244/76245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 76240/76244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 76238/76240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 76237/76238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 76234/76237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 76232/76234 properties
BEST_FIRST walk for 4001 steps (8 resets) in 821 ms. (4 steps per ms) remains 76229/76232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 797 ms. (5 steps per ms) remains 76224/76229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 772 ms. (5 steps per ms) remains 76223/76224 properties
BEST_FIRST walk for 4003 steps (8 resets) in 725 ms. (5 steps per ms) remains 76219/76223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 76218/76219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 76217/76218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 76214/76217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 805 ms. (4 steps per ms) remains 76211/76214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 76208/76211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 76205/76208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 76202/76205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 76201/76202 properties
BEST_FIRST walk for 4002 steps (8 resets) in 850 ms. (4 steps per ms) remains 76199/76201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 76199/76199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 76195/76199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 76193/76195 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 76191/76193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 76188/76191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 955 ms. (4 steps per ms) remains 76186/76188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 76184/76186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 76183/76184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 76183/76183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 76179/76183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 76176/76179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 76171/76176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 76168/76171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 878 ms. (4 steps per ms) remains 76166/76168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 76165/76166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 76163/76165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 809 ms. (4 steps per ms) remains 76160/76163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 781 ms. (5 steps per ms) remains 76158/76160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 76155/76158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 806 ms. (4 steps per ms) remains 76153/76155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 776 ms. (5 steps per ms) remains 76150/76153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 76150/76150 properties
BEST_FIRST walk for 4001 steps (8 resets) in 856 ms. (4 steps per ms) remains 76146/76150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 76144/76146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 878 ms. (4 steps per ms) remains 76142/76144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 752 ms. (5 steps per ms) remains 76138/76142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 76135/76138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 76134/76135 properties
BEST_FIRST walk for 4002 steps (8 resets) in 859 ms. (4 steps per ms) remains 76130/76134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 76128/76130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 76126/76128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 742 ms. (5 steps per ms) remains 76123/76126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 765 ms. (5 steps per ms) remains 76122/76123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 76121/76122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 76120/76121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 820 ms. (4 steps per ms) remains 76117/76120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 76115/76117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 76110/76115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 76108/76110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 76104/76108 properties
BEST_FIRST walk for 4003 steps (8 resets) in 783 ms. (5 steps per ms) remains 76102/76104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 76101/76102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 76101/76101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 76099/76101 properties
BEST_FIRST walk for 4002 steps (8 resets) in 815 ms. (4 steps per ms) remains 76096/76099 properties
BEST_FIRST walk for 4002 steps (8 resets) in 801 ms. (4 steps per ms) remains 76094/76096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 777 ms. (5 steps per ms) remains 76093/76094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 793 ms. (5 steps per ms) remains 76092/76093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 76091/76092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 76089/76091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 76087/76089 properties
BEST_FIRST walk for 4000 steps (8 resets) in 870 ms. (4 steps per ms) remains 76084/76087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 811 ms. (4 steps per ms) remains 76082/76084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 76080/76082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 76078/76080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 820 ms. (4 steps per ms) remains 76078/76078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 902 ms. (4 steps per ms) remains 76076/76078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 779 ms. (5 steps per ms) remains 76075/76076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 775 ms. (5 steps per ms) remains 76074/76075 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 76073/76074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 797 ms. (5 steps per ms) remains 76070/76073 properties
BEST_FIRST walk for 4002 steps (8 resets) in 790 ms. (5 steps per ms) remains 76067/76070 properties
BEST_FIRST walk for 4002 steps (8 resets) in 835 ms. (4 steps per ms) remains 76064/76067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 76063/76064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 748 ms. (5 steps per ms) remains 76060/76063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 76058/76060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 76054/76058 properties
BEST_FIRST walk for 4002 steps (8 resets) in 928 ms. (4 steps per ms) remains 76050/76054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 920 ms. (4 steps per ms) remains 76049/76050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 76046/76049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 76043/76046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 76041/76043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 76040/76041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 76038/76040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 76036/76038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 791 ms. (5 steps per ms) remains 76033/76036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 796 ms. (5 steps per ms) remains 76029/76033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 76028/76029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 76027/76028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 788 ms. (5 steps per ms) remains 76024/76027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 76022/76024 properties
BEST_FIRST walk for 4002 steps (8 resets) in 845 ms. (4 steps per ms) remains 76018/76022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 788 ms. (5 steps per ms) remains 76016/76018 properties
BEST_FIRST walk for 4001 steps (8 resets) in 875 ms. (4 steps per ms) remains 76015/76016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 76011/76015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 76010/76011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 76008/76010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 76005/76008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1153 ms. (3 steps per ms) remains 76002/76005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1201 ms. (3 steps per ms) remains 76000/76002 properties
BEST_FIRST walk for 4003 steps (8 resets) in 910 ms. (4 steps per ms) remains 75995/76000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 780 ms. (5 steps per ms) remains 75991/75995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 75986/75991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 75985/75986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 75983/75985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 822 ms. (4 steps per ms) remains 75982/75983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1115 ms. (3 steps per ms) remains 75979/75982 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 75978/75979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 75975/75978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 75971/75975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 75969/75971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 75967/75969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 75964/75967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 75961/75964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 75959/75961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 75957/75959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 769 ms. (5 steps per ms) remains 75955/75957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 75953/75955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 75950/75953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 75948/75950 properties
BEST_FIRST walk for 4002 steps (8 resets) in 851 ms. (4 steps per ms) remains 75944/75948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 781 ms. (5 steps per ms) remains 75943/75944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 75940/75943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 75934/75940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 75929/75934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 807 ms. (4 steps per ms) remains 75927/75929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 803 ms. (4 steps per ms) remains 75924/75927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 75922/75924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 75919/75922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 75916/75919 properties
BEST_FIRST walk for 4002 steps (8 resets) in 808 ms. (4 steps per ms) remains 75914/75916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 75914/75914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 75912/75914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 799 ms. (5 steps per ms) remains 75909/75912 properties
BEST_FIRST walk for 4002 steps (8 resets) in 782 ms. (5 steps per ms) remains 75908/75909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 818 ms. (4 steps per ms) remains 75906/75908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 756 ms. (5 steps per ms) remains 75905/75906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 75902/75905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 75900/75902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 813 ms. (4 steps per ms) remains 75898/75900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 75897/75898 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 75895/75897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 75895/75895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 75894/75895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 75891/75894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 75887/75891 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 75881/75887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 75879/75881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 75876/75879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 75874/75876 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 75874/75874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 75870/75874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 75868/75870 properties
BEST_FIRST walk for 4003 steps (8 resets) in 852 ms. (4 steps per ms) remains 75867/75868 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 75864/75867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 75861/75864 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 75859/75861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 75855/75859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 75855/75855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 782 ms. (5 steps per ms) remains 75852/75855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 75850/75852 properties
BEST_FIRST walk for 4002 steps (8 resets) in 781 ms. (5 steps per ms) remains 75848/75850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 75847/75848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 75845/75847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 75843/75845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 75840/75843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 75837/75840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 75833/75837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 75830/75833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 75829/75830 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 75825/75829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 765 ms. (5 steps per ms) remains 75824/75825 properties
BEST_FIRST walk for 4002 steps (8 resets) in 850 ms. (4 steps per ms) remains 75823/75824 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 75820/75823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 75817/75820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 75813/75817 properties
BEST_FIRST walk for 4003 steps (8 resets) in 874 ms. (4 steps per ms) remains 75810/75813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 75807/75810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 75807/75807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 75805/75807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 75803/75805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 75802/75803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 775 ms. (5 steps per ms) remains 75800/75802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 747 ms. (5 steps per ms) remains 75799/75800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 75797/75799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 75797/75797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 75795/75797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 75791/75795 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 75789/75791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 807 ms. (4 steps per ms) remains 75787/75789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 75783/75787 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 75779/75783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 75776/75779 properties
BEST_FIRST walk for 4002 steps (8 resets) in 795 ms. (5 steps per ms) remains 75773/75776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 75772/75773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 75770/75772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 75769/75770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 860 ms. (4 steps per ms) remains 75768/75769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 75765/75768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 783 ms. (5 steps per ms) remains 75761/75765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 75759/75761 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1143 ms. (3 steps per ms) remains 75757/75759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 75756/75757 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1083 ms. (3 steps per ms) remains 75754/75756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 75753/75754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 75753/75753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 75751/75753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 75748/75751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 75746/75748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1190 ms. (3 steps per ms) remains 75745/75746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 75742/75745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1105 ms. (3 steps per ms) remains 75739/75742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 985 ms. (4 steps per ms) remains 75734/75739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1038 ms. (3 steps per ms) remains 75732/75734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 75732/75732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 75729/75732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 75727/75729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 75725/75727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11532 ms. (0 steps per ms) remains 75722/75725 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 75718/75722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 75715/75718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 75713/75715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 75711/75713 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 75709/75711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 75708/75709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 791 ms. (5 steps per ms) remains 75706/75708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 75704/75706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1363 ms. (2 steps per ms) remains 75700/75704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 75697/75700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 75695/75697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 75695/75695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 75692/75695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 75692/75692 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 75689/75692 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 75684/75689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 874 ms. (4 steps per ms) remains 75681/75684 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 75681/75681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 75678/75681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 75674/75678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 75672/75674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 75670/75672 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 75669/75670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 75667/75669 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 75666/75667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 770 ms. (5 steps per ms) remains 75663/75666 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 75662/75663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 75660/75662 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 75657/75660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 75657/75657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 75656/75657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 75651/75656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 75649/75651 properties
BEST_FIRST walk for 4003 steps (8 resets) in 853 ms. (4 steps per ms) remains 75647/75649 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 75645/75647 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 75643/75645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 75638/75643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 75634/75638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 75631/75634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 75629/75631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 75626/75629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 75622/75626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 75619/75622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 75618/75619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 75617/75618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 75614/75617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 75612/75614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 771 ms. (5 steps per ms) remains 75611/75612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 75610/75611 properties
BEST_FIRST walk for 4003 steps (8 resets) in 798 ms. (5 steps per ms) remains 75609/75610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 777 ms. (5 steps per ms) remains 75607/75609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 75605/75607 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 75602/75605 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 75600/75602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 75597/75600 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 75593/75597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 923 ms. (4 steps per ms) remains 75592/75593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 75591/75592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 75589/75591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 75586/75589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 75584/75586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 75582/75584 properties
BEST_FIRST walk for 4003 steps (8 resets) in 805 ms. (4 steps per ms) remains 75580/75582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 75578/75580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 75575/75578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 763 ms. (5 steps per ms) remains 75572/75575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 804 ms. (4 steps per ms) remains 75572/75572 properties
BEST_FIRST walk for 4003 steps (8 resets) in 788 ms. (5 steps per ms) remains 75571/75572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 75570/75571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 75568/75570 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 75566/75568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 75564/75566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 75562/75564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 75557/75562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 795 ms. (5 steps per ms) remains 75556/75557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 75554/75556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 75553/75554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 795 ms. (5 steps per ms) remains 75551/75553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 75547/75551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 766 ms. (5 steps per ms) remains 75547/75547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 876 ms. (4 steps per ms) remains 75547/75547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 75543/75547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 75541/75543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 75540/75541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 736 ms. (5 steps per ms) remains 75538/75540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 75537/75538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 75535/75537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 75534/75535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 75529/75534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 75526/75529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 789 ms. (5 steps per ms) remains 75526/75526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 75522/75526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 788 ms. (5 steps per ms) remains 75519/75522 properties
BEST_FIRST walk for 4002 steps (8 resets) in 777 ms. (5 steps per ms) remains 75517/75519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 789 ms. (5 steps per ms) remains 75516/75517 properties
BEST_FIRST walk for 4003 steps (8 resets) in 762 ms. (5 steps per ms) remains 75514/75516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 796 ms. (5 steps per ms) remains 75512/75514 properties
BEST_FIRST walk for 4002 steps (8 resets) in 748 ms. (5 steps per ms) remains 75507/75512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 75505/75507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 75503/75505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 75501/75503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 884 ms. (4 steps per ms) remains 75498/75501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 75494/75498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 75490/75494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 75489/75490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 75487/75489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 75481/75487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 75476/75481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 812 ms. (4 steps per ms) remains 75472/75476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 75470/75472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 910 ms. (4 steps per ms) remains 75468/75470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 75467/75468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 75466/75467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 759 ms. (5 steps per ms) remains 75465/75466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 75463/75465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 75462/75463 properties
BEST_FIRST walk for 4002 steps (8 resets) in 880 ms. (4 steps per ms) remains 75460/75462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 75457/75460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 75454/75457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 75450/75454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 75448/75450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 75445/75448 properties
BEST_FIRST walk for 4003 steps (8 resets) in 795 ms. (5 steps per ms) remains 75444/75445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 837 ms. (4 steps per ms) remains 75442/75444 properties
BEST_FIRST walk for 4002 steps (8 resets) in 758 ms. (5 steps per ms) remains 75440/75442 properties
BEST_FIRST walk for 4003 steps (8 resets) in 847 ms. (4 steps per ms) remains 75438/75440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 75435/75438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 755 ms. (5 steps per ms) remains 75431/75435 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 75429/75431 properties
BEST_FIRST walk for 4003 steps (8 resets) in 798 ms. (5 steps per ms) remains 75428/75429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 786 ms. (5 steps per ms) remains 75427/75428 properties
BEST_FIRST walk for 4003 steps (8 resets) in 753 ms. (5 steps per ms) remains 75426/75427 properties
BEST_FIRST walk for 4002 steps (8 resets) in 835 ms. (4 steps per ms) remains 75426/75426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 75425/75426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1015 ms. (3 steps per ms) remains 75423/75425 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 75421/75423 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 75417/75421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 75417/75417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 75415/75417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 75413/75415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 745 ms. (5 steps per ms) remains 75410/75413 properties
BEST_FIRST walk for 4002 steps (8 resets) in 823 ms. (4 steps per ms) remains 75409/75410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 769 ms. (5 steps per ms) remains 75407/75409 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 75407/75407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 755 ms. (5 steps per ms) remains 75403/75407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 789 ms. (5 steps per ms) remains 75400/75403 properties
BEST_FIRST walk for 4003 steps (8 resets) in 782 ms. (5 steps per ms) remains 75397/75400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 75395/75397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 75394/75395 properties
BEST_FIRST walk for 4003 steps (8 resets) in 838 ms. (4 steps per ms) remains 75391/75394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 832 ms. (4 steps per ms) remains 75389/75391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 75388/75389 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 75386/75388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 75382/75386 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 75380/75382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 75379/75380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 75376/75379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 75375/75376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 75373/75375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 75373/75373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 769 ms. (5 steps per ms) remains 75371/75373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 779 ms. (5 steps per ms) remains 75368/75371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 75367/75368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 75366/75367 properties
BEST_FIRST walk for 4003 steps (8 resets) in 772 ms. (5 steps per ms) remains 75365/75366 properties
BEST_FIRST walk for 4002 steps (8 resets) in 822 ms. (4 steps per ms) remains 75362/75365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 774 ms. (5 steps per ms) remains 75357/75362 properties
BEST_FIRST walk for 4004 steps (8 resets) in 881 ms. (4 steps per ms) remains 75354/75357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 75350/75354 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 75348/75350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 75344/75348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 770 ms. (5 steps per ms) remains 75342/75344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 75341/75342 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 75339/75341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 814 ms. (4 steps per ms) remains 75337/75339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 831 ms. (4 steps per ms) remains 75337/75337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 75336/75337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 75330/75336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 75327/75330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 75325/75327 properties
BEST_FIRST walk for 4003 steps (8 resets) in 817 ms. (4 steps per ms) remains 75324/75325 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 75323/75324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 75321/75323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 75318/75321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 75316/75318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 75313/75316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 75312/75313 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1010 ms. (3 steps per ms) remains 75305/75312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 985 ms. (4 steps per ms) remains 75302/75305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 75300/75302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 75299/75300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1448 ms. (2 steps per ms) remains 75296/75299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3059 ms. (1 steps per ms) remains 75292/75296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3123 ms. (1 steps per ms) remains 75289/75292 properties
BEST_FIRST walk for 4002 steps (8 resets) in 914 ms. (4 steps per ms) remains 75288/75289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1018 ms. (3 steps per ms) remains 75286/75288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 75283/75286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1044 ms. (3 steps per ms) remains 75278/75283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 75275/75278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 75273/75275 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1268 ms. (3 steps per ms) remains 75269/75273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 75266/75269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1437 ms. (2 steps per ms) remains 75265/75266 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1258 ms. (3 steps per ms) remains 75263/75265 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1307 ms. (3 steps per ms) remains 75260/75263 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1318 ms. (3 steps per ms) remains 75257/75260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1159 ms. (3 steps per ms) remains 75256/75257 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1225 ms. (3 steps per ms) remains 75251/75256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 75247/75251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 75243/75247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 75242/75243 properties
BEST_FIRST walk for 4003 steps (8 resets) in 953 ms. (4 steps per ms) remains 75241/75242 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1010 ms. (3 steps per ms) remains 75240/75241 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1014 ms. (3 steps per ms) remains 75237/75240 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1608 ms. (2 steps per ms) remains 75234/75237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1419 ms. (2 steps per ms) remains 75230/75234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 75229/75230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 75228/75229 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1055 ms. (3 steps per ms) remains 75226/75228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 75224/75226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 75219/75224 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1022 ms. (3 steps per ms) remains 75216/75219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 75213/75216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1577 ms. (2 steps per ms) remains 75210/75213 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 75208/75210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1108 ms. (3 steps per ms) remains 75204/75208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 75202/75204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 75199/75202 properties
BEST_FIRST walk for 4003 steps (8 resets) in 940 ms. (4 steps per ms) remains 75198/75199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 980 ms. (4 steps per ms) remains 75197/75198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 75194/75197 properties
BEST_FIRST walk for 4003 steps (8 resets) in 947 ms. (4 steps per ms) remains 75191/75194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 940 ms. (4 steps per ms) remains 75191/75191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2639 ms. (1 steps per ms) remains 75189/75191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 75187/75189 properties
BEST_FIRST walk for 4003 steps (8 resets) in 937 ms. (4 steps per ms) remains 75185/75187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 75183/75185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 985 ms. (4 steps per ms) remains 75182/75183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 75181/75182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 75180/75181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 75175/75180 properties
BEST_FIRST walk for 4003 steps (8 resets) in 994 ms. (4 steps per ms) remains 75173/75175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 75171/75173 properties
BEST_FIRST walk for 4002 steps (8 resets) in 997 ms. (4 steps per ms) remains 75170/75171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 75166/75170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1014 ms. (3 steps per ms) remains 75162/75166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1062 ms. (3 steps per ms) remains 75160/75162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 75157/75160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 75155/75157 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 75152/75155 properties
BEST_FIRST walk for 4003 steps (8 resets) in 902 ms. (4 steps per ms) remains 75150/75152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 75146/75150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 75145/75146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 75142/75145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 75139/75142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 940 ms. (4 steps per ms) remains 75136/75139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 972 ms. (4 steps per ms) remains 75136/75136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 75133/75136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1085 ms. (3 steps per ms) remains 75131/75133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 75127/75131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 75123/75127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 75118/75123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 949 ms. (4 steps per ms) remains 75116/75118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 75116/75116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 75114/75116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 75110/75114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 75106/75110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 75103/75106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 75103/75103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 75099/75103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 75096/75099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 75095/75096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 75094/75095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 75088/75094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 75087/75088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 75086/75087 properties
BEST_FIRST walk for 4002 steps (8 resets) in 817 ms. (4 steps per ms) remains 75084/75086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 957 ms. (4 steps per ms) remains 75083/75084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 916 ms. (4 steps per ms) remains 75081/75083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 75079/75081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 997 ms. (4 steps per ms) remains 75075/75079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 75073/75075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 75070/75073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 75068/75070 properties
BEST_FIRST walk for 4001 steps (8 resets) in 967 ms. (4 steps per ms) remains 75065/75068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 75063/75065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 75060/75063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 75057/75060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 75055/75057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 75053/75055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 75051/75053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 75051/75051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 75050/75051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 75046/75050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 75043/75046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 75042/75043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 75041/75042 properties
BEST_FIRST walk for 4002 steps (8 resets) in 883 ms. (4 steps per ms) remains 75041/75041 properties
BEST_FIRST walk for 4002 steps (8 resets) in 845 ms. (4 steps per ms) remains 75035/75041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 75033/75035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 916 ms. (4 steps per ms) remains 75032/75033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 943 ms. (4 steps per ms) remains 75030/75032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 75026/75030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 75025/75026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 946 ms. (4 steps per ms) remains 75022/75025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 75022/75022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 75019/75022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 75018/75019 properties
BEST_FIRST walk for 4002 steps (8 resets) in 976 ms. (4 steps per ms) remains 75016/75018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 75012/75016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 75012/75012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 75010/75012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 799 ms. (5 steps per ms) remains 75008/75010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 75003/75008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 75001/75003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 75001/75001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 75000/75001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 74998/75000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 74997/74998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 74996/74997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 74994/74996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 74992/74994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 74990/74992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 74988/74990 properties
BEST_FIRST walk for 4001 steps (8 resets) in 989 ms. (4 steps per ms) remains 74986/74988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 74985/74986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 817 ms. (4 steps per ms) remains 74983/74985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 74982/74983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 74980/74982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 74977/74980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 74976/74977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 74976/74976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 74976/74976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 839 ms. (4 steps per ms) remains 74976/74976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 74973/74976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 74971/74973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 74969/74971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 74969/74969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 74965/74969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 74964/74965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 74961/74964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 74959/74961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 74956/74959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 905 ms. (4 steps per ms) remains 74954/74956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 74952/74954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 74951/74952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 74949/74951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 74946/74949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 74943/74946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 74938/74943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 74933/74938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 74930/74933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 74927/74930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 74924/74927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 74922/74924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 74920/74922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 74917/74920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 74914/74917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 74909/74914 properties
BEST_FIRST walk for 4001 steps (8 resets) in 843 ms. (4 steps per ms) remains 74907/74909 properties
BEST_FIRST walk for 4002 steps (8 resets) in 973 ms. (4 steps per ms) remains 74905/74907 properties
BEST_FIRST walk for 4003 steps (8 resets) in 929 ms. (4 steps per ms) remains 74903/74905 properties
BEST_FIRST walk for 4003 steps (8 resets) in 942 ms. (4 steps per ms) remains 74899/74903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 74896/74899 properties
BEST_FIRST walk for 4003 steps (8 resets) in 933 ms. (4 steps per ms) remains 74896/74896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 74892/74896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1002 ms. (3 steps per ms) remains 74890/74892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 74888/74890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 74885/74888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 809 ms. (4 steps per ms) remains 74883/74885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 74880/74883 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 74877/74880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 74875/74877 properties
BEST_FIRST walk for 4002 steps (8 resets) in 903 ms. (4 steps per ms) remains 74871/74875 properties
BEST_FIRST walk for 4003 steps (8 resets) in 889 ms. (4 steps per ms) remains 74868/74871 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 74864/74868 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 74862/74864 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 74858/74862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 74857/74858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 74856/74857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 74853/74856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 74851/74853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 74848/74851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 74848/74848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 74847/74848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 941 ms. (4 steps per ms) remains 74845/74847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 74843/74845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 74842/74843 properties
BEST_FIRST walk for 4003 steps (8 resets) in 810 ms. (4 steps per ms) remains 74839/74842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 74837/74839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 74835/74837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 74832/74835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 74829/74832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 74826/74829 properties
BEST_FIRST walk for 4003 steps (8 resets) in 965 ms. (4 steps per ms) remains 74821/74826 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 74817/74821 properties
BEST_FIRST walk for 4003 steps (8 resets) in 989 ms. (4 steps per ms) remains 74814/74817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 74812/74814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 74811/74812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 74808/74811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 74807/74808 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 74806/74807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 74806/74806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 74802/74806 properties
BEST_FIRST walk for 4002 steps (8 resets) in 883 ms. (4 steps per ms) remains 74799/74802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 793 ms. (5 steps per ms) remains 74798/74799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 74794/74798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 74791/74794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 74789/74791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 779 ms. (5 steps per ms) remains 74787/74789 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 74783/74787 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 74781/74783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 74781/74781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 74776/74781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 74773/74776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 74770/74773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 74766/74770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 74764/74766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 849 ms. (4 steps per ms) remains 74764/74764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 74763/74764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 900 ms. (4 steps per ms) remains 74761/74763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 74757/74761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 74756/74757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 74754/74756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 74752/74754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 74750/74752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 74748/74750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 74745/74748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 786 ms. (5 steps per ms) remains 74744/74745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 74740/74744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 74739/74740 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 74738/74739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 74737/74738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 74734/74737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 74733/74734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 781 ms. (5 steps per ms) remains 74733/74733 properties
BEST_FIRST walk for 4001 steps (8 resets) in 884 ms. (4 steps per ms) remains 74729/74733 properties
BEST_FIRST walk for 4003 steps (8 resets) in 810 ms. (4 steps per ms) remains 74726/74729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 74724/74726 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 74722/74724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 74719/74722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 74715/74719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 74712/74715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 74710/74712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 74707/74710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 74705/74707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 74702/74705 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 74701/74702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 74700/74701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 803 ms. (4 steps per ms) remains 74698/74700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 74695/74698 properties
BEST_FIRST walk for 4002 steps (8 resets) in 935 ms. (4 steps per ms) remains 74693/74695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 74690/74693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 74689/74690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 74686/74689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 74683/74686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 817 ms. (4 steps per ms) remains 74680/74683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 74678/74680 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 74675/74678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 74674/74675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 794 ms. (5 steps per ms) remains 74672/74674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 74670/74672 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 74667/74670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 74665/74667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 74660/74665 properties
BEST_FIRST walk for 4002 steps (8 resets) in 853 ms. (4 steps per ms) remains 74658/74660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 74657/74658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 74655/74657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 74651/74655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 74648/74651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 784 ms. (5 steps per ms) remains 74644/74648 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 74642/74644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 791 ms. (5 steps per ms) remains 74639/74642 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 74638/74639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 74635/74638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 74633/74635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 74631/74633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 74628/74631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 74627/74628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 74625/74627 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 74623/74625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 74620/74623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 74616/74620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 74613/74616 properties
BEST_FIRST walk for 4002 steps (8 resets) in 929 ms. (4 steps per ms) remains 74610/74613 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 74608/74610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 74605/74608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 74602/74605 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 74602/74602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 864 ms. (4 steps per ms) remains 74600/74602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 74597/74600 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 74595/74597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 74592/74595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 74590/74592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 74589/74590 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 74589/74589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 74586/74589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 74583/74586 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 74582/74583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 881 ms. (4 steps per ms) remains 74581/74582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 849 ms. (4 steps per ms) remains 74580/74581 properties
BEST_FIRST walk for 4003 steps (8 resets) in 927 ms. (4 steps per ms) remains 74580/74580 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 74578/74580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 74575/74578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 74574/74575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 74571/74574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 74569/74571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 74568/74569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 74568/74568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 74567/74568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 74564/74567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 74560/74564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 74557/74560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 74555/74557 properties
BEST_FIRST walk for 4002 steps (8 resets) in 891 ms. (4 steps per ms) remains 74552/74555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 74550/74552 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 74550/74550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 74549/74550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 74546/74549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 920 ms. (4 steps per ms) remains 74541/74546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 74536/74541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 876 ms. (4 steps per ms) remains 74534/74536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 74532/74534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 796 ms. (5 steps per ms) remains 74530/74532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 74529/74530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 784 ms. (5 steps per ms) remains 74529/74529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 745 ms. (5 steps per ms) remains 74528/74529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 74526/74528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 74524/74526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 74521/74524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 74518/74521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 74516/74518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 770 ms. (5 steps per ms) remains 74512/74516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 785 ms. (5 steps per ms) remains 74510/74512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 74508/74510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 814 ms. (4 steps per ms) remains 74506/74508 properties
BEST_FIRST walk for 4002 steps (8 resets) in 816 ms. (4 steps per ms) remains 74503/74506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 74501/74503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 74499/74501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 795 ms. (5 steps per ms) remains 74497/74499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 74494/74497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 74492/74494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 831 ms. (4 steps per ms) remains 74489/74492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 74486/74489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 74485/74486 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 74484/74485 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 74481/74484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 813 ms. (4 steps per ms) remains 74481/74481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 74479/74481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 930 ms. (4 steps per ms) remains 74474/74479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 74470/74474 properties
BEST_FIRST walk for 4002 steps (8 resets) in 904 ms. (4 steps per ms) remains 74468/74470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 74466/74468 properties
BEST_FIRST walk for 4002 steps (8 resets) in 801 ms. (4 steps per ms) remains 74463/74466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 74462/74463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 74461/74462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 74457/74461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 74453/74457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 885 ms. (4 steps per ms) remains 74451/74453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 74449/74451 properties
BEST_FIRST walk for 4003 steps (8 resets) in 864 ms. (4 steps per ms) remains 74446/74449 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 74443/74446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 795 ms. (5 steps per ms) remains 74439/74443 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 74434/74439 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 74431/74434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 74429/74431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 74429/74429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 74425/74429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 74421/74425 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 74418/74421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 916 ms. (4 steps per ms) remains 74417/74418 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 74415/74417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 74413/74415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 74412/74413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 769 ms. (5 steps per ms) remains 74411/74412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 74409/74411 properties
BEST_FIRST walk for 4002 steps (8 resets) in 824 ms. (4 steps per ms) remains 74407/74409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 74404/74407 properties
BEST_FIRST walk for 4002 steps (8 resets) in 831 ms. (4 steps per ms) remains 74403/74404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 74400/74403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 773 ms. (5 steps per ms) remains 74398/74400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 74395/74398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 74394/74395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 74393/74394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 74391/74393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 74389/74391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 74387/74389 properties
BEST_FIRST walk for 4003 steps (8 resets) in 812 ms. (4 steps per ms) remains 74387/74387 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 74385/74387 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 74382/74385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 74380/74382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 74379/74380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 74378/74379 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 74375/74378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 74373/74375 properties
BEST_FIRST walk for 4002 steps (8 resets) in 911 ms. (4 steps per ms) remains 74372/74373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 74369/74372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 74367/74369 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 74365/74367 properties
BEST_FIRST walk for 4002 steps (8 resets) in 866 ms. (4 steps per ms) remains 74361/74365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 74359/74361 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 74358/74359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 864 ms. (4 steps per ms) remains 74354/74358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 74353/74354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 74353/74353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 74351/74353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 74348/74351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 74346/74348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 74345/74346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 74342/74345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 781 ms. (5 steps per ms) remains 74336/74342 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 74333/74336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 962 ms. (4 steps per ms) remains 74333/74333 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 74331/74333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 74331/74331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 74329/74331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 74326/74329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 74326/74326 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 74325/74326 properties
BEST_FIRST walk for 4002 steps (8 resets) in 797 ms. (5 steps per ms) remains 74323/74325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 74320/74323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 74319/74320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 74317/74319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 74315/74317 properties
BEST_FIRST walk for 4003 steps (8 resets) in 838 ms. (4 steps per ms) remains 74313/74315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 74309/74313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 74306/74309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 74304/74306 properties
BEST_FIRST walk for 4002 steps (8 resets) in 849 ms. (4 steps per ms) remains 74304/74304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 74301/74304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 74298/74301 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 74296/74298 properties
BEST_FIRST walk for 4003 steps (8 resets) in 819 ms. (4 steps per ms) remains 74295/74296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 771 ms. (5 steps per ms) remains 74292/74295 properties
BEST_FIRST walk for 4002 steps (8 resets) in 961 ms. (4 steps per ms) remains 74287/74292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 74284/74287 properties
BEST_FIRST walk for 4002 steps (8 resets) in 852 ms. (4 steps per ms) remains 74282/74284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 74279/74282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 74277/74279 properties
BEST_FIRST walk for 4003 steps (8 resets) in 816 ms. (4 steps per ms) remains 74274/74277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 74271/74274 properties
BEST_FIRST walk for 4002 steps (8 resets) in 806 ms. (4 steps per ms) remains 74269/74271 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 74265/74269 properties
BEST_FIRST walk for 4003 steps (8 resets) in 893 ms. (4 steps per ms) remains 74263/74265 properties
BEST_FIRST walk for 4002 steps (8 resets) in 806 ms. (4 steps per ms) remains 74262/74263 properties

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is ErlangenMainframeV1-PT-bP10C08, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r344-smll-178021500800077"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;