MCC'2024- Execution of r542-smll-171690581400114

About the Execution of LTSMin+red for TokenRing-PT-020

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15669.472	1800000.00	3449193.00	4236.90	[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/mcc2024-input.r542-smll-171690581400114.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 TokenRing-PT-020, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r542-smll-171690581400114
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 100M
-rw-r--r-- 1 mcc users 267K Apr 11 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M Apr 11 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4M Apr 11 19:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 19M Apr 11 19:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 216K Apr 23 08:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 735K Apr 23 08:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1M Apr 23 08:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.8M Apr 23 08:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 795K Apr 11 21:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.8M Apr 11 21:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13M Apr 11 20:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44M Apr 11 20:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K Apr 23 08:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Apr 23 08:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 4.0M 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 Liveness

=== Now, execution of the tool begins

BK_START 1717253423867

Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-020
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 14:50:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-06-01 14:50:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 14:50:26] [INFO ] Load time of PNML (sax parser for PT used): 657 ms
[2024-06-01 14:50:26] [INFO ] Transformed 441 places.
[2024-06-01 14:50:26] [INFO ] Transformed 8421 transitions.
[2024-06-01 14:50:26] [INFO ] Found NUPN structural information;
[2024-06-01 14:50:26] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 930 ms.
Built sparse matrix representations for Structural reductions in 36 ms.115315KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 356 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 381 ms. Remains : 441/441 places, 8421/8421 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 176 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
// Phase 1: matrix 8421 rows 441 cols
[2024-06-01 14:50:28] [INFO ] Computed 21 invariants in 74 ms
[2024-06-01 14:50:28] [INFO ] Implicit Places using invariants in 524 ms returned []
[2024-06-01 14:50:28] [INFO ] Invariant cache hit.
[2024-06-01 14:50:30] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-06-01 14:50:32] [INFO ] Implicit Places using invariants and state equation in 3917 ms returned []
Implicit Place search using SMT with State Equation took 4488 ms to find 0 implicit places.
[2024-06-01 14:50:34] [INFO ] Redundant transitions in 1629 ms returned []
Running 8401 sub problems to find dead transitions.
[2024-06-01 14:50:34] [INFO ] Invariant cache hit.
[2024-06-01 14:50:34] [INFO ] State equation strengthened by 8020 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s0 1.0)
(s1 1.0)
(s2 1.0)
(s3 1.0)
(s4 1.0)
(s5 1.0)
(s6 1.0)
(s7 1.0)
(s8 1.0)
(s9 1.0)
(s10 1.0)
(s11 1.0)
(s12 1.0)
(s13 1.0)
(s14 1.0)
(s15 1.0)
(s16 1.0)
(s17 1.0)
(s18 1.0)
(s19 1.0)
(s20 1.0)
(s21 1.0)
(s22 1.0)
(s23 1.0)
(s24 1.0)
(s25 1.0)
(s26 1.0)
(s27 1.0)
(s28 1.0)
(s29 1.0)
(s30 1.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 1.0)
(s37 1.0)
(s38 1.0)
(s39 1.0)
(s40 1.0)
(s41 1.0)
(s42 1.0)
(s43 1.0)
(s44 1.0)
(s45 1.0)
(s46 1.0)
(s47 1.0)
(s48 1.0)
(s49 1.0)
(s50 1.0)
(s51 1.0)
(s52 1.0)
(s53 1.0)
(s54 1.0)
(s55 1.0)
(s56 1.0)
(s57 1.0)
(s58 1.0)
(s59 1.0)
(s60 1.0)
(s61 1.0)
(s62 1.0)
(s63 1.0)
(s64 1.0)
(s65 1.0)
(s66 1.0)
(s67 1.0)
(s68 1.0)
(s69 1.0)
(s70 1.0)
(s71 1.0)
(s72 1.0)
(s73 1.0)
(s74 1.0)
(s75 1.0)
(s76 1.0)
(s77 1.0)
(s78 1.0)
(s79 1.0)
(s80 1.0)
(s81 1.0)
(s82 1.0)
(s83 1.0)
(s84 1.0)
(s85 1.0)
(s86 1.0)
(s87 1.0)
(s88 1.0)
(s89 1.0)
(s90 1.0)
(s91 1.0)
(s92 1.0)
(s93 1.0)
(s94 1.0)
(s95 1.0)
(s96 1.0)
(s97 1.0)
(s98 1.0)
(s99 1.0)
(s100 1.0)
(s101 1.0)
(s102 1.0)
(s103 1.0)
(s104 1.0)
(s105 1.0)
(s106 1.0)
(s107 1.0)
(s108 1.0)
(s109 1.0)
(s110 1.0)
(s111 1.0)
(s112 1.0)
(s113 1.0)
(s114 1.0)
(s115 1.0)
(s116 1.0)
(s117 1.0)
(s118 1.0)
(s119 1.0)
(s120 1.0)
(s121 1.0)
(s122 1.0)
(s123 1.0)
(s124 1.0)
(s125 1.0)
(s126 1.0)
(s127 1.0)
(s128 1.0)
(s129 1.0)
(s130 1.0)
(s131 1.0)
(s132 1.0)
(s133 1.0)
(s134 1.0)
(s135 1.0)
(s136 1.0)
(s137 1.0)
(s138 1.0)
(s139 1.0)
(s140 1.0)
(s141 1.0)
(s142 1.0)
(s143 1.0)
(s144 1.0)
(s145 1.0)
(s146 1.0)
(s147 1.0)
(s148 1.0)
(s149 1.0)
(s150 1.0)
(s151 1.0)
(s152 1.0)
(s153 1.0)
(s154 1.0)
(s155 1.0)
(s156 1.0)
(s157 1.0)
(s158 1.0)
(s159 1.0)
(s160 1.0)
(s161 1.0)
(s162 1.0)
(s163 1.0)
(s164 1.0)
(s165 1.0)
(s166 1.0)
(s167 1.0)
(s168 1.0)
(s169 1.0)
(s170 1.0)
(s171 1.0)
(s172 1.0)
(s173 1.0)
(s174 1.0)
(s175 1.0)
(s176 1.0)
(s177 1.0)
(s178 1.0)
(s179 1.0)
(s180 1.0)
(s181 1.0)
(s182 1.0)
(s183 1.0)
(s184 1.0)
(s185 1.0)
(s186 1.0)
(s187 1.0)
(s188 1.0)
(s189 1.0)
(s190 1.0)
(s191 1.0)
(s192 1.0)
(s193 1.0)
(s194 1.0)
(s195 1.0)
(s196 1.0)
(s197 1.0)
(s198 1.0)
(s199 1.0)
(s200 1.0)
(s201 1.0)
(s202 1.0)
(s203 1.0)
(s204 1.0)
(s205 1.0)
(s206 1.0)
(s207 1.0)
(s208 1.0)
(s209 1.0)
(s210 1.0)
(s211 1.0)
(s212 1.0)
(s213 1.0)
(s214 1.0)
(s215 1.0)
(s216 1.0)
(s217 1.0)
(s218 1.0)
(s219 1.0)
(s220 1.0)
(s221 1.0)
(s222 1.0)
(s223 1.0)
(s224 1.0)
(s225 1.0)
(s226 1.0)
(s227 1.0)
(s228 1.0)
(s229 1.0)
(s230 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 53066ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 53274ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 59685 ms. Remains : 441/441 places, 8421/8421 transitions.
Random walk for 1250000 steps, including 0 resets, run took 11169 ms (no deadlock found). (steps per millisecond=111 )
Random directed walk for 1250000 steps, including 0 resets, run took 10556 ms (no deadlock found). (steps per millisecond=118 )
[2024-06-01 14:51:49] [INFO ] Invariant cache hit.
[2024-06-01 14:51:51] [INFO ] [Real]Absence check using 21 positive place invariants in 68 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 44 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
[2024-06-01 14:51:51] [INFO ] Invariant cache hit.
[2024-06-01 14:51:52] [INFO ] Implicit Places using invariants in 1634 ms returned []
[2024-06-01 14:51:52] [INFO ] Invariant cache hit.
[2024-06-01 14:51:54] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-06-01 14:52:26] [INFO ] Performed 297/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-06-01 14:52:37] [INFO ] Implicit Places using invariants and state equation in 44552 ms returned []
Implicit Place search using SMT with State Equation took 46198 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2024-06-01 14:52:37] [INFO ] Invariant cache hit.
[2024-06-01 14:52:37] [INFO ] State equation strengthened by 8020 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 49351ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 49460ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 95725 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
RANDOM walk for 40000 steps (8 resets) in 41614 ms. (0 steps per ms) remains 7501/8401 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7501/7501 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7501/7501 properties
[2024-06-01 14:53:38] [INFO ] Invariant cache hit.
[2024-06-01 14:53:38] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 7501 unsolved
SMT process timed out in 23190ms, After SMT, problems are : Problem set: 0 solved, 7501 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 198 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 200 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 190040 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7414/7501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 7386/7414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7373/7386 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7356/7373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7335/7356 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 7332/7335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7326/7332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7316/7326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7309/7316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7304/7309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7300/7304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7299/7300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7283/7299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7276/7283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7272/7276 properties
BEST_FIRST walk for 4002 steps (8 resets) in 298 ms. (13 steps per ms) remains 7260/7272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 7260/7260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 7251/7260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7245/7251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 7241/7245 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 7237/7241 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7232/7237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7231/7232 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 7231/7231 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7230/7231 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7222/7230 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7219/7222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7218/7219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7217/7218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7212/7217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7210/7212 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 7206/7210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7205/7206 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 7194/7205 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7193/7194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 7187/7193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7182/7187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 7182/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 7182/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 7182/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7180/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 7177/7180 properties
BEST_FIRST walk for 4002 steps (8 resets) in 315 ms. (12 steps per ms) remains 7177/7177 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 7176/7177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 7176/7176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 7175/7176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 7175/7175 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 7174/7175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 7170/7174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 7170/7170 properties
BEST_FIRST walk for 4002 steps (8 resets) in 282 ms. (14 steps per ms) remains 7169/7170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 7169/7169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7169/7169 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7169/7169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7169/7169 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 7164/7169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 7164/7164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7164/7164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7161/7164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7161/7161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7161/7161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 7157/7161 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 7150/7157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 7150/7150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7150/7150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7149/7150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7147/7149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7147/7147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7141/7147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7140/7141 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 7138/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7136/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7135/7136 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7135/7135 properties
BEST_FIRST walk for 4001 steps (8 resets) in 307 ms. (12 steps per ms) remains 7133/7135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 7125/7133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 7124/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7124/7124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 7124/7124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 7116/7124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 7113/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7113/7113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7113/7113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7113/7113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7112/7113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7107/7112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7106/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7106/7106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7106/7106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7106/7106 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7106/7106 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7104/7106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7104/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7103/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7102/7103 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 7102/7102 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 7101/7102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7101/7101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7101/7101 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 7101/7101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7100/7101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7099/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7098/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7097/7098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 7096/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7095/7096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 7094/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7093/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7091/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4002 steps (8 resets) in 219 ms. (18 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7090/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7090/7090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7090/7090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7090/7090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7090/7090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7089/7090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 7088/7089 properties
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7084/7088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7084/7084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7084/7084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7077/7084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7076/7077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4002 steps (8 resets) in 201 ms. (19 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7075/7076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7075/7075 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7073/7075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7070/7073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7070/7070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7068/7070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7065/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7064/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7056/7064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7054/7056 properties
BEST_FIRST walk for 4001 steps (8 resets) in 196 ms. (20 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 7053/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7052/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 7051/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7051/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7050/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 7048/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7048/7048 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7048/7048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7046/7048 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7046/7046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7046/7046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7046/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7046/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7045/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7043/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 7043/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7039/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7038/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7034/7038 properties
BEST_FIRST walk for 4001 steps (8 resets) in 235 ms. (16 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7033/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7029/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7028/7029 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 7027/7028 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7018/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7014/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4001 steps (8 resets) in 235 ms. (16 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 7013/7014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7011/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7009/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7006/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7005/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7004/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7003/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7002/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7002/7002 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 7002/7002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7002/7002 properties
BEST_FIRST walk for 4002 steps (8 resets) in 214 ms. (18 steps per ms) remains 7000/7002 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6997/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6995/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6994/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6993/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6991/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 203 ms. (19 steps per ms) remains 6990/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6988/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6985/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6983/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6981/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6980/6981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 6978/6980 properties
BEST_FIRST walk for 4001 steps (8 resets) in 196 ms. (20 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6972/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6968/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6965/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6962/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6960/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 201 ms. (19 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6958/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6957/6958 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4001 steps (8 resets) in 200 ms. (19 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6956/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 210 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6952/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6951/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6949/6951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6948/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6944/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6937/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6936/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6935/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6934/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4001 steps (8 resets) in 200 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4001 steps (8 resets) in 208 ms. (19 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6931/6934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6930/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4002 steps (8 resets) in 271 ms. (14 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6929/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6927/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6926/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4002 steps (8 resets) in 250 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6926/6926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6925/6926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6924/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6923/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6922/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6921/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6921/6921 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6921/6921 properties
BEST_FIRST walk for 4001 steps (8 resets) in 267 ms. (14 steps per ms) remains 6920/6921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4001 steps (8 resets) in 197 ms. (20 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 201 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6918/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6917/6918 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 201 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6915/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4001 steps (8 resets) in 208 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 210 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6915/6915 properties
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 164513 ms. (steps per millisecond=6 ) properties seen :112
[2024-06-01 14:58:05] [INFO ] Invariant cache hit.
[2024-06-01 14:58:05] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6803 unsolved
SMT process timed out in 62242ms, After SMT, problems are : Problem set: 0 solved, 6803 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 157 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 157 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 184543 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6793/6803 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6793/6793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6790/6793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 192 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 256 ms. (15 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 203 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 194 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6790/6790 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 6790/6790 properties
Interrupted probabilistic random walk after 566199 steps, run timeout after 99001 ms. (steps per millisecond=5 ) properties seen :0 out of 6790
Probabilistic random walk after 566199 steps, saw 106012 distinct states, run finished after 99015 ms. (steps per millisecond=5 ) properties seen :0
[2024-06-01 15:01:20] [INFO ] Invariant cache hit.
[2024-06-01 15:01:20] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6790 unsolved
SMT process timed out in 89917ms, After SMT, problems are : Problem set: 0 solved, 6790 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 227 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 227 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 192949 steps (0 resets) in 120005 ms. (1 steps per ms) remains 6772/6790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6771/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4002 steps (8 resets) in 321 ms. (12 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 6770/6771 properties
BEST_FIRST walk for 4002 steps (8 resets) in 320 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 394 ms. (10 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 6770/6770 properties
Interrupted probabilistic random walk after 581216 steps, run timeout after 105001 ms. (steps per millisecond=5 ) properties seen :0 out of 6770
Probabilistic random walk after 581216 steps, saw 108782 distinct states, run finished after 105002 ms. (steps per millisecond=5 ) properties seen :0
[2024-06-01 15:05:10] [INFO ] Invariant cache hit.
[2024-06-01 15:05:11] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6770 unsolved
SMT process timed out in 105938ms, After SMT, problems are : Problem set: 0 solved, 6770 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 216 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 217 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 122700 steps (0 resets) in 120005 ms. (1 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 6769/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6768/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 313 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 280 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4001 steps (8 resets) in 342 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 315 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4002 steps (8 resets) in 317 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 325 ms. (12 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6768/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6767/6768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4002 steps (8 resets) in 335 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4002 steps (8 resets) in 323 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4002 steps (8 resets) in 327 ms. (12 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 6766/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 429 ms. (9 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 373 ms. (10 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 325 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4001 steps (8 resets) in 259 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 330 ms. (12 steps per ms) remains 6765/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 324 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 6763/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6763/6763 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 6762/6763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 339 ms. (11 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 325 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 6762/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 6761/6762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4002 steps (8 resets) in 358 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4002 steps (8 resets) in 290 ms. (13 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 350 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6761/6761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 6760/6761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 352 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 352 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 6758/6760 properties
BEST_FIRST walk for 4002 steps (8 resets) in 297 ms. (13 steps per ms) remains 6758/6758 properties
BEST_FIRST walk for 4002 steps (8 resets) in 391 ms. (10 steps per ms) remains 6753/6758 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4002 steps (8 resets) in 344 ms. (11 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 6751/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 315 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 410 ms. (9 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 387 ms. (10 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 309 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 308 ms. (12 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6750/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 396 ms. (10 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 352 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 412 ms. (9 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 334 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 360 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 328 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 6746/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6744/6746 properties
BEST_FIRST walk for 4002 steps (8 resets) in 322 ms. (12 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 296 ms. (13 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 6744/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 6742/6744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 6741/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 6741/6741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 6739/6741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 366 ms. (10 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4002 steps (8 resets) in 298 ms. (13 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4002 steps (8 resets) in 263 ms. (15 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 6738/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 274 ms. (14 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 331 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 375 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 315 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 6738/6738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 6738/6738 properties
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 183255 ms. (steps per millisecond=5 ) properties seen :0
[2024-06-01 15:11:08] [INFO ] Invariant cache hit.
[2024-06-01 15:11:08] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6738 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6738 unsolved
[2024-06-01 15:13:06] [INFO ] Deduced a trap composed of 245 places in 1466 ms of which 51 ms to minimize.
[2024-06-01 15:13:08] [INFO ] Deduced a trap composed of 246 places in 1416 ms of which 8 ms to minimize.
SMT process timed out in 120204ms, After SMT, problems are : Problem set: 0 solved, 6738 unsolved
Fused 6738 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 212 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 212 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 205290 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6723/6738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 320 ms. (12 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 307 ms. (12 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 435 ms. (9 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 296 ms. (13 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 351 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 356 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 311 ms. (12 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4002 steps (8 resets) in 280 ms. (14 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 6723/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6722/6723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4002 steps (8 resets) in 329 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4002 steps (8 resets) in 347 ms. (11 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4002 steps (8 resets) in 307 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6722/6722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 6722/6722 properties
Interrupted probabilistic random walk after 634733 steps, run timeout after 111001 ms. (steps per millisecond=5 ) properties seen :0 out of 6722
Probabilistic random walk after 634733 steps, saw 118099 distinct states, run finished after 111002 ms. (steps per millisecond=5 ) properties seen :0
[2024-06-01 15:15:36] [INFO ] Invariant cache hit.
[2024-06-01 15:15:36] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6722 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6722 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 462 constraints, problems are : Problem set: 0 solved, 6722 unsolved in 120140 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6722/6722 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6722 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6722 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6722 unsolved
[2024-06-01 15:18:10] [INFO ] Deduced a trap composed of 245 places in 1494 ms of which 10 ms to minimize.
[2024-06-01 15:18:11] [INFO ] Deduced a trap composed of 242 places in 1312 ms of which 5 ms to minimize.
[2024-06-01 15:18:13] [INFO ] Deduced a trap composed of 243 places in 1346 ms of which 5 ms to minimize.
[2024-06-01 15:18:14] [INFO ] Deduced a trap composed of 243 places in 1215 ms of which 5 ms to minimize.
[2024-06-01 15:18:15] [INFO ] Deduced a trap composed of 246 places in 1423 ms of which 7 ms to minimize.
[2024-06-01 15:18:17] [INFO ] Deduced a trap composed of 243 places in 1696 ms of which 8 ms to minimize.
[2024-06-01 15:18:19] [INFO ] Deduced a trap composed of 245 places in 1675 ms of which 7 ms to minimize.
[2024-06-01 15:18:20] [INFO ] Deduced a trap composed of 245 places in 1595 ms of which 7 ms to minimize.
[2024-06-01 15:18:22] [INFO ] Deduced a trap composed of 241 places in 1502 ms of which 5 ms to minimize.
[2024-06-01 15:18:23] [INFO ] Deduced a trap composed of 247 places in 1378 ms of which 7 ms to minimize.
[2024-06-01 15:18:25] [INFO ] Deduced a trap composed of 247 places in 1652 ms of which 7 ms to minimize.
[2024-06-01 15:18:27] [INFO ] Deduced a trap composed of 241 places in 1657 ms of which 7 ms to minimize.
[2024-06-01 15:18:28] [INFO ] Deduced a trap composed of 247 places in 1355 ms of which 6 ms to minimize.
[2024-06-01 15:18:29] [INFO ] Deduced a trap composed of 243 places in 1219 ms of which 7 ms to minimize.
[2024-06-01 15:18:31] [INFO ] Deduced a trap composed of 250 places in 1210 ms of which 7 ms to minimize.
[2024-06-01 15:18:32] [INFO ] Deduced a trap composed of 251 places in 972 ms of which 4 ms to minimize.
[2024-06-01 15:18:33] [INFO ] Deduced a trap composed of 244 places in 1387 ms of which 4 ms to minimize.
[2024-06-01 15:18:34] [INFO ] Deduced a trap composed of 248 places in 1073 ms of which 5 ms to minimize.
[2024-06-01 15:18:35] [INFO ] Deduced a trap composed of 244 places in 1269 ms of which 6 ms to minimize.
[2024-06-01 15:18:37] [INFO ] Deduced a trap composed of 250 places in 1517 ms of which 7 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6722 unsolved
[2024-06-01 15:18:57] [INFO ] Deduced a trap composed of 251 places in 1331 ms of which 5 ms to minimize.
[2024-06-01 15:18:59] [INFO ] Deduced a trap composed of 242 places in 1239 ms of which 7 ms to minimize.
[2024-06-01 15:19:00] [INFO ] Deduced a trap composed of 250 places in 1391 ms of which 5 ms to minimize.
[2024-06-01 15:19:01] [INFO ] Deduced a trap composed of 251 places in 971 ms of which 4 ms to minimize.
[2024-06-01 15:19:02] [INFO ] Deduced a trap composed of 249 places in 1093 ms of which 5 ms to minimize.
[2024-06-01 15:19:03] [INFO ] Deduced a trap composed of 249 places in 1339 ms of which 5 ms to minimize.
[2024-06-01 15:19:05] [INFO ] Deduced a trap composed of 249 places in 1330 ms of which 5 ms to minimize.
[2024-06-01 15:19:06] [INFO ] Deduced a trap composed of 255 places in 1010 ms of which 5 ms to minimize.
[2024-06-01 15:19:07] [INFO ] Deduced a trap composed of 254 places in 1392 ms of which 5 ms to minimize.
[2024-06-01 15:19:08] [INFO ] Deduced a trap composed of 246 places in 1042 ms of which 7 ms to minimize.
[2024-06-01 15:19:09] [INFO ] Deduced a trap composed of 241 places in 1085 ms of which 7 ms to minimize.
[2024-06-01 15:19:11] [INFO ] Deduced a trap composed of 248 places in 1030 ms of which 5 ms to minimize.
[2024-06-01 15:19:12] [INFO ] Deduced a trap composed of 248 places in 1422 ms of which 5 ms to minimize.
[2024-06-01 15:19:13] [INFO ] Deduced a trap composed of 248 places in 1054 ms of which 6 ms to minimize.
[2024-06-01 15:19:15] [INFO ] Deduced a trap composed of 248 places in 1417 ms of which 7 ms to minimize.
[2024-06-01 15:19:16] [INFO ] Deduced a trap composed of 244 places in 1131 ms of which 8 ms to minimize.
[2024-06-01 15:19:17] [INFO ] Deduced a trap composed of 244 places in 1081 ms of which 8 ms to minimize.
[2024-06-01 15:19:18] [INFO ] Deduced a trap composed of 250 places in 1206 ms of which 4 ms to minimize.
[2024-06-01 15:19:19] [INFO ] Deduced a trap composed of 241 places in 1080 ms of which 5 ms to minimize.
[2024-06-01 15:19:20] [INFO ] Deduced a trap composed of 247 places in 1042 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/502 constraints. Problems are: Problem set: 0 solved, 6722 unsolved
[2024-06-01 15:19:49] [INFO ] Deduced a trap composed of 243 places in 1106 ms of which 4 ms to minimize.
[2024-06-01 15:19:50] [INFO ] Deduced a trap composed of 244 places in 1051 ms of which 7 ms to minimize.
[2024-06-01 15:19:51] [INFO ] Deduced a trap composed of 248 places in 1071 ms of which 5 ms to minimize.
[2024-06-01 15:19:52] [INFO ] Deduced a trap composed of 245 places in 951 ms of which 5 ms to minimize.
SMT process timed out in 255773ms, After SMT, problems are : Problem set: 0 solved, 6722 unsolved
Fused 6722 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 213 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 214 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 168373 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6712/6722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 6712/6712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6712/6712 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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 Liveness -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="TokenRing-PT-020"
export BK_EXAMINATION="Liveness"
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 TokenRing-PT-020, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r542-smll-171690581400114"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "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 [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "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 "Liveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property Liveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "Liveness.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 '' Liveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
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 ;