About the Execution of ITS-Tools for ErlangenMainframeV2-PT-aP12C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16177.287 | 1800000.00 | 4098006.00 | 13475.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r344-smll-178021500900117.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is ErlangenMainframeV2-PT-aP12C04, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500900117
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 90M
-rw-r--r-- 1 mcc users 6.8K May 27 10:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K May 27 10:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 27 10:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K May 27 10:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 27 10:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 27 10:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 27 10:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 27 10:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 11K May 27 10:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K May 27 10:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K May 27 10:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K May 27 10:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 8 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 90M May 26 18:17 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1780313623249
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV2-PT-aP12C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 11:33:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 11:33:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 11:33:49] [INFO ] Load time of PNML (sax parser for PT used): 4621 ms
[2026-06-01 11:33:50] [INFO ] Transformed 100 places.
[2026-06-01 11:33:50] [INFO ] Transformed 62312 transitions.
[2026-06-01 11:33:50] [INFO ] Found NUPN structural information;
[2026-06-01 11:33:50] [INFO ] Parsed PT model containing 100 places and 62312 transitions and 1825194 arcs in 5444 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 100/100 places, 62312/62312 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 100 transition count 62295
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 33 place count 84 transition count 62295
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 33 place count 84 transition count 62294
Deduced a syphon composed of 1 places in 175 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 36 place count 82 transition count 62294
Applied a total of 36 rules in 4620 ms. Remains 82 /100 variables (removed 18) and now considering 62294/62312 (removed 18) transitions.
[2026-06-01 11:33:55] [INFO ] Flow matrix only has 62290 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3847443172437965557.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16607321142854640872.kers'
[2026-06-01 11:33:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3847443172437965557.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16607321142854640872.kers]
Normalized transition count is 62289 out of 62290 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 327 ms.
// Phase 1: matrix 62289 rows 81 cols 1700635 entries
Finished phase 1 with 48 SingleSign rule and 3 generalized
[2026-06-01 11:33:57] [INFO ] Computed 31 invariants in 1481 ms
Computed 31 P flows in 1484 ms.
Exported basis to /tmp/petrispot-output-16607321142854640872.kers
Total runtime 1712 ms.
[2026-06-01 11:34:28] [INFO ] Performed 36/82 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 11:35:18] [INFO ] Performed 63/82 implicitness test of which 1 returned IMPLICIT in 80 seconds.
[2026-06-01 11:35:21] [INFO ] Implicit Places using invariants in 86081 ms returned [63]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 86393 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 81/100 places, 62294/62312 transitions.
Applied a total of 0 rules in 825 ms. Remains 81 /81 variables (removed 0) and now considering 62294/62294 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 91877 ms. Remains : 81/100 places, 62294/62312 transitions.
Discarding 35 transitions out of 62294. Remains 62259
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 86166 ms. (0 steps per ms) remains 62188/62258 properties
BEST_FIRST walk for 124 steps (8 resets) in 712 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1045 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 912 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 723 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 734 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 843 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 995 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 774 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 987 ms. (0 steps per ms) remains 62188/62188 properties
[2026-06-01 11:46:26] [INFO ] Flatten gal took : 20011 ms
BEST_FIRST walk for 124 steps (8 resets) in 1070 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1006 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1077 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1068 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 977 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 964 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 916 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 966 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1073 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 909 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 978 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 960 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 787 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 802 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 997 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 876 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 974 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 769 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1318 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 776 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 766 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 806 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 798 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 772 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 754 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 788 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 760 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 798 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1358 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 829 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 830 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 773 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 850 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1026 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 943 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 824 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 808 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 843 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 811 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 782 ms. (0 steps per ms) remains 62188/62188 properties
BEST_FIRST walk for 124 steps (8 resets) in 1113 ms. (0 steps per ms) remains 62188/62188 properties
[2026-06-01 11:46:41] [INFO ] Flatten gal took : 14868 ms
[2026-06-01 11:46:43] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1157639802795531725.gal : 2088 ms
[2026-06-01 11:46:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6746781067704933665.prop : 808 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/ReachabilityCardinality1157639802795531725.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6746781067704933665.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 ...328
Interrupted probabilistic random walk after 22074 steps, run timeout after 105004 ms. (steps per millisecond=0 ) properties seen :24 out of 62188
Probabilistic random walk after 22074 steps, saw 12804 distinct states, run finished after 105026 ms. (steps per millisecond=0 ) properties seen :24
[2026-06-01 11:48:22] [INFO ] Flow matrix only has 62290 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10777227033019979783.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10726578479389766333.kers'
[2026-06-01 11:48:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10777227033019979783.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10726578479389766333.kers]
Normalized transition count is 62289 out of 62290 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 287 ms.
// Phase 1: matrix 62289 rows 80 cols 1638427 entries
Loading property file /tmp/ReachabilityCardinality6746781067704933665.prop.
Finished phase 1 with 48 SingleSign rule and 3 generalized
[2026-06-01 11:48:24] [INFO ] Computed 30 invariants in 1220 ms
Computed 30 P flows in 1220 ms.
Exported basis to /tmp/petrispot-output-10726578479389766333.kers
Total runtime 1420 ms.
[2026-06-01 11:48:25] [INFO ] State equation strengthened by 38 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SDD proceeding with computation,62188 properties remain. new max is 4
SDD size :1 after 27
SMT process timed out in 341817ms, After SMT, problems are : Problem set: 0 solved, 62164 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 66 out of 81 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 81/81 places, 62294/62294 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 81 transition count 62289
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 80 transition count 62280
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 80 transition count 62280
Free-agglomeration rule applied 3 times.
Iterating global reduction 1 with 3 rules applied. Total rules applied 10 place count 80 transition count 62277
Reduce places removed 3 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 14 place count 77 transition count 62276
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 15 place count 77 transition count 62283
Reduce places removed 1 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 17 place count 76 transition count 62282
Applied a total of 17 rules in 8900 ms. Remains 76 /81 variables (removed 5) and now considering 62282/62294 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8913 ms. Remains : 76/81 places, 62282/62294 transitions.
RANDOM walk for 36981 steps (0 resets) in 120037 ms. (0 steps per ms) remains 62063/62164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 62061/62063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1390 ms. (2 steps per ms) remains 62059/62061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 62057/62059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 62055/62057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1313 ms. (3 steps per ms) remains 62053/62055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1515 ms. (2 steps per ms) remains 62051/62053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1400 ms. (2 steps per ms) remains 62049/62051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 62047/62049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 62045/62047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 62043/62045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 62041/62043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 62039/62041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 62037/62039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 62035/62037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 62033/62035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 62031/62033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 62029/62031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1251 ms. (3 steps per ms) remains 62027/62029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 62025/62027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1044 ms. (3 steps per ms) remains 62023/62025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1145 ms. (3 steps per ms) remains 62021/62023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 62019/62021 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 62017/62019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1393 ms. (2 steps per ms) remains 62015/62017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1392 ms. (2 steps per ms) remains 62013/62015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 62011/62013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 62009/62011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 62007/62009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 62005/62007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 62003/62005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 62001/62003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 979 ms. (4 steps per ms) remains 61999/62001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 61997/61999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 61995/61997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 61993/61995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 61991/61993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 61989/61991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 61987/61989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 61985/61987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 61983/61985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 61981/61983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 61979/61981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 61977/61979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 61975/61977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 61973/61975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 61971/61973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 61970/61971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 61968/61970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 61966/61968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 61964/61966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 61962/61964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 61960/61962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 61958/61960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 61956/61958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 61954/61956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 61952/61954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 61950/61952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 61948/61950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1076 ms. (3 steps per ms) remains 61946/61948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 61944/61946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 61942/61944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 61940/61942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 61938/61940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 61936/61938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 61934/61936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 61932/61934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1006 ms. (3 steps per ms) remains 61930/61932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1105 ms. (3 steps per ms) remains 61928/61930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 61926/61928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 61924/61926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1098 ms. (3 steps per ms) remains 61922/61924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 955 ms. (4 steps per ms) remains 61920/61922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 61918/61920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1044 ms. (3 steps per ms) remains 61916/61918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 61914/61916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 61912/61914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 61911/61912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 61909/61911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 61907/61909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 61905/61907 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1263 ms. (3 steps per ms) remains 61903/61905 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 61901/61903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 61899/61901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 61897/61899 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 61895/61897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 61893/61895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 61891/61893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 61889/61891 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 61887/61889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 61885/61887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 61883/61885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 61881/61883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 61879/61881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 61877/61879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 61875/61877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 61873/61875 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 61871/61873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1101 ms. (3 steps per ms) remains 61869/61871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 61867/61869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 61865/61867 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1073 ms. (3 steps per ms) remains 61863/61865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 61861/61863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 61859/61861 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 61858/61859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 61856/61858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 61854/61856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 61852/61854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 986 ms. (4 steps per ms) remains 61850/61852 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 61848/61850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 61846/61848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1010 ms. (3 steps per ms) remains 61844/61846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 61842/61844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1006 ms. (3 steps per ms) remains 61840/61842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 61839/61840 properties
BEST_FIRST walk for 4002 steps (8 resets) in 931 ms. (4 steps per ms) remains 61837/61839 properties
BEST_FIRST walk for 4003 steps (8 resets) in 962 ms. (4 steps per ms) remains 61835/61837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 61833/61835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 61831/61833 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 61829/61831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 61828/61829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 61826/61828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 61824/61826 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 61822/61824 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 61820/61822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 61818/61820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 61816/61818 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 61814/61816 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 61812/61814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 61810/61812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 61808/61810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 61806/61808 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 61804/61806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 61802/61804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 61800/61802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 61798/61800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 61796/61798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 61794/61796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 61792/61794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 61790/61792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 61788/61790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1098 ms. (3 steps per ms) remains 61786/61788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 61784/61786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 61782/61784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 61781/61782 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 61779/61781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 61777/61779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 852 ms. (4 steps per ms) remains 61775/61777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 61773/61775 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 61771/61773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 61769/61771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 61767/61769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 61765/61767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 61763/61765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 61761/61763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 61759/61761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 838 ms. (4 steps per ms) remains 61757/61759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 61755/61757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 61753/61755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 61751/61753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 61749/61751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1222 ms. (3 steps per ms) remains 61747/61749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 61745/61747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 61743/61745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1020 ms. (3 steps per ms) remains 61741/61743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 61739/61741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 61737/61739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 61735/61737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 991 ms. (4 steps per ms) remains 61733/61735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 61731/61733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 61729/61731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 61728/61729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 61727/61728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 61725/61727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 61723/61725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 61721/61723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 61719/61721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1112 ms. (3 steps per ms) remains 61717/61719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 61715/61717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 61713/61715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 61711/61713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 61709/61711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 61707/61709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 61705/61707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 61703/61705 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 61701/61703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 61699/61701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 61697/61699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 61695/61697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 61693/61695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 61691/61693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 61689/61691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 61687/61689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 61685/61687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 61683/61685 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 61682/61683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 61680/61682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 61678/61680 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 61676/61678 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1006 ms. (3 steps per ms) remains 61674/61676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 61672/61674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 61671/61672 properties
BEST_FIRST walk for 4003 steps (8 resets) in 937 ms. (4 steps per ms) remains 61669/61671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 61667/61669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 61665/61667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 61663/61665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 61661/61663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 61659/61661 properties
BEST_FIRST walk for 4003 steps (8 resets) in 979 ms. (4 steps per ms) remains 61657/61659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 61655/61657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 61653/61655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 61651/61653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 61649/61651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 61647/61649 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 61645/61647 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1180 ms. (3 steps per ms) remains 61644/61645 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1038 ms. (3 steps per ms) remains 61642/61644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 61640/61642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 61638/61640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 61636/61638 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 61634/61636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 61632/61634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 61630/61632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 61628/61630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 61626/61628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 61624/61626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 61622/61624 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 61620/61622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 61618/61620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1078 ms. (3 steps per ms) remains 61616/61618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 61614/61616 properties
BEST_FIRST walk for 4003 steps (8 resets) in 991 ms. (4 steps per ms) remains 61612/61614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 993 ms. (4 steps per ms) remains 61610/61612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 61608/61610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 61606/61608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 61604/61606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 61602/61604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 61600/61602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 61598/61600 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1079 ms. (3 steps per ms) remains 61596/61598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 61594/61596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1119 ms. (3 steps per ms) remains 61592/61594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 61590/61592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 61588/61590 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 61586/61588 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1034 ms. (3 steps per ms) remains 61584/61586 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1013 ms. (3 steps per ms) remains 61582/61584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 61580/61582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 983 ms. (4 steps per ms) remains 61578/61580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 61576/61578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 61574/61576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 61572/61574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 975 ms. (4 steps per ms) remains 61570/61572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 61568/61570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 61566/61568 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61564/61566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 61562/61564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 61560/61562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 995 ms. (4 steps per ms) remains 61558/61560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 61556/61558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 61554/61556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 61552/61554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 61550/61552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 61548/61550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 61546/61548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 61544/61546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 61543/61544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 61541/61543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 61539/61541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 61537/61539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 61535/61537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 61533/61535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 940 ms. (4 steps per ms) remains 61531/61533 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 61530/61531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 61528/61530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 61527/61528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 61525/61527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1115 ms. (3 steps per ms) remains 61523/61525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1232 ms. (3 steps per ms) remains 61521/61523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 61519/61521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 61517/61519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 61515/61517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 61513/61515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 61511/61513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 61509/61511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 61507/61509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 61505/61507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1145 ms. (3 steps per ms) remains 61503/61505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61501/61503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1119 ms. (3 steps per ms) remains 61499/61501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 986 ms. (4 steps per ms) remains 61497/61499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 61495/61497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 61493/61495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 61491/61493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 61489/61491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 61487/61489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 61485/61487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 61483/61485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 61481/61483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 61479/61481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 61477/61479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 61475/61477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 61473/61475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 61471/61473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 61469/61471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 61467/61469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 61465/61467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 61463/61465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 61461/61463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 61460/61461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 61458/61460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 61456/61458 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 61454/61456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61452/61454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 61450/61452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 61448/61450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 61446/61448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 61445/61446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 61443/61445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 61441/61443 properties
BEST_FIRST walk for 4002 steps (8 resets) in 919 ms. (4 steps per ms) remains 61439/61441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 61437/61439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 61435/61437 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 61433/61435 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 61431/61433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 61429/61431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1269 ms. (3 steps per ms) remains 61427/61429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 61425/61427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 61423/61425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 61421/61423 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 61419/61421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 61417/61419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 61415/61417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1175 ms. (3 steps per ms) remains 61413/61415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 61411/61413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 61409/61411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 61407/61409 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 61405/61407 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1122 ms. (3 steps per ms) remains 61403/61405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 61401/61403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 61399/61401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 61397/61399 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 61395/61397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 61393/61395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1355 ms. (2 steps per ms) remains 61391/61393 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 61389/61391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 61388/61389 properties
SDD proceeding with computation,62188 properties remain. new max is 8
SDD size :27 after 1094
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 61386/61388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 61384/61386 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1436 ms. (2 steps per ms) remains 61382/61384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 61380/61382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1118 ms. (3 steps per ms) remains 61378/61380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 61376/61378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 907 ms. (4 steps per ms) remains 61374/61376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 61372/61374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 61370/61372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 873 ms. (4 steps per ms) remains 61368/61370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 61366/61368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1207 ms. (3 steps per ms) remains 61364/61366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1186 ms. (3 steps per ms) remains 61362/61364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 61360/61362 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 61358/61360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 61356/61358 properties
BEST_FIRST walk for 4003 steps (8 resets) in 991 ms. (4 steps per ms) remains 61354/61356 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 61352/61354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 61350/61352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 61348/61350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 61346/61348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 61344/61346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 61342/61344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 61340/61342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 61338/61340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 61336/61338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 61334/61336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 61332/61334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1170 ms. (3 steps per ms) remains 61330/61332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 61328/61330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1101 ms. (3 steps per ms) remains 61326/61328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 61324/61326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 61322/61324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 61320/61322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 61318/61320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 61316/61318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 61314/61316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 61312/61314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 61310/61312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 61308/61310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1167 ms. (3 steps per ms) remains 61306/61308 properties
Detected timeout of ITS tools.
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 61304/61306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 61302/61304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1308 ms. (3 steps per ms) remains 61300/61302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 61298/61300 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1069 ms. (3 steps per ms) remains 61296/61298 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1010 ms. (3 steps per ms) remains 61294/61296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61292/61294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1148 ms. (3 steps per ms) remains 61290/61292 properties
BEST_FIRST walk for 4002 steps (8 resets) in 995 ms. (4 steps per ms) remains 61288/61290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 61286/61288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 61284/61286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 61282/61284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 61280/61282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 61278/61280 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2546 ms. (1 steps per ms) remains 61276/61278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 61274/61276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1371 ms. (2 steps per ms) remains 61272/61274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 61270/61272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 61268/61270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 61266/61268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 61264/61266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2613 ms. (1 steps per ms) remains 61262/61264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 61260/61262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 985 ms. (4 steps per ms) remains 61258/61260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 971 ms. (4 steps per ms) remains 61256/61258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1219 ms. (3 steps per ms) remains 61254/61256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 61252/61254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1486 ms. (2 steps per ms) remains 61250/61252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 61248/61250 properties
BEST_FIRST walk for 4003 steps (8 resets) in 937 ms. (4 steps per ms) remains 61247/61248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 61245/61247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 61243/61245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 61241/61243 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 61239/61241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 61237/61239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1159 ms. (3 steps per ms) remains 61235/61237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 61233/61235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 61231/61233 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 61229/61231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 61227/61229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 61225/61227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1034 ms. (3 steps per ms) remains 61223/61225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 61221/61223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 61219/61221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61217/61219 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1073 ms. (3 steps per ms) remains 61215/61217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 61213/61215 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 61211/61213 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 61209/61211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 61207/61209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 61205/61207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 61203/61205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 61201/61203 properties
[2026-06-01 11:57:02] [INFO ] Flatten gal took : 14429 ms
[2026-06-01 11:57:02] [INFO ] Applying decomposition
BEST_FIRST walk for 4003 steps (8 resets) in 1061 ms. (3 steps per ms) remains 61199/61201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 61197/61199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 61195/61197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 61193/61195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 61191/61193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 61189/61191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 61187/61189 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 61185/61187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 61183/61185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 61181/61183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 61179/61181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 61177/61179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 61175/61177 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1176 ms. (3 steps per ms) remains 61173/61175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 61171/61173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 993 ms. (4 steps per ms) remains 61169/61171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 61167/61169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 61165/61167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1015 ms. (3 steps per ms) remains 61163/61165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1059 ms. (3 steps per ms) remains 61161/61163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 61159/61161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 61157/61159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1140 ms. (3 steps per ms) remains 61155/61157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 61153/61155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1263 ms. (3 steps per ms) remains 61151/61153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 61149/61151 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 61147/61149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 61145/61147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1288 ms. (3 steps per ms) remains 61143/61145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1270 ms. (3 steps per ms) remains 61141/61143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 61139/61141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 61137/61139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1645 ms. (2 steps per ms) remains 61135/61137 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 61133/61135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 61131/61133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 61129/61131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 61127/61129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 61125/61127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 61123/61125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 61121/61123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61119/61121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 61117/61119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 61115/61117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 61113/61115 properties
[2026-06-01 11:57:16] [INFO ] Flatten gal took : 13867 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 61111/61113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1012 ms. (3 steps per ms) remains 61109/61111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 61107/61109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 61105/61107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1350 ms. (2 steps per ms) remains 61103/61105 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1377 ms. (2 steps per ms) remains 61101/61103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 61100/61101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 61098/61100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1007 ms. (3 steps per ms) remains 61096/61098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 61094/61096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 61092/61094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 841 ms. (4 steps per ms) remains 61090/61092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 61088/61090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 61086/61088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 61084/61086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 61082/61084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 61080/61082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 61078/61080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 61076/61078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1154 ms. (3 steps per ms) remains 61074/61076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1060 ms. (3 steps per ms) remains 61072/61074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 61071/61072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 61069/61071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 61067/61069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 61065/61067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 61063/61065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 61061/61063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 61059/61061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 61057/61059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 61055/61057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 61053/61055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 61051/61053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 61049/61051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 61047/61049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 61045/61047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 61044/61045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1031 ms. (3 steps per ms) remains 61042/61044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 61040/61042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1025 ms. (3 steps per ms) remains 61038/61040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 61036/61038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1153 ms. (3 steps per ms) remains 61034/61036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4352 ms. (0 steps per ms) remains 61032/61034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1480 ms. (2 steps per ms) remains 61030/61032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1567 ms. (2 steps per ms) remains 61028/61030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1388 ms. (2 steps per ms) remains 61026/61028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 61024/61026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1362 ms. (2 steps per ms) remains 61022/61024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 61020/61022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1287 ms. (3 steps per ms) remains 61018/61020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1466 ms. (2 steps per ms) remains 61016/61018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1456 ms. (2 steps per ms) remains 61014/61016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1267 ms. (3 steps per ms) remains 61012/61014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1220 ms. (3 steps per ms) remains 61010/61012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1365 ms. (2 steps per ms) remains 61008/61010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1377 ms. (2 steps per ms) remains 61006/61008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 61004/61006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 61002/61004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1437 ms. (2 steps per ms) remains 61000/61002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 60998/61000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1358 ms. (2 steps per ms) remains 60996/60998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1450 ms. (2 steps per ms) remains 60995/60996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1335 ms. (2 steps per ms) remains 60993/60995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1340 ms. (2 steps per ms) remains 60991/60993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1370 ms. (2 steps per ms) remains 60989/60991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1333 ms. (3 steps per ms) remains 60987/60989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 60985/60987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60983/60985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1163 ms. (3 steps per ms) remains 60981/60983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1197 ms. (3 steps per ms) remains 60979/60981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1336 ms. (2 steps per ms) remains 60977/60979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 60975/60977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 60973/60975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 60971/60973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 60969/60971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1327 ms. (3 steps per ms) remains 60967/60969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 60965/60967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1272 ms. (3 steps per ms) remains 60963/60965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 60961/60963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 60959/60961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1535 ms. (2 steps per ms) remains 60957/60959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1554 ms. (2 steps per ms) remains 60955/60957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1506 ms. (2 steps per ms) remains 60953/60955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 60951/60953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1484 ms. (2 steps per ms) remains 60949/60951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1539 ms. (2 steps per ms) remains 60947/60949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1389 ms. (2 steps per ms) remains 60945/60947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 60943/60945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1296 ms. (3 steps per ms) remains 60941/60943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5523 ms. (0 steps per ms) remains 60939/60941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 60937/60939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1234 ms. (3 steps per ms) remains 60935/60937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 60933/60935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1256 ms. (3 steps per ms) remains 60932/60933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1283 ms. (3 steps per ms) remains 60930/60932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1352 ms. (2 steps per ms) remains 60928/60930 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1041 ms. (3 steps per ms) remains 60926/60928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1206 ms. (3 steps per ms) remains 60924/60926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 60922/60924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1044 ms. (3 steps per ms) remains 60920/60922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 60918/60920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1119 ms. (3 steps per ms) remains 60916/60918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 60914/60916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 60912/60914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 60910/60912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 60908/60910 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 60906/60908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 60904/60906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60902/60904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 60900/60902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 60898/60900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 60896/60898 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1144 ms. (3 steps per ms) remains 60894/60896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 60892/60894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1068 ms. (3 steps per ms) remains 60890/60892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 60888/60890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 60886/60888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 60884/60886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1127 ms. (3 steps per ms) remains 60882/60884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 60880/60882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 60878/60880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 60876/60878 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1105 ms. (3 steps per ms) remains 60874/60876 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 60872/60874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 60870/60872 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 60868/60870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 60866/60868 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1106 ms. (3 steps per ms) remains 60864/60866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 60862/60864 properties
[2026-06-01 11:58:03] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14101935805793131587.txt' '-o' '/tmp/graph14101935805793131587.bin' '-w' '/tmp/graph14101935805793131587.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:71)
at java.base/java.lang.Thread.run(Thread.java:1583)
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 60860/60862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 60858/60860 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 60856/60858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 60854/60856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 60852/60854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 60850/60852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1042 ms. (3 steps per ms) remains 60848/60850 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1360 ms. (2 steps per ms) remains 60846/60848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 60844/60846 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 60842/60844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 60840/60842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 60839/60840 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 60837/60839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1708 ms. (2 steps per ms) remains 60835/60837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 60833/60835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 60831/60833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 60829/60831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 60827/60829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 60825/60827 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1430 ms. (2 steps per ms) remains 60823/60825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 60821/60823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 60819/60821 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1343 ms. (2 steps per ms) remains 60817/60819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 60815/60817 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1071 ms. (3 steps per ms) remains 60813/60815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1144 ms. (3 steps per ms) remains 60812/60813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60810/60812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 60808/60810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 60806/60808 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 60804/60806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 60802/60804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 60800/60802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 60798/60800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 60796/60798 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1053 ms. (3 steps per ms) remains 60794/60796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 60792/60794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 60790/60792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 60788/60790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 60786/60788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 60784/60786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 60782/60784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 60780/60782 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 60778/60780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 924 ms. (4 steps per ms) remains 60776/60778 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 60774/60776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 60772/60774 properties
[2026-06-01 11:58:17] [INFO ] Flatten gal took : 14594 ms
BEST_FIRST walk for 4003 steps (8 resets) in 1114 ms. (3 steps per ms) remains 60770/60772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 60768/60770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 60766/60768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1263 ms. (3 steps per ms) remains 60764/60766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 60762/60764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 60760/60762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 60758/60760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 60756/60758 properties
[2026-06-01 11:58:20] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2264644798791720464.gal : 2195 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 60754/60756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 60752/60754 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1396 ms. (2 steps per ms) remains 60750/60752 properties
[2026-06-01 11:58:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7018123768135447493.prop : 1000 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/ReachabilityCardinality2264644798791720464.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7018123768135447493.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 ...328
BEST_FIRST walk for 4003 steps (8 resets) in 1421 ms. (2 steps per ms) remains 60748/60750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 60746/60748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 60744/60746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 60742/60744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 60740/60742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 60738/60740 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 60736/60738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 60734/60736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 60732/60734 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 60730/60732 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1079 ms. (3 steps per ms) remains 60728/60730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 60726/60728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 60724/60726 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 60722/60724 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60721/60722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 60719/60721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 60717/60719 properties
BEST_FIRST walk for 4003 steps (8 resets) in 957 ms. (4 steps per ms) remains 60716/60717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 60714/60716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 60712/60714 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60710/60712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 60708/60710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 60706/60708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 60704/60706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 60702/60704 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1024 ms. (3 steps per ms) remains 60700/60702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 60698/60700 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 60696/60698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 60694/60696 properties
BEST_FIRST walk for 4003 steps (8 resets) in 844 ms. (4 steps per ms) remains 60692/60694 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 60690/60692 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 60688/60690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 60686/60688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 60684/60686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 60682/60684 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 60680/60682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 60678/60680 properties
BEST_FIRST walk for 4003 steps (8 resets) in 996 ms. (4 steps per ms) remains 60676/60678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 60674/60676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1042 ms. (3 steps per ms) remains 60672/60674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 60670/60672 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1064 ms. (3 steps per ms) remains 60668/60670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 60666/60668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 60664/60666 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 60663/60664 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 60661/60663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 60659/60661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 60657/60659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 977 ms. (4 steps per ms) remains 60655/60657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 993 ms. (4 steps per ms) remains 60653/60655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 60651/60653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 60649/60651 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 60647/60649 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 60645/60647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 60643/60645 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1094 ms. (3 steps per ms) remains 60641/60643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 60639/60641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 60637/60639 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 60635/60637 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1094 ms. (3 steps per ms) remains 60633/60635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 60631/60633 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1151 ms. (3 steps per ms) remains 60629/60631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 60627/60629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 60625/60627 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 60623/60625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 60621/60623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 60619/60621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 60617/60619 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1038 ms. (3 steps per ms) remains 60615/60617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 60613/60615 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 60611/60613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 60609/60611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 60607/60609 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 60605/60607 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1025 ms. (3 steps per ms) remains 60603/60605 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 60601/60603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 60599/60601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 60597/60599 properties
BEST_FIRST walk for 4003 steps (8 resets) in 916 ms. (4 steps per ms) remains 60595/60597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 60593/60595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 60591/60593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 60589/60591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1258 ms. (3 steps per ms) remains 60587/60589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1173 ms. (3 steps per ms) remains 60585/60587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 60583/60585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1186 ms. (3 steps per ms) remains 60581/60583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 60579/60581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 60577/60579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1254 ms. (3 steps per ms) remains 60575/60577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 60573/60575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 60571/60573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1255 ms. (3 steps per ms) remains 60569/60571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 60567/60569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 60565/60567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 60563/60565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 60561/60563 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1105 ms. (3 steps per ms) remains 60559/60561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 60557/60559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 60556/60557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1085 ms. (3 steps per ms) remains 60554/60556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 60552/60554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 60550/60552 properties
BEST_FIRST walk for 4003 steps (8 resets) in 993 ms. (4 steps per ms) remains 60548/60550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1087 ms. (3 steps per ms) remains 60546/60548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 60544/60546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 60542/60544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 60540/60542 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1153 ms. (3 steps per ms) remains 60538/60540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 60536/60538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1159 ms. (3 steps per ms) remains 60534/60536 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1150 ms. (3 steps per ms) remains 60532/60534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 60530/60532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 60528/60530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 60526/60528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 60524/60526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 60522/60524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1457 ms. (2 steps per ms) remains 60521/60522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1271 ms. (3 steps per ms) remains 60519/60521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 60517/60519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 60516/60517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 60514/60516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 60512/60514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 60510/60512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6484 ms. (0 steps per ms) remains 60508/60510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 60506/60508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1154 ms. (3 steps per ms) remains 60504/60506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 60502/60504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 60501/60502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 60499/60501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1007 ms. (3 steps per ms) remains 60497/60499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 60495/60497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 60493/60495 properties
BEST_FIRST walk for 4003 steps (8 resets) in 988 ms. (4 steps per ms) remains 60491/60493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1751 ms. (2 steps per ms) remains 60489/60491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 60487/60489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1670 ms. (2 steps per ms) remains 60485/60487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 60483/60485 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 60481/60483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 60479/60481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1316 ms. (3 steps per ms) remains 60477/60479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 60475/60477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 831 ms. (4 steps per ms) remains 60473/60475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 898 ms. (4 steps per ms) remains 60471/60473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 60469/60471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10270 ms. (0 steps per ms) remains 60467/60469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4245 ms. (0 steps per ms) remains 60465/60467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 60463/60465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1485 ms. (2 steps per ms) remains 60461/60463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1522 ms. (2 steps per ms) remains 60459/60461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1266 ms. (3 steps per ms) remains 60457/60459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1053 ms. (3 steps per ms) remains 60455/60457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 60453/60455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 60451/60453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1342 ms. (2 steps per ms) remains 60449/60451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1631 ms. (2 steps per ms) remains 60447/60449 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1686 ms. (2 steps per ms) remains 60445/60447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 60443/60445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1600 ms. (2 steps per ms) remains 60441/60443 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 60439/60441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1464 ms. (2 steps per ms) remains 60437/60439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 60435/60437 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 60433/60435 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 60431/60433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1518 ms. (2 steps per ms) remains 60429/60431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 60427/60429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1224 ms. (3 steps per ms) remains 60425/60427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 60423/60425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1430 ms. (2 steps per ms) remains 60421/60423 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1300 ms. (3 steps per ms) remains 60419/60421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1269 ms. (3 steps per ms) remains 60418/60419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1159 ms. (3 steps per ms) remains 60416/60418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1549 ms. (2 steps per ms) remains 60414/60416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1576 ms. (2 steps per ms) remains 60412/60414 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1408 ms. (2 steps per ms) remains 60410/60412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 60408/60410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1721 ms. (2 steps per ms) remains 60406/60408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1466 ms. (2 steps per ms) remains 60404/60406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1442 ms. (2 steps per ms) remains 60402/60404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1825 ms. (2 steps per ms) remains 60400/60402 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1278 ms. (3 steps per ms) remains 60398/60400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1425 ms. (2 steps per ms) remains 60396/60398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 60394/60396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 60392/60394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1197 ms. (3 steps per ms) remains 60390/60392 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2053 ms. (1 steps per ms) remains 60388/60390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1864 ms. (2 steps per ms) remains 60387/60388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1497 ms. (2 steps per ms) remains 60385/60387 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1291 ms. (3 steps per ms) remains 60383/60385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1334 ms. (2 steps per ms) remains 60381/60383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1509 ms. (2 steps per ms) remains 60379/60381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 60377/60379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1163 ms. (3 steps per ms) remains 60375/60377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1222 ms. (3 steps per ms) remains 60373/60375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1496 ms. (2 steps per ms) remains 60371/60373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 60369/60371 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 60367/60369 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 60365/60367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1598 ms. (2 steps per ms) remains 60363/60365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2091 ms. (1 steps per ms) remains 60361/60363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1390 ms. (2 steps per ms) remains 60359/60361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1563 ms. (2 steps per ms) remains 60358/60359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1414 ms. (2 steps per ms) remains 60356/60358 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1373 ms. (2 steps per ms) remains 60354/60356 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1146 ms. (3 steps per ms) remains 60352/60354 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1764 ms. (2 steps per ms) remains 60350/60352 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1530 ms. (2 steps per ms) remains 60348/60350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1257 ms. (3 steps per ms) remains 60346/60348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14652 ms. (0 steps per ms) remains 60344/60346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 60342/60344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 60340/60342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 60338/60340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1468 ms. (2 steps per ms) remains 60336/60338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1442 ms. (2 steps per ms) remains 60334/60336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1523 ms. (2 steps per ms) remains 60332/60334 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 60330/60332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1246 ms. (3 steps per ms) remains 60328/60330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1101 ms. (3 steps per ms) remains 60326/60328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 60324/60326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 60322/60324 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 60320/60322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 60318/60320 properties
BEST_FIRST walk for 4003 steps (8 resets) in 984 ms. (4 steps per ms) remains 60316/60318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 60314/60316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 60312/60314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 60310/60312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 60308/60310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 60306/60308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 60304/60306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 60302/60304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 60300/60302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 60298/60300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 873 ms. (4 steps per ms) remains 60296/60298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 60294/60296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 60292/60294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1077 ms. (3 steps per ms) remains 60290/60292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 60288/60290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 942 ms. (4 steps per ms) remains 60286/60288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 60284/60286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 60282/60284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 60280/60282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 60278/60280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 60276/60278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 60274/60276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 60272/60274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 60270/60272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1050 ms. (3 steps per ms) remains 60268/60270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 60266/60268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 60264/60266 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1063 ms. (3 steps per ms) remains 60262/60264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 60260/60262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 60258/60260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 60256/60258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 60254/60256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 60252/60254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 60250/60252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60248/60250 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1147 ms. (3 steps per ms) remains 60246/60248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 60244/60246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 60242/60244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 60240/60242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 60238/60240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 60236/60238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 60234/60236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 60232/60234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 60230/60232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1120 ms. (3 steps per ms) remains 60228/60230 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1008 ms. (3 steps per ms) remains 60226/60228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 60224/60226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 940 ms. (4 steps per ms) remains 60222/60224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 60220/60222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 60218/60220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 60216/60218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1219 ms. (3 steps per ms) remains 60214/60216 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2714 ms. (1 steps per ms) remains 60212/60214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2482 ms. (1 steps per ms) remains 60210/60212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2299 ms. (1 steps per ms) remains 60208/60210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2315 ms. (1 steps per ms) remains 60206/60208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2697 ms. (1 steps per ms) remains 60204/60206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2968 ms. (1 steps per ms) remains 60202/60204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3023 ms. (1 steps per ms) remains 60200/60202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3017 ms. (1 steps per ms) remains 60198/60200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2738 ms. (1 steps per ms) remains 60196/60198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2486 ms. (1 steps per ms) remains 60194/60196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2619 ms. (1 steps per ms) remains 60192/60194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2970 ms. (1 steps per ms) remains 60190/60192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3143 ms. (1 steps per ms) remains 60188/60190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3056 ms. (1 steps per ms) remains 60186/60188 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3005 ms. (1 steps per ms) remains 60184/60186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3456 ms. (1 steps per ms) remains 60182/60184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2858 ms. (1 steps per ms) remains 60180/60182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3226 ms. (1 steps per ms) remains 60178/60180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2341 ms. (1 steps per ms) remains 60176/60178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 60174/60176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 60172/60174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 60170/60172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1265 ms. (3 steps per ms) remains 60168/60170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1280 ms. (3 steps per ms) remains 60166/60168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1175 ms. (3 steps per ms) remains 60164/60166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 60162/60164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 60160/60162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 60158/60160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 60156/60158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1020 ms. (3 steps per ms) remains 60154/60156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 60152/60154 properties
Loading property file /tmp/ReachabilityCardinality7018123768135447493.prop.
BEST_FIRST walk for 4003 steps (8 resets) in 1037 ms. (3 steps per ms) remains 60150/60152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 60148/60150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2219 ms. (1 steps per ms) remains 60146/60148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 60144/60146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 60142/60144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 60140/60142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 60138/60140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1017 ms. (3 steps per ms) remains 60136/60138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 60135/60136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 60133/60135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 60131/60133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1421 ms. (2 steps per ms) remains 60129/60131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 60127/60129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1316 ms. (3 steps per ms) remains 60125/60127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 60123/60125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1337 ms. (2 steps per ms) remains 60121/60123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1503 ms. (2 steps per ms) remains 60119/60121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1550 ms. (2 steps per ms) remains 60117/60119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1158 ms. (3 steps per ms) remains 60115/60117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 60113/60115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1802 ms. (2 steps per ms) remains 60111/60113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1135 ms. (3 steps per ms) remains 60109/60111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1374 ms. (2 steps per ms) remains 60107/60109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1395 ms. (2 steps per ms) remains 60106/60107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 60104/60106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 60102/60104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 60100/60102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 60098/60100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 962 ms. (4 steps per ms) remains 60096/60098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 60094/60096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 60092/60094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 60090/60092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1113 ms. (3 steps per ms) remains 60088/60090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 60086/60088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 60084/60086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1103 ms. (3 steps per ms) remains 60082/60084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 60080/60082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 60078/60080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 60076/60078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 60074/60076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 60072/60074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 60070/60072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 60068/60070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 60066/60068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 60064/60066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 60062/60064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1433 ms. (2 steps per ms) remains 60060/60062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 60059/60060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 60057/60059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 60055/60057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 60053/60055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1017 ms. (3 steps per ms) remains 60052/60053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 60050/60052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 60048/60050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 60046/60048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 60044/60046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 60042/60044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 60040/60042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 60038/60040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1054 ms. (3 steps per ms) remains 60036/60038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 921 ms. (4 steps per ms) remains 60034/60036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 60032/60034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 60030/60032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1449 ms. (2 steps per ms) remains 60028/60030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 60026/60028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 60024/60026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 60022/60024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 60020/60022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 60018/60020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 60016/60018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 60014/60016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 60012/60014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 60010/60012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 60008/60010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 60006/60008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 60004/60006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 955 ms. (4 steps per ms) remains 60002/60004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 60000/60002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 59998/60000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 59996/59998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 59994/59996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 59992/59994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 59990/59992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 59988/59990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 59986/59988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 59984/59986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 59982/59984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 59980/59982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 59978/59980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 59976/59978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 59974/59976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 59972/59974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1055 ms. (3 steps per ms) remains 59970/59972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 949 ms. (4 steps per ms) remains 59968/59970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 59966/59968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 59964/59966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 59962/59964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 59960/59962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 59958/59960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 59956/59958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 59954/59956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1085 ms. (3 steps per ms) remains 59952/59954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 996 ms. (4 steps per ms) remains 59950/59952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1608 ms. (2 steps per ms) remains 59948/59950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 59946/59948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 59944/59946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 59942/59944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 59940/59942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 59938/59940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1028 ms. (3 steps per ms) remains 59936/59938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1022 ms. (3 steps per ms) remains 59934/59936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1060 ms. (3 steps per ms) remains 59932/59934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 59930/59932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 59928/59930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 59926/59928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 59924/59926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 59922/59924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 59920/59922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1139 ms. (3 steps per ms) remains 59918/59920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 59916/59918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 59914/59916 properties
BEST_FIRST walk for 4003 steps (8 resets) in 973 ms. (4 steps per ms) remains 59912/59914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 59910/59912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 59908/59910 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 59906/59908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1004 ms. (3 steps per ms) remains 59904/59906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 59902/59904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 59900/59902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 59898/59900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 59896/59898 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 59894/59896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1098 ms. (3 steps per ms) remains 59893/59894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 59891/59893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 59889/59891 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 59887/59889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 59885/59887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 59883/59885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 59881/59883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 59879/59881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1058 ms. (3 steps per ms) remains 59877/59879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 59875/59877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 59873/59875 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1077 ms. (3 steps per ms) remains 59871/59873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 59869/59871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 59867/59869 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1218 ms. (3 steps per ms) remains 59865/59867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 59863/59865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 59861/59863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 59859/59861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 994 ms. (4 steps per ms) remains 59857/59859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 59855/59857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 59853/59855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 59851/59853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 59849/59851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 59847/59849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 59845/59847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1096 ms. (3 steps per ms) remains 59843/59845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 59841/59843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 59839/59841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 59837/59839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 59835/59837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 59833/59835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1041 ms. (3 steps per ms) remains 59832/59833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 59830/59832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 59828/59830 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 59826/59828 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1184 ms. (3 steps per ms) remains 59824/59826 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1143 ms. (3 steps per ms) remains 59822/59824 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 59820/59822 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1294 ms. (3 steps per ms) remains 59818/59820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 59817/59818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1092 ms. (3 steps per ms) remains 59815/59817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 59813/59815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 59811/59813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 59809/59811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1589 ms. (2 steps per ms) remains 59807/59809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1574 ms. (2 steps per ms) remains 59805/59807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1539 ms. (2 steps per ms) remains 59803/59805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 59801/59803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 59799/59801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 59797/59799 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1095 ms. (3 steps per ms) remains 59795/59797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 59793/59795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 59792/59793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 59790/59792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 59788/59790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 59786/59788 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 59784/59786 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 59782/59784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 59780/59782 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 59778/59780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1186 ms. (3 steps per ms) remains 59776/59778 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 59774/59776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 59772/59774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 999 ms. (4 steps per ms) remains 59770/59772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 59768/59770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1217 ms. (3 steps per ms) remains 59766/59768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 59764/59766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1102 ms. (3 steps per ms) remains 59762/59764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 59760/59762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 59758/59760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 59756/59758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 59754/59756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1282 ms. (3 steps per ms) remains 59752/59754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 59750/59752 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1065 ms. (3 steps per ms) remains 59748/59750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 59746/59748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1271 ms. (3 steps per ms) remains 59744/59746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1241 ms. (3 steps per ms) remains 59742/59744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1194 ms. (3 steps per ms) remains 59740/59742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 59739/59740 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1076 ms. (3 steps per ms) remains 59737/59739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 59735/59737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 59733/59735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 59731/59733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 59729/59731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 59727/59729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 59725/59727 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1383 ms. (2 steps per ms) remains 59723/59725 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1119 ms. (3 steps per ms) remains 59721/59723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 948 ms. (4 steps per ms) remains 59719/59721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 59717/59719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 59715/59717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 59713/59715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 59711/59713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 930 ms. (4 steps per ms) remains 59709/59711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 59707/59709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1022 ms. (3 steps per ms) remains 59705/59707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 59703/59705 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 59701/59703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 59699/59701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 59697/59699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 59695/59697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 59693/59695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 59691/59693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 59690/59691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 59688/59690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 59686/59688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 59684/59686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 59682/59684 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 59680/59682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 59678/59680 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 59676/59678 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 59674/59676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 59672/59674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 59670/59672 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1028 ms. (3 steps per ms) remains 59668/59670 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 59666/59668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 59664/59666 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1189 ms. (3 steps per ms) remains 59662/59664 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 59660/59662 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1206 ms. (3 steps per ms) remains 59658/59660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 59656/59658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 59654/59656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 59652/59654 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 59650/59652 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1188 ms. (3 steps per ms) remains 59648/59650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 59646/59648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 59644/59646 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 59642/59644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 59640/59642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 59638/59640 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 59637/59638 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1249 ms. (3 steps per ms) remains 59635/59637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 59633/59635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 59631/59633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 59629/59631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 59627/59629 properties
BEST_FIRST walk for 4003 steps (8 resets) in 988 ms. (4 steps per ms) remains 59625/59627 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1024 ms. (3 steps per ms) remains 59623/59625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1090 ms. (3 steps per ms) remains 59621/59623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 59619/59621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1216 ms. (3 steps per ms) remains 59617/59619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 59615/59617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 59613/59615 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1156 ms. (3 steps per ms) remains 59611/59613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 59609/59611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 59607/59609 properties
BEST_FIRST walk for 4003 steps (8 resets) in 880 ms. (4 steps per ms) remains 59605/59607 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 59603/59605 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 59601/59603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 59599/59601 properties
BEST_FIRST walk for 4003 steps (8 resets) in 984 ms. (4 steps per ms) remains 59597/59599 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 59596/59597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 59594/59596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 59593/59594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 59591/59593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 59589/59591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 59587/59589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1008 ms. (3 steps per ms) remains 59585/59587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 59583/59585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 59581/59583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 59579/59581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 59577/59579 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1025 ms. (3 steps per ms) remains 59575/59577 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1025 ms. (3 steps per ms) remains 59573/59575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 59571/59573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 59569/59571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 955 ms. (4 steps per ms) remains 59567/59569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 59565/59567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1006 ms. (3 steps per ms) remains 59563/59565 properties
BEST_FIRST walk for 4003 steps (8 resets) in 949 ms. (4 steps per ms) remains 59562/59563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 59560/59562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 59558/59560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1607 ms. (2 steps per ms) remains 59556/59558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 59555/59556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 59553/59555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1129 ms. (3 steps per ms) remains 59551/59553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 59549/59551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 59548/59549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 59546/59548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 59544/59546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 59542/59544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 59540/59542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 59538/59540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 59536/59538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 59534/59536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1042 ms. (3 steps per ms) remains 59532/59534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1003 ms. (3 steps per ms) remains 59530/59532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 59528/59530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 59526/59528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1080 ms. (3 steps per ms) remains 59524/59526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 59523/59524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 59521/59523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1127 ms. (3 steps per ms) remains 59519/59521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 59517/59519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 59515/59517 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1160 ms. (3 steps per ms) remains 59514/59515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 59512/59514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 59510/59512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 59508/59510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 59506/59508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 59504/59506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 59502/59504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1114 ms. (3 steps per ms) remains 59500/59502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 59499/59500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 59497/59499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 59495/59497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1094 ms. (3 steps per ms) remains 59494/59495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 59492/59494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 59490/59492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 59488/59490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 59486/59488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 59484/59486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 59482/59484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 59480/59482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 59478/59480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 59476/59478 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 59474/59476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1028 ms. (3 steps per ms) remains 59472/59474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 59470/59472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 59468/59470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 59466/59468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 59464/59466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 59462/59464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 59460/59462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 59458/59460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 59456/59458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 59454/59456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1187 ms. (3 steps per ms) remains 59452/59454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 59450/59452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 59448/59450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 59447/59448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 59445/59447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 59443/59445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 59441/59443 properties
BEST_FIRST walk for 4003 steps (8 resets) in 972 ms. (4 steps per ms) remains 59439/59441 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 59437/59439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 59435/59437 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 59433/59435 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 59431/59433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 59429/59431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 59427/59429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 59425/59427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 59423/59425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 59421/59423 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 59419/59421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1150 ms. (3 steps per ms) remains 59417/59419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1029 ms. (3 steps per ms) remains 59415/59417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 59413/59415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 59411/59413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 59409/59411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 59407/59409 properties
BEST_FIRST walk for 4003 steps (8 resets) in 989 ms. (4 steps per ms) remains 59406/59407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 59404/59406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 59402/59404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 59400/59402 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1275 ms. (3 steps per ms) remains 59398/59400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1133 ms. (3 steps per ms) remains 59396/59398 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1030 ms. (3 steps per ms) remains 59394/59396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 59392/59394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1181 ms. (3 steps per ms) remains 59390/59392 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1187 ms. (3 steps per ms) remains 59388/59390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 59386/59388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 59384/59386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 59382/59384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 59380/59382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 59378/59380 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1082 ms. (3 steps per ms) remains 59376/59378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1186 ms. (3 steps per ms) remains 59374/59376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 59372/59374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 59370/59372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 59368/59370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 59366/59368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 59365/59366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 59363/59365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 955 ms. (4 steps per ms) remains 59361/59363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 59359/59361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 59357/59359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 59355/59357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 59353/59355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 59351/59353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 59349/59351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 59347/59349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 884 ms. (4 steps per ms) remains 59345/59347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 59343/59345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 59341/59343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 59339/59341 properties
BEST_FIRST walk for 4003 steps (8 resets) in 921 ms. (4 steps per ms) remains 59337/59339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 59335/59337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 59333/59335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 59331/59333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 59329/59331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 59328/59329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1002 ms. (3 steps per ms) remains 59326/59328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 59324/59326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 59322/59324 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1086 ms. (3 steps per ms) remains 59320/59322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 59318/59320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 59316/59318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 59314/59316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 59312/59314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 59310/59312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 59308/59310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 59306/59308 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 59304/59306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 59302/59304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 59300/59302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 59298/59300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 59296/59298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 59294/59296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 59292/59294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 59290/59292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 59288/59290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 59286/59288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 59284/59286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 59282/59284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 59280/59282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 59278/59280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 59276/59278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 850 ms. (4 steps per ms) remains 59274/59276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 59272/59274 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1073 ms. (3 steps per ms) remains 59270/59272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 59268/59270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 59266/59268 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1152 ms. (3 steps per ms) remains 59264/59266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 950 ms. (4 steps per ms) remains 59262/59264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 59260/59262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 59258/59260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 59256/59258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1146 ms. (3 steps per ms) remains 59254/59256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 59252/59254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 59250/59252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1194 ms. (3 steps per ms) remains 59248/59250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 59246/59248 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1190 ms. (3 steps per ms) remains 59244/59246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 59242/59244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 59240/59242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 59238/59240 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1021 ms. (3 steps per ms) remains 59236/59238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 59234/59236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 59232/59234 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1039 ms. (3 steps per ms) remains 59230/59232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 59228/59230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 59226/59228 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1011 ms. (3 steps per ms) remains 59224/59226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 59222/59224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 59220/59222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 59218/59220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 59216/59218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 59214/59216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 59212/59214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 59210/59212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 59208/59210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 59206/59208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 59204/59206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 930 ms. (4 steps per ms) remains 59202/59204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 938 ms. (4 steps per ms) remains 59200/59202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 59198/59200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 59196/59198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 59195/59196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 59193/59195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 59191/59193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 59189/59191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 59187/59189 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1020 ms. (3 steps per ms) remains 59185/59187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 59183/59185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 59181/59183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 59179/59181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 59177/59179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 59175/59177 properties
BEST_FIRST walk for 4002 steps (8 resets) in 986 ms. (4 steps per ms) remains 59173/59175 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1014 ms. (3 steps per ms) remains 59171/59173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 59170/59171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 59168/59170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 59166/59168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 59164/59166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 59162/59164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1072 ms. (3 steps per ms) remains 59160/59162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 59158/59160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 59156/59158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 59154/59156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 59152/59154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 59150/59152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 59148/59150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 59147/59148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 59145/59147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1106 ms. (3 steps per ms) remains 59143/59145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 59141/59143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1361 ms. (2 steps per ms) remains 59139/59141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1375 ms. (2 steps per ms) remains 59137/59139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1287 ms. (3 steps per ms) remains 59135/59137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1346 ms. (2 steps per ms) remains 59133/59135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1163 ms. (3 steps per ms) remains 59131/59133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1248 ms. (3 steps per ms) remains 59129/59131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 59127/59129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1378 ms. (2 steps per ms) remains 59125/59127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1345 ms. (2 steps per ms) remains 59123/59125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1421 ms. (2 steps per ms) remains 59121/59123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1244 ms. (3 steps per ms) remains 59119/59121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1194 ms. (3 steps per ms) remains 59117/59119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1409 ms. (2 steps per ms) remains 59115/59117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 59113/59115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1084 ms. (3 steps per ms) remains 59111/59113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 59109/59111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 59107/59109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 59105/59107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 59103/59105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 59101/59103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 59100/59101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 994 ms. (4 steps per ms) remains 59098/59100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 59096/59098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1004 ms. (3 steps per ms) remains 59094/59096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1155 ms. (3 steps per ms) remains 59092/59094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 59090/59092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 59088/59090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 59086/59088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 59084/59086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1097 ms. (3 steps per ms) remains 59082/59084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 59080/59082 properties
BEST_FIRST walk for 4002 steps (8 resets) in 907 ms. (4 steps per ms) remains 59078/59080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1119 ms. (3 steps per ms) remains 59076/59078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 59074/59076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 59072/59074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 59070/59072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 59068/59070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 859 ms. (4 steps per ms) remains 59066/59068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 59064/59066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 59062/59064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 59060/59062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1015 ms. (3 steps per ms) remains 59058/59060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 59056/59058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 59054/59056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 59052/59054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 59050/59052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 59048/59050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 59046/59048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1170 ms. (3 steps per ms) remains 59044/59046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 59042/59044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 59040/59042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 59038/59040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 59036/59038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 59034/59036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 59032/59034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 59030/59032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 59028/59030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 59026/59028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 59024/59026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 59022/59024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 59020/59022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 59018/59020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 59016/59018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 59014/59016 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1125 ms. (3 steps per ms) remains 59012/59014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 59010/59012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1077 ms. (3 steps per ms) remains 59008/59010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 59006/59008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 59004/59006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1021 ms. (3 steps per ms) remains 59002/59004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 59000/59002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 58998/59000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 58996/58998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1116 ms. (3 steps per ms) remains 58994/58996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 58992/58994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 58990/58992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 58988/58990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 963 ms. (4 steps per ms) remains 58986/58988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 58984/58986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 58982/58984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 58980/58982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 58978/58980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 58976/58978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 58974/58976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 58972/58974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 58970/58972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 58968/58970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 58966/58968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 58964/58966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 58962/58964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1039 ms. (3 steps per ms) remains 58961/58962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 58959/58961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 58957/58959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 890 ms. (4 steps per ms) remains 58955/58957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 58953/58955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 58951/58953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 58949/58951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 58947/58949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 58946/58947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1044 ms. (3 steps per ms) remains 58944/58946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1015 ms. (3 steps per ms) remains 58942/58944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 58940/58942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 58938/58940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 58936/58938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 58934/58936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 58932/58934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1058 ms. (3 steps per ms) remains 58930/58932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1051 ms. (3 steps per ms) remains 58928/58930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 58926/58928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 58924/58926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 58922/58924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 58920/58922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 58918/58920 properties
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ErlangenMainframeV2-PT-aP12C04"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is ErlangenMainframeV2-PT-aP12C04, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r344-smll-178021500900117"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV2-PT-aP12C04.tgz
mv ErlangenMainframeV2-PT-aP12C04 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 '
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 ;