MCC'2024- Execution of r430-smll-171690580800114

About the Execution of GreatSPN+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
14755.647	1800000.00	3447769.00	4734.60	[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.r430-smll-171690580800114.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 greatspnxred
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 r430-smll-171690580800114
=====================================================================

--------------------
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 1716986366643

Invoking MCC driver with
BK_TOOL=greatspnxred
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 greatspn
Invoking reducer
Running Version 202405141337
[2024-05-29 12:39:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-05-29 12:39:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 12:39:30] [INFO ] Load time of PNML (sax parser for PT used): 857 ms
[2024-05-29 12:39:30] [INFO ] Transformed 441 places.
[2024-05-29 12:39:30] [INFO ] Transformed 8421 transitions.
[2024-05-29 12:39:30] [INFO ] Found NUPN structural information;
[2024-05-29 12:39:30] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 1181 ms.
Built sparse matrix representations for Structural reductions in 41 ms.133259KB 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 413 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 442 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 258 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
// Phase 1: matrix 8421 rows 441 cols
[2024-05-29 12:39:32] [INFO ] Computed 21 invariants in 90 ms
[2024-05-29 12:39:33] [INFO ] Implicit Places using invariants in 908 ms returned []
[2024-05-29 12:39:33] [INFO ] Invariant cache hit.
[2024-05-29 12:39:36] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-05-29 12:39:37] [INFO ] Implicit Places using invariants and state equation in 4303 ms returned []
Implicit Place search using SMT with State Equation took 5263 ms to find 0 implicit places.
[2024-05-29 12:39:39] [INFO ] Redundant transitions in 1758 ms returned []
Running 8401 sub problems to find dead transitions.
[2024-05-29 12:39:39] [INFO ] Invariant cache hit.
[2024-05-29 12:39:40] [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, 8401 unsolved
SMT process timed out in 52411ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 52595ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 59941 ms. Remains : 441/441 places, 8421/8421 transitions.
Random walk for 1250000 steps, including 0 resets, run took 10467 ms (no deadlock found). (steps per millisecond=119 )
Random directed walk for 1250000 steps, including 0 resets, run took 10339 ms (no deadlock found). (steps per millisecond=120 )
[2024-05-29 12:40:53] [INFO ] Invariant cache hit.
[2024-05-29 12:40:55] [INFO ] [Real]Absence check using 21 positive place invariants in 66 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 47 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
[2024-05-29 12:40:55] [INFO ] Invariant cache hit.
[2024-05-29 12:40:56] [INFO ] Implicit Places using invariants in 1400 ms returned []
[2024-05-29 12:40:56] [INFO ] Invariant cache hit.
[2024-05-29 12:40:58] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-05-29 12:41:30] [INFO ] Performed 262/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-29 12:41:45] [INFO ] Implicit Places using invariants and state equation in 48626 ms returned []
Implicit Place search using SMT with State Equation took 50029 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2024-05-29 12:41:45] [INFO ] Invariant cache hit.
[2024-05-29 12:41:45] [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, 8401 unsolved
SMT process timed out in 50451ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 50560ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 100658 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
RANDOM walk for 40000 steps (8 resets) in 32008 ms. (1 steps per ms) remains 7485/8401 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 43 ms. (2 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 41 ms. (2 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7484/7484 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7484/7484 properties
[2024-05-29 12:42:45] [INFO ] Invariant cache hit.
[2024-05-29 12:42:45] [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, 7484 unsolved
SMT process timed out in 23549ms, After SMT, problems are : Problem set: 0 solved, 7484 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 184 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 186 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 195623 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7405/7484 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7372/7405 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7355/7372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7345/7355 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 7337/7345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7328/7337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7315/7328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7309/7315 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 7293/7309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7289/7293 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 7281/7289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7277/7281 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 7266/7277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7263/7266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7262/7263 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7252/7262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7246/7252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7244/7246 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7244/7244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7243/7244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 7238/7243 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 7235/7238 properties
BEST_FIRST walk for 4002 steps (8 resets) in 254 ms. (15 steps per ms) remains 7231/7235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7230/7231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7229/7230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7228/7229 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7225/7228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7225/7225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7223/7225 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7220/7223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7220/7220 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7218/7220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7218/7218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7213/7218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7213/7213 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7211/7213 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7206/7211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7198/7206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7196/7198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7192/7196 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7185/7192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7185/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7184/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7181/7184 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7177/7181 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7176/7177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7172/7176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7172/7172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7172/7172 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7170/7172 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7168/7170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 7166/7168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7166/7166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7166/7166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7165/7166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7164/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7164/7164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 7163/7164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7159/7163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 7155/7159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 7154/7155 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 7153/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7153/7153 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7152/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7152/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 7150/7152 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 7148/7150 properties
BEST_FIRST walk for 4001 steps (8 resets) in 237 ms. (16 steps per ms) remains 7146/7148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7143/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7143/7143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7143/7143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7142/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7141/7142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4001 steps (8 resets) in 194 ms. (20 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7139/7141 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7139/7139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7138/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7136/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7136/7136 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 7133/7136 properties
BEST_FIRST walk for 4002 steps (8 resets) in 265 ms. (15 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7133/7133 properties
BEST_FIRST walk for 4002 steps (8 resets) in 194 ms. (20 steps per ms) remains 7130/7133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7130/7130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7129/7130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7126/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7125/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7123/7125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7122/7123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 7122/7122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 7119/7122 properties
BEST_FIRST walk for 4002 steps (8 resets) in 259 ms. (15 steps per ms) remains 7119/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7119/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7119/7119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7119/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7118/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7117/7118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7115/7117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 7112/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7110/7112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7110/7110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7107/7110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7107/7107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7102/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7102/7102 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7098/7102 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7095/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7094/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7093/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4002 steps (8 resets) in 180 ms. (22 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7092/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7089/7092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7088/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7080/7088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4001 steps (8 resets) in 196 ms. (20 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 7079/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7077/7079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7077/7077 properties
BEST_FIRST walk for 4002 steps (8 resets) in 296 ms. (13 steps per ms) remains 7058/7077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7056/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4001 steps (8 resets) in 250 ms. (15 steps per ms) remains 7054/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7051/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7049/7051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7048/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 7048/7048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7047/7048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7045/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7043/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 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 190 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 7038/7043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7035/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4002 steps (8 resets) in 252 ms. (15 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4002 steps (8 resets) in 254 ms. (15 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7034/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7031/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7030/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7029/7030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7028/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7027/7028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7026/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7025/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7025/7025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7025/7025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7025/7025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7025/7025 properties
BEST_FIRST walk for 4002 steps (8 resets) in 265 ms. (15 steps per ms) remains 7024/7025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4001 steps (8 resets) in 188 ms. (21 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4002 steps (8 resets) in 183 ms. (21 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 7020/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7014/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7012/7014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7012/7012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7012/7012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7012/7012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7012/7012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7012/7012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7012/7012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7011/7012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 7010/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7009/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7007/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7006/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7002/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7001/7002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7000/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6994/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6993/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 6991/6993 properties
BEST_FIRST walk for 4002 steps (8 resets) in 253 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 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 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6990/6991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6989/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6988/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 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 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6987/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4002 steps (8 resets) in 182 ms. (21 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6986/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6985/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6985/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6983/6985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6983/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6982/6983 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6982/6982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6982/6982 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6982/6982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6982/6982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6982/6982 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6982/6982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6980/6982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4001 steps (8 resets) in 239 ms. (16 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 189 ms. (21 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6979/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6976/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4001 steps (8 resets) in 206 ms. (19 steps per ms) remains 6974/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6973/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 288 ms. (13 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 288 ms. (13 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 289 ms. (13 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6972/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6970/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6969/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6966/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6964/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6963/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6962/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 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 199 ms. (20 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 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 6944/6962 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4001 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 194 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6943/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 283 ms. (14 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 189 ms. (21 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6941/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6939/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6938/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 6937/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 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 203 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6936/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 256 ms. (15 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6935/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6934/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4001 steps (8 resets) in 198 ms. (20 steps per ms) remains 6933/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6932/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4002 steps (8 resets) in 184 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4001 steps (8 resets) in 182 ms. (21 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6931/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 246 ms. (16 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 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 4002 steps (8 resets) in 189 ms. (21 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 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 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6931/6931 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 215 ms. (18 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 6928/6931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 188 ms. (21 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4002 steps (8 resets) in 188 ms. (21 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6927/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6925/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6924/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4001 steps (8 resets) in 187 ms. (21 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 207 ms. (19 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6924/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6923/6924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4001 steps (8 resets) in 181 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 189 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 183 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6923/6923 properties
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 151158 ms. (steps per millisecond=6 ) properties seen :89
[2024-05-29 12:47:03] [INFO ] Invariant cache hit.
[2024-05-29 12:47:03] [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 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, 6834 unsolved
SMT process timed out in 59789ms, After SMT, problems are : Problem set: 0 solved, 6834 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 141 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 141 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 203718 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6815/6834 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4002 steps (8 resets) in 176 ms. (22 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6815/6815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 6811/6815 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4001 steps (8 resets) in 240 ms. (16 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4001 steps (8 resets) in 186 ms. (21 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4002 steps (8 resets) in 176 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6811/6811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6810/6811 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6810/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6809/6810 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4002 steps (8 resets) in 193 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4001 steps (8 resets) in 209 ms. (19 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6809/6809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6807/6809 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6807/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6805/6807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4002 steps (8 resets) in 184 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4002 steps (8 resets) in 188 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4002 steps (8 resets) in 177 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6805/6805 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6804/6805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 179 ms. (22 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 6804/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6802/6804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6802/6802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6801/6802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6801/6801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6800/6801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4002 steps (8 resets) in 309 ms. (12 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4002 steps (8 resets) in 299 ms. (13 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 288 ms. (13 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4002 steps (8 resets) in 381 ms. (10 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4003 steps (8 resets) in 346 ms. (11 steps per ms) remains 6800/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 6799/6800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6796/6799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 370 ms. (10 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 6796/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6794/6796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4002 steps (8 resets) in 332 ms. (12 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4001 steps (8 resets) in 336 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4002 steps (8 resets) in 362 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 403 ms. (9 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6794/6794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6794/6794 properties
Interrupted probabilistic random walk after 972049 steps, run timeout after 147001 ms. (steps per millisecond=6 ) properties seen :0 out of 6794
Probabilistic random walk after 972049 steps, saw 171658 distinct states, run finished after 147028 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-29 12:51:19] [INFO ] Invariant cache hit.
[2024-05-29 12:51: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, 6794 unsolved
SMT process timed out in 90880ms, After SMT, problems are : Problem set: 0 solved, 6794 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 232 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 232 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 205316 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6780/6794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4002 steps (8 resets) in 174 ms. (22 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4002 steps (8 resets) in 183 ms. (21 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6780/6780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6776/6780 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6776/6776 properties
BEST_FIRST walk for 4002 steps (8 resets) in 264 ms. (15 steps per ms) remains 6774/6776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4002 steps (8 resets) in 264 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6773/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 6773/6773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6772/6773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 273 ms. (14 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6770/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 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 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 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 4003 steps (8 resets) in 283 ms. (14 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 269 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 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 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 284 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 274 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 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 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 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
Interrupted probabilistic random walk after 773171 steps, run timeout after 123001 ms. (steps per millisecond=6 ) properties seen :0 out of 6770
Probabilistic random walk after 773171 steps, saw 140455 distinct states, run finished after 123003 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-29 12:55:35] [INFO ] Invariant cache hit.
[2024-05-29 12:55:35] [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 104280ms, 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 225 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 225 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 204798 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6756/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4002 steps (8 resets) in 266 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4002 steps (8 resets) in 303 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6756/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6756/6756 properties
Interrupted probabilistic random walk after 659543 steps, run timeout after 102001 ms. (steps per millisecond=6 ) properties seen :0 out of 6756
Probabilistic random walk after 659543 steps, saw 121995 distinct states, run finished after 102002 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-29 12:59:36] [INFO ] Invariant cache hit.
[2024-05-29 12:59: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, 6756 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6756 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, 6756 unsolved in 105119 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: 6756/6756 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6756 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6756 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6756 unsolved
[2024-05-29 13:01:52] [INFO ] Deduced a trap composed of 245 places in 1671 ms of which 78 ms to minimize.
[2024-05-29 13:01:53] [INFO ] Deduced a trap composed of 246 places in 1326 ms of which 6 ms to minimize.
[2024-05-29 13:01:55] [INFO ] Deduced a trap composed of 242 places in 1007 ms of which 5 ms to minimize.
[2024-05-29 13:01:56] [INFO ] Deduced a trap composed of 243 places in 1478 ms of which 16 ms to minimize.
[2024-05-29 13:01:58] [INFO ] Deduced a trap composed of 242 places in 1680 ms of which 8 ms to minimize.
[2024-05-29 13:02:00] [INFO ] Deduced a trap composed of 240 places in 1709 ms of which 7 ms to minimize.
[2024-05-29 13:02:01] [INFO ] Deduced a trap composed of 244 places in 1463 ms of which 4 ms to minimize.
[2024-05-29 13:02:03] [INFO ] Deduced a trap composed of 246 places in 1593 ms of which 7 ms to minimize.
[2024-05-29 13:02:06] [INFO ] Deduced a trap composed of 245 places in 1035 ms of which 4 ms to minimize.
[2024-05-29 13:02:07] [INFO ] Deduced a trap composed of 246 places in 1652 ms of which 7 ms to minimize.
[2024-05-29 13:02:09] [INFO ] Deduced a trap composed of 245 places in 1662 ms of which 7 ms to minimize.
[2024-05-29 13:02:11] [INFO ] Deduced a trap composed of 246 places in 1695 ms of which 8 ms to minimize.
[2024-05-29 13:02:12] [INFO ] Deduced a trap composed of 246 places in 1510 ms of which 7 ms to minimize.
[2024-05-29 13:02:14] [INFO ] Deduced a trap composed of 245 places in 1574 ms of which 5 ms to minimize.
[2024-05-29 13:02:15] [INFO ] Deduced a trap composed of 247 places in 1117 ms of which 7 ms to minimize.
[2024-05-29 13:02:16] [INFO ] Deduced a trap composed of 247 places in 1228 ms of which 6 ms to minimize.
[2024-05-29 13:02:18] [INFO ] Deduced a trap composed of 246 places in 1582 ms of which 7 ms to minimize.
[2024-05-29 13:02:20] [INFO ] Deduced a trap composed of 249 places in 1664 ms of which 7 ms to minimize.
[2024-05-29 13:02:21] [INFO ] Deduced a trap composed of 247 places in 1588 ms of which 7 ms to minimize.
[2024-05-29 13:02:23] [INFO ] Deduced a trap composed of 241 places in 1663 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, 6756 unsolved
[2024-05-29 13:02:46] [INFO ] Deduced a trap composed of 251 places in 1654 ms of which 7 ms to minimize.
[2024-05-29 13:02:48] [INFO ] Deduced a trap composed of 248 places in 1578 ms of which 7 ms to minimize.
[2024-05-29 13:02:50] [INFO ] Deduced a trap composed of 246 places in 1635 ms of which 7 ms to minimize.
[2024-05-29 13:02:51] [INFO ] Deduced a trap composed of 245 places in 1650 ms of which 7 ms to minimize.
[2024-05-29 13:02:53] [INFO ] Deduced a trap composed of 242 places in 1562 ms of which 7 ms to minimize.
[2024-05-29 13:02:55] [INFO ] Deduced a trap composed of 246 places in 1591 ms of which 7 ms to minimize.
[2024-05-29 13:02:56] [INFO ] Deduced a trap composed of 245 places in 1687 ms of which 7 ms to minimize.
[2024-05-29 13:02:58] [INFO ] Deduced a trap composed of 256 places in 1620 ms of which 7 ms to minimize.
[2024-05-29 13:03:00] [INFO ] Deduced a trap composed of 256 places in 1648 ms of which 7 ms to minimize.
[2024-05-29 13:03:01] [INFO ] Deduced a trap composed of 256 places in 1583 ms of which 7 ms to minimize.
[2024-05-29 13:03:03] [INFO ] Deduced a trap composed of 246 places in 1630 ms of which 7 ms to minimize.
[2024-05-29 13:03:05] [INFO ] Deduced a trap composed of 252 places in 1689 ms of which 7 ms to minimize.
[2024-05-29 13:03:06] [INFO ] Deduced a trap composed of 252 places in 1665 ms of which 7 ms to minimize.
[2024-05-29 13:03:08] [INFO ] Deduced a trap composed of 245 places in 1713 ms of which 8 ms to minimize.
[2024-05-29 13:03:10] [INFO ] Deduced a trap composed of 244 places in 1649 ms of which 11 ms to minimize.
[2024-05-29 13:03:11] [INFO ] Deduced a trap composed of 251 places in 1499 ms of which 7 ms to minimize.
[2024-05-29 13:03:13] [INFO ] Deduced a trap composed of 251 places in 1658 ms of which 7 ms to minimize.
[2024-05-29 13:03:15] [INFO ] Deduced a trap composed of 252 places in 1627 ms of which 7 ms to minimize.
[2024-05-29 13:03:16] [INFO ] Deduced a trap composed of 252 places in 1679 ms of which 7 ms to minimize.
[2024-05-29 13:03:18] [INFO ] Deduced a trap composed of 251 places in 1527 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, 6756 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 441/8862 variables, and 502 constraints, problems are : Problem set: 0 solved, 6756 unsolved in 105166 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: 0/6756 constraints, Known Traps: 40/40 constraints]
After SMT, in 225348ms problems are : Problem set: 0 solved, 6756 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 128 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 129 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 219976 steps (0 resets) in 120007 ms. (1 steps per ms) remains 6749/6756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4002 steps (8 resets) in 283 ms. (14 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6746/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 374 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4002 steps (8 resets) in 299 ms. (13 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4002 steps (8 resets) in 388 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 6746/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 6746/6746 properties
Interrupted probabilistic random walk after 644899 steps, run timeout after 105001 ms. (steps per millisecond=6 ) properties seen :0 out of 6746
Probabilistic random walk after 644899 steps, saw 119597 distinct states, run finished after 105001 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-29 13:05:42] [INFO ] Invariant cache hit.
[2024-05-29 13:05:42] [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, 6746 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6746 unsolved
[2024-05-29 13:07:48] [INFO ] Deduced a trap composed of 245 places in 1602 ms of which 7 ms to minimize.
[2024-05-29 13:07:50] [INFO ] Deduced a trap composed of 243 places in 1652 ms of which 7 ms to minimize.
[2024-05-29 13:07:51] [INFO ] Deduced a trap composed of 248 places in 1360 ms of which 4 ms to minimize.
[2024-05-29 13:07:53] [INFO ] Deduced a trap composed of 251 places in 1248 ms of which 7 ms to minimize.
[2024-05-29 13:07:54] [INFO ] Deduced a trap composed of 251 places in 1672 ms of which 7 ms to minimize.
[2024-05-29 13:07:56] [INFO ] Deduced a trap composed of 247 places in 1627 ms of which 6 ms to minimize.
[2024-05-29 13:07:58] [INFO ] Deduced a trap composed of 247 places in 1508 ms of which 7 ms to minimize.
SMT process timed out in 135799ms, After SMT, problems are : Problem set: 0 solved, 6746 unsolved
Fused 6746 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 215 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 215 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 134594 steps (0 resets) in 120006 ms. (1 steps per ms) remains 6732/6746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6732/6732 properties
BEST_FIRST walk for 4001 steps (8 resets) in 244 ms. (16 steps per ms) remains 6730/6732 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 350 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4002 steps (8 resets) in 313 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 402 ms. (9 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4001 steps (8 resets) in 251 ms. (15 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6730/6730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6730/6730 properties

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination 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="greatspnxred"
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 greatspnxred"
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 r430-smll-171690580800114"
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 ;