MCC'2026- Execution of r344-smll-178021500900182

About the Execution of ITS-Tools for ErlangenMainframeV2-PT-bP11C06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15775.084	1800000.00	3908390.00	3379.20	[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-178021500900182.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 ErlangenMainframeV2-PT-bP11C06, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500900182
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 96M
-rw-r--r-- 1 mcc users 7.4K May 27 09:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K May 27 09:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 27 09:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K May 27 09:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 27 10:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 27 10:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 27 10:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 10:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 12K May 27 09:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K May 27 09:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 27 09:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 29K May 27 09:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 27 10:45 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 96M 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 1780321615593

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV2-PT-bP11C06
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 13:46:57] [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 13:46:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 13:47:02] [INFO ] Load time of PNML (sax parser for PT used): 4733 ms
[2026-06-01 13:47:02] [INFO ] Transformed 344 places.
[2026-06-01 13:47:03] [INFO ] Transformed 70343 transitions.
[2026-06-01 13:47:03] [INFO ] Found NUPN structural information;
[2026-06-01 13:47:03] [INFO ] Parsed PT model containing 344 places and 70343 transitions and 1913839 arcs in 5601 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 344/344 places, 70343/70343 transitions.
Graph (trivial) has 292 edges and 344 vertex of which 12 / 344 are part of one of the 5 SCC in 40 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 131 transitions
Trivial Post-agglo rules discarded 131 transitions
Performed 131 trivial Post agglomeration. Transition count delta: 131
Iterating post reduction 0 with 131 rules applied. Total rules applied 132 place count 337 transition count 70204
Reduce places removed 131 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 143 rules applied. Total rules applied 275 place count 206 transition count 70192
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 278 place count 203 transition count 70192
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 4 Pre rules applied. Total rules applied 278 place count 203 transition count 70188
Deduced a syphon composed of 4 places in 283 ms
Ensure Unique test removed 1 places
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 9 rules applied. Total rules applied 287 place count 198 transition count 70188
Performed 92 Post agglomeration using F-continuation condition.
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 43 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 3 with 188 rules applied. Total rules applied 475 place count 104 transition count 70094
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 4 places in 77 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 483 place count 100 transition count 70094
Applied a total of 483 rules in 48887 ms. Remains 100 /344 variables (removed 244) and now considering 70094/70343 (removed 249) transitions.
[2026-06-01 13:47:52] [INFO ] Flow matrix only has 70073 transitions (discarded 21 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5628298378219180568.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8699753003239688231.kers'
[2026-06-01 13:47:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5628298378219180568.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8699753003239688231.kers]
Normalized transition count is 70072 out of 70073 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 332 ms.
// Phase 1: matrix 70072 rows 99 cols 1773284 entries
Finished phase 1 with 68 SingleSign rule and 3 generalized
[2026-06-01 13:47:54] [INFO ] Computed 29 invariants in 1535 ms
Computed 29 P flows in 1550 ms.
Exported basis to /tmp/petrispot-output-8699753003239688231.kers
Total runtime 1941 ms.
[2026-06-01 13:48:26] [INFO ] Performed 33/100 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-06-01 13:49:46] [INFO ] Performed 78/100 implicitness test of which 1 returned IMPLICIT in 111 seconds.
[2026-06-01 13:49:49] [INFO ] Implicit Places using invariants in 117426 ms returned [78]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 117705 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 99/344 places, 70094/70343 transitions.
Applied a total of 0 rules in 1060 ms. Remains 99 /99 variables (removed 0) and now considering 70094/70094 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 167702 ms. Remains : 99/344 places, 70094/70343 transitions.
Discarding 52 transitions out of 70094. Remains 70042
Initial state reduction rules removed 1 formulas.
[2026-06-01 14:00:28] [INFO ] Flatten gal took : 20120 ms
RANDOM walk for 37896 steps (810 resets) in 120027 ms. (0 steps per ms) remains 69978/70041 properties
BEST_FIRST walk for 124 steps (0 resets) in 132 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 130 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 168 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 127 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 104 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 110 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 114 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 127 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 96 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 129 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 126 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 117 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 111 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 116 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 107 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 108 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 127 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 110 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 111 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 108 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 109 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 116 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 119 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 125 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 109 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 121 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 116 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 119 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 109 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 109 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 108 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 118 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 117 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 112 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 151 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 95 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 112 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 124 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 110 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 106 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 117 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 124 ms. (0 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 100 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 117 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 110 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 107 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 107 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 107 ms. (1 steps per ms) remains 69978/69978 properties
BEST_FIRST walk for 124 steps (0 resets) in 94 ms. (1 steps per ms) remains 69978/69978 properties
[2026-06-01 14:00:44] [INFO ] Flatten gal took : 15973 ms
[2026-06-01 14:00:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15272181729310239188.gal : 1801 ms
[2026-06-01 14:00:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality84242229657135714.prop : 862 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/ReachabilityCardinality15272181729310239188.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality84242229657135714.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 ...327
Probabilistic random walk after 30001 steps, saw 7323 distinct states, run finished after 79156 ms. (steps per millisecond=0 ) properties seen :10
[2026-06-01 14:01:55] [INFO ] Flow matrix only has 70073 transitions (discarded 21 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3735941515633450284.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10117410004492384143.kers'
[2026-06-01 14:01:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3735941515633450284.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10117410004492384143.kers]
Normalized transition count is 70072 out of 70073 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 306 ms.
// Phase 1: matrix 70072 rows 98 cols 1703300 entries
Finished phase 1 with 68 SingleSign rule and 3 generalized
[2026-06-01 14:01:57] [INFO ] Computed 28 invariants in 1436 ms
Computed 28 P flows in 1437 ms.
Exported basis to /tmp/petrispot-output-10117410004492384143.kers
Total runtime 1671 ms.
[2026-06-01 14:01:58] [INFO ] State equation strengthened by 28 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Loading property file /tmp/ReachabilityCardinality84242229657135714.prop.
SDD proceeding with computation,69978 properties remain. new max is 4
SDD size :1 after 9
SMT process timed out in 449222ms, After SMT, problems are : Problem set: 0 solved, 69968 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 68 out of 99 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 99/99 places, 70094/70094 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 99 transition count 70087
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 97 transition count 70087
Free-agglomeration rule applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 14 place count 97 transition count 70082
Reduce places removed 5 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 2 with 26 rules applied. Total rules applied 40 place count 92 transition count 70061
Free-agglomeration rule applied 4 times.
Iterating global reduction 3 with 4 rules applied. Total rules applied 44 place count 92 transition count 70057
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 48 place count 88 transition count 70057
Applied a total of 48 rules in 8693 ms. Remains 88 /99 variables (removed 11) and now considering 70057/70094 (removed 37) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8706 ms. Remains : 88/99 places, 70057/70094 transitions.
SDD proceeding with computation,69978 properties remain. new max is 8
SDD size :9 after 129
RANDOM walk for 48062 steps (0 resets) in 120016 ms. (0 steps per ms) remains 69886/69968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 69881/69886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 69878/69881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 950 ms. (4 steps per ms) remains 69874/69878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 69870/69874 properties
BEST_FIRST walk for 4003 steps (8 resets) in 905 ms. (4 steps per ms) remains 69866/69870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 69862/69866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 69859/69862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 69856/69859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 69851/69856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 786 ms. (5 steps per ms) remains 69847/69851 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 69843/69847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 69838/69843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 69833/69838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 69829/69833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 69824/69829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 69820/69824 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 69816/69820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 69813/69816 properties
BEST_FIRST walk for 4004 steps (8 resets) in 813 ms. (4 steps per ms) remains 69810/69813 properties
BEST_FIRST walk for 4003 steps (8 resets) in 789 ms. (5 steps per ms) remains 69808/69810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 69805/69808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 69801/69805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 69796/69801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 889 ms. (4 steps per ms) remains 69793/69796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 69789/69793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 69786/69789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 69783/69786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 69778/69783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 69776/69778 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 69773/69776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 69767/69773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 69763/69767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 69760/69763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 69755/69760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 69750/69755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 69746/69750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 69741/69746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 69738/69741 properties
BEST_FIRST walk for 4002 steps (8 resets) in 744 ms. (5 steps per ms) remains 69734/69738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 69730/69734 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 69727/69730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 927 ms. (4 steps per ms) remains 69723/69727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 69716/69723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 69712/69716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 69707/69712 properties
BEST_FIRST walk for 4002 steps (8 resets) in 881 ms. (4 steps per ms) remains 69701/69707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 69696/69701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 69693/69696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 767 ms. (5 steps per ms) remains 69689/69693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 881 ms. (4 steps per ms) remains 69685/69689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 69682/69685 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 69679/69682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 69675/69679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 69671/69675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 892 ms. (4 steps per ms) remains 69667/69671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 69664/69667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 875 ms. (4 steps per ms) remains 69662/69664 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 69660/69662 properties
BEST_FIRST walk for 4003 steps (8 resets) in 722 ms. (5 steps per ms) remains 69658/69660 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 69655/69658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 892 ms. (4 steps per ms) remains 69651/69655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 69646/69651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 69641/69646 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 69636/69641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 69633/69636 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 69632/69633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 69629/69632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 69624/69629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 69621/69624 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 69617/69621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 69613/69617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 925 ms. (4 steps per ms) remains 69607/69613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 69604/69607 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 69601/69604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 69598/69601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 69596/69598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 994 ms. (4 steps per ms) remains 69591/69596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 69587/69591 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 69585/69587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 915 ms. (4 steps per ms) remains 69581/69585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 69577/69581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 69572/69577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 69566/69572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 69560/69566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 907 ms. (4 steps per ms) remains 69557/69560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1041 ms. (3 steps per ms) remains 69552/69557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 69550/69552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 69547/69550 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1017 ms. (3 steps per ms) remains 69544/69547 properties
BEST_FIRST walk for 4002 steps (8 resets) in 984 ms. (4 steps per ms) remains 69540/69544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 983 ms. (4 steps per ms) remains 69536/69540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 69532/69536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 69528/69532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 69523/69528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 69520/69523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 69517/69520 properties
BEST_FIRST walk for 4001 steps (8 resets) in 949 ms. (4 steps per ms) remains 69514/69517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 69510/69514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 69504/69510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 69499/69504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 69497/69499 properties
BEST_FIRST walk for 4002 steps (8 resets) in 858 ms. (4 steps per ms) remains 69491/69497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 69490/69491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 69487/69490 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 69485/69487 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 69483/69485 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 69480/69483 properties
BEST_FIRST walk for 4003 steps (8 resets) in 817 ms. (4 steps per ms) remains 69477/69480 properties
BEST_FIRST walk for 4003 steps (8 resets) in 783 ms. (5 steps per ms) remains 69471/69477 properties
BEST_FIRST walk for 4003 steps (8 resets) in 764 ms. (5 steps per ms) remains 69470/69471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 69467/69470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 69461/69467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 69460/69461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 772 ms. (5 steps per ms) remains 69458/69460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 69454/69458 properties
BEST_FIRST walk for 4002 steps (8 resets) in 834 ms. (4 steps per ms) remains 69452/69454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 69447/69452 properties
BEST_FIRST walk for 4003 steps (8 resets) in 795 ms. (5 steps per ms) remains 69443/69447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 873 ms. (4 steps per ms) remains 69440/69443 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 69436/69440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 69432/69436 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 69430/69432 properties
BEST_FIRST walk for 4001 steps (8 resets) in 966 ms. (4 steps per ms) remains 69427/69430 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 69423/69427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 804 ms. (4 steps per ms) remains 69416/69423 properties
BEST_FIRST walk for 4002 steps (8 resets) in 835 ms. (4 steps per ms) remains 69413/69416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 69408/69413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1061 ms. (3 steps per ms) remains 69401/69408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 766 ms. (5 steps per ms) remains 69396/69401 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 69394/69396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 777 ms. (5 steps per ms) remains 69391/69394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 69386/69391 properties
BEST_FIRST walk for 4002 steps (8 resets) in 893 ms. (4 steps per ms) remains 69381/69386 properties
BEST_FIRST walk for 4002 steps (8 resets) in 950 ms. (4 steps per ms) remains 69378/69381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 832 ms. (4 steps per ms) remains 69375/69378 properties
BEST_FIRST walk for 4001 steps (8 resets) in 794 ms. (5 steps per ms) remains 69372/69375 properties
BEST_FIRST walk for 4002 steps (8 resets) in 982 ms. (4 steps per ms) remains 69368/69372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 69362/69368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 69360/69362 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 69355/69360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 69351/69355 properties
BEST_FIRST walk for 4003 steps (8 resets) in 942 ms. (4 steps per ms) remains 69347/69351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 69343/69347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 69341/69343 properties
BEST_FIRST walk for 4003 steps (8 resets) in 883 ms. (4 steps per ms) remains 69335/69341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 69331/69335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 920 ms. (4 steps per ms) remains 69326/69331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 69324/69326 properties
BEST_FIRST walk for 4002 steps (8 resets) in 906 ms. (4 steps per ms) remains 69320/69324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 69318/69320 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 69312/69318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 69310/69312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 69307/69310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 69302/69307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 69297/69302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 69293/69297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 69290/69293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 69287/69290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 69282/69287 properties
BEST_FIRST walk for 4002 steps (8 resets) in 986 ms. (4 steps per ms) remains 69279/69282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 69274/69279 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 69269/69274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 69267/69269 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1000 ms. (3 steps per ms) remains 69262/69267 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1054 ms. (3 steps per ms) remains 69258/69262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 69256/69258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 69252/69256 properties
BEST_FIRST walk for 4002 steps (8 resets) in 968 ms. (4 steps per ms) remains 69248/69252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 954 ms. (4 steps per ms) remains 69245/69248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 69241/69245 properties
Detected timeout of ITS tools.
BEST_FIRST walk for 4002 steps (8 resets) in 859 ms. (4 steps per ms) remains 69238/69241 properties
BEST_FIRST walk for 4003 steps (8 resets) in 984 ms. (4 steps per ms) remains 69234/69238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 69232/69234 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1599 ms. (2 steps per ms) remains 69229/69232 properties
BEST_FIRST walk for 4003 steps (8 resets) in 950 ms. (4 steps per ms) remains 69226/69229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 69223/69226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 783 ms. (5 steps per ms) remains 69221/69223 properties
BEST_FIRST walk for 4001 steps (8 resets) in 789 ms. (5 steps per ms) remains 69218/69221 properties
BEST_FIRST walk for 4001 steps (8 resets) in 846 ms. (4 steps per ms) remains 69212/69218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 69211/69212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 69207/69211 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 69203/69207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 69201/69203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 762 ms. (5 steps per ms) remains 69197/69201 properties
BEST_FIRST walk for 4003 steps (8 resets) in 899 ms. (4 steps per ms) remains 69194/69197 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 69191/69194 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1624 ms. (2 steps per ms) remains 69190/69191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 69186/69190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 69181/69186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 69175/69181 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 69172/69175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 69167/69172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 69160/69167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 69157/69160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1238 ms. (3 steps per ms) remains 69154/69157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 69149/69154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 966 ms. (4 steps per ms) remains 69145/69149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 967 ms. (4 steps per ms) remains 69141/69145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 69137/69141 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 69132/69137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 69130/69132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 997 ms. (4 steps per ms) remains 69126/69130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 69123/69126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 888 ms. (4 steps per ms) remains 69120/69123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 69118/69120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 936 ms. (4 steps per ms) remains 69112/69118 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1141 ms. (3 steps per ms) remains 69108/69112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 69106/69108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 69101/69106 properties
BEST_FIRST walk for 4003 steps (8 resets) in 766 ms. (5 steps per ms) remains 69097/69101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1621 ms. (2 steps per ms) remains 69094/69097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 947 ms. (4 steps per ms) remains 69092/69094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 69088/69092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 69085/69088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 69083/69085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1275 ms. (3 steps per ms) remains 69081/69083 properties
BEST_FIRST walk for 4002 steps (8 resets) in 840 ms. (4 steps per ms) remains 69079/69081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 69074/69079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1498 ms. (2 steps per ms) remains 69072/69074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1182 ms. (3 steps per ms) remains 69070/69072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 983 ms. (4 steps per ms) remains 69064/69070 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1071 ms. (3 steps per ms) remains 69057/69064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 69054/69057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 69052/69054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 927 ms. (4 steps per ms) remains 69049/69052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1192 ms. (3 steps per ms) remains 69047/69049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1030 ms. (3 steps per ms) remains 69043/69047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 69040/69043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 69036/69040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 69033/69036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1212 ms. (3 steps per ms) remains 69029/69033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1230 ms. (3 steps per ms) remains 69026/69029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 69025/69026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 69021/69025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 69018/69021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 69015/69018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1034 ms. (3 steps per ms) remains 69011/69015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 69006/69011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 69004/69006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 878 ms. (4 steps per ms) remains 69004/69004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 923 ms. (4 steps per ms) remains 68999/69004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 977 ms. (4 steps per ms) remains 68995/68999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 899 ms. (4 steps per ms) remains 68990/68995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 68987/68990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 68982/68987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 68979/68982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 68976/68979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 68974/68976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 68970/68974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 813 ms. (4 steps per ms) remains 68967/68970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 68963/68967 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 68957/68963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 68954/68957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 68952/68954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 68947/68952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 68944/68947 properties
BEST_FIRST walk for 4002 steps (8 resets) in 999 ms. (4 steps per ms) remains 68939/68944 properties
[2026-06-01 14:11:13] [INFO ] Flatten gal took : 20528 ms
[2026-06-01 14:11:14] [INFO ] Applying decomposition
BEST_FIRST walk for 4003 steps (8 resets) in 963 ms. (4 steps per ms) remains 68934/68939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 68932/68934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 895 ms. (4 steps per ms) remains 68928/68932 properties
BEST_FIRST walk for 4002 steps (8 resets) in 939 ms. (4 steps per ms) remains 68923/68928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 68919/68923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 68915/68919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 68911/68915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1012 ms. (3 steps per ms) remains 68908/68911 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1018 ms. (3 steps per ms) remains 68903/68908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1012 ms. (3 steps per ms) remains 68898/68903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 68897/68898 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 68895/68897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 68890/68895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 68885/68890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 68883/68885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 68879/68883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 68878/68879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 914 ms. (4 steps per ms) remains 68871/68878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 68865/68871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 68860/68865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 68856/68860 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 68853/68856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 68850/68853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1595 ms. (2 steps per ms) remains 68845/68850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 68842/68845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 68841/68842 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 68836/68841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 68834/68836 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 68832/68834 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 68828/68832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1202 ms. (3 steps per ms) remains 68823/68828 properties
BEST_FIRST walk for 4001 steps (8 resets) in 947 ms. (4 steps per ms) remains 68818/68823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 68813/68818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 945 ms. (4 steps per ms) remains 68811/68813 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 68807/68811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1096 ms. (3 steps per ms) remains 68804/68807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 68799/68804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 68795/68799 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 68791/68795 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 68786/68791 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1045 ms. (3 steps per ms) remains 68781/68786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 68778/68781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 942 ms. (4 steps per ms) remains 68776/68778 properties
BEST_FIRST walk for 4002 steps (8 resets) in 991 ms. (4 steps per ms) remains 68774/68776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1033 ms. (3 steps per ms) remains 68770/68774 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1268 ms. (3 steps per ms) remains 68766/68770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 68764/68766 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1060 ms. (3 steps per ms) remains 68759/68764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 68755/68759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 926 ms. (4 steps per ms) remains 68754/68755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1007 ms. (3 steps per ms) remains 68752/68754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 68747/68752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 68743/68747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 68740/68743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 991 ms. (4 steps per ms) remains 68737/68740 properties
BEST_FIRST walk for 4003 steps (8 resets) in 768 ms. (5 steps per ms) remains 68732/68737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 68729/68732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 68726/68729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 68723/68726 properties
[2026-06-01 14:11:30] [INFO ] Flatten gal took : 16334 ms
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 68721/68723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 68715/68721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 68713/68715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 68709/68713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1221 ms. (3 steps per ms) remains 68708/68709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 795 ms. (5 steps per ms) remains 68702/68708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 779 ms. (5 steps per ms) remains 68698/68702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 68697/68698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1702 ms. (2 steps per ms) remains 68694/68697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1283 ms. (3 steps per ms) remains 68691/68694 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 68686/68691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 68682/68686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 68678/68682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1080 ms. (3 steps per ms) remains 68675/68678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 68670/68675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1345 ms. (2 steps per ms) remains 68663/68670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 68659/68663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 68654/68659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 68651/68654 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3003 ms. (1 steps per ms) remains 68648/68651 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2262 ms. (1 steps per ms) remains 68643/68648 properties
BEST_FIRST walk for 4003 steps (8 resets) in 920 ms. (4 steps per ms) remains 68641/68643 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1093 ms. (3 steps per ms) remains 68637/68641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 68633/68637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1521 ms. (2 steps per ms) remains 68631/68633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 68628/68631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2050 ms. (1 steps per ms) remains 68621/68628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 68617/68621 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1176 ms. (3 steps per ms) remains 68614/68617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1578 ms. (2 steps per ms) remains 68610/68614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 68607/68610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1498 ms. (2 steps per ms) remains 68605/68607 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1977 ms. (2 steps per ms) remains 68601/68605 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 68596/68601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1329 ms. (3 steps per ms) remains 68593/68596 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1302 ms. (3 steps per ms) remains 68591/68593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1989 ms. (2 steps per ms) remains 68588/68591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 68587/68588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1280 ms. (3 steps per ms) remains 68584/68587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1311 ms. (3 steps per ms) remains 68580/68584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2037 ms. (1 steps per ms) remains 68575/68580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1267 ms. (3 steps per ms) remains 68569/68575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1347 ms. (2 steps per ms) remains 68565/68569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1371 ms. (2 steps per ms) remains 68559/68565 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1516 ms. (2 steps per ms) remains 68557/68559 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1254 ms. (3 steps per ms) remains 68554/68557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1324 ms. (3 steps per ms) remains 68551/68554 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1338 ms. (2 steps per ms) remains 68549/68551 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1391 ms. (2 steps per ms) remains 68544/68549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1543 ms. (2 steps per ms) remains 68539/68544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1315 ms. (3 steps per ms) remains 68537/68539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2285 ms. (1 steps per ms) remains 68532/68537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1344 ms. (2 steps per ms) remains 68528/68532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1624 ms. (2 steps per ms) remains 68523/68528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1264 ms. (3 steps per ms) remains 68520/68523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1336 ms. (2 steps per ms) remains 68518/68520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1277 ms. (3 steps per ms) remains 68517/68518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1262 ms. (3 steps per ms) remains 68514/68517 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1029 ms. (3 steps per ms) remains 68512/68514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 68509/68512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1370 ms. (2 steps per ms) remains 68507/68509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 68501/68507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 783 ms. (5 steps per ms) remains 68499/68501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1305 ms. (3 steps per ms) remains 68496/68499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68493/68496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 68490/68493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1561 ms. (2 steps per ms) remains 68485/68490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1324 ms. (3 steps per ms) remains 68484/68485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 68481/68484 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1879 ms. (2 steps per ms) remains 68476/68481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1676 ms. (2 steps per ms) remains 68472/68476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1470 ms. (2 steps per ms) remains 68467/68472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1110 ms. (3 steps per ms) remains 68465/68467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1492 ms. (2 steps per ms) remains 68461/68465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 68459/68461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1345 ms. (2 steps per ms) remains 68457/68459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 68455/68457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1672 ms. (2 steps per ms) remains 68449/68455 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1036 ms. (3 steps per ms) remains 68445/68449 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1207 ms. (3 steps per ms) remains 68441/68445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1381 ms. (2 steps per ms) remains 68436/68441 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1216 ms. (3 steps per ms) remains 68434/68436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1481 ms. (2 steps per ms) remains 68430/68434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 68427/68430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1405 ms. (2 steps per ms) remains 68424/68427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1709 ms. (2 steps per ms) remains 68420/68424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1278 ms. (3 steps per ms) remains 68417/68420 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 68415/68417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1333 ms. (3 steps per ms) remains 68410/68415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1354 ms. (2 steps per ms) remains 68405/68410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 68400/68405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1675 ms. (2 steps per ms) remains 68395/68400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1327 ms. (3 steps per ms) remains 68392/68395 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1319 ms. (3 steps per ms) remains 68388/68392 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1565 ms. (2 steps per ms) remains 68385/68388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 68383/68385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1289 ms. (3 steps per ms) remains 68378/68383 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1165 ms. (3 steps per ms) remains 68374/68378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1370 ms. (2 steps per ms) remains 68373/68374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 68370/68373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1105 ms. (3 steps per ms) remains 68364/68370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 68360/68364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1377 ms. (2 steps per ms) remains 68359/68360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 68356/68359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 68350/68356 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 68347/68350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1250 ms. (3 steps per ms) remains 68344/68347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 68340/68344 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1021 ms. (3 steps per ms) remains 68336/68340 properties
BEST_FIRST walk for 4003 steps (8 resets) in 955 ms. (4 steps per ms) remains 68331/68336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 68327/68331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 946 ms. (4 steps per ms) remains 68326/68327 properties
BEST_FIRST walk for 4003 steps (8 resets) in 989 ms. (4 steps per ms) remains 68321/68326 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68319/68321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1302 ms. (3 steps per ms) remains 68317/68319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1294 ms. (3 steps per ms) remains 68311/68317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 68308/68311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 68304/68308 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1290 ms. (3 steps per ms) remains 68300/68304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1129 ms. (3 steps per ms) remains 68298/68300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 68295/68298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 68293/68295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1277 ms. (3 steps per ms) remains 68290/68293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1345 ms. (2 steps per ms) remains 68287/68290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 68283/68287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 68280/68283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 68276/68280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 68272/68276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 68269/68272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 963 ms. (4 steps per ms) remains 68265/68269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 68262/68265 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1182 ms. (3 steps per ms) remains 68258/68262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 68255/68258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 68251/68255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 68245/68251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 68241/68245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 921 ms. (4 steps per ms) remains 68238/68241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4865 ms. (0 steps per ms) remains 68235/68238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 68230/68235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 68228/68230 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 68222/68228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 68219/68222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 68214/68219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 68209/68214 properties
BEST_FIRST walk for 4002 steps (8 resets) in 939 ms. (4 steps per ms) remains 68206/68209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 68202/68206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 68198/68202 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 68195/68198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 68192/68195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 68192/68192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 68190/68192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 68188/68190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 68184/68188 properties
BEST_FIRST walk for 4003 steps (8 resets) in 925 ms. (4 steps per ms) remains 68181/68184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 68176/68181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 68174/68176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 68170/68174 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1072 ms. (3 steps per ms) remains 68165/68170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 972 ms. (4 steps per ms) remains 68161/68165 properties
BEST_FIRST walk for 4002 steps (8 resets) in 969 ms. (4 steps per ms) remains 68157/68161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1008 ms. (3 steps per ms) remains 68153/68157 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1018 ms. (3 steps per ms) remains 68151/68153 properties
BEST_FIRST walk for 4001 steps (8 resets) in 858 ms. (4 steps per ms) remains 68148/68151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 68143/68148 properties
[2026-06-01 14:12:28] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9979056697270197244.txt' '-o' '/tmp/graph9979056697270197244.bin' '-w' '/tmp/graph9979056697270197244.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:71)
at java.base/java.lang.Thread.run(Thread.java:1583)
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 68139/68143 properties
BEST_FIRST walk for 4002 steps (8 resets) in 908 ms. (4 steps per ms) remains 68134/68139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 985 ms. (4 steps per ms) remains 68132/68134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 68128/68132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 68126/68128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 68122/68126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 933 ms. (4 steps per ms) remains 68120/68122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 68116/68120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 68113/68116 properties
BEST_FIRST walk for 4002 steps (8 resets) in 933 ms. (4 steps per ms) remains 68109/68113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 68104/68109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 68103/68104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1376 ms. (2 steps per ms) remains 68099/68103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 989 ms. (4 steps per ms) remains 68095/68099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 68093/68095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1460 ms. (2 steps per ms) remains 68091/68093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 884 ms. (4 steps per ms) remains 68086/68091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 68081/68086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 68077/68081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 68072/68077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 68068/68072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 874 ms. (4 steps per ms) remains 68066/68068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 874 ms. (4 steps per ms) remains 68066/68066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 68063/68066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 68060/68063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 968 ms. (4 steps per ms) remains 68055/68060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 68052/68055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 68051/68052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 68045/68051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 68041/68045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 68036/68041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 68032/68036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 68030/68032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 925 ms. (4 steps per ms) remains 68024/68030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 68020/68024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 68018/68020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 68014/68018 properties
BEST_FIRST walk for 4002 steps (8 resets) in 847 ms. (4 steps per ms) remains 68011/68014 properties
BEST_FIRST walk for 4001 steps (8 resets) in 955 ms. (4 steps per ms) remains 68006/68011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 68002/68006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 68000/68002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 67999/68000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 67992/67999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 906 ms. (4 steps per ms) remains 67990/67992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 67986/67990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 67982/67986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 67980/67982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 67976/67980 properties
BEST_FIRST walk for 4001 steps (8 resets) in 952 ms. (4 steps per ms) remains 67971/67976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 67967/67971 properties
BEST_FIRST walk for 4001 steps (8 resets) in 888 ms. (4 steps per ms) remains 67966/67967 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1014 ms. (3 steps per ms) remains 67963/67966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 991 ms. (4 steps per ms) remains 67960/67963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 67955/67960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 67950/67955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 67948/67950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 67944/67948 properties
[2026-06-01 14:12:44] [INFO ] Flatten gal took : 15650 ms
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 67941/67944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 67936/67941 properties
BEST_FIRST walk for 4002 steps (8 resets) in 818 ms. (4 steps per ms) remains 67933/67936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 879 ms. (4 steps per ms) remains 67930/67933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 67927/67930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 884 ms. (4 steps per ms) remains 67923/67927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1061 ms. (3 steps per ms) remains 67919/67923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 67914/67919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 67909/67914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 67904/67909 properties
[2026-06-01 14:12:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7948794921142175168.gal : 2373 ms
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 67901/67904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 67898/67901 properties
[2026-06-01 14:12:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3917011200740880301.prop : 648 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/ReachabilityCardinality7948794921142175168.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3917011200740880301.prop' '--nowitness' '--gen-order' 'FOLLOW'
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 67894/67898 properties

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 ...328
BEST_FIRST walk for 4003 steps (8 resets) in 969 ms. (4 steps per ms) remains 67890/67894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 950 ms. (4 steps per ms) remains 67888/67890 properties
BEST_FIRST walk for 4002 steps (8 resets) in 821 ms. (4 steps per ms) remains 67884/67888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 67881/67884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1008 ms. (3 steps per ms) remains 67879/67881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 67876/67879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 67872/67876 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 67870/67872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 793 ms. (5 steps per ms) remains 67866/67870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 67864/67866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 67861/67864 properties
BEST_FIRST walk for 4003 steps (8 resets) in 889 ms. (4 steps per ms) remains 67857/67861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 67855/67857 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 67852/67855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 67847/67852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 67844/67847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 67839/67844 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 67836/67839 properties
BEST_FIRST walk for 4002 steps (8 resets) in 913 ms. (4 steps per ms) remains 67832/67836 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 67829/67832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 67824/67829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 67818/67824 properties
BEST_FIRST walk for 4002 steps (8 resets) in 916 ms. (4 steps per ms) remains 67817/67818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 67815/67817 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 67811/67815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 67808/67811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 67804/67808 properties
BEST_FIRST walk for 4002 steps (8 resets) in 851 ms. (4 steps per ms) remains 67799/67804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 67794/67799 properties
BEST_FIRST walk for 4002 steps (8 resets) in 921 ms. (4 steps per ms) remains 67790/67794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 67785/67790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 67784/67785 properties
BEST_FIRST walk for 4002 steps (8 resets) in 907 ms. (4 steps per ms) remains 67782/67784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 67779/67782 properties
BEST_FIRST walk for 4002 steps (8 resets) in 901 ms. (4 steps per ms) remains 67775/67779 properties
BEST_FIRST walk for 4002 steps (8 resets) in 942 ms. (4 steps per ms) remains 67770/67775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 955 ms. (4 steps per ms) remains 67767/67770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 784 ms. (5 steps per ms) remains 67765/67767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 67761/67765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 813 ms. (4 steps per ms) remains 67760/67761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 67758/67760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 67755/67758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 67752/67755 properties
BEST_FIRST walk for 4002 steps (8 resets) in 845 ms. (4 steps per ms) remains 67748/67752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 67746/67748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 67744/67746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 921 ms. (4 steps per ms) remains 67743/67744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 946 ms. (4 steps per ms) remains 67739/67743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 67736/67739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 947 ms. (4 steps per ms) remains 67734/67736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 67731/67734 properties
BEST_FIRST walk for 4002 steps (8 resets) in 906 ms. (4 steps per ms) remains 67727/67731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 67724/67727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 67723/67724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 67716/67723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 937 ms. (4 steps per ms) remains 67712/67716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 67708/67712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 67701/67708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 67698/67701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 67694/67698 properties
BEST_FIRST walk for 4003 steps (8 resets) in 938 ms. (4 steps per ms) remains 67690/67694 properties
BEST_FIRST walk for 4002 steps (8 resets) in 873 ms. (4 steps per ms) remains 67683/67690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 67680/67683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 67679/67680 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 67675/67679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 67675/67675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 873 ms. (4 steps per ms) remains 67674/67675 properties
BEST_FIRST walk for 4001 steps (8 resets) in 884 ms. (4 steps per ms) remains 67671/67674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 67668/67671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 67662/67668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 67657/67662 properties
BEST_FIRST walk for 4003 steps (8 resets) in 918 ms. (4 steps per ms) remains 67651/67657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 67646/67651 properties
BEST_FIRST walk for 4002 steps (8 resets) in 890 ms. (4 steps per ms) remains 67642/67646 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 67640/67642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 67637/67640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 67637/67637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 67636/67637 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 67631/67636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 67628/67631 properties
BEST_FIRST walk for 4001 steps (8 resets) in 838 ms. (4 steps per ms) remains 67626/67628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 999 ms. (4 steps per ms) remains 67623/67626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 67619/67623 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 67617/67619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 67616/67617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 67612/67616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 806 ms. (4 steps per ms) remains 67608/67612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 67606/67608 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 67602/67606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 67597/67602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 67594/67597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 67592/67594 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 67590/67592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 67587/67590 properties
BEST_FIRST walk for 4002 steps (8 resets) in 787 ms. (5 steps per ms) remains 67583/67587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 67579/67583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 67576/67579 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1035 ms. (3 steps per ms) remains 67571/67576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 67567/67571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 67563/67567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 67560/67563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 67559/67560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 67555/67559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 67550/67555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 67546/67550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 775 ms. (5 steps per ms) remains 67543/67546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 886 ms. (4 steps per ms) remains 67540/67543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 67536/67540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 67533/67536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 67532/67533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 67528/67532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 67525/67528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 763 ms. (5 steps per ms) remains 67521/67525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 67519/67521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 67516/67519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 67514/67516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 67510/67514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 67505/67510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 67501/67505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 67496/67501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 873 ms. (4 steps per ms) remains 67492/67496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 899 ms. (4 steps per ms) remains 67489/67492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 67486/67489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 67481/67486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 67477/67481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 807 ms. (4 steps per ms) remains 67472/67477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 798 ms. (5 steps per ms) remains 67468/67472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 67464/67468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 67461/67464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 67456/67461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 67451/67456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 67447/67451 properties
BEST_FIRST walk for 4003 steps (8 resets) in 867 ms. (4 steps per ms) remains 67443/67447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 67439/67443 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 67437/67439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 67433/67437 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 67430/67433 properties
BEST_FIRST walk for 4003 steps (8 resets) in 899 ms. (4 steps per ms) remains 67426/67430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 67422/67426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 67415/67422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 67412/67415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 853 ms. (4 steps per ms) remains 67408/67412 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 67404/67408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 809 ms. (4 steps per ms) remains 67400/67404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 67397/67400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 67394/67397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 67391/67394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 67389/67391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 67385/67389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 67381/67385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1148 ms. (3 steps per ms) remains 67377/67381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 67375/67377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1131 ms. (3 steps per ms) remains 67370/67375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 67366/67370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 67364/67366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 67361/67364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 67359/67361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 67357/67359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 67355/67357 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1145 ms. (3 steps per ms) remains 67351/67355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 67346/67351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 67345/67346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 67342/67345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 67337/67342 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1156 ms. (3 steps per ms) remains 67333/67337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 67328/67333 properties
BEST_FIRST walk for 4002 steps (8 resets) in 936 ms. (4 steps per ms) remains 67326/67328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 67322/67326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 67318/67322 properties
BEST_FIRST walk for 4002 steps (8 resets) in 849 ms. (4 steps per ms) remains 67314/67318 properties
BEST_FIRST walk for 4002 steps (8 resets) in 918 ms. (4 steps per ms) remains 67310/67314 properties
BEST_FIRST walk for 4002 steps (8 resets) in 923 ms. (4 steps per ms) remains 67304/67310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 67300/67304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 67296/67300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 67294/67296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 867 ms. (4 steps per ms) remains 67291/67294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 67287/67291 properties
BEST_FIRST walk for 4002 steps (8 resets) in 808 ms. (4 steps per ms) remains 67285/67287 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 67279/67285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 67275/67279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 769 ms. (5 steps per ms) remains 67272/67275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 67270/67272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 795 ms. (5 steps per ms) remains 67269/67270 properties
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 67267/67269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 67264/67267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 67259/67264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 67257/67259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 67253/67257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 67250/67253 properties
BEST_FIRST walk for 4002 steps (8 resets) in 805 ms. (4 steps per ms) remains 67244/67250 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 67240/67244 properties
BEST_FIRST walk for 4002 steps (8 resets) in 821 ms. (4 steps per ms) remains 67237/67240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 742 ms. (5 steps per ms) remains 67232/67237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 67228/67232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 67226/67228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 67222/67226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 873 ms. (4 steps per ms) remains 67220/67222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 846 ms. (4 steps per ms) remains 67217/67220 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 67214/67217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 67211/67214 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 67207/67211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 67204/67207 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 67200/67204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 67197/67200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 867 ms. (4 steps per ms) remains 67192/67197 properties
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 67189/67192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 67186/67189 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 67182/67186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 67181/67182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 67178/67181 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 67174/67178 properties
BEST_FIRST walk for 4002 steps (8 resets) in 847 ms. (4 steps per ms) remains 67167/67174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 67164/67167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1154 ms. (3 steps per ms) remains 67158/67164 properties
BEST_FIRST walk for 4002 steps (8 resets) in 813 ms. (4 steps per ms) remains 67157/67158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 67154/67157 properties
BEST_FIRST walk for 4003 steps (8 resets) in 929 ms. (4 steps per ms) remains 67151/67154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 860 ms. (4 steps per ms) remains 67148/67151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 67146/67148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 67143/67146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 67141/67143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 988 ms. (4 steps per ms) remains 67137/67141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 67135/67137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 67131/67135 properties
BEST_FIRST walk for 4001 steps (8 resets) in 921 ms. (4 steps per ms) remains 67126/67131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 67121/67126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 67118/67121 properties
BEST_FIRST walk for 4002 steps (8 resets) in 867 ms. (4 steps per ms) remains 67114/67118 properties
BEST_FIRST walk for 4003 steps (8 resets) in 889 ms. (4 steps per ms) remains 67110/67114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 67107/67110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 67104/67107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 795 ms. (5 steps per ms) remains 67102/67104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 67100/67102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 67098/67100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 67096/67098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 67094/67096 properties
BEST_FIRST walk for 4002 steps (8 resets) in 890 ms. (4 steps per ms) remains 67090/67094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 67087/67090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 67083/67087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 929 ms. (4 steps per ms) remains 67080/67083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 67079/67080 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 67076/67079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 67073/67076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 67068/67073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 67065/67068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 67063/67065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 974 ms. (4 steps per ms) remains 67059/67063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 67057/67059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 67054/67057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 67050/67054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 907 ms. (4 steps per ms) remains 67047/67050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 67042/67047 properties
BEST_FIRST walk for 4002 steps (8 resets) in 824 ms. (4 steps per ms) remains 67040/67042 properties
BEST_FIRST walk for 4002 steps (8 resets) in 875 ms. (4 steps per ms) remains 67034/67040 properties
BEST_FIRST walk for 4002 steps (8 resets) in 923 ms. (4 steps per ms) remains 67028/67034 properties
BEST_FIRST walk for 4001 steps (8 resets) in 820 ms. (4 steps per ms) remains 67023/67028 properties
BEST_FIRST walk for 4003 steps (8 resets) in 853 ms. (4 steps per ms) remains 67019/67023 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 67015/67019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 67013/67015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 67011/67013 properties
BEST_FIRST walk for 4002 steps (8 resets) in 875 ms. (4 steps per ms) remains 67008/67011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 67004/67008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 67001/67004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 66999/67001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 66997/66999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 753 ms. (5 steps per ms) remains 66992/66997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 66988/66992 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 66987/66988 properties
BEST_FIRST walk for 4002 steps (8 resets) in 774 ms. (5 steps per ms) remains 66982/66987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 66982/66982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 66979/66982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 66975/66979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 66973/66975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 66971/66973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 66966/66971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 827 ms. (4 steps per ms) remains 66961/66966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 66957/66961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 66953/66957 properties
BEST_FIRST walk for 4002 steps (8 resets) in 903 ms. (4 steps per ms) remains 66949/66953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 831 ms. (4 steps per ms) remains 66945/66949 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1016 ms. (3 steps per ms) remains 66940/66945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 66933/66940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 66931/66933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 843 ms. (4 steps per ms) remains 66928/66931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 857 ms. (4 steps per ms) remains 66925/66928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 66920/66925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 66917/66920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 66914/66917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 984 ms. (4 steps per ms) remains 66908/66914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 775 ms. (5 steps per ms) remains 66906/66908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 66903/66906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 807 ms. (4 steps per ms) remains 66899/66903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 965 ms. (4 steps per ms) remains 66896/66899 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 66894/66896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 847 ms. (4 steps per ms) remains 66890/66894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 750 ms. (5 steps per ms) remains 66884/66890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 787 ms. (5 steps per ms) remains 66882/66884 properties
BEST_FIRST walk for 4002 steps (8 resets) in 888 ms. (4 steps per ms) remains 66876/66882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 66875/66876 properties
BEST_FIRST walk for 4003 steps (8 resets) in 880 ms. (4 steps per ms) remains 66871/66875 properties
BEST_FIRST walk for 4003 steps (8 resets) in 787 ms. (5 steps per ms) remains 66869/66871 properties
BEST_FIRST walk for 4001 steps (8 resets) in 806 ms. (4 steps per ms) remains 66868/66869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 66865/66868 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 66861/66865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 66857/66861 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 66852/66857 properties
BEST_FIRST walk for 4002 steps (8 resets) in 847 ms. (4 steps per ms) remains 66850/66852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 66846/66850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 66842/66846 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 66838/66842 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 66836/66838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 66832/66836 properties
BEST_FIRST walk for 4003 steps (8 resets) in 799 ms. (5 steps per ms) remains 66828/66832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 66825/66828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 66822/66825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 66821/66822 properties
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 66819/66821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 66815/66819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 66814/66815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 919 ms. (4 steps per ms) remains 66813/66814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 933 ms. (4 steps per ms) remains 66810/66813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 66809/66810 properties
BEST_FIRST walk for 4002 steps (8 resets) in 904 ms. (4 steps per ms) remains 66808/66809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 66806/66808 properties
BEST_FIRST walk for 4002 steps (8 resets) in 843 ms. (4 steps per ms) remains 66800/66806 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 66798/66800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 66798/66798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 66794/66798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 66791/66794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 66788/66791 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 66787/66788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 969 ms. (4 steps per ms) remains 66781/66787 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 66779/66781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 66778/66779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 66774/66778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 66769/66774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 66766/66769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 66761/66766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 66758/66761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 950 ms. (4 steps per ms) remains 66755/66758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 66752/66755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 66748/66752 properties
BEST_FIRST walk for 4002 steps (8 resets) in 964 ms. (4 steps per ms) remains 66745/66748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 66739/66745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 66738/66739 properties
BEST_FIRST walk for 4002 steps (8 resets) in 823 ms. (4 steps per ms) remains 66736/66738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 66729/66736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 66728/66729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 66723/66728 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 66720/66723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 66718/66720 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 66716/66718 properties
BEST_FIRST walk for 4002 steps (8 resets) in 906 ms. (4 steps per ms) remains 66712/66716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 905 ms. (4 steps per ms) remains 66711/66712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 66710/66711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 66708/66710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 66704/66708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 913 ms. (4 steps per ms) remains 66698/66704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 66694/66698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 66689/66694 properties
BEST_FIRST walk for 4002 steps (8 resets) in 797 ms. (5 steps per ms) remains 66687/66689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 66685/66687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 66683/66685 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1318 ms. (3 steps per ms) remains 66677/66683 properties
BEST_FIRST walk for 4002 steps (8 resets) in 993 ms. (4 steps per ms) remains 66674/66677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 66670/66674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 66667/66670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 66665/66667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 66660/66665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 66657/66660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 66655/66657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 842 ms. (4 steps per ms) remains 66653/66655 properties
BEST_FIRST walk for 4002 steps (8 resets) in 915 ms. (4 steps per ms) remains 66647/66653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 66643/66647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 66641/66643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 66636/66641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 66632/66636 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 66630/66632 properties
BEST_FIRST walk for 4002 steps (8 resets) in 938 ms. (4 steps per ms) remains 66627/66630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 66622/66627 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 66617/66622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 66613/66617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 66612/66613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 66606/66612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 66602/66606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 66600/66602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 66596/66600 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 66591/66596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 66588/66591 properties
BEST_FIRST walk for 4003 steps (8 resets) in 957 ms. (4 steps per ms) remains 66587/66588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 832 ms. (4 steps per ms) remains 66583/66587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 66581/66583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 66580/66581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 66576/66580 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 66575/66576 properties
BEST_FIRST walk for 4002 steps (8 resets) in 836 ms. (4 steps per ms) remains 66574/66575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 874 ms. (4 steps per ms) remains 66571/66574 properties
BEST_FIRST walk for 4002 steps (8 resets) in 889 ms. (4 steps per ms) remains 66568/66571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 851 ms. (4 steps per ms) remains 66565/66568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 66563/66565 properties
BEST_FIRST walk for 4002 steps (8 resets) in 854 ms. (4 steps per ms) remains 66561/66563 properties
BEST_FIRST walk for 4002 steps (8 resets) in 867 ms. (4 steps per ms) remains 66558/66561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 66555/66558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 66551/66555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 66547/66551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 66544/66547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 66541/66544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 871 ms. (4 steps per ms) remains 66536/66541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 66533/66536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 66530/66533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 763 ms. (5 steps per ms) remains 66528/66530 properties
BEST_FIRST walk for 4002 steps (8 resets) in 887 ms. (4 steps per ms) remains 66524/66528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 66522/66524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 66519/66522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 66516/66519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 811 ms. (4 steps per ms) remains 66512/66516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 66509/66512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 66506/66509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 838 ms. (4 steps per ms) remains 66505/66506 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 66503/66505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 838 ms. (4 steps per ms) remains 66500/66503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 66495/66500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 66492/66495 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 66489/66492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 66486/66489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 66484/66486 properties
BEST_FIRST walk for 4002 steps (8 resets) in 838 ms. (4 steps per ms) remains 66478/66484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 66473/66478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 66467/66473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 66463/66467 properties
BEST_FIRST walk for 4002 steps (8 resets) in 845 ms. (4 steps per ms) remains 66459/66463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 66457/66459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 66456/66457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 66452/66456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 66448/66452 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 66445/66448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 66440/66445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 66435/66440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 66432/66435 properties
BEST_FIRST walk for 4004 steps (8 resets) in 881 ms. (4 steps per ms) remains 66430/66432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 66426/66430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 66424/66426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 66418/66424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 66414/66418 properties
BEST_FIRST walk for 4002 steps (8 resets) in 857 ms. (4 steps per ms) remains 66409/66414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 66404/66409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 66401/66404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 66400/66401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 66398/66400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 890 ms. (4 steps per ms) remains 66396/66398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 66391/66396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 66386/66391 properties
BEST_FIRST walk for 4002 steps (8 resets) in 878 ms. (4 steps per ms) remains 66384/66386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 66381/66384 properties
BEST_FIRST walk for 4003 steps (8 resets) in 828 ms. (4 steps per ms) remains 66378/66381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 880 ms. (4 steps per ms) remains 66375/66378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 66370/66375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 66368/66370 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 66365/66368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 66361/66365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 66357/66361 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 66352/66357 properties
BEST_FIRST walk for 4002 steps (8 resets) in 836 ms. (4 steps per ms) remains 66349/66352 properties
BEST_FIRST walk for 4003 steps (8 resets) in 946 ms. (4 steps per ms) remains 66348/66349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 66347/66348 properties
BEST_FIRST walk for 4002 steps (8 resets) in 845 ms. (4 steps per ms) remains 66346/66347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 66344/66346 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 66341/66344 properties
BEST_FIRST walk for 4002 steps (8 resets) in 864 ms. (4 steps per ms) remains 66339/66341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 66334/66339 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 66331/66334 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 66328/66331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 66325/66328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 859 ms. (4 steps per ms) remains 66320/66325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 66318/66320 properties
BEST_FIRST walk for 4001 steps (8 resets) in 896 ms. (4 steps per ms) remains 66314/66318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 66312/66314 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 66310/66312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 66305/66310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 66299/66305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 66297/66299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 66294/66297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 66290/66294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 66288/66290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 856 ms. (4 steps per ms) remains 66285/66288 properties
BEST_FIRST walk for 4002 steps (8 resets) in 873 ms. (4 steps per ms) remains 66281/66285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 799 ms. (5 steps per ms) remains 66278/66281 properties
BEST_FIRST walk for 4003 steps (8 resets) in 772 ms. (5 steps per ms) remains 66275/66278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 66271/66275 properties
BEST_FIRST walk for 4002 steps (8 resets) in 807 ms. (4 steps per ms) remains 66269/66271 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 66266/66269 properties
BEST_FIRST walk for 4003 steps (8 resets) in 839 ms. (4 steps per ms) remains 66264/66266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 66262/66264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 66256/66262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 66253/66256 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 66249/66253 properties
BEST_FIRST walk for 4002 steps (8 resets) in 855 ms. (4 steps per ms) remains 66246/66249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 66245/66246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 66241/66245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 66237/66241 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 66231/66237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 66227/66231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 66223/66227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 66217/66223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 66213/66217 properties
BEST_FIRST walk for 4001 steps (8 resets) in 913 ms. (4 steps per ms) remains 66210/66213 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 66205/66210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 66202/66205 properties
BEST_FIRST walk for 4002 steps (8 resets) in 939 ms. (4 steps per ms) remains 66197/66202 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 66194/66197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 66191/66194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 770 ms. (5 steps per ms) remains 66190/66191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 66186/66190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 66184/66186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 66183/66184 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 66181/66183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 66177/66181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 66172/66177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 792 ms. (5 steps per ms) remains 66169/66172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 66165/66169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 66162/66165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 66156/66162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 66152/66156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 66149/66152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 66147/66149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 66142/66147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 66140/66142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 918 ms. (4 steps per ms) remains 66137/66140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 66133/66137 properties
BEST_FIRST walk for 4002 steps (8 resets) in 795 ms. (5 steps per ms) remains 66128/66133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 66125/66128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 773 ms. (5 steps per ms) remains 66122/66125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 772 ms. (5 steps per ms) remains 66119/66122 properties
BEST_FIRST walk for 4002 steps (8 resets) in 818 ms. (4 steps per ms) remains 66112/66119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 66110/66112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 66107/66110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 66103/66107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 794 ms. (5 steps per ms) remains 66102/66103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 66097/66102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 66095/66097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 66092/66095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 66091/66092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 66088/66091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 66085/66088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 66083/66085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 66080/66083 properties
BEST_FIRST walk for 4002 steps (8 resets) in 944 ms. (4 steps per ms) remains 66077/66080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 66075/66077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 66073/66075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 66067/66073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 822 ms. (4 steps per ms) remains 66063/66067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 66061/66063 properties
BEST_FIRST walk for 4002 steps (8 resets) in 782 ms. (5 steps per ms) remains 66057/66061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 66053/66057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 66048/66053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 66045/66048 properties
BEST_FIRST walk for 4002 steps (8 resets) in 825 ms. (4 steps per ms) remains 66042/66045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 66039/66042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 66035/66039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 66033/66035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1061 ms. (3 steps per ms) remains 66029/66033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 66027/66029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 955 ms. (4 steps per ms) remains 66022/66027 properties
BEST_FIRST walk for 4002 steps (8 resets) in 929 ms. (4 steps per ms) remains 66018/66022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 924 ms. (4 steps per ms) remains 66012/66018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 898 ms. (4 steps per ms) remains 66010/66012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 804 ms. (4 steps per ms) remains 66006/66010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 66003/66006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 65997/66003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 65992/65997 properties
BEST_FIRST walk for 4001 steps (8 resets) in 973 ms. (4 steps per ms) remains 65986/65992 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 65983/65986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 926 ms. (4 steps per ms) remains 65981/65983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 65979/65981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 65974/65979 properties
BEST_FIRST walk for 4002 steps (8 resets) in 898 ms. (4 steps per ms) remains 65971/65974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 956 ms. (4 steps per ms) remains 65967/65971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 815 ms. (4 steps per ms) remains 65963/65967 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 65959/65963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 65955/65959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 65955/65955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 65952/65955 properties
BEST_FIRST walk for 4002 steps (8 resets) in 874 ms. (4 steps per ms) remains 65949/65952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 65943/65949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 65940/65943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 909 ms. (4 steps per ms) remains 65936/65940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 817 ms. (4 steps per ms) remains 65932/65936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 936 ms. (4 steps per ms) remains 65927/65932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 986 ms. (4 steps per ms) remains 65924/65927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 65922/65924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 65920/65922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 849 ms. (4 steps per ms) remains 65917/65920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 65909/65917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 65903/65909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 65902/65903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 65900/65902 properties
BEST_FIRST walk for 4002 steps (8 resets) in 870 ms. (4 steps per ms) remains 65897/65900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 65895/65897 properties
BEST_FIRST walk for 4002 steps (8 resets) in 845 ms. (4 steps per ms) remains 65894/65895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 65889/65894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 860 ms. (4 steps per ms) remains 65889/65889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 65885/65889 properties
BEST_FIRST walk for 4002 steps (8 resets) in 862 ms. (4 steps per ms) remains 65883/65885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 65880/65883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 65875/65880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 65874/65875 properties
BEST_FIRST walk for 4003 steps (8 resets) in 953 ms. (4 steps per ms) remains 65872/65874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 824 ms. (4 steps per ms) remains 65871/65872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 983 ms. (4 steps per ms) remains 65867/65871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 65865/65867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 65862/65865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 65858/65862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 804 ms. (4 steps per ms) remains 65855/65858 properties
BEST_FIRST walk for 4003 steps (8 resets) in 830 ms. (4 steps per ms) remains 65850/65855 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 65847/65850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 65845/65847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 65841/65845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 65837/65841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 65834/65837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 65831/65834 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 65827/65831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 65825/65827 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 65824/65825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 65820/65824 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 65816/65820 properties
BEST_FIRST walk for 4003 steps (8 resets) in 821 ms. (4 steps per ms) remains 65812/65816 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 65805/65812 properties
BEST_FIRST walk for 4002 steps (8 resets) in 881 ms. (4 steps per ms) remains 65802/65805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 65797/65802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 65792/65797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 65789/65792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 65784/65789 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 65780/65784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 65777/65780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 65771/65777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 65768/65771 properties
BEST_FIRST walk for 4002 steps (8 resets) in 860 ms. (4 steps per ms) remains 65765/65768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 65764/65765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 65761/65764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 788 ms. (5 steps per ms) remains 65756/65761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 65754/65756 properties
BEST_FIRST walk for 4002 steps (8 resets) in 846 ms. (4 steps per ms) remains 65749/65754 properties
BEST_FIRST walk for 4001 steps (8 resets) in 904 ms. (4 steps per ms) remains 65745/65749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 65742/65745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 65740/65742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 854 ms. (4 steps per ms) remains 65735/65740 properties
BEST_FIRST walk for 4004 steps (8 resets) in 776 ms. (5 steps per ms) remains 65734/65735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 874 ms. (4 steps per ms) remains 65729/65734 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 65726/65729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 790 ms. (5 steps per ms) remains 65721/65726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 803 ms. (4 steps per ms) remains 65716/65721 properties
BEST_FIRST walk for 4002 steps (8 resets) in 774 ms. (5 steps per ms) remains 65710/65716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 65707/65710 properties
BEST_FIRST walk for 4002 steps (8 resets) in 837 ms. (4 steps per ms) remains 65706/65707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 65703/65706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 998 ms. (4 steps per ms) remains 65700/65703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 65697/65700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 65697/65697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 65692/65697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 820 ms. (4 steps per ms) remains 65689/65692 properties
BEST_FIRST walk for 4004 steps (8 resets) in 782 ms. (5 steps per ms) remains 65685/65689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 65682/65685 properties
BEST_FIRST walk for 4002 steps (8 resets) in 862 ms. (4 steps per ms) remains 65677/65682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 65674/65677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 796 ms. (5 steps per ms) remains 65671/65674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 65667/65671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 65663/65667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 65660/65663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 65655/65660 properties
BEST_FIRST walk for 4003 steps (8 resets) in 787 ms. (5 steps per ms) remains 65650/65655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 65649/65650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 65647/65649 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 65645/65647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 65637/65645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 65633/65637 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 65630/65633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 65627/65630 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 65623/65627 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1063 ms. (3 steps per ms) remains 65621/65623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 65617/65621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1008 ms. (3 steps per ms) remains 65613/65617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 65610/65613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 65606/65610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 65602/65606 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1025 ms. (3 steps per ms) remains 65599/65602 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1315 ms. (3 steps per ms) remains 65595/65599 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 65593/65595 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 65587/65593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1135 ms. (3 steps per ms) remains 65586/65587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 65582/65586 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 65579/65582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 65574/65579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 65571/65574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 65568/65571 properties
BEST_FIRST walk for 4002 steps (8 resets) in 853 ms. (4 steps per ms) remains 65564/65568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 797 ms. (5 steps per ms) remains 65563/65564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 777 ms. (5 steps per ms) remains 65562/65563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 772 ms. (5 steps per ms) remains 65560/65562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 65557/65560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 65555/65557 properties
BEST_FIRST walk for 4003 steps (8 resets) in 840 ms. (4 steps per ms) remains 65554/65555 properties
BEST_FIRST walk for 4002 steps (8 resets) in 884 ms. (4 steps per ms) remains 65550/65554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 65546/65550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 65544/65546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 780 ms. (5 steps per ms) remains 65540/65544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 821 ms. (4 steps per ms) remains 65537/65540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 796 ms. (5 steps per ms) remains 65535/65537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 65533/65535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 790 ms. (5 steps per ms) remains 65532/65533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 65531/65532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 65529/65531 properties
BEST_FIRST walk for 4002 steps (8 resets) in 918 ms. (4 steps per ms) remains 65526/65529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 830 ms. (4 steps per ms) remains 65524/65526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 817 ms. (4 steps per ms) remains 65520/65524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 775 ms. (5 steps per ms) remains 65516/65520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 800 ms. (4 steps per ms) remains 65514/65516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 65512/65514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 822 ms. (4 steps per ms) remains 65506/65512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 818 ms. (4 steps per ms) remains 65503/65506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 65500/65503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 65494/65500 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 65488/65494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 870 ms. (4 steps per ms) remains 65485/65488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 65482/65485 properties
BEST_FIRST walk for 4002 steps (8 resets) in 879 ms. (4 steps per ms) remains 65478/65482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 759 ms. (5 steps per ms) remains 65473/65478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 773 ms. (5 steps per ms) remains 65470/65473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 65469/65470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 808 ms. (4 steps per ms) remains 65467/65469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 885 ms. (4 steps per ms) remains 65463/65467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 65460/65463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 65458/65460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 65454/65458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1214 ms. (3 steps per ms) remains 65451/65454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 65449/65451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 65445/65449 properties
BEST_FIRST walk for 4003 steps (8 resets) in 876 ms. (4 steps per ms) remains 65443/65445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 821 ms. (4 steps per ms) remains 65440/65443 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 65439/65440 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 65436/65439 properties
BEST_FIRST walk for 4003 steps (8 resets) in 832 ms. (4 steps per ms) remains 65433/65436 properties
BEST_FIRST walk for 4002 steps (8 resets) in 798 ms. (5 steps per ms) remains 65430/65433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 65426/65430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 65424/65426 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 65420/65424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 819 ms. (4 steps per ms) remains 65417/65420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 65415/65417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 65413/65415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 811 ms. (4 steps per ms) remains 65410/65413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 65407/65410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 65405/65407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 726 ms. (5 steps per ms) remains 65402/65405 properties
BEST_FIRST walk for 4003 steps (8 resets) in 745 ms. (5 steps per ms) remains 65398/65402 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 65394/65398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 768 ms. (5 steps per ms) remains 65393/65394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 65389/65393 properties
BEST_FIRST walk for 4003 steps (8 resets) in 902 ms. (4 steps per ms) remains 65386/65389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 65385/65386 properties
BEST_FIRST walk for 4002 steps (8 resets) in 805 ms. (4 steps per ms) remains 65380/65385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 853 ms. (4 steps per ms) remains 65378/65380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 65373/65378 properties
BEST_FIRST walk for 4001 steps (8 resets) in 839 ms. (4 steps per ms) remains 65370/65373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 774 ms. (5 steps per ms) remains 65369/65370 properties
BEST_FIRST walk for 4003 steps (8 resets) in 786 ms. (5 steps per ms) remains 65365/65369 properties
BEST_FIRST walk for 4003 steps (8 resets) in 789 ms. (5 steps per ms) remains 65364/65365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 935 ms. (4 steps per ms) remains 65362/65364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 930 ms. (4 steps per ms) remains 65359/65362 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 65357/65359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 65353/65357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 65350/65353 properties
BEST_FIRST walk for 4003 steps (8 resets) in 786 ms. (5 steps per ms) remains 65348/65350 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 65345/65348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 65343/65345 properties
BEST_FIRST walk for 4002 steps (8 resets) in 762 ms. (5 steps per ms) remains 65338/65343 properties
BEST_FIRST walk for 4002 steps (8 resets) in 826 ms. (4 steps per ms) remains 65334/65338 properties
BEST_FIRST walk for 4003 steps (8 resets) in 799 ms. (5 steps per ms) remains 65331/65334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 65328/65331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 65327/65328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 783 ms. (5 steps per ms) remains 65322/65327 properties
BEST_FIRST walk for 4002 steps (8 resets) in 735 ms. (5 steps per ms) remains 65319/65322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 773 ms. (5 steps per ms) remains 65316/65319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 65313/65316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 65311/65313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 65307/65311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 814 ms. (4 steps per ms) remains 65305/65307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 810 ms. (4 steps per ms) remains 65300/65305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 804 ms. (4 steps per ms) remains 65296/65300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 65294/65296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 65289/65294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 65286/65289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 867 ms. (4 steps per ms) remains 65282/65286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 65279/65282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 65272/65279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 65269/65272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 65269/65269 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 65265/65269 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1111 ms. (3 steps per ms) remains 65262/65265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 65258/65262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 930 ms. (4 steps per ms) remains 65255/65258 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 65254/65255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 808 ms. (4 steps per ms) remains 65251/65254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 65248/65251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 866 ms. (4 steps per ms) remains 65246/65248 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 65242/65246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 910 ms. (4 steps per ms) remains 65237/65242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 65231/65237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 65225/65231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 65221/65225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 65217/65221 properties
BEST_FIRST walk for 4002 steps (8 resets) in 843 ms. (4 steps per ms) remains 65215/65217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 65212/65215 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 65205/65212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 797 ms. (5 steps per ms) remains 65204/65205 properties
BEST_FIRST walk for 4003 steps (8 resets) in 780 ms. (5 steps per ms) remains 65203/65204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 65197/65203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 65194/65197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 65190/65194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 65188/65190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 65182/65188 properties
BEST_FIRST walk for 4003 steps (8 resets) in 864 ms. (4 steps per ms) remains 65181/65182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1071 ms. (3 steps per ms) remains 65180/65181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 65178/65180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 65174/65178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 65172/65174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 65168/65172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 65163/65168 properties
BEST_FIRST walk for 4002 steps (8 resets) in 816 ms. (4 steps per ms) remains 65161/65163 properties
BEST_FIRST walk for 4002 steps (8 resets) in 854 ms. (4 steps per ms) remains 65161/65161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 65157/65161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 65152/65157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 65150/65152 properties
BEST_FIRST walk for 4003 steps (8 resets) in 867 ms. (4 steps per ms) remains 65149/65150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 744 ms. (5 steps per ms) remains 65146/65149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 65143/65146 properties
BEST_FIRST walk for 4001 steps (8 resets) in 929 ms. (4 steps per ms) remains 65141/65143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 65140/65141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 65136/65140 properties
BEST_FIRST walk for 4002 steps (8 resets) in 823 ms. (4 steps per ms) remains 65134/65136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 65133/65134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 65130/65133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 805 ms. (4 steps per ms) remains 65126/65130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 65123/65126 properties
BEST_FIRST walk for 4002 steps (8 resets) in 882 ms. (4 steps per ms) remains 65122/65123 properties
BEST_FIRST walk for 4002 steps (8 resets) in 882 ms. (4 steps per ms) remains 65119/65122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 65115/65119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 860 ms. (4 steps per ms) remains 65113/65115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 65110/65113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 65105/65110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 861 ms. (4 steps per ms) remains 65101/65105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 65100/65101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 871 ms. (4 steps per ms) remains 65097/65100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 826 ms. (4 steps per ms) remains 65094/65097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 780 ms. (5 steps per ms) remains 65089/65094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 65085/65089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 65080/65085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 65076/65080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 810 ms. (4 steps per ms) remains 65073/65076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 65071/65073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 860 ms. (4 steps per ms) remains 65067/65071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 65063/65067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1040 ms. (3 steps per ms) remains 65060/65063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 65056/65060 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1043 ms. (3 steps per ms) remains 65054/65056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1082 ms. (3 steps per ms) remains 65053/65054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 65053/65053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 980 ms. (4 steps per ms) remains 65051/65053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 65049/65051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 831 ms. (4 steps per ms) remains 65046/65049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 65045/65046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 65043/65045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1065 ms. (3 steps per ms) remains 65039/65043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1076 ms. (3 steps per ms) remains 65035/65039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1098 ms. (3 steps per ms) remains 65031/65035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 967 ms. (4 steps per ms) remains 65028/65031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 65026/65028 properties
BEST_FIRST walk for 4003 steps (8 resets) in 859 ms. (4 steps per ms) remains 65022/65026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 65018/65022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 65012/65018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 65010/65012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 923 ms. (4 steps per ms) remains 65007/65010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 65005/65007 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1007 ms. (3 steps per ms) remains 65001/65005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 962 ms. (4 steps per ms) remains 64998/65001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 64995/64998 properties
BEST_FIRST walk for 4002 steps (8 resets) in 818 ms. (4 steps per ms) remains 64990/64995 properties
BEST_FIRST walk for 4002 steps (8 resets) in 911 ms. (4 steps per ms) remains 64990/64990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 64986/64990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 64985/64986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 64983/64985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 64979/64983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 64974/64979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 64968/64974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 64965/64968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 64963/64965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 64962/64963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 64956/64962 properties
BEST_FIRST walk for 4002 steps (8 resets) in 866 ms. (4 steps per ms) remains 64952/64956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 64951/64952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 64948/64951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 64946/64948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 64945/64946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 955 ms. (4 steps per ms) remains 64943/64945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 64938/64943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 64936/64938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 64933/64936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 64933/64933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 868 ms. (4 steps per ms) remains 64930/64933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 64928/64930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 64925/64928 properties
BEST_FIRST walk for 4002 steps (8 resets) in 954 ms. (4 steps per ms) remains 64922/64925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 64920/64922 properties
BEST_FIRST walk for 4002 steps (8 resets) in 903 ms. (4 steps per ms) remains 64917/64920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 64914/64917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 878 ms. (4 steps per ms) remains 64913/64914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 64912/64913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 877 ms. (4 steps per ms) remains 64908/64912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 881 ms. (4 steps per ms) remains 64907/64908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 64903/64907 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 64900/64903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 842 ms. (4 steps per ms) remains 64896/64900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 64893/64896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 801 ms. (4 steps per ms) remains 64890/64893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 64887/64890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 64883/64887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 64881/64883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 829 ms. (4 steps per ms) remains 64879/64881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 64873/64879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 64870/64873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 64869/64870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 774 ms. (5 steps per ms) remains 64868/64869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 64864/64868 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 64864/64864 properties
BEST_FIRST walk for 4002 steps (8 resets) in 862 ms. (4 steps per ms) remains 64862/64864 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 64859/64862 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 64856/64859 properties
BEST_FIRST walk for 4003 steps (8 resets) in 824 ms. (4 steps per ms) remains 64852/64856 properties
BEST_FIRST walk for 4003 steps (8 resets) in 755 ms. (5 steps per ms) remains 64850/64852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 64848/64850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 64844/64848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 798 ms. (5 steps per ms) remains 64838/64844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 770 ms. (5 steps per ms) remains 64832/64838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 64828/64832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 64824/64828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 64820/64824 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 64816/64820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 64815/64816 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 64811/64815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 64808/64811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 919 ms. (4 steps per ms) remains 64806/64808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 855 ms. (4 steps per ms) remains 64802/64806 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 64799/64802 properties
BEST_FIRST walk for 4002 steps (8 resets) in 822 ms. (4 steps per ms) remains 64796/64799 properties
BEST_FIRST walk for 4003 steps (8 resets) in 818 ms. (4 steps per ms) remains 64792/64796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 64788/64792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 64784/64788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 798 ms. (5 steps per ms) remains 64783/64784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 756 ms. (5 steps per ms) remains 64779/64783 properties
BEST_FIRST walk for 4002 steps (8 resets) in 805 ms. (4 steps per ms) remains 64777/64779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 772 ms. (5 steps per ms) remains 64774/64777 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 64772/64774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 64769/64772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 64766/64769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 835 ms. (4 steps per ms) remains 64762/64766 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="ErlangenMainframeV2-PT-bP11C06"
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 ErlangenMainframeV2-PT-bP11C06, 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-178021500900182"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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