MCC'2026- Execution of r120-smll-177955742500302

About the Execution of ITS-Tools for ErlangenMainframeV0-PT-1008

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
13172.619	1800000.00	4415095.00	3478.70	[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.r120-smll-177955742500302.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 ErlangenMainframeV0-PT-1008, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-smll-177955742500302
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 94M
-rw-r--r-- 1 mcc users 7.6K Mar 7 04:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 7 04:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Mar 7 04:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Mar 7 04:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 15 09:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 15 09:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 15 09:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 15 09:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 7 04:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Mar 7 04:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 7 04:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Mar 7 04:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 09:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 93M Mar 3 18:30 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 1779593736729

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV0-PT-1008
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-05-24 03:35:39] [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-05-24 03:35:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 03:35:44] [INFO ] Load time of PNML (sax parser for PT used): 5367 ms
[2026-05-24 03:35:44] [INFO ] Transformed 291 places.
[2026-05-24 03:35:45] [INFO ] Transformed 79030 transitions.
[2026-05-24 03:35:45] [INFO ] Found NUPN structural information;
[2026-05-24 03:35:45] [INFO ] Parsed PT model containing 291 places and 79030 transitions and 1837903 arcs in 6681 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 291/291 places, 79030/79030 transitions.
Graph (trivial) has 234 edges and 291 vertex of which 6 / 291 are part of one of the 3 SCC in 39 ms
Free SCC test removed 3 places
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 96 transitions
Trivial Post-agglo rules discarded 96 transitions
Performed 96 trivial Post agglomeration. Transition count delta: 96
Iterating post reduction 0 with 96 rules applied. Total rules applied 97 place count 288 transition count 78931
Reduce places removed 96 places and 0 transitions.
Iterating post reduction 1 with 96 rules applied. Total rules applied 193 place count 192 transition count 78931
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 193 place count 192 transition count 78928
Deduced a syphon composed of 3 places in 283 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 199 place count 189 transition count 78928
Performed 65 Post agglomeration using F-continuation condition.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 35 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 2 with 202 rules applied. Total rules applied 401 place count 88 transition count 78827
Applied a total of 401 rules in 43371 ms. Remains 88 /291 variables (removed 203) and now considering 78827/79030 (removed 203) transitions.
[2026-05-24 03:36:29] [INFO ] Flow matrix only has 52563 transitions (discarded 26264 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5689309289521205440.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15972410390832471328.kers'
[2026-05-24 03:36:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5689309289521205440.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15972410390832471328.kers]
Normalized transition count is 52562 out of 52563 initially.
Culled 0 columns in 259 ms.
// Phase 1: matrix 52562 rows 88 cols 1155061 entries
Finished phase 1 with 59 SingleSign rule and 3 generalized
[2026-05-24 03:36:31] [INFO ] Computed 26 invariants in 1049 ms
Computed 26 P flows in 1050 ms.
Exported basis to /tmp/petrispot-output-15972410390832471328.kers
Total runtime 1208 ms.
[2026-05-24 03:37:01] [INFO ] Performed 35/88 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-24 03:37:59] [INFO ] Performed 74/88 implicitness test of which 1 returned IMPLICIT in 88 seconds.
[2026-05-24 03:38:02] [INFO ] Implicit Places using invariants in 93225 ms returned [74]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 93472 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 87/291 places, 78827/79030 transitions.
Applied a total of 0 rules in 724 ms. Remains 87 /87 variables (removed 0) and now considering 78827/78827 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 137630 ms. Remains : 87/291 places, 78827/79030 transitions.
Discarding 40 transitions out of 78827. Remains 78787
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 75403 ms. (0 steps per ms) remains 78681/78786 properties
BEST_FIRST walk for 124 steps (8 resets) in 366 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 309 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 323 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 302 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 380 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 310 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 314 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 276 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 271 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 305 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 374 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 297 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 290 ms. (0 steps per ms) remains 78681/78681 properties
[2026-05-24 03:45:10] [INFO ] Flatten gal took : 16193 ms
BEST_FIRST walk for 124 steps (8 resets) in 290 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 484 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 308 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 272 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 243 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 250 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 294 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 281 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 243 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 250 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 273 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 270 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 273 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 279 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 241 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 260 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 269 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 261 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 268 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 273 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 289 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 274 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 268 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 265 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 258 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 280 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 258 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 249 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 232 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 236 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 245 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 269 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 243 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 299 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 265 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 287 ms. (0 steps per ms) remains 78681/78681 properties
BEST_FIRST walk for 124 steps (8 resets) in 231 ms. (0 steps per ms) remains 78681/78681 properties
[2026-05-24 03:45:21] [INFO ] Flatten gal took : 11522 ms
[2026-05-24 03:45:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1242275828319506515.gal : 1760 ms
[2026-05-24 03:45:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14238248818891238051.prop : 870 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/ReachabilityCardinality1242275828319506515.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14238248818891238051.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Interrupted probabilistic random walk after 12460 steps, run timeout after 69003 ms. (steps per millisecond=0 ) properties seen :25 out of 78681
Probabilistic random walk after 12460 steps, saw 7763 distinct states, run finished after 69027 ms. (steps per millisecond=0 ) properties seen :25
[2026-05-24 03:46:23] [INFO ] Flow matrix only has 52563 transitions (discarded 26264 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16649176683721803506.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6432691641581033100.kers'
[2026-05-24 03:46:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16649176683721803506.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6432691641581033100.kers]
Normalized transition count is 52562 out of 52563 initially.
Culled 0 columns in 243 ms.
// Phase 1: matrix 52562 rows 87 cols 1102573 entries
Finished phase 1 with 59 SingleSign rule and 3 generalized
[2026-05-24 03:46:24] [INFO ] Computed 25 invariants in 1139 ms
Computed 25 P flows in 1140 ms.
Exported basis to /tmp/petrispot-output-6432691641581033100.kers
Total runtime 1297 ms.
[2026-05-24 03:46:26] [INFO ] State equation strengthened by 26267 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Loading property file /tmp/ReachabilityCardinality14238248818891238051.prop.
SMT process timed out in 498599ms, After SMT, problems are : Problem set: 0 solved, 78656 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 59 out of 87 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 87/87 places, 78827/78827 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 87 transition count 78824
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 5 place count 85 transition count 78807
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 85 transition count 78807
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 85 transition count 78805
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 27 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 11 place count 84 transition count 78816
Free-agglomeration rule applied 7 times.
Iterating global reduction 2 with 7 rules applied. Total rules applied 18 place count 84 transition count 78809
Reduce places removed 7 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 2 with 29 rules applied. Total rules applied 47 place count 77 transition count 78787
Free-agglomeration rule applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 48 place count 77 transition count 78786
Reduce places removed 1 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 61 place count 76 transition count 78774
Applied a total of 61 rules in 9107 ms. Remains 76 /87 variables (removed 11) and now considering 78774/78827 (removed 53) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9112 ms. Remains : 76/87 places, 78774/78827 transitions.
RANDOM walk for 47971 steps (0 resets) in 120005 ms. (0 steps per ms) remains 78527/78656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 78518/78527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1153 ms. (3 steps per ms) remains 78509/78518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1179 ms. (3 steps per ms) remains 78501/78509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1283 ms. (3 steps per ms) remains 78493/78501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1048 ms. (3 steps per ms) remains 78486/78493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 78477/78486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 78468/78477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 78459/78468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1205 ms. (3 steps per ms) remains 78451/78459 properties
Detected timeout of ITS tools.
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 78442/78451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 78433/78442 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1169 ms. (3 steps per ms) remains 78424/78433 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1191 ms. (3 steps per ms) remains 78415/78424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3027 ms. (1 steps per ms) remains 78406/78415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1341 ms. (2 steps per ms) remains 78397/78406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1415 ms. (2 steps per ms) remains 78388/78397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 78380/78388 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1059 ms. (3 steps per ms) remains 78371/78380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 78363/78371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1134 ms. (3 steps per ms) remains 78355/78363 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1128 ms. (3 steps per ms) remains 78348/78355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1293 ms. (3 steps per ms) remains 78339/78348 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1124 ms. (3 steps per ms) remains 78331/78339 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1176 ms. (3 steps per ms) remains 78323/78331 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1025 ms. (3 steps per ms) remains 78315/78323 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1149 ms. (3 steps per ms) remains 78307/78315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1280 ms. (3 steps per ms) remains 78298/78307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1360 ms. (2 steps per ms) remains 78290/78298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2140 ms. (1 steps per ms) remains 78282/78290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1528 ms. (2 steps per ms) remains 78275/78282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1687 ms. (2 steps per ms) remains 78266/78275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1366 ms. (2 steps per ms) remains 78257/78266 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1472 ms. (2 steps per ms) remains 78250/78257 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1404 ms. (2 steps per ms) remains 78241/78250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1564 ms. (2 steps per ms) remains 78233/78241 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2055 ms. (1 steps per ms) remains 78225/78233 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1479 ms. (2 steps per ms) remains 78216/78225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1427 ms. (2 steps per ms) remains 78208/78216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1458 ms. (2 steps per ms) remains 78199/78208 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1296 ms. (3 steps per ms) remains 78189/78199 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1162 ms. (3 steps per ms) remains 78180/78189 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1192 ms. (3 steps per ms) remains 78170/78180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 78161/78170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1345 ms. (2 steps per ms) remains 78152/78161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1199 ms. (3 steps per ms) remains 78143/78152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1484 ms. (2 steps per ms) remains 78134/78143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1242 ms. (3 steps per ms) remains 78123/78134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 78114/78123 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1051 ms. (3 steps per ms) remains 78106/78114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 78098/78106 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1301 ms. (3 steps per ms) remains 78090/78098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 78083/78090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 78074/78083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 78066/78074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1053 ms. (3 steps per ms) remains 78058/78066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 78050/78058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 78042/78050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 78034/78042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1148 ms. (3 steps per ms) remains 78026/78034 properties
[2026-05-24 03:55:44] [INFO ] Flatten gal took : 15198 ms
[2026-05-24 03:55:44] [INFO ] Applying decomposition
BEST_FIRST walk for 4004 steps (8 resets) in 1248 ms. (3 steps per ms) remains 78017/78026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1143 ms. (3 steps per ms) remains 78010/78017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 78002/78010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 77994/78002 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1114 ms. (3 steps per ms) remains 77986/77994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 77978/77986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1200 ms. (3 steps per ms) remains 77971/77978 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1182 ms. (3 steps per ms) remains 77962/77971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1143 ms. (3 steps per ms) remains 77954/77962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 77945/77954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1237 ms. (3 steps per ms) remains 77937/77945 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1196 ms. (3 steps per ms) remains 77927/77937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1176 ms. (3 steps per ms) remains 77920/77927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1313 ms. (3 steps per ms) remains 77910/77920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1867 ms. (2 steps per ms) remains 77901/77910 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1198 ms. (3 steps per ms) remains 77892/77901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1039 ms. (3 steps per ms) remains 77884/77892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 77876/77884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1186 ms. (3 steps per ms) remains 77867/77876 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1316 ms. (3 steps per ms) remains 77857/77867 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1375 ms. (2 steps per ms) remains 77848/77857 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1872 ms. (2 steps per ms) remains 77840/77848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1428 ms. (2 steps per ms) remains 77832/77840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1577 ms. (2 steps per ms) remains 77823/77832 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1402 ms. (2 steps per ms) remains 77815/77823 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1435 ms. (2 steps per ms) remains 77807/77815 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1444 ms. (2 steps per ms) remains 77800/77807 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1250 ms. (3 steps per ms) remains 77793/77800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1321 ms. (3 steps per ms) remains 77784/77793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1207 ms. (3 steps per ms) remains 77776/77784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 77766/77776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 77757/77766 properties
[2026-05-24 03:55:56] [INFO ] Flatten gal took : 11966 ms
BEST_FIRST walk for 4003 steps (8 resets) in 1328 ms. (3 steps per ms) remains 77748/77757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 77740/77748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1801 ms. (2 steps per ms) remains 77732/77740 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1280 ms. (3 steps per ms) remains 77724/77732 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1143 ms. (3 steps per ms) remains 77715/77724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 999 ms. (4 steps per ms) remains 77708/77715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1207 ms. (3 steps per ms) remains 77700/77708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 77690/77700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1186 ms. (3 steps per ms) remains 77682/77690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1181 ms. (3 steps per ms) remains 77675/77682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1955 ms. (2 steps per ms) remains 77666/77675 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1117 ms. (3 steps per ms) remains 77657/77666 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1058 ms. (3 steps per ms) remains 77650/77657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1198 ms. (3 steps per ms) remains 77642/77650 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 77634/77642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 77625/77634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2199 ms. (1 steps per ms) remains 77617/77625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4940 ms. (0 steps per ms) remains 77608/77617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1324 ms. (3 steps per ms) remains 77600/77608 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1670 ms. (2 steps per ms) remains 77592/77600 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1560 ms. (2 steps per ms) remains 77584/77592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2068 ms. (1 steps per ms) remains 77576/77584 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1698 ms. (2 steps per ms) remains 77568/77576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2720 ms. (1 steps per ms) remains 77558/77568 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1719 ms. (2 steps per ms) remains 77550/77558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2418 ms. (1 steps per ms) remains 77543/77550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1971 ms. (2 steps per ms) remains 77535/77543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2637 ms. (1 steps per ms) remains 77528/77535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1942 ms. (2 steps per ms) remains 77517/77528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2233 ms. (1 steps per ms) remains 77508/77517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1490 ms. (2 steps per ms) remains 77499/77508 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2426 ms. (1 steps per ms) remains 77491/77499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1875 ms. (2 steps per ms) remains 77483/77491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1748 ms. (2 steps per ms) remains 77476/77483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3204 ms. (1 steps per ms) remains 77468/77476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1980 ms. (2 steps per ms) remains 77461/77468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1438 ms. (2 steps per ms) remains 77453/77461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1252 ms. (3 steps per ms) remains 77446/77453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1783 ms. (2 steps per ms) remains 77437/77446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1666 ms. (2 steps per ms) remains 77428/77437 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1395 ms. (2 steps per ms) remains 77420/77428 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1636 ms. (2 steps per ms) remains 77411/77420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1478 ms. (2 steps per ms) remains 77406/77411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1900 ms. (2 steps per ms) remains 77398/77406 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1815 ms. (2 steps per ms) remains 77388/77398 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2181 ms. (1 steps per ms) remains 77378/77388 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1391 ms. (2 steps per ms) remains 77370/77378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1291 ms. (3 steps per ms) remains 77362/77370 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1634 ms. (2 steps per ms) remains 77354/77362 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1419 ms. (2 steps per ms) remains 77346/77354 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1482 ms. (2 steps per ms) remains 77338/77346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1450 ms. (2 steps per ms) remains 77329/77338 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1563 ms. (2 steps per ms) remains 77321/77329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1712 ms. (2 steps per ms) remains 77315/77321 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1482 ms. (2 steps per ms) remains 77307/77315 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1842 ms. (2 steps per ms) remains 77300/77307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1554 ms. (2 steps per ms) remains 77291/77300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1637 ms. (2 steps per ms) remains 77283/77291 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1402 ms. (2 steps per ms) remains 77276/77283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1199 ms. (3 steps per ms) remains 77268/77276 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1478 ms. (2 steps per ms) remains 77260/77268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1367 ms. (2 steps per ms) remains 77253/77260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1237 ms. (3 steps per ms) remains 77245/77253 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1350 ms. (2 steps per ms) remains 77236/77245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1368 ms. (2 steps per ms) remains 77227/77236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1386 ms. (2 steps per ms) remains 77220/77227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 77211/77220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1668 ms. (2 steps per ms) remains 77203/77211 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1136 ms. (3 steps per ms) remains 77195/77203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 77187/77195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 77178/77187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1341 ms. (2 steps per ms) remains 77171/77178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1604 ms. (2 steps per ms) remains 77164/77171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1490 ms. (2 steps per ms) remains 77156/77164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1290 ms. (3 steps per ms) remains 77149/77156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1690 ms. (2 steps per ms) remains 77140/77149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1335 ms. (2 steps per ms) remains 77133/77140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1443 ms. (2 steps per ms) remains 77124/77133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1497 ms. (2 steps per ms) remains 77117/77124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1682 ms. (2 steps per ms) remains 77109/77117 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1386 ms. (2 steps per ms) remains 77101/77109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1473 ms. (2 steps per ms) remains 77093/77101 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1416 ms. (2 steps per ms) remains 77085/77093 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1678 ms. (2 steps per ms) remains 77078/77085 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1486 ms. (2 steps per ms) remains 77070/77078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1607 ms. (2 steps per ms) remains 77063/77070 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1699 ms. (2 steps per ms) remains 77056/77063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1663 ms. (2 steps per ms) remains 77049/77056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1461 ms. (2 steps per ms) remains 77042/77049 properties
BEST_FIRST walk for 4001 steps (8 resets) in 3535 ms. (1 steps per ms) remains 77035/77042 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1289 ms. (3 steps per ms) remains 77027/77035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1340 ms. (2 steps per ms) remains 77020/77027 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1171 ms. (3 steps per ms) remains 77012/77020 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1551 ms. (2 steps per ms) remains 77006/77012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1229 ms. (3 steps per ms) remains 76999/77006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1197 ms. (3 steps per ms) remains 76992/76999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1408 ms. (2 steps per ms) remains 76984/76992 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1323 ms. (3 steps per ms) remains 76976/76984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1244 ms. (3 steps per ms) remains 76966/76976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1226 ms. (3 steps per ms) remains 76958/76966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 76950/76958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1099 ms. (3 steps per ms) remains 76943/76950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 76936/76943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 76925/76936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1162 ms. (3 steps per ms) remains 76916/76925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1137 ms. (3 steps per ms) remains 76908/76916 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1157 ms. (3 steps per ms) remains 76899/76908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1284 ms. (3 steps per ms) remains 76891/76899 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1198 ms. (3 steps per ms) remains 76882/76891 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1092 ms. (3 steps per ms) remains 76873/76882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 76865/76873 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1135 ms. (3 steps per ms) remains 76856/76865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1080 ms. (3 steps per ms) remains 76848/76856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 76841/76848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1092 ms. (3 steps per ms) remains 76833/76841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 76825/76833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1216 ms. (3 steps per ms) remains 76817/76825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 76809/76817 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1237 ms. (3 steps per ms) remains 76800/76809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 76793/76800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 76789/76793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 76782/76789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 76774/76782 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 76765/76774 properties
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1118538072089824691.txt' '-o' '/tmp/graph1118538072089824691.bin' '-w' '/tmp/graph1118538072089824691.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1118538072089824691.bin' '-l' '-1' '-v' '-w' '/tmp/graph1118538072089824691.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:56:51] [INFO ] Decomposing Gal with order
[2026-05-24 03:56:51] [INFO ] Rewriting arrays to variables to allow decomposition.
BEST_FIRST walk for 4004 steps (8 resets) in 1293 ms. (3 steps per ms) remains 76757/76765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1397 ms. (2 steps per ms) remains 76749/76757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1658 ms. (2 steps per ms) remains 76741/76749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1823 ms. (2 steps per ms) remains 76732/76741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1468 ms. (2 steps per ms) remains 76725/76732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1360 ms. (2 steps per ms) remains 76715/76725 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1467 ms. (2 steps per ms) remains 76708/76715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 76701/76708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1077 ms. (3 steps per ms) remains 76692/76701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1127 ms. (3 steps per ms) remains 76684/76692 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1227 ms. (3 steps per ms) remains 76677/76684 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1203 ms. (3 steps per ms) remains 76669/76677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 76660/76669 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1083 ms. (3 steps per ms) remains 76653/76660 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 76643/76653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1183 ms. (3 steps per ms) remains 76635/76643 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1060 ms. (3 steps per ms) remains 76626/76635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 76619/76626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 76612/76619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1241 ms. (3 steps per ms) remains 76603/76612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3809 ms. (1 steps per ms) remains 76597/76603 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1117 ms. (3 steps per ms) remains 76589/76597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 76581/76589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 76573/76581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1266 ms. (3 steps per ms) remains 76564/76573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1210 ms. (3 steps per ms) remains 76557/76564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 76549/76557 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1523 ms. (2 steps per ms) remains 76542/76549 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1797 ms. (2 steps per ms) remains 76536/76542 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1237 ms. (3 steps per ms) remains 76528/76536 properties
BEST_FIRST walk for 4001 steps (8 resets) in 2427 ms. (1 steps per ms) remains 76521/76528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1628 ms. (2 steps per ms) remains 76514/76521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1341 ms. (2 steps per ms) remains 76506/76514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1981 ms. (2 steps per ms) remains 76498/76506 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1072 ms. (3 steps per ms) remains 76489/76498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1172 ms. (3 steps per ms) remains 76482/76489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1706 ms. (2 steps per ms) remains 76474/76482 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1154 ms. (3 steps per ms) remains 76468/76474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 76461/76468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1314 ms. (3 steps per ms) remains 76453/76461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1726 ms. (2 steps per ms) remains 76445/76453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1445 ms. (2 steps per ms) remains 76436/76445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1581 ms. (2 steps per ms) remains 76430/76436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1772 ms. (2 steps per ms) remains 76422/76430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 76415/76422 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1460 ms. (2 steps per ms) remains 76407/76415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1879 ms. (2 steps per ms) remains 76397/76407 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1195 ms. (3 steps per ms) remains 76389/76397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1502 ms. (2 steps per ms) remains 76381/76389 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1663 ms. (2 steps per ms) remains 76373/76381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1810 ms. (2 steps per ms) remains 76365/76373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1335 ms. (2 steps per ms) remains 76359/76365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1612 ms. (2 steps per ms) remains 76350/76359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1925 ms. (2 steps per ms) remains 76344/76350 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1674 ms. (2 steps per ms) remains 76338/76344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2551 ms. (1 steps per ms) remains 76329/76338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1981 ms. (2 steps per ms) remains 76321/76329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1660 ms. (2 steps per ms) remains 76313/76321 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1479 ms. (2 steps per ms) remains 76306/76313 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1495 ms. (2 steps per ms) remains 76298/76306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1511 ms. (2 steps per ms) remains 76290/76298 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1417 ms. (2 steps per ms) remains 76283/76290 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1910 ms. (2 steps per ms) remains 76276/76283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1299 ms. (3 steps per ms) remains 76267/76276 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1325 ms. (3 steps per ms) remains 76260/76267 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1104 ms. (3 steps per ms) remains 76252/76260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1264 ms. (3 steps per ms) remains 76245/76252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1395 ms. (2 steps per ms) remains 76237/76245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1383 ms. (2 steps per ms) remains 76229/76237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1487 ms. (2 steps per ms) remains 76222/76229 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1326 ms. (3 steps per ms) remains 76215/76222 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1552 ms. (2 steps per ms) remains 76207/76215 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 76200/76207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 76192/76200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 76184/76192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1366 ms. (2 steps per ms) remains 76176/76184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1408 ms. (2 steps per ms) remains 76168/76176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1206 ms. (3 steps per ms) remains 76160/76168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1548 ms. (2 steps per ms) remains 76151/76160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1355 ms. (2 steps per ms) remains 76143/76151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 76135/76143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1218 ms. (3 steps per ms) remains 76127/76135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1729 ms. (2 steps per ms) remains 76118/76127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 76112/76118 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 76105/76112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 76097/76105 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1201 ms. (3 steps per ms) remains 76089/76097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1271 ms. (3 steps per ms) remains 76081/76089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 76074/76081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 76068/76074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1651 ms. (2 steps per ms) remains 76061/76068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1140 ms. (3 steps per ms) remains 76055/76061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 76047/76055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 76040/76047 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1273 ms. (3 steps per ms) remains 76032/76040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 76024/76032 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1236 ms. (3 steps per ms) remains 76017/76024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1183 ms. (3 steps per ms) remains 76009/76017 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1805 ms. (2 steps per ms) remains 76001/76009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1394 ms. (2 steps per ms) remains 75993/76001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1328 ms. (3 steps per ms) remains 75986/75993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1924 ms. (2 steps per ms) remains 75978/75986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1145 ms. (3 steps per ms) remains 75970/75978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 75962/75970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 75955/75962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 75949/75955 properties
[2026-05-24 03:57:35] [INFO ] Removed a total of 1023627 redundant transitions.
BEST_FIRST walk for 4002 steps (8 resets) in 1505 ms. (2 steps per ms) remains 75943/75949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1370 ms. (2 steps per ms) remains 75936/75943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1183 ms. (3 steps per ms) remains 75930/75936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1440 ms. (2 steps per ms) remains 75924/75930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 75915/75924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1691 ms. (2 steps per ms) remains 75907/75915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 75899/75907 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 75891/75899 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 75883/75891 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1146 ms. (3 steps per ms) remains 75875/75883 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1766 ms. (2 steps per ms) remains 75866/75875 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1317 ms. (3 steps per ms) remains 75859/75866 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1828 ms. (2 steps per ms) remains 75851/75859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1576 ms. (2 steps per ms) remains 75843/75851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1534 ms. (2 steps per ms) remains 75835/75843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1756 ms. (2 steps per ms) remains 75827/75835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2350 ms. (1 steps per ms) remains 75820/75827 properties
[2026-05-24 03:57:43] [INFO ] Flatten gal took : 39441 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1693 ms. (2 steps per ms) remains 75811/75820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1505 ms. (2 steps per ms) remains 75801/75811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1782 ms. (2 steps per ms) remains 75794/75801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1429 ms. (2 steps per ms) remains 75788/75794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1659 ms. (2 steps per ms) remains 75780/75788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1479 ms. (2 steps per ms) remains 75772/75780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1733 ms. (2 steps per ms) remains 75763/75772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1687 ms. (2 steps per ms) remains 75756/75763 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1783 ms. (2 steps per ms) remains 75750/75756 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1805 ms. (2 steps per ms) remains 75741/75750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1803 ms. (2 steps per ms) remains 75732/75741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1635 ms. (2 steps per ms) remains 75724/75732 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1465 ms. (2 steps per ms) remains 75716/75724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1600 ms. (2 steps per ms) remains 75707/75716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2005 ms. (1 steps per ms) remains 75697/75707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1964 ms. (2 steps per ms) remains 75689/75697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1580 ms. (2 steps per ms) remains 75681/75689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2416 ms. (1 steps per ms) remains 75675/75681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1397 ms. (2 steps per ms) remains 75667/75675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1246 ms. (3 steps per ms) remains 75660/75667 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1366 ms. (2 steps per ms) remains 75654/75660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 75647/75654 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 75639/75647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 75630/75639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 75620/75630 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1253 ms. (3 steps per ms) remains 75611/75620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 75603/75611 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1341 ms. (2 steps per ms) remains 75596/75603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1367 ms. (2 steps per ms) remains 75589/75596 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1966 ms. (2 steps per ms) remains 75583/75589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1288 ms. (3 steps per ms) remains 75574/75583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1278 ms. (3 steps per ms) remains 75566/75574 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1235 ms. (3 steps per ms) remains 75557/75566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1441 ms. (2 steps per ms) remains 75550/75557 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1391 ms. (2 steps per ms) remains 75544/75550 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1555 ms. (2 steps per ms) remains 75537/75544 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1260 ms. (3 steps per ms) remains 75531/75537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1562 ms. (2 steps per ms) remains 75524/75531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1258 ms. (3 steps per ms) remains 75516/75524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1440 ms. (2 steps per ms) remains 75508/75516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1384 ms. (2 steps per ms) remains 75500/75508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 75492/75500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 75485/75492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1162 ms. (3 steps per ms) remains 75478/75485 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1134 ms. (3 steps per ms) remains 75471/75478 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1179 ms. (3 steps per ms) remains 75463/75471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1063 ms. (3 steps per ms) remains 75456/75463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 75449/75456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1146 ms. (3 steps per ms) remains 75443/75449 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 75435/75443 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1146 ms. (3 steps per ms) remains 75427/75435 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1647 ms. (2 steps per ms) remains 75417/75427 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1186 ms. (3 steps per ms) remains 75409/75417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 75402/75409 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1158 ms. (3 steps per ms) remains 75395/75402 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1206 ms. (3 steps per ms) remains 75385/75395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1232 ms. (3 steps per ms) remains 75378/75385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 75372/75378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1047 ms. (3 steps per ms) remains 75364/75372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1234 ms. (3 steps per ms) remains 75355/75364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 75348/75355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 75343/75348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 75336/75343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1170 ms. (3 steps per ms) remains 75329/75336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1212 ms. (3 steps per ms) remains 75321/75329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 75315/75321 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1535 ms. (2 steps per ms) remains 75308/75315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1194 ms. (3 steps per ms) remains 75299/75308 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1052 ms. (3 steps per ms) remains 75293/75299 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1280 ms. (3 steps per ms) remains 75285/75293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 75275/75285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 75268/75275 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1232 ms. (3 steps per ms) remains 75259/75268 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 75251/75259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 75242/75251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 75234/75242 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1195 ms. (3 steps per ms) remains 75226/75234 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1151 ms. (3 steps per ms) remains 75219/75226 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1134 ms. (3 steps per ms) remains 75210/75219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 75203/75210 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1201 ms. (3 steps per ms) remains 75194/75203 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1293 ms. (3 steps per ms) remains 75187/75194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1785 ms. (2 steps per ms) remains 75180/75187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1143 ms. (3 steps per ms) remains 75172/75180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1289 ms. (3 steps per ms) remains 75164/75172 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1161 ms. (3 steps per ms) remains 75156/75164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 75148/75156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 75143/75148 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 75137/75143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 75130/75137 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1234 ms. (3 steps per ms) remains 75122/75130 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1112 ms. (3 steps per ms) remains 75116/75122 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1179 ms. (3 steps per ms) remains 75112/75116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1175 ms. (3 steps per ms) remains 75105/75112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1222 ms. (3 steps per ms) remains 75100/75105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 75092/75100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1035 ms. (3 steps per ms) remains 75084/75092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1132 ms. (3 steps per ms) remains 75077/75084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1265 ms. (3 steps per ms) remains 75068/75077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 75060/75068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1707 ms. (2 steps per ms) remains 75051/75060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1478 ms. (2 steps per ms) remains 75045/75051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1177 ms. (3 steps per ms) remains 75037/75045 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1091 ms. (3 steps per ms) remains 75030/75037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1512 ms. (2 steps per ms) remains 75022/75030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1393 ms. (2 steps per ms) remains 75014/75022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 75006/75014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1261 ms. (3 steps per ms) remains 74998/75006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1351 ms. (2 steps per ms) remains 74989/74998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1215 ms. (3 steps per ms) remains 74982/74989 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1130 ms. (3 steps per ms) remains 74974/74982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1058 ms. (3 steps per ms) remains 74967/74974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1054 ms. (3 steps per ms) remains 74959/74967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1277 ms. (3 steps per ms) remains 74951/74959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1030 ms. (3 steps per ms) remains 74946/74951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 74937/74946 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1188 ms. (3 steps per ms) remains 74929/74937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2400 ms. (1 steps per ms) remains 74923/74929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1347 ms. (2 steps per ms) remains 74915/74923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1314 ms. (3 steps per ms) remains 74906/74915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1357 ms. (2 steps per ms) remains 74900/74906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1333 ms. (3 steps per ms) remains 74893/74900 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1413 ms. (2 steps per ms) remains 74886/74893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1462 ms. (2 steps per ms) remains 74878/74886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1247 ms. (3 steps per ms) remains 74871/74878 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1486 ms. (2 steps per ms) remains 74866/74871 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1294 ms. (3 steps per ms) remains 74860/74866 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1280 ms. (3 steps per ms) remains 74852/74860 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1401 ms. (2 steps per ms) remains 74845/74852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1828 ms. (2 steps per ms) remains 74838/74845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1815 ms. (2 steps per ms) remains 74831/74838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3110 ms. (1 steps per ms) remains 74824/74831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1833 ms. (2 steps per ms) remains 74819/74824 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1240 ms. (3 steps per ms) remains 74811/74819 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1573 ms. (2 steps per ms) remains 74801/74811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1258 ms. (3 steps per ms) remains 74793/74801 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1049 ms. (3 steps per ms) remains 74786/74793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1762 ms. (2 steps per ms) remains 74778/74786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1404 ms. (2 steps per ms) remains 74771/74778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 74765/74771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 74758/74765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1084 ms. (3 steps per ms) remains 74751/74758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 74743/74751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1154 ms. (3 steps per ms) remains 74737/74743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 74728/74737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 74719/74728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 74712/74719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1226 ms. (3 steps per ms) remains 74704/74712 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1584 ms. (2 steps per ms) remains 74697/74704 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1239 ms. (3 steps per ms) remains 74691/74697 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1144 ms. (3 steps per ms) remains 74684/74691 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1689 ms. (2 steps per ms) remains 74676/74684 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1223 ms. (3 steps per ms) remains 74670/74676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 74664/74670 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 74656/74664 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 74650/74656 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1474 ms. (2 steps per ms) remains 74642/74650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 74635/74642 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1282 ms. (3 steps per ms) remains 74628/74635 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 74619/74628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1497 ms. (2 steps per ms) remains 74614/74619 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1088 ms. (3 steps per ms) remains 74608/74614 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1029 ms. (3 steps per ms) remains 74601/74608 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1023 ms. (3 steps per ms) remains 74595/74601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 74586/74595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 74577/74586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 74569/74577 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1242 ms. (3 steps per ms) remains 74563/74569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1614 ms. (2 steps per ms) remains 74556/74563 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1146 ms. (3 steps per ms) remains 74549/74556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 74541/74549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 74533/74541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1053 ms. (3 steps per ms) remains 74525/74533 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1089 ms. (3 steps per ms) remains 74517/74525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 74510/74517 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1207 ms. (3 steps per ms) remains 74503/74510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1723 ms. (2 steps per ms) remains 74497/74503 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1167 ms. (3 steps per ms) remains 74489/74497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1192 ms. (3 steps per ms) remains 74482/74489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1288 ms. (3 steps per ms) remains 74474/74482 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1191 ms. (3 steps per ms) remains 74469/74474 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1583 ms. (2 steps per ms) remains 74462/74469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1256 ms. (3 steps per ms) remains 74453/74462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 74445/74453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1200 ms. (3 steps per ms) remains 74436/74445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1303 ms. (3 steps per ms) remains 74429/74436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1387 ms. (2 steps per ms) remains 74421/74429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1324 ms. (3 steps per ms) remains 74413/74421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1371 ms. (2 steps per ms) remains 74406/74413 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1489 ms. (2 steps per ms) remains 74397/74406 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1586 ms. (2 steps per ms) remains 74391/74397 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1482 ms. (2 steps per ms) remains 74387/74391 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1526 ms. (2 steps per ms) remains 74382/74387 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1282 ms. (3 steps per ms) remains 74374/74382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1539 ms. (2 steps per ms) remains 74368/74374 properties
[2026-05-24 03:58:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 48 labels/synchronizations in 35909 ms.
BEST_FIRST walk for 4004 steps (8 resets) in 1993 ms. (2 steps per ms) remains 74363/74368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1259 ms. (3 steps per ms) remains 74353/74363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1313 ms. (3 steps per ms) remains 74346/74353 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1404 ms. (2 steps per ms) remains 74338/74346 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1709 ms. (2 steps per ms) remains 74330/74338 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1316 ms. (3 steps per ms) remains 74324/74330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1537 ms. (2 steps per ms) remains 74316/74324 properties
[2026-05-24 03:59:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11511033505759908486.gal : 1283 ms
BEST_FIRST walk for 4001 steps (8 resets) in 1366 ms. (2 steps per ms) remains 74307/74316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1811 ms. (2 steps per ms) remains 74299/74307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1319 ms. (3 steps per ms) remains 74291/74299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 74284/74291 properties
[2026-05-24 03:59:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9246875077141251348.prop : 1311 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/ReachabilityCardinality11511033505759908486.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9246875077141251348.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
BEST_FIRST walk for 4004 steps (8 resets) in 1286 ms. (3 steps per ms) remains 74277/74284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1104 ms. (3 steps per ms) remains 74269/74277 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1172 ms. (3 steps per ms) remains 74262/74269 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1146 ms. (3 steps per ms) remains 74256/74262 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1095 ms. (3 steps per ms) remains 74249/74256 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1162 ms. (3 steps per ms) remains 74241/74249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1200 ms. (3 steps per ms) remains 74234/74241 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1196 ms. (3 steps per ms) remains 74226/74234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 74219/74226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1213 ms. (3 steps per ms) remains 74211/74219 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1094 ms. (3 steps per ms) remains 74205/74211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1146 ms. (3 steps per ms) remains 74198/74205 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 74191/74198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 988 ms. (4 steps per ms) remains 74185/74191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1102 ms. (3 steps per ms) remains 74179/74185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1233 ms. (3 steps per ms) remains 74172/74179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1108 ms. (3 steps per ms) remains 74164/74172 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1169 ms. (3 steps per ms) remains 74158/74164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 74150/74158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 74144/74150 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1109 ms. (3 steps per ms) remains 74136/74144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 74129/74136 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1033 ms. (3 steps per ms) remains 74121/74129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1096 ms. (3 steps per ms) remains 74113/74121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1075 ms. (3 steps per ms) remains 74105/74113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 74099/74105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 74091/74099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 74086/74091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1271 ms. (3 steps per ms) remains 74078/74086 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1104 ms. (3 steps per ms) remains 74070/74078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 74062/74070 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1091 ms. (3 steps per ms) remains 74054/74062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 74049/74054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 74041/74049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1126 ms. (3 steps per ms) remains 74034/74041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 74025/74034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 74018/74025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 74011/74018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1063 ms. (3 steps per ms) remains 74006/74011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 73999/74006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1065 ms. (3 steps per ms) remains 73994/73999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1024 ms. (3 steps per ms) remains 73988/73994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 73980/73988 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1083 ms. (3 steps per ms) remains 73973/73980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1077 ms. (3 steps per ms) remains 73964/73973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1124 ms. (3 steps per ms) remains 73957/73964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1081 ms. (3 steps per ms) remains 73952/73957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1144 ms. (3 steps per ms) remains 73944/73952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 73938/73944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 73931/73938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 73923/73931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 942 ms. (4 steps per ms) remains 73918/73923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1079 ms. (3 steps per ms) remains 73912/73918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 73906/73912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1098 ms. (3 steps per ms) remains 73897/73906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 73889/73897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1364 ms. (2 steps per ms) remains 73884/73889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 73878/73884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 73871/73878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 73865/73871 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 73858/73865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 73850/73858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 73844/73850 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1163 ms. (3 steps per ms) remains 73837/73844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1205 ms. (3 steps per ms) remains 73831/73837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 73825/73831 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1113 ms. (3 steps per ms) remains 73820/73825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1126 ms. (3 steps per ms) remains 73811/73820 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1176 ms. (3 steps per ms) remains 73804/73811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1156 ms. (3 steps per ms) remains 73797/73804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1199 ms. (3 steps per ms) remains 73790/73797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 73784/73790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 73775/73784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 73766/73775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 73760/73766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1246 ms. (3 steps per ms) remains 73752/73760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 73745/73752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1181 ms. (3 steps per ms) remains 73737/73745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1143 ms. (3 steps per ms) remains 73732/73737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 73726/73732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 73719/73726 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1216 ms. (3 steps per ms) remains 73711/73719 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1149 ms. (3 steps per ms) remains 73703/73711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 73697/73703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1078 ms. (3 steps per ms) remains 73689/73697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 73679/73689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 73672/73679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 73664/73672 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 73657/73664 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 73649/73657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1020 ms. (3 steps per ms) remains 73642/73649 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1018 ms. (3 steps per ms) remains 73636/73642 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1107 ms. (3 steps per ms) remains 73630/73636 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1137 ms. (3 steps per ms) remains 73622/73630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1134 ms. (3 steps per ms) remains 73617/73622 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1201 ms. (3 steps per ms) remains 73610/73617 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1077 ms. (3 steps per ms) remains 73601/73610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 73593/73601 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1064 ms. (3 steps per ms) remains 73588/73593 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1034 ms. (3 steps per ms) remains 73582/73588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1067 ms. (3 steps per ms) remains 73573/73582 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 73566/73573 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1034 ms. (3 steps per ms) remains 73560/73566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 73553/73560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 73548/73553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1206 ms. (3 steps per ms) remains 73541/73548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1063 ms. (3 steps per ms) remains 73534/73541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 73524/73534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 73516/73524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 73510/73516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 73502/73510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 73493/73502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 73486/73493 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1092 ms. (3 steps per ms) remains 73479/73486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 73471/73479 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1153 ms. (3 steps per ms) remains 73466/73471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 73460/73466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 73453/73460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1230 ms. (3 steps per ms) remains 73446/73453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 73440/73446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1150 ms. (3 steps per ms) remains 73431/73440 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1181 ms. (3 steps per ms) remains 73424/73431 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1114 ms. (3 steps per ms) remains 73417/73424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 73410/73417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73401/73410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 73393/73401 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1051 ms. (3 steps per ms) remains 73385/73393 properties
BEST_FIRST walk for 4003 steps (8 resets) in 973 ms. (4 steps per ms) remains 73377/73385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 73370/73377 properties
BEST_FIRST walk for 4002 steps (8 resets) in 976 ms. (4 steps per ms) remains 73364/73370 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1071 ms. (3 steps per ms) remains 73359/73364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 73352/73359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 73345/73352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 73339/73345 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 73332/73339 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 73325/73332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1184 ms. (3 steps per ms) remains 73318/73325 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1263 ms. (3 steps per ms) remains 73312/73318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1133 ms. (3 steps per ms) remains 73306/73312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1004 ms. (3 steps per ms) remains 73299/73306 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1102 ms. (3 steps per ms) remains 73293/73299 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1041 ms. (3 steps per ms) remains 73287/73293 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1003 ms. (3 steps per ms) remains 73282/73287 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1084 ms. (3 steps per ms) remains 73277/73282 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1182 ms. (3 steps per ms) remains 73273/73277 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1223 ms. (3 steps per ms) remains 73265/73273 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73258/73265 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1222 ms. (3 steps per ms) remains 73252/73258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 73244/73252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1098 ms. (3 steps per ms) remains 73236/73244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 73231/73236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 73225/73231 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1223 ms. (3 steps per ms) remains 73217/73225 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73211/73217 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1025 ms. (3 steps per ms) remains 73206/73211 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1124 ms. (3 steps per ms) remains 73200/73206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 73192/73200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 73184/73192 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1147 ms. (3 steps per ms) remains 73176/73184 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1158 ms. (3 steps per ms) remains 73171/73176 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1130 ms. (3 steps per ms) remains 73166/73171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 73161/73166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 73154/73161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 73148/73154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1081 ms. (3 steps per ms) remains 73140/73148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 73133/73140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 73128/73133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73122/73128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1070 ms. (3 steps per ms) remains 73116/73122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1243 ms. (3 steps per ms) remains 73112/73116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 73104/73112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 73096/73104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 73089/73096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 73081/73089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1141 ms. (3 steps per ms) remains 73076/73081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1180 ms. (3 steps per ms) remains 73072/73076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 73063/73072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 73056/73063 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1194 ms. (3 steps per ms) remains 73048/73056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 73040/73048 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1244 ms. (3 steps per ms) remains 73033/73040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1129 ms. (3 steps per ms) remains 73023/73033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1042 ms. (3 steps per ms) remains 73015/73023 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1091 ms. (3 steps per ms) remains 73007/73015 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1170 ms. (3 steps per ms) remains 72997/73007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 72990/72997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1082 ms. (3 steps per ms) remains 72980/72990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1189 ms. (3 steps per ms) remains 72971/72980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 72965/72971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 72959/72965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1114 ms. (3 steps per ms) remains 72952/72959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 72947/72952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 72940/72947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1156 ms. (3 steps per ms) remains 72934/72940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 72928/72934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1185 ms. (3 steps per ms) remains 72919/72928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 72912/72919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 72908/72912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1226 ms. (3 steps per ms) remains 72900/72908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1157 ms. (3 steps per ms) remains 72893/72900 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1066 ms. (3 steps per ms) remains 72890/72893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1120 ms. (3 steps per ms) remains 72884/72890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1059 ms. (3 steps per ms) remains 72878/72884 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1169 ms. (3 steps per ms) remains 72871/72878 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1111 ms. (3 steps per ms) remains 72865/72871 properties
BEST_FIRST walk for 4000 steps (8 resets) in 1285 ms. (3 steps per ms) remains 72855/72865 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1111 ms. (3 steps per ms) remains 72849/72855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1182 ms. (3 steps per ms) remains 72840/72849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 72831/72840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 72825/72831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1110 ms. (3 steps per ms) remains 72817/72825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 72811/72817 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 72806/72811 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1038 ms. (3 steps per ms) remains 72800/72806 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1153 ms. (3 steps per ms) remains 72796/72800 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1035 ms. (3 steps per ms) remains 72789/72796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 72782/72789 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1195 ms. (3 steps per ms) remains 72776/72782 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1193 ms. (3 steps per ms) remains 72768/72776 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1118 ms. (3 steps per ms) remains 72761/72768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 72754/72761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 72747/72754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1158 ms. (3 steps per ms) remains 72738/72747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1252 ms. (3 steps per ms) remains 72732/72738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 72725/72732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1195 ms. (3 steps per ms) remains 72718/72725 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 72710/72718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 72705/72710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 72697/72705 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1131 ms. (3 steps per ms) remains 72689/72697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1108 ms. (3 steps per ms) remains 72681/72689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1196 ms. (3 steps per ms) remains 72676/72681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 72670/72676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 72663/72670 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1054 ms. (3 steps per ms) remains 72656/72663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 72648/72656 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 72640/72648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 72635/72640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 72630/72635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 72624/72630 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 72619/72624 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1029 ms. (3 steps per ms) remains 72611/72619 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1071 ms. (3 steps per ms) remains 72604/72611 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 72596/72604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 72588/72596 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 72582/72588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1079 ms. (3 steps per ms) remains 72577/72582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1259 ms. (3 steps per ms) remains 72571/72577 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 72563/72571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 72558/72563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 72551/72558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 72543/72551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 72539/72543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1242 ms. (3 steps per ms) remains 72533/72539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1135 ms. (3 steps per ms) remains 72525/72533 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1087 ms. (3 steps per ms) remains 72516/72525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1145 ms. (3 steps per ms) remains 72508/72516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1213 ms. (3 steps per ms) remains 72503/72508 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1164 ms. (3 steps per ms) remains 72495/72503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1126 ms. (3 steps per ms) remains 72487/72495 properties
BEST_FIRST walk for 4000 steps (8 resets) in 998 ms. (4 steps per ms) remains 72481/72487 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1120 ms. (3 steps per ms) remains 72474/72481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 72470/72474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1005 ms. (3 steps per ms) remains 72464/72470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 72458/72464 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1136 ms. (3 steps per ms) remains 72450/72458 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 72443/72450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 72438/72443 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1207 ms. (3 steps per ms) remains 72432/72438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1308 ms. (3 steps per ms) remains 72425/72432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 72418/72425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 72410/72418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 72405/72410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1102 ms. (3 steps per ms) remains 72398/72405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 72392/72398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 72387/72392 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1158 ms. (3 steps per ms) remains 72383/72387 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1214 ms. (3 steps per ms) remains 72377/72383 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1153 ms. (3 steps per ms) remains 72371/72377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1140 ms. (3 steps per ms) remains 72362/72371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1152 ms. (3 steps per ms) remains 72357/72362 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1173 ms. (3 steps per ms) remains 72348/72357 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1094 ms. (3 steps per ms) remains 72342/72348 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1092 ms. (3 steps per ms) remains 72335/72342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 72329/72335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1196 ms. (3 steps per ms) remains 72322/72329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1214 ms. (3 steps per ms) remains 72316/72322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1075 ms. (3 steps per ms) remains 72307/72316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 72301/72307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1171 ms. (3 steps per ms) remains 72295/72301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 72287/72295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1267 ms. (3 steps per ms) remains 72278/72287 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1201 ms. (3 steps per ms) remains 72272/72278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 72265/72272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 72258/72265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 72253/72258 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 72245/72253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 72238/72245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1211 ms. (3 steps per ms) remains 72231/72238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 987 ms. (4 steps per ms) remains 72225/72231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 72220/72225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1249 ms. (3 steps per ms) remains 72211/72220 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1191 ms. (3 steps per ms) remains 72206/72211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1119 ms. (3 steps per ms) remains 72200/72206 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 72195/72200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1080 ms. (3 steps per ms) remains 72187/72195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 72182/72187 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1112 ms. (3 steps per ms) remains 72177/72182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1232 ms. (3 steps per ms) remains 72171/72177 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1197 ms. (3 steps per ms) remains 72164/72171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1247 ms. (3 steps per ms) remains 72156/72164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1241 ms. (3 steps per ms) remains 72151/72156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1206 ms. (3 steps per ms) remains 72145/72151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 72136/72145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1127 ms. (3 steps per ms) remains 72130/72136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 72126/72130 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1201 ms. (3 steps per ms) remains 72120/72126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1188 ms. (3 steps per ms) remains 72116/72120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1202 ms. (3 steps per ms) remains 72110/72116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 72105/72110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1082 ms. (3 steps per ms) remains 72100/72105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1045 ms. (3 steps per ms) remains 72093/72100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1169 ms. (3 steps per ms) remains 72086/72093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1214 ms. (3 steps per ms) remains 72078/72086 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1251 ms. (3 steps per ms) remains 72071/72078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1055 ms. (3 steps per ms) remains 72063/72071 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1219 ms. (3 steps per ms) remains 72057/72063 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1143 ms. (3 steps per ms) remains 72049/72057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1156 ms. (3 steps per ms) remains 72042/72049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 72037/72042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1197 ms. (3 steps per ms) remains 72030/72037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 72024/72030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1091 ms. (3 steps per ms) remains 72021/72024 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1216 ms. (3 steps per ms) remains 72015/72021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 72010/72015 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 72005/72010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1157 ms. (3 steps per ms) remains 71998/72005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 71993/71998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1219 ms. (3 steps per ms) remains 71986/71993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1300 ms. (3 steps per ms) remains 71978/71986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1318 ms. (3 steps per ms) remains 71972/71978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1211 ms. (3 steps per ms) remains 71962/71972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 71957/71962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 71949/71957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1219 ms. (3 steps per ms) remains 71941/71949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 71934/71941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 71928/71934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1220 ms. (3 steps per ms) remains 71923/71928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 71916/71923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1114 ms. (3 steps per ms) remains 71912/71916 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1081 ms. (3 steps per ms) remains 71907/71912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1192 ms. (3 steps per ms) remains 71900/71907 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1147 ms. (3 steps per ms) remains 71891/71900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 71885/71891 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1170 ms. (3 steps per ms) remains 71878/71885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1267 ms. (3 steps per ms) remains 71869/71878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 71865/71869 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1135 ms. (3 steps per ms) remains 71858/71865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1228 ms. (3 steps per ms) remains 71854/71858 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1386 ms. (2 steps per ms) remains 71846/71854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1414 ms. (2 steps per ms) remains 71839/71846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1379 ms. (2 steps per ms) remains 71833/71839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 71825/71833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1498 ms. (2 steps per ms) remains 71818/71825 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1369 ms. (2 steps per ms) remains 71811/71818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1334 ms. (2 steps per ms) remains 71807/71811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1383 ms. (2 steps per ms) remains 71799/71807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1341 ms. (2 steps per ms) remains 71792/71799 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1471 ms. (2 steps per ms) remains 71783/71792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1271 ms. (3 steps per ms) remains 71776/71783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1351 ms. (2 steps per ms) remains 71771/71776 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1647 ms. (2 steps per ms) remains 71765/71771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1564 ms. (2 steps per ms) remains 71758/71765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 71752/71758 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1079 ms. (3 steps per ms) remains 71748/71752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 71740/71748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 71735/71740 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1101 ms. (3 steps per ms) remains 71731/71735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1025 ms. (3 steps per ms) remains 71725/71731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 71718/71725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 71713/71718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 71709/71713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 71703/71709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 71696/71703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1067 ms. (3 steps per ms) remains 71691/71696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 71688/71691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1122 ms. (3 steps per ms) remains 71680/71688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1089 ms. (3 steps per ms) remains 71674/71680 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1054 ms. (3 steps per ms) remains 71668/71674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1070 ms. (3 steps per ms) remains 71661/71668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 71653/71661 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1116 ms. (3 steps per ms) remains 71647/71653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 71641/71647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 71633/71641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1182 ms. (3 steps per ms) remains 71628/71633 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1208 ms. (3 steps per ms) remains 71620/71628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1079 ms. (3 steps per ms) remains 71612/71620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1123 ms. (3 steps per ms) remains 71605/71612 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1271 ms. (3 steps per ms) remains 71597/71605 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1139 ms. (3 steps per ms) remains 71592/71597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 71588/71592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 71582/71588 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1234 ms. (3 steps per ms) remains 71573/71582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 71567/71573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 71562/71567 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1086 ms. (3 steps per ms) remains 71556/71562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 71549/71556 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1066 ms. (3 steps per ms) remains 71542/71549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1202 ms. (3 steps per ms) remains 71537/71542 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1279 ms. (3 steps per ms) remains 71531/71537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1430 ms. (2 steps per ms) remains 71527/71531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 71520/71527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 71516/71520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1254 ms. (3 steps per ms) remains 71509/71516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1111 ms. (3 steps per ms) remains 71502/71509 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1206 ms. (3 steps per ms) remains 71496/71502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1219 ms. (3 steps per ms) remains 71490/71496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1226 ms. (3 steps per ms) remains 71481/71490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 71475/71481 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1137 ms. (3 steps per ms) remains 71469/71475 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1144 ms. (3 steps per ms) remains 71462/71469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1227 ms. (3 steps per ms) remains 71455/71462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1263 ms. (3 steps per ms) remains 71448/71455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1157 ms. (3 steps per ms) remains 71441/71448 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1229 ms. (3 steps per ms) remains 71432/71441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 71426/71432 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1226 ms. (3 steps per ms) remains 71419/71426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 71413/71419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1263 ms. (3 steps per ms) remains 71406/71413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 71400/71406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 71394/71400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1189 ms. (3 steps per ms) remains 71388/71394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1255 ms. (3 steps per ms) remains 71382/71388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 71376/71382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 71369/71376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 71364/71369 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1305 ms. (3 steps per ms) remains 71356/71364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1219 ms. (3 steps per ms) remains 71349/71356 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1181 ms. (3 steps per ms) remains 71343/71349 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 71336/71343 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1249 ms. (3 steps per ms) remains 71328/71336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1246 ms. (3 steps per ms) remains 71325/71328 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1156 ms. (3 steps per ms) remains 71316/71325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1317 ms. (3 steps per ms) remains 71310/71316 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1091 ms. (3 steps per ms) remains 71305/71310 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1158 ms. (3 steps per ms) remains 71299/71305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1320 ms. (3 steps per ms) remains 71291/71299 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 71287/71291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1203 ms. (3 steps per ms) remains 71281/71287 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1294 ms. (3 steps per ms) remains 71274/71281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 71268/71274 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 71260/71268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 71253/71260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1167 ms. (3 steps per ms) remains 71247/71253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 71238/71247 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1215 ms. (3 steps per ms) remains 71231/71238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 71225/71231 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1136 ms. (3 steps per ms) remains 71218/71225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1196 ms. (3 steps per ms) remains 71210/71218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1232 ms. (3 steps per ms) remains 71204/71210 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1174 ms. (3 steps per ms) remains 71195/71204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1584 ms. (2 steps per ms) remains 71189/71195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1207 ms. (3 steps per ms) remains 71183/71189 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1258 ms. (3 steps per ms) remains 71176/71183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 71165/71176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 71159/71165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1299 ms. (3 steps per ms) remains 71151/71159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1250 ms. (3 steps per ms) remains 71144/71151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 71140/71144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1193 ms. (3 steps per ms) remains 71135/71140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1242 ms. (3 steps per ms) remains 71132/71135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 71126/71132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 71121/71126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 71115/71121 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1168 ms. (3 steps per ms) remains 71111/71115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 71104/71111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 71098/71104 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1247 ms. (3 steps per ms) remains 71092/71098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 71084/71092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 71078/71084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1131 ms. (3 steps per ms) remains 71071/71078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 71063/71071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1212 ms. (3 steps per ms) remains 71060/71063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1182 ms. (3 steps per ms) remains 71055/71060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1214 ms. (3 steps per ms) remains 71047/71055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 71041/71047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 71034/71041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 71026/71034 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1201 ms. (3 steps per ms) remains 71021/71026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 71014/71021 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 71009/71014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1148 ms. (3 steps per ms) remains 71001/71009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 70994/71001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 70987/70994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1081 ms. (3 steps per ms) remains 70980/70987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1102 ms. (3 steps per ms) remains 70974/70980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1167 ms. (3 steps per ms) remains 70970/70974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1287 ms. (3 steps per ms) remains 70965/70970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1286 ms. (3 steps per ms) remains 70957/70965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1067 ms. (3 steps per ms) remains 70952/70957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 70947/70952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 70940/70947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 70935/70940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1098 ms. (3 steps per ms) remains 70929/70935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 70922/70929 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1226 ms. (3 steps per ms) remains 70916/70922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1202 ms. (3 steps per ms) remains 70912/70916 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 70905/70912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1200 ms. (3 steps per ms) remains 70899/70905 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1226 ms. (3 steps per ms) remains 70894/70899 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1198 ms. (3 steps per ms) remains 70890/70894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1257 ms. (3 steps per ms) remains 70884/70890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 70880/70884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1403 ms. (2 steps per ms) remains 70872/70880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1353 ms. (2 steps per ms) remains 70867/70872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1372 ms. (2 steps per ms) remains 70860/70867 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1550 ms. (2 steps per ms) remains 70852/70860 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1467 ms. (2 steps per ms) remains 70844/70852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1436 ms. (2 steps per ms) remains 70838/70844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1421 ms. (2 steps per ms) remains 70833/70838 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1424 ms. (2 steps per ms) remains 70824/70833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1540 ms. (2 steps per ms) remains 70817/70824 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1436 ms. (2 steps per ms) remains 70812/70817 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1329 ms. (3 steps per ms) remains 70805/70812 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 70796/70805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1171 ms. (3 steps per ms) remains 70789/70796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1151 ms. (3 steps per ms) remains 70783/70789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 70777/70783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1086 ms. (3 steps per ms) remains 70771/70777 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 70764/70771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 70758/70764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1181 ms. (3 steps per ms) remains 70751/70758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 70747/70751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 70741/70747 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1175 ms. (3 steps per ms) remains 70735/70741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 70729/70735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1339 ms. (2 steps per ms) remains 70723/70729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1147 ms. (3 steps per ms) remains 70718/70723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1132 ms. (3 steps per ms) remains 70711/70718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 70704/70711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1144 ms. (3 steps per ms) remains 70695/70704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 70689/70695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 70685/70689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 70680/70685 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1057 ms. (3 steps per ms) remains 70674/70680 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1110 ms. (3 steps per ms) remains 70666/70674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1204 ms. (3 steps per ms) remains 70658/70666 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1113 ms. (3 steps per ms) remains 70652/70658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1235 ms. (3 steps per ms) remains 70646/70652 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 70639/70646 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1273 ms. (3 steps per ms) remains 70635/70639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1126 ms. (3 steps per ms) remains 70630/70635 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1240 ms. (3 steps per ms) remains 70624/70630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1366 ms. (2 steps per ms) remains 70616/70624 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1313 ms. (3 steps per ms) remains 70611/70616 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 70609/70611 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1327 ms. (3 steps per ms) remains 70603/70609 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1132 ms. (3 steps per ms) remains 70597/70603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1307 ms. (3 steps per ms) remains 70590/70597 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1173 ms. (3 steps per ms) remains 70584/70590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 70576/70584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 70570/70576 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1076 ms. (3 steps per ms) remains 70565/70570 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1162 ms. (3 steps per ms) remains 70560/70565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 70553/70560 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1204 ms. (3 steps per ms) remains 70545/70553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1317 ms. (3 steps per ms) remains 70537/70545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1206 ms. (3 steps per ms) remains 70530/70537 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1059 ms. (3 steps per ms) remains 70524/70530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 70520/70524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1083 ms. (3 steps per ms) remains 70512/70520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 70507/70512 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1085 ms. (3 steps per ms) remains 70498/70507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1078 ms. (3 steps per ms) remains 70492/70498 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1175 ms. (3 steps per ms) remains 70489/70492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1223 ms. (3 steps per ms) remains 70483/70489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 70478/70483 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1282 ms. (3 steps per ms) remains 70470/70478 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1294 ms. (3 steps per ms) remains 70467/70470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 70460/70467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 70454/70460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 70448/70454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 70439/70448 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1243 ms. (3 steps per ms) remains 70433/70439 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1196 ms. (3 steps per ms) remains 70426/70433 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1143 ms. (3 steps per ms) remains 70418/70426 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1244 ms. (3 steps per ms) remains 70415/70418 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1353 ms. (2 steps per ms) remains 70407/70415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1232 ms. (3 steps per ms) remains 70401/70407 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1267 ms. (3 steps per ms) remains 70396/70401 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1149 ms. (3 steps per ms) remains 70390/70396 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1181 ms. (3 steps per ms) remains 70385/70390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1328 ms. (3 steps per ms) remains 70380/70385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1187 ms. (3 steps per ms) remains 70374/70380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 70367/70374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 70360/70367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 70353/70360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1222 ms. (3 steps per ms) remains 70347/70353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 70342/70347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1217 ms. (3 steps per ms) remains 70335/70342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1280 ms. (3 steps per ms) remains 70328/70335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1263 ms. (3 steps per ms) remains 70322/70328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1174 ms. (3 steps per ms) remains 70315/70322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1237 ms. (3 steps per ms) remains 70310/70315 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 70304/70310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 998 ms. (4 steps per ms) remains 70297/70304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1191 ms. (3 steps per ms) remains 70288/70297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1175 ms. (3 steps per ms) remains 70283/70288 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1163 ms. (3 steps per ms) remains 70275/70283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1244 ms. (3 steps per ms) remains 70268/70275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 70262/70268 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1140 ms. (3 steps per ms) remains 70255/70262 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1235 ms. (3 steps per ms) remains 70248/70255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 70242/70248 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 70235/70242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1219 ms. (3 steps per ms) remains 70227/70235 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1228 ms. (3 steps per ms) remains 70219/70227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1140 ms. (3 steps per ms) remains 70214/70219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 70207/70214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 70203/70207 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1169 ms. (3 steps per ms) remains 70198/70203 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1050 ms. (3 steps per ms) remains 70193/70198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1031 ms. (3 steps per ms) remains 70187/70193 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1078 ms. (3 steps per ms) remains 70181/70187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1191 ms. (3 steps per ms) remains 70173/70181 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1211 ms. (3 steps per ms) remains 70167/70173 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1535 ms. (2 steps per ms) remains 70160/70167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1338 ms. (2 steps per ms) remains 70152/70160 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1452 ms. (2 steps per ms) remains 70146/70152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1292 ms. (3 steps per ms) remains 70138/70146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 70131/70138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1438 ms. (2 steps per ms) remains 70124/70131 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1350 ms. (2 steps per ms) remains 70119/70124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1511 ms. (2 steps per ms) remains 70112/70119 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1435 ms. (2 steps per ms) remains 70105/70112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1440 ms. (2 steps per ms) remains 70098/70105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1373 ms. (2 steps per ms) remains 70094/70098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1475 ms. (2 steps per ms) remains 70087/70094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1171 ms. (3 steps per ms) remains 70081/70087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 70076/70081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 70073/70076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1014 ms. (3 steps per ms) remains 70067/70073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1159 ms. (3 steps per ms) remains 70060/70067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1110 ms. (3 steps per ms) remains 70054/70060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1083 ms. (3 steps per ms) remains 70048/70054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1065 ms. (3 steps per ms) remains 70041/70048 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1178 ms. (3 steps per ms) remains 70034/70041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 70028/70034 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1171 ms. (3 steps per ms) remains 70024/70028 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1273 ms. (3 steps per ms) remains 70017/70024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1193 ms. (3 steps per ms) remains 70011/70017 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1156 ms. (3 steps per ms) remains 70006/70011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1265 ms. (3 steps per ms) remains 69999/70006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 69993/69999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1201 ms. (3 steps per ms) remains 69986/69993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1129 ms. (3 steps per ms) remains 69981/69986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 69976/69981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1238 ms. (3 steps per ms) remains 69970/69976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 69963/69970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 69958/69963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1264 ms. (3 steps per ms) remains 69951/69958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1275 ms. (3 steps per ms) remains 69946/69951 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1135 ms. (3 steps per ms) remains 69941/69946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 69936/69941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 69929/69936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 69923/69929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1081 ms. (3 steps per ms) remains 69920/69923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69913/69920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1155 ms. (3 steps per ms) remains 69909/69913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 69902/69909 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1017 ms. (3 steps per ms) remains 69897/69902 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 69892/69897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 69885/69892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1096 ms. (3 steps per ms) remains 69880/69885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 69875/69880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1099 ms. (3 steps per ms) remains 69871/69875 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 69864/69871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 69858/69864 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1048 ms. (3 steps per ms) remains 69853/69858 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1081 ms. (3 steps per ms) remains 69847/69853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1089 ms. (3 steps per ms) remains 69840/69847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1206 ms. (3 steps per ms) remains 69833/69840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 69826/69833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1027 ms. (3 steps per ms) remains 69821/69826 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1059 ms. (3 steps per ms) remains 69818/69821 properties
BEST_FIRST walk for 4002 steps (8 resets) in 959 ms. (4 steps per ms) remains 69812/69818 properties
BEST_FIRST walk for 4001 steps (8 resets) in 993 ms. (4 steps per ms) remains 69806/69812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1058 ms. (3 steps per ms) remains 69799/69806 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 69792/69799 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1099 ms. (3 steps per ms) remains 69787/69792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1061 ms. (3 steps per ms) remains 69781/69787 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1181 ms. (3 steps per ms) remains 69775/69781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1037 ms. (3 steps per ms) remains 69773/69775 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 69766/69773 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1183 ms. (3 steps per ms) remains 69761/69766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1185 ms. (3 steps per ms) remains 69756/69761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1153 ms. (3 steps per ms) remains 69750/69756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1417 ms. (2 steps per ms) remains 69743/69750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 69737/69743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 69731/69737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1058 ms. (3 steps per ms) remains 69724/69731 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1149 ms. (3 steps per ms) remains 69719/69724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1123 ms. (3 steps per ms) remains 69714/69719 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1073 ms. (3 steps per ms) remains 69708/69714 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 69701/69708 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1122 ms. (3 steps per ms) remains 69695/69701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1085 ms. (3 steps per ms) remains 69690/69695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 69684/69690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1142 ms. (3 steps per ms) remains 69679/69684 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69674/69679 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1081 ms. (3 steps per ms) remains 69670/69674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1131 ms. (3 steps per ms) remains 69664/69670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 69659/69664 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 69653/69659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 69647/69653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 69640/69647 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 69635/69640 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1184 ms. (3 steps per ms) remains 69631/69635 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1248 ms. (3 steps per ms) remains 69622/69631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 69615/69622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 69611/69615 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 69605/69611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 69600/69605 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1076 ms. (3 steps per ms) remains 69594/69600 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 69589/69594 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1147 ms. (3 steps per ms) remains 69585/69589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1160 ms. (3 steps per ms) remains 69580/69585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1114 ms. (3 steps per ms) remains 69575/69580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 69570/69575 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 69562/69570 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1203 ms. (3 steps per ms) remains 69556/69562 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1070 ms. (3 steps per ms) remains 69548/69556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 69540/69548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1204 ms. (3 steps per ms) remains 69535/69540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1167 ms. (3 steps per ms) remains 69530/69535 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1424 ms. (2 steps per ms) remains 69526/69530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 69518/69526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 69515/69518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1319 ms. (3 steps per ms) remains 69509/69515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1492 ms. (2 steps per ms) remains 69505/69509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1295 ms. (3 steps per ms) remains 69498/69505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1486 ms. (2 steps per ms) remains 69494/69498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1206 ms. (3 steps per ms) remains 69488/69494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1305 ms. (3 steps per ms) remains 69482/69488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1189 ms. (3 steps per ms) remains 69478/69482 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1242 ms. (3 steps per ms) remains 69471/69478 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1067 ms. (3 steps per ms) remains 69467/69471 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1056 ms. (3 steps per ms) remains 69463/69467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 69458/69463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 69456/69458 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1170 ms. (3 steps per ms) remains 69452/69456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 69450/69452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 69446/69450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 69440/69446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 69434/69440 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1245 ms. (3 steps per ms) remains 69430/69434 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1201 ms. (3 steps per ms) remains 69422/69430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1059 ms. (3 steps per ms) remains 69417/69422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 69410/69417 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1265 ms. (3 steps per ms) remains 69402/69410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 69399/69402 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1073 ms. (3 steps per ms) remains 69396/69399 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1101 ms. (3 steps per ms) remains 69391/69396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 69385/69391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69382/69385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 69375/69382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1246 ms. (3 steps per ms) remains 69368/69375 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1133 ms. (3 steps per ms) remains 69361/69368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 69354/69361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1234 ms. (3 steps per ms) remains 69346/69354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 69340/69346 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1042 ms. (3 steps per ms) remains 69333/69340 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1127 ms. (3 steps per ms) remains 69326/69333 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1164 ms. (3 steps per ms) remains 69322/69326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 69317/69322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1108 ms. (3 steps per ms) remains 69311/69317 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1226 ms. (3 steps per ms) remains 69304/69311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1063 ms. (3 steps per ms) remains 69298/69304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 69294/69298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 69289/69294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 69284/69289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 69277/69284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1162 ms. (3 steps per ms) remains 69274/69277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 69269/69274 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1131 ms. (3 steps per ms) remains 69263/69269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 69256/69263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 69250/69256 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1189 ms. (3 steps per ms) remains 69242/69250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 69237/69242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 69232/69237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 69229/69232 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1146 ms. (3 steps per ms) remains 69220/69229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 69214/69220 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1129 ms. (3 steps per ms) remains 69209/69214 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1156 ms. (3 steps per ms) remains 69203/69209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1150 ms. (3 steps per ms) remains 69198/69203 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1170 ms. (3 steps per ms) remains 69192/69198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 69186/69192 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1061 ms. (3 steps per ms) remains 69182/69186 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1165 ms. (3 steps per ms) remains 69175/69182 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1176 ms. (3 steps per ms) remains 69169/69175 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1225 ms. (3 steps per ms) remains 69165/69169 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1033 ms. (3 steps per ms) remains 69160/69165 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1138 ms. (3 steps per ms) remains 69156/69160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69150/69156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 69145/69150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1087 ms. (3 steps per ms) remains 69141/69145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 69137/69141 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1075 ms. (3 steps per ms) remains 69133/69137 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1101 ms. (3 steps per ms) remains 69129/69133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1085 ms. (3 steps per ms) remains 69121/69129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 69115/69121 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69109/69115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1015 ms. (3 steps per ms) remains 69103/69109 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1205 ms. (3 steps per ms) remains 69099/69103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1292 ms. (3 steps per ms) remains 69094/69099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 69090/69094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 69084/69090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1142 ms. (3 steps per ms) remains 69080/69084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1204 ms. (3 steps per ms) remains 69074/69080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 69066/69074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1122 ms. (3 steps per ms) remains 69060/69066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 69054/69060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 69050/69054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1058 ms. (3 steps per ms) remains 69045/69050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1082 ms. (3 steps per ms) remains 69041/69045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1214 ms. (3 steps per ms) remains 69037/69041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1079 ms. (3 steps per ms) remains 69029/69037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 69022/69029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1243 ms. (3 steps per ms) remains 69020/69022 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1138 ms. (3 steps per ms) remains 69012/69020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 948 ms. (4 steps per ms) remains 69006/69012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 69000/69006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1185 ms. (3 steps per ms) remains 68994/69000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 68987/68994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1217 ms. (3 steps per ms) remains 68980/68987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1462 ms. (2 steps per ms) remains 68977/68980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1395 ms. (2 steps per ms) remains 68970/68977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1424 ms. (2 steps per ms) remains 68965/68970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1315 ms. (3 steps per ms) remains 68959/68965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1305 ms. (3 steps per ms) remains 68955/68959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1332 ms. (3 steps per ms) remains 68950/68955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1486 ms. (2 steps per ms) remains 68945/68950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1555 ms. (2 steps per ms) remains 68937/68945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1475 ms. (2 steps per ms) remains 68931/68937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1350 ms. (2 steps per ms) remains 68925/68931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1296 ms. (3 steps per ms) remains 68917/68925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1389 ms. (2 steps per ms) remains 68912/68917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1254 ms. (3 steps per ms) remains 68906/68912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 68900/68906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1053 ms. (3 steps per ms) remains 68895/68900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 68889/68895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68883/68889 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1113 ms. (3 steps per ms) remains 68879/68883 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68873/68879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 68870/68873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 68863/68870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 68856/68863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1154 ms. (3 steps per ms) remains 68848/68856 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1184 ms. (3 steps per ms) remains 68839/68848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 68831/68839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 68828/68831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1188 ms. (3 steps per ms) remains 68821/68828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 68814/68821 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 68806/68814 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1215 ms. (3 steps per ms) remains 68801/68806 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1120 ms. (3 steps per ms) remains 68795/68801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 68786/68795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 68778/68786 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1242 ms. (3 steps per ms) remains 68774/68778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1217 ms. (3 steps per ms) remains 68770/68774 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1093 ms. (3 steps per ms) remains 68766/68770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 68760/68766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1234 ms. (3 steps per ms) remains 68754/68760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1132 ms. (3 steps per ms) remains 68747/68754 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1195 ms. (3 steps per ms) remains 68743/68747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 68736/68743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 68734/68736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1215 ms. (3 steps per ms) remains 68730/68734 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 68728/68730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 991 ms. (4 steps per ms) remains 68724/68728 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1169 ms. (3 steps per ms) remains 68718/68724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 68714/68718 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1189 ms. (3 steps per ms) remains 68712/68714 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 68707/68712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 68702/68707 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1045 ms. (3 steps per ms) remains 68696/68702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1259 ms. (3 steps per ms) remains 68691/68696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1288 ms. (3 steps per ms) remains 68684/68691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 68678/68684 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1106 ms. (3 steps per ms) remains 68670/68678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 68662/68670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 68656/68662 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1209 ms. (3 steps per ms) remains 68650/68656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1314 ms. (3 steps per ms) remains 68647/68650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 68643/68647 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1204 ms. (3 steps per ms) remains 68640/68643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 68634/68640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 68629/68634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1202 ms. (3 steps per ms) remains 68622/68629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1310 ms. (3 steps per ms) remains 68615/68622 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1111 ms. (3 steps per ms) remains 68610/68615 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1306 ms. (3 steps per ms) remains 68605/68610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1145 ms. (3 steps per ms) remains 68602/68605 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1118 ms. (3 steps per ms) remains 68597/68602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1195 ms. (3 steps per ms) remains 68591/68597 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1234 ms. (3 steps per ms) remains 68588/68591 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1108 ms. (3 steps per ms) remains 68585/68588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1215 ms. (3 steps per ms) remains 68581/68585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 68576/68581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 68572/68576 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1115 ms. (3 steps per ms) remains 68567/68572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1237 ms. (3 steps per ms) remains 68560/68567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1118 ms. (3 steps per ms) remains 68552/68560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 68547/68552 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1081 ms. (3 steps per ms) remains 68540/68547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 68533/68540 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1034 ms. (3 steps per ms) remains 68525/68533 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1277 ms. (3 steps per ms) remains 68520/68525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 68513/68520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1256 ms. (3 steps per ms) remains 68506/68513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 68503/68506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1217 ms. (3 steps per ms) remains 68498/68503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 68492/68498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 68487/68492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 68486/68487 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1196 ms. (3 steps per ms) remains 68482/68486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 68476/68482 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1145 ms. (3 steps per ms) remains 68472/68476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 68468/68472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1087 ms. (3 steps per ms) remains 68464/68468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1051 ms. (3 steps per ms) remains 68462/68464 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 68457/68462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 68451/68457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1161 ms. (3 steps per ms) remains 68444/68451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 68438/68444 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1213 ms. (3 steps per ms) remains 68434/68438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1373 ms. (2 steps per ms) remains 68428/68434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1372 ms. (2 steps per ms) remains 68422/68428 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1500 ms. (2 steps per ms) remains 68416/68422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1334 ms. (2 steps per ms) remains 68412/68416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1462 ms. (2 steps per ms) remains 68407/68412 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1516 ms. (2 steps per ms) remains 68403/68407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1511 ms. (2 steps per ms) remains 68396/68403 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1305 ms. (3 steps per ms) remains 68390/68396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1551 ms. (2 steps per ms) remains 68385/68390 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1426 ms. (2 steps per ms) remains 68377/68385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 68373/68377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1123 ms. (3 steps per ms) remains 68368/68373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 68363/68368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1241 ms. (3 steps per ms) remains 68359/68363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1114 ms. (3 steps per ms) remains 68357/68359 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1223 ms. (3 steps per ms) remains 68350/68357 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1074 ms. (3 steps per ms) remains 68345/68350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 68342/68345 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1096 ms. (3 steps per ms) remains 68337/68342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 68332/68337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 68326/68332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 68322/68326 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1038 ms. (3 steps per ms) remains 68316/68322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 68312/68316 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1172 ms. (3 steps per ms) remains 68306/68312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1298 ms. (3 steps per ms) remains 68301/68306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1144 ms. (3 steps per ms) remains 68296/68301 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1085 ms. (3 steps per ms) remains 68293/68296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1123 ms. (3 steps per ms) remains 68286/68293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 68280/68286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 68276/68280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 68271/68276 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1285 ms. (3 steps per ms) remains 68265/68271 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 68258/68265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 68253/68258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1288 ms. (3 steps per ms) remains 68244/68253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 68238/68244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1228 ms. (3 steps per ms) remains 68233/68238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1257 ms. (3 steps per ms) remains 68226/68233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 68221/68226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 68219/68221 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1185 ms. (3 steps per ms) remains 68213/68219 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1133 ms. (3 steps per ms) remains 68208/68213 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 68203/68208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 68199/68203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 68196/68199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1115 ms. (3 steps per ms) remains 68190/68196 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1107 ms. (3 steps per ms) remains 68185/68190 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1247 ms. (3 steps per ms) remains 68182/68185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1180 ms. (3 steps per ms) remains 68178/68182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1175 ms. (3 steps per ms) remains 68173/68178 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 68169/68173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1327 ms. (3 steps per ms) remains 68164/68169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 68158/68164 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 68151/68158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1252 ms. (3 steps per ms) remains 68143/68151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1181 ms. (3 steps per ms) remains 68137/68143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1137 ms. (3 steps per ms) remains 68133/68137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 68128/68133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 68122/68128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1237 ms. (3 steps per ms) remains 68115/68122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 68112/68115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 68108/68112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 68103/68108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 68099/68103 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1339 ms. (2 steps per ms) remains 68092/68099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1175 ms. (3 steps per ms) remains 68087/68092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 68080/68087 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1198 ms. (3 steps per ms) remains 68074/68080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 68066/68074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1247 ms. (3 steps per ms) remains 68060/68066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1228 ms. (3 steps per ms) remains 68055/68060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1197 ms. (3 steps per ms) remains 68049/68055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1106 ms. (3 steps per ms) remains 68044/68049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 68040/68044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1139 ms. (3 steps per ms) remains 68033/68040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1152 ms. (3 steps per ms) remains 68029/68033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1185 ms. (3 steps per ms) remains 68026/68029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1112 ms. (3 steps per ms) remains 68021/68026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 68015/68021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 68014/68015 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1106 ms. (3 steps per ms) remains 68007/68014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 68002/68007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 67998/68002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 67994/67998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 67988/67994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1157 ms. (3 steps per ms) remains 67985/67988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 67980/67985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 67976/67980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1076 ms. (3 steps per ms) remains 67969/67976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1234 ms. (3 steps per ms) remains 67964/67969 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1154 ms. (3 steps per ms) remains 67960/67964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 67953/67960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 67949/67953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1150 ms. (3 steps per ms) remains 67943/67949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 67936/67943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1110 ms. (3 steps per ms) remains 67931/67936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1127 ms. (3 steps per ms) remains 67927/67931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1427 ms. (2 steps per ms) remains 67921/67927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1313 ms. (3 steps per ms) remains 67917/67921 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1432 ms. (2 steps per ms) remains 67910/67917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1429 ms. (2 steps per ms) remains 67903/67910 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1303 ms. (3 steps per ms) remains 67898/67903 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1254 ms. (3 steps per ms) remains 67892/67898 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1213 ms. (3 steps per ms) remains 67886/67892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1410 ms. (2 steps per ms) remains 67881/67886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1498 ms. (2 steps per ms) remains 67873/67881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1466 ms. (2 steps per ms) remains 67869/67873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1410 ms. (2 steps per ms) remains 67863/67869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1484 ms. (2 steps per ms) remains 67858/67863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1183 ms. (3 steps per ms) remains 67854/67858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 67850/67854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 67845/67850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 67841/67845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 67836/67841 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1149 ms. (3 steps per ms) remains 67828/67836 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 67823/67828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 67818/67823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 67814/67818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1235 ms. (3 steps per ms) remains 67808/67814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 67805/67808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 67799/67805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 67795/67799 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1109 ms. (3 steps per ms) remains 67791/67795 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 67784/67791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 67778/67784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 67771/67778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1159 ms. (3 steps per ms) remains 67770/67771 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1180 ms. (3 steps per ms) remains 67768/67770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 67765/67768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1205 ms. (3 steps per ms) remains 67761/67765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1252 ms. (3 steps per ms) remains 67755/67761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 67749/67755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 67743/67749 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1171 ms. (3 steps per ms) remains 67738/67743 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1107 ms. (3 steps per ms) remains 67733/67738 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1075 ms. (3 steps per ms) remains 67727/67733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 67721/67727 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1193 ms. (3 steps per ms) remains 67715/67721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 67712/67715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 67708/67712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 67700/67708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1164 ms. (3 steps per ms) remains 67695/67700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1184 ms. (3 steps per ms) remains 67687/67695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 67680/67687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 67676/67680 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 67672/67676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1218 ms. (3 steps per ms) remains 67666/67672 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1194 ms. (3 steps per ms) remains 67664/67666 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 67662/67664 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1142 ms. (3 steps per ms) remains 67657/67662 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 67653/67657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1152 ms. (3 steps per ms) remains 67650/67653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1185 ms. (3 steps per ms) remains 67642/67650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 67639/67642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 67636/67639 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 67629/67636 properties
BEST_FIRST walk for 4003 steps (8 resets) in 999 ms. (4 steps per ms) remains 67623/67629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 67616/67623 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1138 ms. (3 steps per ms) remains 67613/67616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 67609/67613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 67605/67609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 67599/67605 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1349 ms. (2 steps per ms) remains 67593/67599 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 67590/67593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 67585/67590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 67581/67585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 67575/67581 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1126 ms. (3 steps per ms) remains 67569/67575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 67564/67569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 67560/67564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 67552/67560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1106 ms. (3 steps per ms) remains 67548/67552 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1177 ms. (3 steps per ms) remains 67545/67548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 67540/67545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1242 ms. (3 steps per ms) remains 67532/67540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1238 ms. (3 steps per ms) remains 67526/67532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1151 ms. (3 steps per ms) remains 67522/67526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1030 ms. (3 steps per ms) remains 67516/67522 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1202 ms. (3 steps per ms) remains 67510/67516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1181 ms. (3 steps per ms) remains 67503/67510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 67498/67503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1023 ms. (3 steps per ms) remains 67494/67498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1078 ms. (3 steps per ms) remains 67489/67494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 67483/67489 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1115 ms. (3 steps per ms) remains 67479/67483 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1134 ms. (3 steps per ms) remains 67474/67479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1163 ms. (3 steps per ms) remains 67471/67474 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1224 ms. (3 steps per ms) remains 67466/67471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 67459/67466 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1198 ms. (3 steps per ms) remains 67455/67459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1210 ms. (3 steps per ms) remains 67447/67455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1232 ms. (3 steps per ms) remains 67441/67447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1149 ms. (3 steps per ms) remains 67434/67441 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 67429/67434 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1177 ms. (3 steps per ms) remains 67426/67429 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1205 ms. (3 steps per ms) remains 67422/67426 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1529 ms. (2 steps per ms) remains 67418/67422 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1597 ms. (2 steps per ms) remains 67415/67418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1427 ms. (2 steps per ms) remains 67413/67415 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1509 ms. (2 steps per ms) remains 67408/67413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1590 ms. (2 steps per ms) remains 67403/67408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1433 ms. (2 steps per ms) remains 67397/67403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1441 ms. (2 steps per ms) remains 67393/67397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1256 ms. (3 steps per ms) remains 67387/67393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1266 ms. (3 steps per ms) remains 67380/67387 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1383 ms. (2 steps per ms) remains 67373/67380 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1065 ms. (3 steps per ms) remains 67368/67373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1063 ms. (3 steps per ms) remains 67364/67368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1043 ms. (3 steps per ms) remains 67359/67364 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1211 ms. (3 steps per ms) remains 67355/67359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1077 ms. (3 steps per ms) remains 67350/67355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 67345/67350 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1142 ms. (3 steps per ms) remains 67339/67345 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1162 ms. (3 steps per ms) remains 67333/67339 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 67328/67333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 67324/67328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 67320/67324 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="ErlangenMainframeV0-PT-1008"
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 ErlangenMainframeV0-PT-1008, 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 r120-smll-177955742500302"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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