Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 38M
-rw-r--r-- 1 mcc users 8.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 19 07:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 16:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 19:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 11 18:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 165K Apr 11 18:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Apr 11 18:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Apr 11 18:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 23 08:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 23 08:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 37M May 18 16:43 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1717229240384

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=StigmergyElection-PT-09b
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 08:07:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-06-01 08:07:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 08:07:23] [INFO ] Load time of PNML (sax parser for PT used): 1529 ms
[2024-06-01 08:07:23] [INFO ] Transformed 1243 places.
[2024-06-01 08:07:23] [INFO ] Transformed 41210 transitions.
[2024-06-01 08:07:23] [INFO ] Found NUPN structural information;
[2024-06-01 08:07:23] [INFO ] Parsed PT model containing 1243 places and 41210 transitions and 720585 arcs in 1911 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 1243/1243 places, 41210/41210 transitions.
Graph (trivial) has 1269 edges and 1243 vertex of which 189 / 1243 are part of one of the 27 SCC in 14 ms
Free SCC test removed 162 places
Ensure Unique test removed 180 transitions
Reduce isomorphic transitions removed 180 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 786 transitions
Trivial Post-agglo rules discarded 786 transitions
Performed 786 trivial Post agglomeration. Transition count delta: 786
Iterating post reduction 0 with 786 rules applied. Total rules applied 787 place count 1081 transition count 40244
Reduce places removed 786 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 1 with 804 rules applied. Total rules applied 1591 place count 295 transition count 40226
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 1600 place count 286 transition count 40226
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 27 Pre rules applied. Total rules applied 1600 place count 286 transition count 40199
Deduced a syphon composed of 27 places in 115 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 3 with 54 rules applied. Total rules applied 1654 place count 259 transition count 40199
Performed 85 Post agglomeration using F-continuation condition.Transition count delta: 85
Deduced a syphon composed of 85 places in 16 ms
Reduce places removed 85 places and 0 transitions.
Iterating global reduction 3 with 170 rules applied. Total rules applied 1824 place count 174 transition count 40114
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 21 places in 35 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 1866 place count 153 transition count 40122
Applied a total of 1866 rules in 14041 ms. Remains 153 /1243 variables (removed 1090) and now considering 40122/41210 (removed 1088) transitions.
[2024-06-01 08:07:37] [INFO ] Flow matrix only has 40095 transitions (discarded 27 similar events)
// Phase 1: matrix 40095 rows 153 cols
[2024-06-01 08:07:38] [INFO ] Computed 10 invariants in 470 ms
[2024-06-01 08:07:51] [INFO ] Implicit Places using invariants in 13989 ms returned []
Implicit Place search using SMT only with invariants took 14020 ms to find 0 implicit places.
Running 40106 sub problems to find dead transitions.
[2024-06-01 08:07:52] [INFO ] Flow matrix only has 40095 transitions (discarded 27 similar events)
[2024-06-01 08:07:52] [INFO ] Invariant cache hit.
[2024-06-01 08:08:26] [INFO ] State equation strengthened by 529 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 152/152 constraints. Problems are: Problem set: 0 solved, 40106 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 152/40248 variables, and 152 constraints, problems are : Problem set: 0 solved, 40106 unsolved in 30678 ms.
Refiners :[Domain max(s): 152/153 constraints, Positive P Invariants (semi-flows): 0/10 constraints, State Equation: 0/153 constraints, ReadFeed: 0/529 constraints, PredecessorRefiner: 40106/94 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 40106 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 152/152 constraints. Problems are: Problem set: 0 solved, 40106 unsolved
Error getting values : (error "ParserException while parsing response: ((s1 1)
(s2 1)
(s3 1)
(s4 1)
(s5 1)
(s6 timeout
1) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 152/40248 variables, and 152 constraints, problems are : Problem set: 0 solved, 40106 unsolved in 30443 ms.
Refiners :[Domain max(s): 152/153 constraints, Positive P Invariants (semi-flows): 0/10 constraints, State Equation: 0/153 constraints, ReadFeed: 0/529 constraints, PredecessorRefiner: 40012/94 constraints, Known Traps: 0/0 constraints]
After SMT, in 826775ms problems are : Problem set: 0 solved, 40106 unsolved
Search for dead transitions found 0 dead transitions in 827243ms
Starting structural reductions in LIVENESS mode, iteration 1 : 153/1243 places, 40122/41210 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 855475 ms. Remains : 153/1243 places, 40122/41210 transitions.
Discarding 148 transitions out of 40122. Remains 39974
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (2721 resets) in 29850 ms. (1 steps per ms) remains 39959/39973 properties
BEST_FIRST walk for 124 steps (4 resets) in 178 ms. (0 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 61 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 60 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 42 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 45 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 46 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 47 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 40 ms. (3 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 49 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 45 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 42 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 37 ms. (3 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 44 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 51 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 45 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 55 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 47 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 38 ms. (3 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 37 ms. (3 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 51 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 51 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 43 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 51 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 49 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 47 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 40 ms. (3 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 47 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 58 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 43 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 49 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 37 ms. (3 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
Interrupted probabilistic random walk after 10665 steps, run timeout after 27026 ms. (steps per millisecond=0 ) properties seen :148 out of 39959
Probabilistic random walk after 10665 steps, saw 7816 distinct states, run finished after 27031 ms. (steps per millisecond=0 ) properties seen :148
[2024-06-01 08:23:13] [INFO ] Flow matrix only has 40095 transitions (discarded 27 similar events)
[2024-06-01 08:23:13] [INFO ] Invariant cache hit.
[2024-06-01 08:23:46] [INFO ] State equation strengthened by 529 read => feed constraints.
SMT process timed out in 701497ms, After SMT, problems are : Problem set: 0 solved, 39811 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 120 out of 153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 153/153 places, 40122/40122 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 28 place count 153 transition count 40094
Free-agglomeration rule applied 5 times.
Iterating global reduction 1 with 5 rules applied. Total rules applied 33 place count 153 transition count 40089
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 38 place count 148 transition count 40089
Applied a total of 38 rules in 1185 ms. Remains 148 /153 variables (removed 5) and now considering 40089/40122 (removed 33) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1187 ms. Remains : 148/153 places, 40089/40122 transitions.
RANDOM walk for 223994 steps (13684 resets) in 120011 ms. (1 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 661 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (18 resets) in 669 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 661 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 663 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (19 resets) in 679 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (16 resets) in 680 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 671 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (18 resets) in 672 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (19 resets) in 681 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (18 resets) in 694 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (15 resets) in 672 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (17 resets) in 668 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4002 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 661 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (19 resets) in 679 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4002 steps (17 resets) in 677 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (20 resets) in 678 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 655 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (15 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (14 resets) in 671 ms. (5 steps per ms) remains 39785/39811 properties
BEST_FIRST walk for 4004 steps (9 resets) in 670 ms. (5 steps per ms) remains 39783/39785 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39766/39783 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39764/39766 properties
BEST_FIRST walk for 4004 steps (13 resets) in 666 ms. (6 steps per ms) remains 39763/39764 properties
BEST_FIRST walk for 4004 steps (20 resets) in 670 ms. (5 steps per ms) remains 39762/39763 properties
BEST_FIRST walk for 4004 steps (10 resets) in 671 ms. (5 steps per ms) remains 39761/39762 properties
BEST_FIRST walk for 4004 steps (15 resets) in 674 ms. (5 steps per ms) remains 39760/39761 properties
BEST_FIRST walk for 4004 steps (14 resets) in 678 ms. (5 steps per ms) remains 39759/39760 properties
BEST_FIRST walk for 4003 steps (14 resets) in 666 ms. (6 steps per ms) remains 39757/39759 properties
BEST_FIRST walk for 4004 steps (11 resets) in 668 ms. (5 steps per ms) remains 39751/39757 properties
BEST_FIRST walk for 4004 steps (16 resets) in 678 ms. (5 steps per ms) remains 39751/39751 properties
BEST_FIRST walk for 4004 steps (11 resets) in 664 ms. (6 steps per ms) remains 39750/39751 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39749/39750 properties
BEST_FIRST walk for 4004 steps (19 resets) in 676 ms. (5 steps per ms) remains 39749/39749 properties
BEST_FIRST walk for 4004 steps (12 resets) in 668 ms. (5 steps per ms) remains 39748/39749 properties
BEST_FIRST walk for 4003 steps (13 resets) in 667 ms. (5 steps per ms) remains 39747/39748 properties
BEST_FIRST walk for 4003 steps (11 resets) in 690 ms. (5 steps per ms) remains 39746/39747 properties
BEST_FIRST walk for 4003 steps (19 resets) in 675 ms. (5 steps per ms) remains 39746/39746 properties
BEST_FIRST walk for 4003 steps (17 resets) in 674 ms. (5 steps per ms) remains 39745/39746 properties
BEST_FIRST walk for 4003 steps (20 resets) in 669 ms. (5 steps per ms) remains 39745/39745 properties
BEST_FIRST walk for 4004 steps (11 resets) in 669 ms. (5 steps per ms) remains 39744/39745 properties
BEST_FIRST walk for 4004 steps (13 resets) in 671 ms. (5 steps per ms) remains 39743/39744 properties
BEST_FIRST walk for 4004 steps (15 resets) in 680 ms. (5 steps per ms) remains 39742/39743 properties
BEST_FIRST walk for 4004 steps (12 resets) in 675 ms. (5 steps per ms) remains 39742/39742 properties
BEST_FIRST walk for 4004 steps (13 resets) in 669 ms. (5 steps per ms) remains 39742/39742 properties
BEST_FIRST walk for 4002 steps (13 resets) in 668 ms. (5 steps per ms) remains 39741/39742 properties
BEST_FIRST walk for 4003 steps (11 resets) in 672 ms. (5 steps per ms) remains 39740/39741 properties
BEST_FIRST walk for 4003 steps (14 resets) in 664 ms. (6 steps per ms) remains 39739/39740 properties
BEST_FIRST walk for 4004 steps (13 resets) in 673 ms. (5 steps per ms) remains 39738/39739 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39737/39738 properties
BEST_FIRST walk for 4004 steps (16 resets) in 679 ms. (5 steps per ms) remains 39736/39737 properties
BEST_FIRST walk for 4003 steps (12 resets) in 674 ms. (5 steps per ms) remains 39735/39736 properties
BEST_FIRST walk for 4003 steps (12 resets) in 667 ms. (5 steps per ms) remains 39734/39735 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39733/39734 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39732/39733 properties
BEST_FIRST walk for 4004 steps (11 resets) in 678 ms. (5 steps per ms) remains 39731/39732 properties
BEST_FIRST walk for 4004 steps (13 resets) in 675 ms. (5 steps per ms) remains 39730/39731 properties
BEST_FIRST walk for 4004 steps (15 resets) in 670 ms. (5 steps per ms) remains 39730/39730 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39729/39730 properties
BEST_FIRST walk for 4003 steps (15 resets) in 669 ms. (5 steps per ms) remains 39728/39729 properties
BEST_FIRST walk for 4004 steps (18 resets) in 676 ms. (5 steps per ms) remains 39728/39728 properties
BEST_FIRST walk for 4003 steps (16 resets) in 663 ms. (6 steps per ms) remains 39727/39728 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39724/39727 properties
BEST_FIRST walk for 4004 steps (12 resets) in 664 ms. (6 steps per ms) remains 39721/39724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 667 ms. (5 steps per ms) remains 39716/39721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 653 ms. (6 steps per ms) remains 39713/39716 properties
BEST_FIRST walk for 4004 steps (18 resets) in 685 ms. (5 steps per ms) remains 39712/39713 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39711/39712 properties
BEST_FIRST walk for 4002 steps (16 resets) in 668 ms. (5 steps per ms) remains 39710/39711 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39709/39710 properties
BEST_FIRST walk for 4003 steps (18 resets) in 669 ms. (5 steps per ms) remains 39709/39709 properties
BEST_FIRST walk for 4003 steps (19 resets) in 665 ms. (6 steps per ms) remains 39708/39709 properties
BEST_FIRST walk for 4004 steps (17 resets) in 672 ms. (5 steps per ms) remains 39708/39708 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39707/39708 properties
BEST_FIRST walk for 4004 steps (11 resets) in 660 ms. (6 steps per ms) remains 39707/39707 properties
BEST_FIRST walk for 4004 steps (20 resets) in 677 ms. (5 steps per ms) remains 39706/39707 properties
BEST_FIRST walk for 4004 steps (15 resets) in 668 ms. (5 steps per ms) remains 39705/39706 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39705/39705 properties
BEST_FIRST walk for 4004 steps (11 resets) in 668 ms. (5 steps per ms) remains 39704/39705 properties
BEST_FIRST walk for 4002 steps (14 resets) in 663 ms. (6 steps per ms) remains 39703/39704 properties
BEST_FIRST walk for 4003 steps (12 resets) in 681 ms. (5 steps per ms) remains 39702/39703 properties
BEST_FIRST walk for 4003 steps (15 resets) in 682 ms. (5 steps per ms) remains 39701/39702 properties
BEST_FIRST walk for 4004 steps (14 resets) in 677 ms. (5 steps per ms) remains 39700/39701 properties
BEST_FIRST walk for 4003 steps (11 resets) in 664 ms. (6 steps per ms) remains 39700/39700 properties
BEST_FIRST walk for 4004 steps (12 resets) in 670 ms. (5 steps per ms) remains 39700/39700 properties
BEST_FIRST walk for 4004 steps (18 resets) in 681 ms. (5 steps per ms) remains 39699/39700 properties
BEST_FIRST walk for 4004 steps (12 resets) in 669 ms. (5 steps per ms) remains 39698/39699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 675 ms. (5 steps per ms) remains 39697/39698 properties
BEST_FIRST walk for 4003 steps (13 resets) in 670 ms. (5 steps per ms) remains 39697/39697 properties
BEST_FIRST walk for 4004 steps (15 resets) in 672 ms. (5 steps per ms) remains 39696/39697 properties
BEST_FIRST walk for 4004 steps (14 resets) in 673 ms. (5 steps per ms) remains 39695/39696 properties
BEST_FIRST walk for 4003 steps (16 resets) in 671 ms. (5 steps per ms) remains 39694/39695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39693/39694 properties
BEST_FIRST walk for 4003 steps (10 resets) in 666 ms. (6 steps per ms) remains 39692/39693 properties
BEST_FIRST walk for 4003 steps (16 resets) in 665 ms. (6 steps per ms) remains 39691/39692 properties
BEST_FIRST walk for 4003 steps (15 resets) in 670 ms. (5 steps per ms) remains 39690/39691 properties
BEST_FIRST walk for 4003 steps (15 resets) in 671 ms. (5 steps per ms) remains 39689/39690 properties
BEST_FIRST walk for 4004 steps (14 resets) in 672 ms. (5 steps per ms) remains 39688/39689 properties
BEST_FIRST walk for 4004 steps (11 resets) in 672 ms. (5 steps per ms) remains 39687/39688 properties
BEST_FIRST walk for 4004 steps (19 resets) in 672 ms. (5 steps per ms) remains 39687/39687 properties
BEST_FIRST walk for 4004 steps (14 resets) in 675 ms. (5 steps per ms) remains 39686/39687 properties
BEST_FIRST walk for 4004 steps (19 resets) in 677 ms. (5 steps per ms) remains 39685/39686 properties
BEST_FIRST walk for 4004 steps (16 resets) in 679 ms. (5 steps per ms) remains 39684/39685 properties
BEST_FIRST walk for 4004 steps (20 resets) in 669 ms. (5 steps per ms) remains 39684/39684 properties
BEST_FIRST walk for 4003 steps (15 resets) in 673 ms. (5 steps per ms) remains 39683/39684 properties
BEST_FIRST walk for 4004 steps (15 resets) in 681 ms. (5 steps per ms) remains 39682/39683 properties
BEST_FIRST walk for 4004 steps (21 resets) in 670 ms. (5 steps per ms) remains 39681/39682 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39680/39681 properties
BEST_FIRST walk for 4004 steps (17 resets) in 667 ms. (5 steps per ms) remains 39679/39680 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39678/39679 properties
BEST_FIRST walk for 4003 steps (16 resets) in 669 ms. (5 steps per ms) remains 39678/39678 properties
BEST_FIRST walk for 4004 steps (19 resets) in 678 ms. (5 steps per ms) remains 39678/39678 properties
BEST_FIRST walk for 4004 steps (18 resets) in 668 ms. (5 steps per ms) remains 39677/39678 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39676/39677 properties
BEST_FIRST walk for 4004 steps (19 resets) in 672 ms. (5 steps per ms) remains 39676/39676 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39675/39676 properties
BEST_FIRST walk for 4002 steps (14 resets) in 675 ms. (5 steps per ms) remains 39674/39675 properties
BEST_FIRST walk for 4004 steps (17 resets) in 672 ms. (5 steps per ms) remains 39674/39674 properties
BEST_FIRST walk for 4004 steps (13 resets) in 674 ms. (5 steps per ms) remains 39673/39674 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39672/39673 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39671/39672 properties
BEST_FIRST walk for 4004 steps (11 resets) in 668 ms. (5 steps per ms) remains 39670/39671 properties
BEST_FIRST walk for 4004 steps (18 resets) in 677 ms. (5 steps per ms) remains 39669/39670 properties
BEST_FIRST walk for 4004 steps (20 resets) in 676 ms. (5 steps per ms) remains 39669/39669 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39668/39669 properties
BEST_FIRST walk for 4004 steps (16 resets) in 677 ms. (5 steps per ms) remains 39667/39668 properties
BEST_FIRST walk for 4004 steps (16 resets) in 668 ms. (5 steps per ms) remains 39666/39667 properties
BEST_FIRST walk for 4004 steps (16 resets) in 664 ms. (6 steps per ms) remains 39665/39666 properties
BEST_FIRST walk for 4004 steps (15 resets) in 670 ms. (5 steps per ms) remains 39664/39665 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39664/39664 properties
BEST_FIRST walk for 4004 steps (14 resets) in 681 ms. (5 steps per ms) remains 39663/39664 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39662/39663 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39662/39662 properties
BEST_FIRST walk for 4004 steps (20 resets) in 671 ms. (5 steps per ms) remains 39661/39662 properties
BEST_FIRST walk for 4004 steps (18 resets) in 668 ms. (5 steps per ms) remains 39661/39661 properties
BEST_FIRST walk for 4004 steps (15 resets) in 669 ms. (5 steps per ms) remains 39661/39661 properties
BEST_FIRST walk for 4004 steps (14 resets) in 684 ms. (5 steps per ms) remains 39661/39661 properties
BEST_FIRST walk for 4004 steps (14 resets) in 665 ms. (6 steps per ms) remains 39660/39661 properties
BEST_FIRST walk for 4004 steps (15 resets) in 670 ms. (5 steps per ms) remains 39659/39660 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39658/39659 properties
BEST_FIRST walk for 4004 steps (12 resets) in 667 ms. (5 steps per ms) remains 39658/39658 properties
BEST_FIRST walk for 4004 steps (17 resets) in 672 ms. (5 steps per ms) remains 39657/39658 properties
BEST_FIRST walk for 4004 steps (20 resets) in 680 ms. (5 steps per ms) remains 39657/39657 properties
BEST_FIRST walk for 4002 steps (14 resets) in 668 ms. (5 steps per ms) remains 39657/39657 properties
BEST_FIRST walk for 4003 steps (13 resets) in 670 ms. (5 steps per ms) remains 39656/39657 properties
BEST_FIRST walk for 4004 steps (17 resets) in 666 ms. (6 steps per ms) remains 39655/39656 properties
BEST_FIRST walk for 4004 steps (22 resets) in 678 ms. (5 steps per ms) remains 39655/39655 properties
BEST_FIRST walk for 4004 steps (20 resets) in 678 ms. (5 steps per ms) remains 39655/39655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 667 ms. (5 steps per ms) remains 39654/39655 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39653/39654 properties
BEST_FIRST walk for 4004 steps (16 resets) in 681 ms. (5 steps per ms) remains 39653/39653 properties
BEST_FIRST walk for 4004 steps (20 resets) in 671 ms. (5 steps per ms) remains 39653/39653 properties
BEST_FIRST walk for 4003 steps (14 resets) in 666 ms. (6 steps per ms) remains 39652/39653 properties
BEST_FIRST walk for 4004 steps (18 resets) in 689 ms. (5 steps per ms) remains 39651/39652 properties
BEST_FIRST walk for 4004 steps (15 resets) in 667 ms. (5 steps per ms) remains 39650/39651 properties
BEST_FIRST walk for 4004 steps (13 resets) in 666 ms. (6 steps per ms) remains 39649/39650 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39648/39649 properties
BEST_FIRST walk for 4004 steps (11 resets) in 677 ms. (5 steps per ms) remains 39647/39648 properties
BEST_FIRST walk for 4003 steps (16 resets) in 674 ms. (5 steps per ms) remains 39646/39647 properties
BEST_FIRST walk for 4004 steps (20 resets) in 674 ms. (5 steps per ms) remains 39646/39646 properties
BEST_FIRST walk for 4004 steps (15 resets) in 668 ms. (5 steps per ms) remains 39645/39646 properties
BEST_FIRST walk for 4004 steps (19 resets) in 677 ms. (5 steps per ms) remains 39645/39645 properties
BEST_FIRST walk for 4003 steps (12 resets) in 677 ms. (5 steps per ms) remains 39644/39645 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39643/39644 properties
BEST_FIRST walk for 4003 steps (17 resets) in 669 ms. (5 steps per ms) remains 39642/39643 properties
BEST_FIRST walk for 4003 steps (15 resets) in 677 ms. (5 steps per ms) remains 39641/39642 properties
BEST_FIRST walk for 4003 steps (15 resets) in 665 ms. (6 steps per ms) remains 39640/39641 properties
BEST_FIRST walk for 4004 steps (11 resets) in 669 ms. (5 steps per ms) remains 39635/39640 properties
BEST_FIRST walk for 4003 steps (8 resets) in 576 ms. (6 steps per ms) remains 39632/39635 properties
BEST_FIRST walk for 4004 steps (10 resets) in 663 ms. (6 steps per ms) remains 39628/39632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 39625/39628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 39622/39625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 39622/39622 properties
BEST_FIRST walk for 4004 steps (18 resets) in 680 ms. (5 steps per ms) remains 39621/39622 properties
BEST_FIRST walk for 4003 steps (19 resets) in 679 ms. (5 steps per ms) remains 39620/39621 properties
BEST_FIRST walk for 4004 steps (11 resets) in 678 ms. (5 steps per ms) remains 39619/39620 properties
BEST_FIRST walk for 4004 steps (10 resets) in 666 ms. (6 steps per ms) remains 39618/39619 properties
BEST_FIRST walk for 4004 steps (14 resets) in 672 ms. (5 steps per ms) remains 39618/39618 properties
BEST_FIRST walk for 4004 steps (13 resets) in 678 ms. (5 steps per ms) remains 39617/39618 properties
BEST_FIRST walk for 4003 steps (20 resets) in 674 ms. (5 steps per ms) remains 39616/39617 properties
BEST_FIRST walk for 4004 steps (10 resets) in 673 ms. (5 steps per ms) remains 39615/39616 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39614/39615 properties
BEST_FIRST walk for 4004 steps (11 resets) in 679 ms. (5 steps per ms) remains 39613/39614 properties
BEST_FIRST walk for 4002 steps (18 resets) in 680 ms. (5 steps per ms) remains 39613/39613 properties
BEST_FIRST walk for 4004 steps (14 resets) in 675 ms. (5 steps per ms) remains 39612/39613 properties
BEST_FIRST walk for 4004 steps (13 resets) in 668 ms. (5 steps per ms) remains 39611/39612 properties
BEST_FIRST walk for 4004 steps (16 resets) in 671 ms. (5 steps per ms) remains 39610/39611 properties
BEST_FIRST walk for 4004 steps (12 resets) in 669 ms. (5 steps per ms) remains 39610/39610 properties
BEST_FIRST walk for 4004 steps (16 resets) in 674 ms. (5 steps per ms) remains 39609/39610 properties
BEST_FIRST walk for 4004 steps (18 resets) in 666 ms. (6 steps per ms) remains 39608/39609 properties
BEST_FIRST walk for 4004 steps (10 resets) in 664 ms. (6 steps per ms) remains 39607/39608 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39607/39607 properties
BEST_FIRST walk for 4004 steps (20 resets) in 675 ms. (5 steps per ms) remains 39606/39607 properties
BEST_FIRST walk for 4004 steps (21 resets) in 678 ms. (5 steps per ms) remains 39606/39606 properties
BEST_FIRST walk for 4004 steps (18 resets) in 665 ms. (6 steps per ms) remains 39605/39606 properties
BEST_FIRST walk for 4002 steps (19 resets) in 670 ms. (5 steps per ms) remains 39605/39605 properties
BEST_FIRST walk for 4004 steps (14 resets) in 669 ms. (5 steps per ms) remains 39604/39605 properties
BEST_FIRST walk for 4004 steps (11 resets) in 664 ms. (6 steps per ms) remains 39603/39604 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39602/39603 properties
BEST_FIRST walk for 4004 steps (15 resets) in 669 ms. (5 steps per ms) remains 39602/39602 properties
BEST_FIRST walk for 4004 steps (14 resets) in 675 ms. (5 steps per ms) remains 39601/39602 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39600/39601 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39599/39600 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 39598/39599 properties
BEST_FIRST walk for 4004 steps (19 resets) in 667 ms. (5 steps per ms) remains 39597/39598 properties
BEST_FIRST walk for 4004 steps (12 resets) in 668 ms. (5 steps per ms) remains 39596/39597 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39595/39596 properties
BEST_FIRST walk for 4004 steps (11 resets) in 668 ms. (5 steps per ms) remains 39594/39595 properties
BEST_FIRST walk for 4004 steps (12 resets) in 670 ms. (5 steps per ms) remains 39593/39594 properties
BEST_FIRST walk for 4004 steps (18 resets) in 677 ms. (5 steps per ms) remains 39592/39593 properties
BEST_FIRST walk for 4004 steps (14 resets) in 675 ms. (5 steps per ms) remains 39592/39592 properties
BEST_FIRST walk for 4004 steps (15 resets) in 668 ms. (5 steps per ms) remains 39591/39592 properties
BEST_FIRST walk for 4003 steps (15 resets) in 684 ms. (5 steps per ms) remains 39590/39591 properties
BEST_FIRST walk for 4004 steps (18 resets) in 672 ms. (5 steps per ms) remains 39589/39590 properties
BEST_FIRST walk for 4004 steps (13 resets) in 681 ms. (5 steps per ms) remains 39588/39589 properties
BEST_FIRST walk for 4003 steps (13 resets) in 669 ms. (5 steps per ms) remains 39587/39588 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39586/39587 properties
BEST_FIRST walk for 4003 steps (13 resets) in 663 ms. (6 steps per ms) remains 39585/39586 properties
BEST_FIRST walk for 4004 steps (16 resets) in 661 ms. (6 steps per ms) remains 39585/39585 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39584/39585 properties
BEST_FIRST walk for 4002 steps (14 resets) in 668 ms. (5 steps per ms) remains 39584/39584 properties
BEST_FIRST walk for 4004 steps (18 resets) in 679 ms. (5 steps per ms) remains 39583/39584 properties
BEST_FIRST walk for 4003 steps (12 resets) in 676 ms. (5 steps per ms) remains 39582/39583 properties
BEST_FIRST walk for 4003 steps (18 resets) in 668 ms. (5 steps per ms) remains 39581/39582 properties
BEST_FIRST walk for 4004 steps (13 resets) in 668 ms. (5 steps per ms) remains 39581/39581 properties
BEST_FIRST walk for 4003 steps (12 resets) in 673 ms. (5 steps per ms) remains 39580/39581 properties
BEST_FIRST walk for 4003 steps (16 resets) in 671 ms. (5 steps per ms) remains 39580/39580 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39580/39580 properties
BEST_FIRST walk for 4003 steps (17 resets) in 672 ms. (5 steps per ms) remains 39579/39580 properties
BEST_FIRST walk for 4002 steps (17 resets) in 666 ms. (6 steps per ms) remains 39578/39579 properties
BEST_FIRST walk for 4003 steps (17 resets) in 676 ms. (5 steps per ms) remains 39577/39578 properties
BEST_FIRST walk for 4003 steps (14 resets) in 666 ms. (6 steps per ms) remains 39576/39577 properties
BEST_FIRST walk for 4004 steps (22 resets) in 666 ms. (6 steps per ms) remains 39575/39576 properties
BEST_FIRST walk for 4004 steps (15 resets) in 667 ms. (5 steps per ms) remains 39574/39575 properties
BEST_FIRST walk for 4003 steps (15 resets) in 671 ms. (5 steps per ms) remains 39574/39574 properties
BEST_FIRST walk for 4004 steps (9 resets) in 662 ms. (6 steps per ms) remains 39573/39574 properties
BEST_FIRST walk for 4004 steps (19 resets) in 680 ms. (5 steps per ms) remains 39572/39573 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39571/39572 properties
BEST_FIRST walk for 4004 steps (14 resets) in 676 ms. (5 steps per ms) remains 39570/39571 properties
BEST_FIRST walk for 4004 steps (11 resets) in 674 ms. (5 steps per ms) remains 39569/39570 properties
BEST_FIRST walk for 4003 steps (17 resets) in 674 ms. (5 steps per ms) remains 39568/39569 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39567/39568 properties
BEST_FIRST walk for 4004 steps (10 resets) in 654 ms. (6 steps per ms) remains 39566/39567 properties
BEST_FIRST walk for 4003 steps (18 resets) in 666 ms. (6 steps per ms) remains 39565/39566 properties
BEST_FIRST walk for 4004 steps (16 resets) in 665 ms. (6 steps per ms) remains 39564/39565 properties
BEST_FIRST walk for 4003 steps (18 resets) in 671 ms. (5 steps per ms) remains 39563/39564 properties
BEST_FIRST walk for 4004 steps (16 resets) in 666 ms. (6 steps per ms) remains 39562/39563 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39561/39562 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39560/39561 properties
BEST_FIRST walk for 4003 steps (15 resets) in 676 ms. (5 steps per ms) remains 39559/39560 properties
BEST_FIRST walk for 4003 steps (17 resets) in 670 ms. (5 steps per ms) remains 39558/39559 properties
BEST_FIRST walk for 4004 steps (13 resets) in 680 ms. (5 steps per ms) remains 39557/39558 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39557/39557 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39556/39557 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39555/39556 properties
BEST_FIRST walk for 4003 steps (17 resets) in 668 ms. (5 steps per ms) remains 39554/39555 properties
BEST_FIRST walk for 4004 steps (18 resets) in 675 ms. (5 steps per ms) remains 39554/39554 properties
BEST_FIRST walk for 4003 steps (15 resets) in 668 ms. (5 steps per ms) remains 39554/39554 properties
BEST_FIRST walk for 4004 steps (13 resets) in 664 ms. (6 steps per ms) remains 39553/39554 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39552/39553 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39551/39552 properties
BEST_FIRST walk for 4003 steps (15 resets) in 668 ms. (5 steps per ms) remains 39551/39551 properties
BEST_FIRST walk for 4003 steps (16 resets) in 669 ms. (5 steps per ms) remains 39550/39551 properties
BEST_FIRST walk for 4004 steps (15 resets) in 667 ms. (5 steps per ms) remains 39549/39550 properties
BEST_FIRST walk for 4004 steps (16 resets) in 681 ms. (5 steps per ms) remains 39548/39549 properties
BEST_FIRST walk for 4003 steps (14 resets) in 669 ms. (5 steps per ms) remains 39548/39548 properties
BEST_FIRST walk for 4004 steps (22 resets) in 677 ms. (5 steps per ms) remains 39548/39548 properties
BEST_FIRST walk for 4002 steps (17 resets) in 673 ms. (5 steps per ms) remains 39547/39548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 673 ms. (5 steps per ms) remains 39546/39547 properties
BEST_FIRST walk for 4004 steps (12 resets) in 668 ms. (5 steps per ms) remains 39545/39546 properties
BEST_FIRST walk for 4004 steps (14 resets) in 664 ms. (6 steps per ms) remains 39545/39545 properties
BEST_FIRST walk for 4003 steps (18 resets) in 679 ms. (5 steps per ms) remains 39544/39545 properties
BEST_FIRST walk for 4003 steps (15 resets) in 677 ms. (5 steps per ms) remains 39544/39544 properties
BEST_FIRST walk for 4004 steps (12 resets) in 676 ms. (5 steps per ms) remains 39543/39544 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39542/39543 properties
BEST_FIRST walk for 4004 steps (11 resets) in 668 ms. (5 steps per ms) remains 39541/39542 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39540/39541 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39540/39540 properties
BEST_FIRST walk for 4004 steps (12 resets) in 678 ms. (5 steps per ms) remains 39539/39540 properties
BEST_FIRST walk for 4003 steps (9 resets) in 669 ms. (5 steps per ms) remains 39539/39539 properties
BEST_FIRST walk for 4004 steps (12 resets) in 668 ms. (5 steps per ms) remains 39538/39539 properties
BEST_FIRST walk for 4003 steps (14 resets) in 674 ms. (5 steps per ms) remains 39537/39538 properties
BEST_FIRST walk for 4003 steps (14 resets) in 672 ms. (5 steps per ms) remains 39537/39537 properties
BEST_FIRST walk for 4004 steps (14 resets) in 671 ms. (5 steps per ms) remains 39536/39537 properties
BEST_FIRST walk for 4003 steps (15 resets) in 671 ms. (5 steps per ms) remains 39536/39536 properties
BEST_FIRST walk for 4004 steps (18 resets) in 668 ms. (5 steps per ms) remains 39535/39536 properties
BEST_FIRST walk for 4004 steps (18 resets) in 678 ms. (5 steps per ms) remains 39534/39535 properties
BEST_FIRST walk for 4003 steps (12 resets) in 671 ms. (5 steps per ms) remains 39533/39534 properties
BEST_FIRST walk for 4003 steps (17 resets) in 680 ms. (5 steps per ms) remains 39532/39533 properties
BEST_FIRST walk for 4003 steps (14 resets) in 677 ms. (5 steps per ms) remains 39531/39532 properties
BEST_FIRST walk for 4004 steps (14 resets) in 661 ms. (6 steps per ms) remains 39531/39531 properties
BEST_FIRST walk for 4004 steps (13 resets) in 664 ms. (6 steps per ms) remains 39530/39531 properties
BEST_FIRST walk for 4003 steps (21 resets) in 665 ms. (6 steps per ms) remains 39529/39530 properties
BEST_FIRST walk for 4004 steps (17 resets) in 667 ms. (5 steps per ms) remains 39528/39529 properties
BEST_FIRST walk for 4004 steps (14 resets) in 672 ms. (5 steps per ms) remains 39527/39528 properties
BEST_FIRST walk for 4003 steps (15 resets) in 679 ms. (5 steps per ms) remains 39527/39527 properties
BEST_FIRST walk for 4003 steps (16 resets) in 673 ms. (5 steps per ms) remains 39526/39527 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39525/39526 properties
BEST_FIRST walk for 4003 steps (13 resets) in 681 ms. (5 steps per ms) remains 39524/39525 properties
BEST_FIRST walk for 4004 steps (17 resets) in 670 ms. (5 steps per ms) remains 39523/39524 properties
BEST_FIRST walk for 4002 steps (17 resets) in 669 ms. (5 steps per ms) remains 39523/39523 properties
BEST_FIRST walk for 4004 steps (12 resets) in 669 ms. (5 steps per ms) remains 39522/39523 properties
BEST_FIRST walk for 4002 steps (14 resets) in 669 ms. (5 steps per ms) remains 39522/39522 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39521/39522 properties
BEST_FIRST walk for 4003 steps (17 resets) in 667 ms. (5 steps per ms) remains 39520/39521 properties
BEST_FIRST walk for 4004 steps (19 resets) in 673 ms. (5 steps per ms) remains 39520/39520 properties
BEST_FIRST walk for 4003 steps (14 resets) in 668 ms. (5 steps per ms) remains 39519/39520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39519/39519 properties
BEST_FIRST walk for 4004 steps (12 resets) in 660 ms. (6 steps per ms) remains 39519/39519 properties
BEST_FIRST walk for 4004 steps (16 resets) in 662 ms. (6 steps per ms) remains 39518/39519 properties
BEST_FIRST walk for 4004 steps (11 resets) in 667 ms. (5 steps per ms) remains 39517/39518 properties
BEST_FIRST walk for 4004 steps (15 resets) in 667 ms. (5 steps per ms) remains 39516/39517 properties
BEST_FIRST walk for 4004 steps (15 resets) in 667 ms. (5 steps per ms) remains 39515/39516 properties
BEST_FIRST walk for 4004 steps (15 resets) in 668 ms. (5 steps per ms) remains 39514/39515 properties
BEST_FIRST walk for 4004 steps (14 resets) in 676 ms. (5 steps per ms) remains 39514/39514 properties
BEST_FIRST walk for 4003 steps (13 resets) in 667 ms. (5 steps per ms) remains 39513/39514 properties
BEST_FIRST walk for 4004 steps (14 resets) in 673 ms. (5 steps per ms) remains 39512/39513 properties
BEST_FIRST walk for 4003 steps (13 resets) in 663 ms. (6 steps per ms) remains 39511/39512 properties
BEST_FIRST walk for 4004 steps (17 resets) in 669 ms. (5 steps per ms) remains 39510/39511 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39509/39510 properties
BEST_FIRST walk for 4003 steps (11 resets) in 657 ms. (6 steps per ms) remains 39508/39509 properties
BEST_FIRST walk for 4004 steps (14 resets) in 673 ms. (5 steps per ms) remains 39507/39508 properties
BEST_FIRST walk for 4004 steps (18 resets) in 670 ms. (5 steps per ms) remains 39506/39507 properties
BEST_FIRST walk for 4003 steps (16 resets) in 667 ms. (5 steps per ms) remains 39505/39506 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39504/39505 properties
BEST_FIRST walk for 4003 steps (15 resets) in 672 ms. (5 steps per ms) remains 39504/39504 properties
BEST_FIRST walk for 4002 steps (20 resets) in 668 ms. (5 steps per ms) remains 39504/39504 properties
BEST_FIRST walk for 4003 steps (13 resets) in 669 ms. (5 steps per ms) remains 39503/39504 properties
BEST_FIRST walk for 4003 steps (16 resets) in 664 ms. (6 steps per ms) remains 39503/39503 properties
BEST_FIRST walk for 4004 steps (14 resets) in 671 ms. (5 steps per ms) remains 39502/39503 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39501/39502 properties
BEST_FIRST walk for 4004 steps (13 resets) in 671 ms. (5 steps per ms) remains 39500/39501 properties
BEST_FIRST walk for 4004 steps (14 resets) in 677 ms. (5 steps per ms) remains 39500/39500 properties
BEST_FIRST walk for 4003 steps (11 resets) in 678 ms. (5 steps per ms) remains 39500/39500 properties
BEST_FIRST walk for 4003 steps (17 resets) in 675 ms. (5 steps per ms) remains 39500/39500 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39499/39500 properties
BEST_FIRST walk for 4004 steps (14 resets) in 673 ms. (5 steps per ms) remains 39498/39499 properties
BEST_FIRST walk for 4004 steps (15 resets) in 682 ms. (5 steps per ms) remains 39497/39498 properties
BEST_FIRST walk for 4004 steps (14 resets) in 666 ms. (6 steps per ms) remains 39496/39497 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39496/39496 properties
BEST_FIRST walk for 4003 steps (11 resets) in 673 ms. (5 steps per ms) remains 39495/39496 properties
BEST_FIRST walk for 4004 steps (14 resets) in 676 ms. (5 steps per ms) remains 39494/39495 properties
BEST_FIRST walk for 4003 steps (15 resets) in 668 ms. (5 steps per ms) remains 39493/39494 properties
BEST_FIRST walk for 4004 steps (12 resets) in 669 ms. (5 steps per ms) remains 39492/39493 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39491/39492 properties
BEST_FIRST walk for 4004 steps (9 resets) in 664 ms. (6 steps per ms) remains 39491/39491 properties
BEST_FIRST walk for 4004 steps (13 resets) in 666 ms. (6 steps per ms) remains 39490/39491 properties
BEST_FIRST walk for 4003 steps (15 resets) in 667 ms. (5 steps per ms) remains 39490/39490 properties
BEST_FIRST walk for 4003 steps (13 resets) in 664 ms. (6 steps per ms) remains 39489/39490 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39488/39489 properties
BEST_FIRST walk for 4004 steps (19 resets) in 670 ms. (5 steps per ms) remains 39488/39488 properties
BEST_FIRST walk for 4003 steps (15 resets) in 671 ms. (5 steps per ms) remains 39487/39488 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39486/39487 properties
BEST_FIRST walk for 4004 steps (14 resets) in 676 ms. (5 steps per ms) remains 39485/39486 properties
BEST_FIRST walk for 4003 steps (18 resets) in 669 ms. (5 steps per ms) remains 39484/39485 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39483/39484 properties
BEST_FIRST walk for 4004 steps (15 resets) in 669 ms. (5 steps per ms) remains 39482/39483 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39481/39482 properties
BEST_FIRST walk for 4003 steps (16 resets) in 677 ms. (5 steps per ms) remains 39480/39481 properties
BEST_FIRST walk for 4004 steps (16 resets) in 684 ms. (5 steps per ms) remains 39479/39480 properties
BEST_FIRST walk for 4003 steps (18 resets) in 672 ms. (5 steps per ms) remains 39478/39479 properties
BEST_FIRST walk for 4004 steps (20 resets) in 672 ms. (5 steps per ms) remains 39478/39478 properties
BEST_FIRST walk for 4004 steps (21 resets) in 671 ms. (5 steps per ms) remains 39478/39478 properties
BEST_FIRST walk for 4004 steps (12 resets) in 660 ms. (6 steps per ms) remains 39477/39478 properties
BEST_FIRST walk for 4004 steps (20 resets) in 662 ms. (6 steps per ms) remains 39476/39477 properties
BEST_FIRST walk for 4003 steps (11 resets) in 663 ms. (6 steps per ms) remains 39475/39476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 672 ms. (5 steps per ms) remains 39475/39475 properties
BEST_FIRST walk for 4002 steps (15 resets) in 669 ms. (5 steps per ms) remains 39474/39475 properties
BEST_FIRST walk for 4003 steps (20 resets) in 668 ms. (5 steps per ms) remains 39474/39474 properties
BEST_FIRST walk for 4004 steps (13 resets) in 667 ms. (5 steps per ms) remains 39473/39474 properties
BEST_FIRST walk for 4004 steps (22 resets) in 680 ms. (5 steps per ms) remains 39472/39473 properties
BEST_FIRST walk for 4003 steps (15 resets) in 681 ms. (5 steps per ms) remains 39471/39472 properties
BEST_FIRST walk for 4004 steps (19 resets) in 656 ms. (6 steps per ms) remains 39471/39471 properties
BEST_FIRST walk for 4004 steps (12 resets) in 665 ms. (6 steps per ms) remains 39470/39471 properties
BEST_FIRST walk for 4004 steps (17 resets) in 666 ms. (6 steps per ms) remains 39469/39470 properties
BEST_FIRST walk for 4004 steps (19 resets) in 674 ms. (5 steps per ms) remains 39468/39469 properties
BEST_FIRST walk for 4004 steps (19 resets) in 674 ms. (5 steps per ms) remains 39468/39468 properties
BEST_FIRST walk for 4004 steps (13 resets) in 665 ms. (6 steps per ms) remains 39468/39468 properties
BEST_FIRST walk for 4004 steps (17 resets) in 665 ms. (6 steps per ms) remains 39467/39468 properties
BEST_FIRST walk for 4004 steps (14 resets) in 669 ms. (5 steps per ms) remains 39466/39467 properties
BEST_FIRST walk for 4004 steps (17 resets) in 669 ms. (5 steps per ms) remains 39465/39466 properties
BEST_FIRST walk for 4003 steps (15 resets) in 678 ms. (5 steps per ms) remains 39464/39465 properties
BEST_FIRST walk for 4002 steps (16 resets) in 672 ms. (5 steps per ms) remains 39463/39464 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39462/39463 properties
BEST_FIRST walk for 4003 steps (19 resets) in 672 ms. (5 steps per ms) remains 39462/39462 properties
BEST_FIRST walk for 4002 steps (18 resets) in 679 ms. (5 steps per ms) remains 39462/39462 properties
BEST_FIRST walk for 4001 steps (11 resets) in 665 ms. (6 steps per ms) remains 39461/39462 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39460/39461 properties
BEST_FIRST walk for 4004 steps (11 resets) in 667 ms. (5 steps per ms) remains 39459/39460 properties
BEST_FIRST walk for 4004 steps (16 resets) in 666 ms. (6 steps per ms) remains 39458/39459 properties
BEST_FIRST walk for 4004 steps (17 resets) in 672 ms. (5 steps per ms) remains 39457/39458 properties
BEST_FIRST walk for 4004 steps (15 resets) in 667 ms. (5 steps per ms) remains 39456/39457 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39455/39456 properties
BEST_FIRST walk for 4004 steps (12 resets) in 660 ms. (6 steps per ms) remains 39454/39455 properties
BEST_FIRST walk for 4004 steps (19 resets) in 675 ms. (5 steps per ms) remains 39454/39454 properties
BEST_FIRST walk for 4004 steps (19 resets) in 672 ms. (5 steps per ms) remains 39454/39454 properties
BEST_FIRST walk for 4003 steps (15 resets) in 677 ms. (5 steps per ms) remains 39453/39454 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39452/39453 properties
BEST_FIRST walk for 4004 steps (15 resets) in 668 ms. (5 steps per ms) remains 39452/39452 properties
BEST_FIRST walk for 4003 steps (13 resets) in 661 ms. (6 steps per ms) remains 39452/39452 properties
BEST_FIRST walk for 4004 steps (21 resets) in 673 ms. (5 steps per ms) remains 39451/39452 properties
BEST_FIRST walk for 4002 steps (12 resets) in 671 ms. (5 steps per ms) remains 39450/39451 properties
BEST_FIRST walk for 4004 steps (15 resets) in 665 ms. (6 steps per ms) remains 39449/39450 properties
BEST_FIRST walk for 4004 steps (16 resets) in 671 ms. (5 steps per ms) remains 39448/39449 properties
BEST_FIRST walk for 4004 steps (13 resets) in 680 ms. (5 steps per ms) remains 39447/39448 properties
BEST_FIRST walk for 4003 steps (14 resets) in 676 ms. (5 steps per ms) remains 39446/39447 properties
BEST_FIRST walk for 4003 steps (12 resets) in 681 ms. (5 steps per ms) remains 39445/39446 properties
BEST_FIRST walk for 4004 steps (16 resets) in 662 ms. (6 steps per ms) remains 39445/39445 properties
BEST_FIRST walk for 4004 steps (16 resets) in 681 ms. (5 steps per ms) remains 39444/39445 properties
BEST_FIRST walk for 4004 steps (12 resets) in 664 ms. (6 steps per ms) remains 39443/39444 properties
BEST_FIRST walk for 4003 steps (10 resets) in 672 ms. (5 steps per ms) remains 39442/39443 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39441/39442 properties
BEST_FIRST walk for 4004 steps (12 resets) in 664 ms. (6 steps per ms) remains 39440/39441 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39439/39440 properties
BEST_FIRST walk for 4004 steps (12 resets) in 669 ms. (5 steps per ms) remains 39438/39439 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39437/39438 properties
BEST_FIRST walk for 4004 steps (18 resets) in 667 ms. (5 steps per ms) remains 39436/39437 properties
BEST_FIRST walk for 4003 steps (22 resets) in 674 ms. (5 steps per ms) remains 39435/39436 properties
BEST_FIRST walk for 4003 steps (9 resets) in 668 ms. (5 steps per ms) remains 39434/39435 properties
BEST_FIRST walk for 4004 steps (17 resets) in 680 ms. (5 steps per ms) remains 39433/39434 properties
BEST_FIRST walk for 4004 steps (20 resets) in 675 ms. (5 steps per ms) remains 39432/39433 properties
BEST_FIRST walk for 4004 steps (18 resets) in 669 ms. (5 steps per ms) remains 39431/39432 properties
BEST_FIRST walk for 4004 steps (14 resets) in 680 ms. (5 steps per ms) remains 39431/39431 properties
BEST_FIRST walk for 4003 steps (13 resets) in 669 ms. (5 steps per ms) remains 39430/39431 properties
BEST_FIRST walk for 4003 steps (9 resets) in 672 ms. (5 steps per ms) remains 39429/39430 properties
BEST_FIRST walk for 4004 steps (12 resets) in 671 ms. (5 steps per ms) remains 39428/39429 properties
BEST_FIRST walk for 4003 steps (19 resets) in 673 ms. (5 steps per ms) remains 39427/39428 properties
BEST_FIRST walk for 4004 steps (21 resets) in 678 ms. (5 steps per ms) remains 39426/39427 properties
BEST_FIRST walk for 4004 steps (13 resets) in 665 ms. (6 steps per ms) remains 39425/39426 properties
BEST_FIRST walk for 4003 steps (15 resets) in 681 ms. (5 steps per ms) remains 39424/39425 properties
BEST_FIRST walk for 4003 steps (11 resets) in 673 ms. (5 steps per ms) remains 39424/39424 properties
BEST_FIRST walk for 4004 steps (15 resets) in 672 ms. (5 steps per ms) remains 39423/39424 properties
BEST_FIRST walk for 4002 steps (15 resets) in 676 ms. (5 steps per ms) remains 39422/39423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 659 ms. (6 steps per ms) remains 39421/39422 properties
BEST_FIRST walk for 4002 steps (13 resets) in 666 ms. (6 steps per ms) remains 39420/39421 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39419/39420 properties
BEST_FIRST walk for 4003 steps (14 resets) in 668 ms. (5 steps per ms) remains 39418/39419 properties
BEST_FIRST walk for 4004 steps (11 resets) in 665 ms. (6 steps per ms) remains 39417/39418 properties
BEST_FIRST walk for 4003 steps (13 resets) in 661 ms. (6 steps per ms) remains 39416/39417 properties
BEST_FIRST walk for 4004 steps (11 resets) in 670 ms. (5 steps per ms) remains 39415/39416 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39415/39415 properties
BEST_FIRST walk for 4004 steps (18 resets) in 672 ms. (5 steps per ms) remains 39415/39415 properties
BEST_FIRST walk for 4004 steps (10 resets) in 674 ms. (5 steps per ms) remains 39414/39415 properties
BEST_FIRST walk for 4004 steps (16 resets) in 674 ms. (5 steps per ms) remains 39413/39414 properties
BEST_FIRST walk for 4002 steps (19 resets) in 664 ms. (6 steps per ms) remains 39413/39413 properties
BEST_FIRST walk for 4003 steps (15 resets) in 674 ms. (5 steps per ms) remains 39412/39413 properties
BEST_FIRST walk for 4004 steps (13 resets) in 660 ms. (6 steps per ms) remains 39411/39412 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39410/39411 properties
BEST_FIRST walk for 4003 steps (16 resets) in 670 ms. (5 steps per ms) remains 39409/39410 properties
BEST_FIRST walk for 4004 steps (13 resets) in 677 ms. (5 steps per ms) remains 39408/39409 properties
BEST_FIRST walk for 4004 steps (16 resets) in 674 ms. (5 steps per ms) remains 39407/39408 properties
BEST_FIRST walk for 4004 steps (10 resets) in 663 ms. (6 steps per ms) remains 39406/39407 properties
BEST_FIRST walk for 4004 steps (9 resets) in 663 ms. (6 steps per ms) remains 39405/39406 properties
BEST_FIRST walk for 4004 steps (16 resets) in 666 ms. (6 steps per ms) remains 39404/39405 properties
BEST_FIRST walk for 4003 steps (19 resets) in 674 ms. (5 steps per ms) remains 39403/39404 properties
BEST_FIRST walk for 4003 steps (14 resets) in 670 ms. (5 steps per ms) remains 39402/39403 properties
BEST_FIRST walk for 4004 steps (14 resets) in 667 ms. (5 steps per ms) remains 39401/39402 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39400/39401 properties
BEST_FIRST walk for 4003 steps (14 resets) in 668 ms. (5 steps per ms) remains 39400/39400 properties
BEST_FIRST walk for 4004 steps (11 resets) in 671 ms. (5 steps per ms) remains 39400/39400 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39399/39400 properties
BEST_FIRST walk for 4003 steps (17 resets) in 657 ms. (6 steps per ms) remains 39399/39399 properties
BEST_FIRST walk for 4004 steps (12 resets) in 666 ms. (6 steps per ms) remains 39398/39399 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39397/39398 properties
BEST_FIRST walk for 4004 steps (20 resets) in 678 ms. (5 steps per ms) remains 39396/39397 properties
BEST_FIRST walk for 4004 steps (21 resets) in 668 ms. (5 steps per ms) remains 39395/39396 properties
BEST_FIRST walk for 4003 steps (16 resets) in 674 ms. (5 steps per ms) remains 39394/39395 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39393/39394 properties
BEST_FIRST walk for 4003 steps (17 resets) in 666 ms. (6 steps per ms) remains 39392/39393 properties
BEST_FIRST walk for 4004 steps (18 resets) in 666 ms. (6 steps per ms) remains 39392/39392 properties
BEST_FIRST walk for 4004 steps (12 resets) in 664 ms. (6 steps per ms) remains 39391/39392 properties
BEST_FIRST walk for 4004 steps (14 resets) in 669 ms. (5 steps per ms) remains 39390/39391 properties
BEST_FIRST walk for 4004 steps (14 resets) in 669 ms. (5 steps per ms) remains 39389/39390 properties
BEST_FIRST walk for 4004 steps (12 resets) in 679 ms. (5 steps per ms) remains 39388/39389 properties
BEST_FIRST walk for 4004 steps (16 resets) in 660 ms. (6 steps per ms) remains 39388/39388 properties
BEST_FIRST walk for 4003 steps (10 resets) in 675 ms. (5 steps per ms) remains 39387/39388 properties
BEST_FIRST walk for 4003 steps (14 resets) in 674 ms. (5 steps per ms) remains 39386/39387 properties
BEST_FIRST walk for 4004 steps (14 resets) in 665 ms. (6 steps per ms) remains 39385/39386 properties
BEST_FIRST walk for 4003 steps (13 resets) in 666 ms. (6 steps per ms) remains 39384/39385 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39383/39384 properties
BEST_FIRST walk for 4004 steps (13 resets) in 665 ms. (6 steps per ms) remains 39382/39383 properties
BEST_FIRST walk for 4004 steps (9 resets) in 666 ms. (6 steps per ms) remains 39381/39382 properties
BEST_FIRST walk for 4004 steps (17 resets) in 666 ms. (6 steps per ms) remains 39380/39381 properties
BEST_FIRST walk for 4004 steps (19 resets) in 670 ms. (5 steps per ms) remains 39380/39380 properties
BEST_FIRST walk for 4004 steps (13 resets) in 669 ms. (5 steps per ms) remains 39375/39380 properties
BEST_FIRST walk for 4004 steps (10 resets) in 666 ms. (6 steps per ms) remains 39374/39375 properties
BEST_FIRST walk for 4004 steps (11 resets) in 677 ms. (5 steps per ms) remains 39371/39374 properties
BEST_FIRST walk for 4003 steps (11 resets) in 665 ms. (6 steps per ms) remains 39370/39371 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 39370/39370 properties
BEST_FIRST walk for 4003 steps (8 resets) in 621 ms. (6 steps per ms) remains 39369/39370 properties
BEST_FIRST walk for 4004 steps (12 resets) in 663 ms. (6 steps per ms) remains 39367/39369 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 39365/39367 properties
BEST_FIRST walk for 4003 steps (8 resets) in 622 ms. (6 steps per ms) remains 39363/39365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 39363/39363 properties
BEST_FIRST walk for 4004 steps (18 resets) in 667 ms. (5 steps per ms) remains 39362/39363 properties
BEST_FIRST walk for 4002 steps (18 resets) in 673 ms. (5 steps per ms) remains 39361/39362 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39360/39361 properties
BEST_FIRST walk for 4003 steps (9 resets) in 674 ms. (5 steps per ms) remains 39359/39360 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39358/39359 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39358/39358 properties
BEST_FIRST walk for 4003 steps (16 resets) in 678 ms. (5 steps per ms) remains 39357/39358 properties
BEST_FIRST walk for 4004 steps (20 resets) in 670 ms. (5 steps per ms) remains 39356/39357 properties
BEST_FIRST walk for 4004 steps (17 resets) in 680 ms. (5 steps per ms) remains 39356/39356 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39355/39356 properties
BEST_FIRST walk for 4004 steps (16 resets) in 664 ms. (6 steps per ms) remains 39355/39355 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39354/39355 properties
BEST_FIRST walk for 4004 steps (17 resets) in 680 ms. (5 steps per ms) remains 39354/39354 properties
BEST_FIRST walk for 4003 steps (17 resets) in 676 ms. (5 steps per ms) remains 39353/39354 properties
BEST_FIRST walk for 4004 steps (16 resets) in 666 ms. (6 steps per ms) remains 39352/39353 properties
BEST_FIRST walk for 4002 steps (14 resets) in 666 ms. (6 steps per ms) remains 39352/39352 properties
BEST_FIRST walk for 4004 steps (15 resets) in 680 ms. (5 steps per ms) remains 39351/39352 properties
BEST_FIRST walk for 4003 steps (16 resets) in 671 ms. (5 steps per ms) remains 39350/39351 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39349/39350 properties
BEST_FIRST walk for 4004 steps (13 resets) in 676 ms. (5 steps per ms) remains 39348/39349 properties
BEST_FIRST walk for 4004 steps (22 resets) in 672 ms. (5 steps per ms) remains 39347/39348 properties
BEST_FIRST walk for 4003 steps (15 resets) in 664 ms. (6 steps per ms) remains 39346/39347 properties
BEST_FIRST walk for 4003 steps (16 resets) in 668 ms. (5 steps per ms) remains 39345/39346 properties
BEST_FIRST walk for 4004 steps (12 resets) in 666 ms. (6 steps per ms) remains 39345/39345 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39344/39345 properties
BEST_FIRST walk for 4004 steps (14 resets) in 680 ms. (5 steps per ms) remains 39343/39344 properties
BEST_FIRST walk for 4004 steps (16 resets) in 677 ms. (5 steps per ms) remains 39342/39343 properties
BEST_FIRST walk for 4004 steps (12 resets) in 673 ms. (5 steps per ms) remains 39341/39342 properties
BEST_FIRST walk for 4004 steps (13 resets) in 661 ms. (6 steps per ms) remains 39340/39341 properties
BEST_FIRST walk for 4002 steps (14 resets) in 672 ms. (5 steps per ms) remains 39339/39340 properties
BEST_FIRST walk for 4004 steps (11 resets) in 665 ms. (6 steps per ms) remains 39338/39339 properties
BEST_FIRST walk for 4004 steps (18 resets) in 663 ms. (6 steps per ms) remains 39338/39338 properties
BEST_FIRST walk for 4004 steps (18 resets) in 671 ms. (5 steps per ms) remains 39337/39338 properties
BEST_FIRST walk for 4003 steps (16 resets) in 661 ms. (6 steps per ms) remains 39336/39337 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39335/39336 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39334/39335 properties
BEST_FIRST walk for 4001 steps (16 resets) in 674 ms. (5 steps per ms) remains 39333/39334 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39332/39333 properties
BEST_FIRST walk for 4004 steps (11 resets) in 671 ms. (5 steps per ms) remains 39331/39332 properties
BEST_FIRST walk for 4004 steps (16 resets) in 659 ms. (6 steps per ms) remains 39331/39331 properties
BEST_FIRST walk for 4003 steps (16 resets) in 664 ms. (6 steps per ms) remains 39330/39331 properties
BEST_FIRST walk for 4004 steps (9 resets) in 661 ms. (6 steps per ms) remains 39329/39330 properties
BEST_FIRST walk for 4004 steps (11 resets) in 665 ms. (6 steps per ms) remains 39328/39329 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39328/39328 properties
BEST_FIRST walk for 4002 steps (17 resets) in 672 ms. (5 steps per ms) remains 39327/39328 properties
BEST_FIRST walk for 4004 steps (12 resets) in 675 ms. (5 steps per ms) remains 39327/39327 properties
BEST_FIRST walk for 4004 steps (19 resets) in 673 ms. (5 steps per ms) remains 39327/39327 properties
BEST_FIRST walk for 4002 steps (14 resets) in 663 ms. (6 steps per ms) remains 39326/39327 properties
BEST_FIRST walk for 4004 steps (11 resets) in 669 ms. (5 steps per ms) remains 39325/39326 properties
BEST_FIRST walk for 4004 steps (14 resets) in 673 ms. (5 steps per ms) remains 39324/39325 properties
BEST_FIRST walk for 4004 steps (9 resets) in 666 ms. (6 steps per ms) remains 39323/39324 properties
BEST_FIRST walk for 4003 steps (15 resets) in 669 ms. (5 steps per ms) remains 39322/39323 properties
BEST_FIRST walk for 4004 steps (14 resets) in 671 ms. (5 steps per ms) remains 39321/39322 properties
BEST_FIRST walk for 4004 steps (16 resets) in 666 ms. (6 steps per ms) remains 39320/39321 properties
BEST_FIRST walk for 4003 steps (16 resets) in 665 ms. (6 steps per ms) remains 39319/39320 properties
BEST_FIRST walk for 4004 steps (13 resets) in 680 ms. (5 steps per ms) remains 39318/39319 properties
BEST_FIRST walk for 4003 steps (12 resets) in 665 ms. (6 steps per ms) remains 39317/39318 properties
BEST_FIRST walk for 4003 steps (14 resets) in 670 ms. (5 steps per ms) remains 39316/39317 properties
BEST_FIRST walk for 4003 steps (9 resets) in 657 ms. (6 steps per ms) remains 39315/39316 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39314/39315 properties
BEST_FIRST walk for 4004 steps (15 resets) in 672 ms. (5 steps per ms) remains 39313/39314 properties
BEST_FIRST walk for 4004 steps (16 resets) in 663 ms. (6 steps per ms) remains 39313/39313 properties
BEST_FIRST walk for 4003 steps (20 resets) in 663 ms. (6 steps per ms) remains 39312/39313 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39311/39312 properties
BEST_FIRST walk for 4002 steps (12 resets) in 669 ms. (5 steps per ms) remains 39310/39311 properties
BEST_FIRST walk for 4003 steps (19 resets) in 668 ms. (5 steps per ms) remains 39309/39310 properties
BEST_FIRST walk for 4003 steps (14 resets) in 663 ms. (6 steps per ms) remains 39309/39309 properties
BEST_FIRST walk for 4004 steps (23 resets) in 672 ms. (5 steps per ms) remains 39308/39309 properties
BEST_FIRST walk for 4004 steps (12 resets) in 665 ms. (6 steps per ms) remains 39307/39308 properties
BEST_FIRST walk for 4004 steps (12 resets) in 666 ms. (6 steps per ms) remains 39306/39307 properties
BEST_FIRST walk for 4003 steps (12 resets) in 681 ms. (5 steps per ms) remains 39305/39306 properties
BEST_FIRST walk for 4003 steps (18 resets) in 667 ms. (5 steps per ms) remains 39304/39305 properties
BEST_FIRST walk for 4004 steps (14 resets) in 664 ms. (6 steps per ms) remains 39303/39304 properties
BEST_FIRST walk for 4003 steps (16 resets) in 673 ms. (5 steps per ms) remains 39302/39303 properties
BEST_FIRST walk for 4002 steps (20 resets) in 682 ms. (5 steps per ms) remains 39301/39302 properties
BEST_FIRST walk for 4004 steps (17 resets) in 670 ms. (5 steps per ms) remains 39300/39301 properties
BEST_FIRST walk for 4004 steps (15 resets) in 668 ms. (5 steps per ms) remains 39299/39300 properties
BEST_FIRST walk for 4003 steps (17 resets) in 680 ms. (5 steps per ms) remains 39298/39299 properties
BEST_FIRST walk for 4002 steps (18 resets) in 675 ms. (5 steps per ms) remains 39297/39298 properties
BEST_FIRST walk for 4004 steps (19 resets) in 673 ms. (5 steps per ms) remains 39296/39297 properties
BEST_FIRST walk for 4004 steps (13 resets) in 664 ms. (6 steps per ms) remains 39295/39296 properties
BEST_FIRST walk for 4003 steps (18 resets) in 672 ms. (5 steps per ms) remains 39294/39295 properties
BEST_FIRST walk for 4004 steps (12 resets) in 668 ms. (5 steps per ms) remains 39293/39294 properties
BEST_FIRST walk for 4004 steps (18 resets) in 669 ms. (5 steps per ms) remains 39292/39293 properties
BEST_FIRST walk for 4004 steps (12 resets) in 664 ms. (6 steps per ms) remains 39291/39292 properties
BEST_FIRST walk for 4004 steps (12 resets) in 654 ms. (6 steps per ms) remains 39290/39291 properties
BEST_FIRST walk for 4003 steps (18 resets) in 661 ms. (6 steps per ms) remains 39290/39290 properties
BEST_FIRST walk for 4003 steps (15 resets) in 671 ms. (5 steps per ms) remains 39290/39290 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39289/39290 properties
BEST_FIRST walk for 4003 steps (12 resets) in 668 ms. (5 steps per ms) remains 39288/39289 properties
BEST_FIRST walk for 4003 steps (14 resets) in 660 ms. (6 steps per ms) remains 39287/39288 properties
BEST_FIRST walk for 4004 steps (21 resets) in 665 ms. (6 steps per ms) remains 39286/39287 properties
BEST_FIRST walk for 4004 steps (13 resets) in 666 ms. (6 steps per ms) remains 39285/39286 properties
BEST_FIRST walk for 4004 steps (15 resets) in 675 ms. (5 steps per ms) remains 39284/39285 properties
BEST_FIRST walk for 4004 steps (17 resets) in 665 ms. (6 steps per ms) remains 39283/39284 properties
BEST_FIRST walk for 4003 steps (15 resets) in 681 ms. (5 steps per ms) remains 39283/39283 properties
BEST_FIRST walk for 4003 steps (12 resets) in 664 ms. (6 steps per ms) remains 39282/39283 properties
BEST_FIRST walk for 4004 steps (15 resets) in 662 ms. (6 steps per ms) remains 39281/39282 properties
BEST_FIRST walk for 4004 steps (17 resets) in 679 ms. (5 steps per ms) remains 39280/39281 properties
BEST_FIRST walk for 4004 steps (18 resets) in 672 ms. (5 steps per ms) remains 39279/39280 properties
BEST_FIRST walk for 4003 steps (20 resets) in 668 ms. (5 steps per ms) remains 39278/39279 properties
BEST_FIRST walk for 4004 steps (17 resets) in 679 ms. (5 steps per ms) remains 39277/39278 properties
BEST_FIRST walk for 4004 steps (14 resets) in 669 ms. (5 steps per ms) remains 39277/39277 properties
BEST_FIRST walk for 4004 steps (16 resets) in 667 ms. (5 steps per ms) remains 39276/39277 properties
BEST_FIRST walk for 4004 steps (17 resets) in 668 ms. (5 steps per ms) remains 39275/39276 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39274/39275 properties
BEST_FIRST walk for 4004 steps (10 resets) in 664 ms. (6 steps per ms) remains 39274/39274 properties
BEST_FIRST walk for 4004 steps (13 resets) in 667 ms. (5 steps per ms) remains 39273/39274 properties
BEST_FIRST walk for 4003 steps (23 resets) in 670 ms. (5 steps per ms) remains 39273/39273 properties
BEST_FIRST walk for 4004 steps (10 resets) in 653 ms. (6 steps per ms) remains 39272/39273 properties
BEST_FIRST walk for 4003 steps (12 resets) in 662 ms. (6 steps per ms) remains 39271/39272 properties
BEST_FIRST walk for 4004 steps (18 resets) in 655 ms. (6 steps per ms) remains 39270/39271 properties
BEST_FIRST walk for 4004 steps (17 resets) in 665 ms. (6 steps per ms) remains 39269/39270 properties
BEST_FIRST walk for 4003 steps (12 resets) in 668 ms. (5 steps per ms) remains 39269/39269 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39269/39269 properties
BEST_FIRST walk for 4003 steps (16 resets) in 673 ms. (5 steps per ms) remains 39268/39269 properties
BEST_FIRST walk for 4003 steps (14 resets) in 675 ms. (5 steps per ms) remains 39267/39268 properties
BEST_FIRST walk for 4004 steps (16 resets) in 666 ms. (6 steps per ms) remains 39266/39267 properties
BEST_FIRST walk for 4003 steps (12 resets) in 668 ms. (5 steps per ms) remains 39265/39266 properties
BEST_FIRST walk for 4003 steps (17 resets) in 670 ms. (5 steps per ms) remains 39265/39265 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39264/39265 properties
BEST_FIRST walk for 4004 steps (17 resets) in 674 ms. (5 steps per ms) remains 39263/39264 properties
BEST_FIRST walk for 4002 steps (14 resets) in 670 ms. (5 steps per ms) remains 39262/39263 properties
BEST_FIRST walk for 4003 steps (12 resets) in 661 ms. (6 steps per ms) remains 39261/39262 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39260/39261 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39260/39260 properties
BEST_FIRST walk for 4003 steps (15 resets) in 674 ms. (5 steps per ms) remains 39259/39260 properties
BEST_FIRST walk for 4003 steps (17 resets) in 668 ms. (5 steps per ms) remains 39258/39259 properties
BEST_FIRST walk for 4003 steps (11 resets) in 669 ms. (5 steps per ms) remains 39257/39258 properties
BEST_FIRST walk for 4003 steps (19 resets) in 674 ms. (5 steps per ms) remains 39257/39257 properties
BEST_FIRST walk for 4002 steps (16 resets) in 671 ms. (5 steps per ms) remains 39256/39257 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39255/39256 properties
BEST_FIRST walk for 4004 steps (18 resets) in 664 ms. (6 steps per ms) remains 39254/39255 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39253/39254 properties
BEST_FIRST walk for 4004 steps (13 resets) in 669 ms. (5 steps per ms) remains 39252/39253 properties
BEST_FIRST walk for 4004 steps (20 resets) in 670 ms. (5 steps per ms) remains 39252/39252 properties
BEST_FIRST walk for 4004 steps (17 resets) in 665 ms. (6 steps per ms) remains 39251/39252 properties
BEST_FIRST walk for 4004 steps (14 resets) in 656 ms. (6 steps per ms) remains 39250/39251 properties
BEST_FIRST walk for 4003 steps (15 resets) in 664 ms. (6 steps per ms) remains 39250/39250 properties
BEST_FIRST walk for 4004 steps (17 resets) in 666 ms. (6 steps per ms) remains 39249/39250 properties
BEST_FIRST walk for 4004 steps (12 resets) in 657 ms. (6 steps per ms) remains 39248/39249 properties
BEST_FIRST walk for 4003 steps (18 resets) in 671 ms. (5 steps per ms) remains 39247/39248 properties
BEST_FIRST walk for 4004 steps (21 resets) in 665 ms. (6 steps per ms) remains 39247/39247 properties
BEST_FIRST walk for 4004 steps (16 resets) in 675 ms. (5 steps per ms) remains 39247/39247 properties
BEST_FIRST walk for 4004 steps (14 resets) in 661 ms. (6 steps per ms) remains 39246/39247 properties
BEST_FIRST walk for 4004 steps (14 resets) in 661 ms. (6 steps per ms) remains 39245/39246 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39244/39245 properties
BEST_FIRST walk for 4003 steps (13 resets) in 663 ms. (6 steps per ms) remains 39243/39244 properties
BEST_FIRST walk for 4004 steps (17 resets) in 657 ms. (6 steps per ms) remains 39243/39243 properties
BEST_FIRST walk for 4003 steps (22 resets) in 669 ms. (5 steps per ms) remains 39243/39243 properties
BEST_FIRST walk for 4004 steps (16 resets) in 674 ms. (5 steps per ms) remains 39242/39243 properties
BEST_FIRST walk for 4004 steps (16 resets) in 664 ms. (6 steps per ms) remains 39241/39242 properties
BEST_FIRST walk for 4002 steps (17 resets) in 676 ms. (5 steps per ms) remains 39241/39241 properties
BEST_FIRST walk for 4004 steps (12 resets) in 671 ms. (5 steps per ms) remains 39241/39241 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39241/39241 properties
BEST_FIRST walk for 4004 steps (15 resets) in 661 ms. (6 steps per ms) remains 39240/39241 properties
BEST_FIRST walk for 4004 steps (17 resets) in 670 ms. (5 steps per ms) remains 39239/39240 properties
BEST_FIRST walk for 4004 steps (12 resets) in 673 ms. (5 steps per ms) remains 39238/39239 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39237/39238 properties
BEST_FIRST walk for 4004 steps (13 resets) in 662 ms. (6 steps per ms) remains 39237/39237 properties
BEST_FIRST walk for 4003 steps (11 resets) in 667 ms. (5 steps per ms) remains 39236/39237 properties
BEST_FIRST walk for 4003 steps (19 resets) in 676 ms. (5 steps per ms) remains 39236/39236 properties
BEST_FIRST walk for 4003 steps (15 resets) in 669 ms. (5 steps per ms) remains 39235/39236 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39234/39235 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39234/39234 properties
BEST_FIRST walk for 4004 steps (15 resets) in 679 ms. (5 steps per ms) remains 39233/39234 properties
BEST_FIRST walk for 4003 steps (14 resets) in 666 ms. (6 steps per ms) remains 39232/39233 properties
BEST_FIRST walk for 4003 steps (20 resets) in 673 ms. (5 steps per ms) remains 39232/39232 properties
BEST_FIRST walk for 4002 steps (14 resets) in 670 ms. (5 steps per ms) remains 39231/39232 properties

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is StigmergyElection-PT-09b, 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 r538-tall-171690547800232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-09b.tgz
mv StigmergyElection-PT-09b 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.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;