About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8267.731 | 1800000.00 | 4141834.00 | 3558.80 | [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.r255-tall-171654364500073.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 itstools
Input is MultiCrashLeafsetExtension-PT-S24C09, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r255-tall-171654364500073
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 12 07:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Apr 12 07:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 16M 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 StableMarking
=== Now, execution of the tool begins
BK_START 1716627830197
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C09
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202405141337
[2024-05-25 09:03:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-25 09:03:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 09:03:52] [INFO ] Load time of PNML (sax parser for PT used): 780 ms
[2024-05-25 09:03:52] [INFO ] Transformed 16538 places.
[2024-05-25 09:03:52] [INFO ] Transformed 24169 transitions.
[2024-05-25 09:03:52] [INFO ] Parsed PT model containing 16538 places and 24169 transitions and 90398 arcs in 980 ms.
RANDOM walk for 40000 steps (431 resets) in 6691 ms. (5 steps per ms) remains 14965/16538 properties
BEST_FIRST walk for 124 steps (8 resets) in 74 ms. (1 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 77 ms. (1 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 89 ms. (1 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 117 ms. (1 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 86 ms. (1 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 14965/14965 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 14965/14965 properties
[2024-05-25 09:03:55] [INFO ] Flatten gal took : 1890 ms
[2024-05-25 09:03:55] [INFO ] Flow matrix only has 23569 transitions (discarded 600 similar events)
// Phase 1: matrix 23569 rows 16538 cols
[2024-05-25 09:03:56] [INFO ] Flatten gal took : 709 ms
[2024-05-25 09:03:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14527894320366832958.gal : 198 ms
[2024-05-25 09:03:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16254685290236643957.prop : 55 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14527894320366832958.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16254685290236643957.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
[2024-05-25 09:03:57] [INFO ] Computed 1191 invariants in 2190 ms
[2024-05-25 09:03:58] [INFO ] State equation strengthened by 7402 read => feed constraints.
Loading property file /tmp/ReachabilityCardinality16254685290236643957.prop.
SMT process timed out in 36907ms, After SMT, problems are : Problem set: 0 solved, 14965 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 14965 out of 16538 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16538/16538 places, 24169/24169 transitions.
Graph (complete) has 52987 edges and 16538 vertex of which 16494 are kept as prefixes of interest. Removing 44 places using SCC suffix rule.49 ms
Discarding 44 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 0 with 24 rules applied. Total rules applied 25 place count 16494 transition count 24145
Reduce places removed 24 places and 0 transitions.
Performed 123 Post agglomeration using F-continuation condition.Transition count delta: 123
Iterating post reduction 1 with 147 rules applied. Total rules applied 172 place count 16470 transition count 24022
Reduce places removed 123 places and 0 transitions.
Iterating post reduction 2 with 123 rules applied. Total rules applied 295 place count 16347 transition count 24022
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 50 Pre rules applied. Total rules applied 295 place count 16347 transition count 23972
Deduced a syphon composed of 50 places in 25 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 3 with 100 rules applied. Total rules applied 395 place count 16297 transition count 23972
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 397 place count 16295 transition count 23970
Iterating global reduction 3 with 2 rules applied. Total rules applied 399 place count 16295 transition count 23970
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 23 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 405 place count 16292 transition count 23967
Free-agglomeration rule (complex) applied 46 times.
Iterating global reduction 3 with 46 rules applied. Total rules applied 451 place count 16292 transition count 23921
Reduce places removed 46 places and 0 transitions.
Iterating post reduction 3 with 46 rules applied. Total rules applied 497 place count 16246 transition count 23921
Partial Free-agglomeration rule applied 22 times.
Drop transitions (Partial Free agglomeration) removed 22 transitions
Iterating global reduction 4 with 22 rules applied. Total rules applied 519 place count 16246 transition count 23921
Applied a total of 519 rules in 1766 ms. Remains 16246 /16538 variables (removed 292) and now considering 23921/24169 (removed 248) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1781 ms. Remains : 16246/16538 places, 23921/24169 transitions.
RANDOM walk for 719986 steps (8075 resets) in 120004 ms. (5 steps per ms) remains 6055/14965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 332 ms. (12 steps per ms) remains 6054/6055 properties
BEST_FIRST walk for 4002 steps (8 resets) in 368 ms. (10 steps per ms) remains 6052/6054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 6050/6052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 6049/6050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6048/6049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 6047/6048 properties
BEST_FIRST walk for 4003 steps (8 resets) in 351 ms. (11 steps per ms) remains 6047/6047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6046/6047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 6045/6046 properties
BEST_FIRST walk for 4002 steps (8 resets) in 307 ms. (12 steps per ms) remains 6045/6045 properties
BEST_FIRST walk for 4001 steps (8 resets) in 304 ms. (13 steps per ms) remains 6045/6045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6044/6045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 6044/6044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 6044/6044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 460 ms. (8 steps per ms) remains 6044/6044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 6044/6044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 6044/6044 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 6043/6044 properties
BEST_FIRST walk for 4002 steps (8 resets) in 355 ms. (11 steps per ms) remains 6043/6043 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 6042/6043 properties
BEST_FIRST walk for 4002 steps (8 resets) in 299 ms. (13 steps per ms) remains 6042/6042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 6041/6042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 6040/6041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 6040/6040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 6040/6040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 6040/6040 properties
BEST_FIRST walk for 4001 steps (8 resets) in 351 ms. (11 steps per ms) remains 6039/6040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 6038/6039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 6038/6038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 6038/6038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 334 ms. (11 steps per ms) remains 6038/6038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 263 ms. (15 steps per ms) remains 6036/6038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6033/6036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 373 ms. (10 steps per ms) remains 6033/6033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 6032/6033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6032/6032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 6030/6032 properties
BEST_FIRST walk for 4001 steps (8 resets) in 307 ms. (12 steps per ms) remains 6029/6030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6029/6029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 6028/6029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 346 ms. (11 steps per ms) remains 6028/6028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6026/6028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6026/6026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 6025/6026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 6023/6025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6020/6023 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 6020/6020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 6020/6020 properties
BEST_FIRST walk for 4001 steps (8 resets) in 282 ms. (14 steps per ms) remains 6020/6020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 6017/6020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6017/6017 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 6017/6017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 6016/6017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 6014/6016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6013/6014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 6012/6013 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 6012/6012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 6012/6012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 6012/6012 properties
BEST_FIRST walk for 4002 steps (8 resets) in 288 ms. (13 steps per ms) remains 6012/6012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 6010/6012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 6010/6010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 344 ms. (11 steps per ms) remains 6009/6010 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 6009/6009 properties
BEST_FIRST walk for 4002 steps (8 resets) in 336 ms. (11 steps per ms) remains 6009/6009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 6009/6009 properties
BEST_FIRST walk for 4001 steps (8 resets) in 264 ms. (15 steps per ms) remains 6009/6009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6009/6009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6007/6009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6007/6007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 6007/6007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6007/6007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6007/6007 properties
BEST_FIRST walk for 4002 steps (8 resets) in 337 ms. (11 steps per ms) remains 6006/6007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 6006/6006 properties
BEST_FIRST walk for 4001 steps (8 resets) in 296 ms. (13 steps per ms) remains 6006/6006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 6006/6006 properties
BEST_FIRST walk for 4001 steps (8 resets) in 290 ms. (13 steps per ms) remains 6006/6006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 6006/6006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6006/6006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 6005/6006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6003/6005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6002/6003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 350 ms. (11 steps per ms) remains 6001/6002 properties
BEST_FIRST walk for 4002 steps (8 resets) in 274 ms. (14 steps per ms) remains 6001/6001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 315 ms. (12 steps per ms) remains 6001/6001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6001/6001 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 6001/6001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6001/6001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 6001/6001 properties
BEST_FIRST walk for 4002 steps (8 resets) in 324 ms. (12 steps per ms) remains 6000/6001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 5998/6000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 5998/5998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 5998/5998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 5997/5998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 5997/5997 properties
BEST_FIRST walk for 4002 steps (8 resets) in 336 ms. (11 steps per ms) remains 5997/5997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 5996/5997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 5995/5996 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 5995/5995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 5995/5995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 5995/5995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 5994/5995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 5994/5994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 5994/5994 properties
BEST_FIRST walk for 4002 steps (8 resets) in 328 ms. (12 steps per ms) remains 5991/5994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 305 ms. (13 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4001 steps (8 resets) in 286 ms. (13 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 328 ms. (12 steps per ms) remains 5991/5991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 297 ms. (13 steps per ms) remains 5990/5991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 5990/5990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 5990/5990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 5989/5990 properties
BEST_FIRST walk for 4001 steps (8 resets) in 329 ms. (12 steps per ms) remains 5989/5989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 5989/5989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 5989/5989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5989/5989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 5989/5989 properties
BEST_FIRST walk for 4001 steps (8 resets) in 288 ms. (13 steps per ms) remains 5988/5989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 5987/5988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 5987/5987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 5987/5987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 5985/5987 properties
BEST_FIRST walk for 4002 steps (8 resets) in 314 ms. (12 steps per ms) remains 5985/5985 properties
BEST_FIRST walk for 4002 steps (8 resets) in 312 ms. (12 steps per ms) remains 5983/5985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 5981/5983 properties
BEST_FIRST walk for 4002 steps (8 resets) in 297 ms. (13 steps per ms) remains 5981/5981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 5981/5981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5980/5981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 5980/5980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 5979/5980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 5979/5979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 5979/5979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 5979/5979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 5979/5979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 5979/5979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 5977/5979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 5976/5977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 357 ms. (11 steps per ms) remains 5976/5976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 5975/5976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 329 ms. (12 steps per ms) remains 5975/5975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 5975/5975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 5975/5975 properties
BEST_FIRST walk for 4002 steps (8 resets) in 371 ms. (10 steps per ms) remains 5975/5975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 380 ms. (10 steps per ms) remains 5973/5975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 5973/5973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 5973/5973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 287 ms. (13 steps per ms) remains 5973/5973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 370 ms. (10 steps per ms) remains 5972/5973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 369 ms. (10 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4002 steps (8 resets) in 349 ms. (11 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4002 steps (8 resets) in 353 ms. (11 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 5972/5972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 5971/5972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 5971/5971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 5971/5971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 5971/5971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 356 ms. (11 steps per ms) remains 5969/5971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 352 ms. (11 steps per ms) remains 5969/5969 properties
BEST_FIRST walk for 4002 steps (8 resets) in 374 ms. (10 steps per ms) remains 5968/5969 properties
BEST_FIRST walk for 4001 steps (8 resets) in 355 ms. (11 steps per ms) remains 5967/5968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 5966/5967 properties
BEST_FIRST walk for 4001 steps (8 resets) in 410 ms. (9 steps per ms) remains 5966/5966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 380 ms. (10 steps per ms) remains 5966/5966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 382 ms. (10 steps per ms) remains 5966/5966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 5964/5966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 388 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 373 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4001 steps (8 resets) in 367 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 337 ms. (11 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 361 ms. (11 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 377 ms. (10 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 351 ms. (11 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 5964/5964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 5963/5964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 339 ms. (11 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 383 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 370 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 364 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4001 steps (8 resets) in 330 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 401 ms. (9 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4001 steps (8 resets) in 367 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 5963/5963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 5962/5963 properties
BEST_FIRST walk for 4002 steps (8 resets) in 366 ms. (10 steps per ms) remains 5962/5962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 5962/5962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 5962/5962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 5962/5962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 5961/5962 properties
BEST_FIRST walk for 4001 steps (8 resets) in 399 ms. (10 steps per ms) remains 5960/5961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 5960/5960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 522 ms. (7 steps per ms) remains 5959/5960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 5959/5959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 5958/5959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 5957/5958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 491 ms. (8 steps per ms) remains 5957/5957 properties
BEST_FIRST walk for 4001 steps (8 resets) in 298 ms. (13 steps per ms) remains 5957/5957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 5956/5957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 5955/5956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 5955/5955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 5955/5955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 5955/5955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 5953/5955 properties
BEST_FIRST walk for 4001 steps (8 resets) in 392 ms. (10 steps per ms) remains 5953/5953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 5953/5953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 5951/5953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4002 steps (8 resets) in 480 ms. (8 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4002 steps (8 resets) in 363 ms. (10 steps per ms) remains 5951/5951 properties
BEST_FIRST walk for 4002 steps (8 resets) in 407 ms. (9 steps per ms) remains 5950/5951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4001 steps (8 resets) in 416 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4001 steps (8 resets) in 405 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 442 ms. (9 steps per ms) remains 5950/5950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 5949/5950 properties
BEST_FIRST walk for 4001 steps (8 resets) in 400 ms. (9 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 507 ms. (7 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 402 ms. (9 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 377 ms. (10 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 5949/5949 properties
BEST_FIRST walk for 4002 steps (8 resets) in 421 ms. (9 steps per ms) remains 5948/5949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 512 ms. (7 steps per ms) remains 5948/5948 properties
BEST_FIRST walk for 4002 steps (8 resets) in 433 ms. (9 steps per ms) remains 5947/5948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 5947/5947 properties
BEST_FIRST walk for 4002 steps (8 resets) in 398 ms. (10 steps per ms) remains 5947/5947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 5946/5947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 5946/5946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 5944/5946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 298 ms. (13 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 331 ms. (12 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 273 ms. (14 steps per ms) remains 5944/5944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 5943/5944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 5943/5943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 304 ms. (13 steps per ms) remains 5943/5943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 5943/5943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 5943/5943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 5943/5943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 404 ms. (9 steps per ms) remains 5943/5943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 5941/5943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 5941/5941 properties
BEST_FIRST walk for 4002 steps (8 resets) in 421 ms. (9 steps per ms) remains 5940/5941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 512 ms. (7 steps per ms) remains 5939/5940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 5939/5939 properties
BEST_FIRST walk for 4002 steps (8 resets) in 393 ms. (10 steps per ms) remains 5937/5939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 454 ms. (8 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 5937/5937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 5936/5937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 404 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 340 ms. (11 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 368 ms. (10 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 315 ms. (12 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 491 ms. (8 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 414 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 416 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 408 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 409 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 513 ms. (7 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 5936/5936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 5935/5936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 361 ms. (11 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 394 ms. (10 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 393 ms. (10 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 428 ms. (9 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 448 ms. (8 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4001 steps (8 resets) in 471 ms. (8 steps per ms) remains 5935/5935 properties
BEST_FIRST walk for 4001 steps (8 resets) in 401 ms. (9 steps per ms) remains 5934/5935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 5934/5934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 5933/5934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 395 ms. (10 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4001 steps (8 resets) in 366 ms. (10 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 388 ms. (10 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4001 steps (8 resets) in 317 ms. (12 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 327 ms. (12 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 510 ms. (7 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4001 steps (8 resets) in 407 ms. (9 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 277 ms. (14 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 325 ms. (12 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 299 ms. (13 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 355 ms. (11 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 5933/5933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 325 ms. (12 steps per ms) remains 5932/5933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 5931/5932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 341 ms. (11 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 5931/5931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 5930/5931 properties
BEST_FIRST walk for 4002 steps (8 resets) in 371 ms. (10 steps per ms) remains 5928/5930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 5928/5928 properties
BEST_FIRST walk for 4002 steps (8 resets) in 308 ms. (12 steps per ms) remains 5927/5928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 5926/5927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4002 steps (8 resets) in 322 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 352 ms. (11 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4001 steps (8 resets) in 311 ms. (12 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4002 steps (8 resets) in 362 ms. (11 steps per ms) remains 5926/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 5925/5926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 312 ms. (12 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 321 ms. (12 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 314 ms. (12 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 344 ms. (11 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 324 ms. (12 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 380 ms. (10 steps per ms) remains 5925/5925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 391 ms. (10 steps per ms) remains 5924/5925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 341 ms. (11 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 336 ms. (11 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 380 ms. (10 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 334 ms. (11 steps per ms) remains 5924/5924 properties
BEST_FIRST walk for 4002 steps (8 resets) in 324 ms. (12 steps per ms) remains 5923/5924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 5923/5923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 5922/5923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 5922/5922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 353 ms. (11 steps per ms) remains 5921/5922 properties
BEST_FIRST walk for 4002 steps (8 resets) in 361 ms. (11 steps per ms) remains 5921/5921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 5920/5921 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 5920/5920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 5920/5920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 5919/5920 properties
BEST_FIRST walk for 4001 steps (8 resets) in 275 ms. (14 steps per ms) remains 5919/5919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 344 ms. (11 steps per ms) remains 5918/5919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 5918/5918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 5917/5918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 5917/5917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 373 ms. (10 steps per ms) remains 5917/5917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 326 ms. (12 steps per ms) remains 5917/5917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 5917/5917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 5917/5917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 5916/5917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 325 ms. (12 steps per ms) remains 5916/5916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 5916/5916 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 5916/5916 properties
BEST_FIRST walk for 4001 steps (8 resets) in 273 ms. (14 steps per ms) remains 5916/5916 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 5915/5916 properties
BEST_FIRST walk for 4002 steps (8 resets) in 266 ms. (14 steps per ms) remains 5915/5915 properties
BEST_FIRST walk for 4001 steps (8 resets) in 296 ms. (13 steps per ms) remains 5915/5915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 406 ms. (9 steps per ms) remains 5914/5915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 302 ms. (13 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 330 ms. (12 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4001 steps (8 resets) in 351 ms. (11 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 302 ms. (13 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 269 ms. (14 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 337 ms. (11 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 5914/5914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 5912/5914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4001 steps (8 resets) in 336 ms. (11 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4002 steps (8 resets) in 326 ms. (12 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 5912/5912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 5911/5912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 288 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4002 steps (8 resets) in 267 ms. (14 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4002 steps (8 resets) in 287 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4001 steps (8 resets) in 316 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 5911/5911 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 5909/5911 properties
BEST_FIRST walk for 4002 steps (8 resets) in 370 ms. (10 steps per ms) remains 5909/5909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 5909/5909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 5909/5909 properties
BEST_FIRST walk for 4001 steps (8 resets) in 301 ms. (13 steps per ms) remains 5909/5909 properties
BEST_FIRST walk for 4002 steps (8 resets) in 323 ms. (12 steps per ms) remains 5908/5909 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 5906/5908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 356 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 315 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 300 ms. (13 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 325 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 360 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4001 steps (8 resets) in 316 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 354 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 331 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4001 steps (8 resets) in 286 ms. (13 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 330 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4002 steps (8 resets) in 317 ms. (12 steps per ms) remains 5906/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 5905/5906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 5905/5905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 5905/5905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 5905/5905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 5904/5905 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 344 ms. (11 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 5904/5904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 5903/5904 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 5902/5903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 5902/5902 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 5902/5902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 5901/5902 properties
BEST_FIRST walk for 4001 steps (8 resets) in 311 ms. (12 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4002 steps (8 resets) in 391 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4002 steps (8 resets) in 359 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4002 steps (8 resets) in 375 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4002 steps (8 resets) in 382 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 443 ms. (9 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4002 steps (8 resets) in 351 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 401 ms. (9 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 385 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4002 steps (8 resets) in 351 ms. (11 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 388 ms. (10 steps per ms) remains 5901/5901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 5900/5901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4002 steps (8 resets) in 555 ms. (7 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 351 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4001 steps (8 resets) in 347 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4002 steps (8 resets) in 334 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 5900/5900 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 5899/5900 properties
BEST_FIRST walk for 4002 steps (8 resets) in 284 ms. (14 steps per ms) remains 5897/5899 properties
BEST_FIRST walk for 4002 steps (8 resets) in 286 ms. (13 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4002 steps (8 resets) in 278 ms. (14 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4003 steps (8 resets) in 288 ms. (13 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 5897/5897 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5896/5897 properties
BEST_FIRST walk for 4001 steps (8 resets) in 275 ms. (14 steps per ms) remains 5896/5896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 5896/5896 properties
BEST_FIRST walk for 4002 steps (8 resets) in 357 ms. (11 steps per ms) remains 5896/5896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 5895/5896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 5895/5895 properties
BEST_FIRST walk for 4002 steps (8 resets) in 296 ms. (13 steps per ms) remains 5895/5895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 5895/5895 properties
BEST_FIRST walk for 4001 steps (8 resets) in 309 ms. (12 steps per ms) remains 5894/5895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 5894/5894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 5894/5894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 5894/5894 properties
BEST_FIRST walk for 4002 steps (8 resets) in 279 ms. (14 steps per ms) remains 5893/5894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 340 ms. (11 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 290 ms. (13 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 368 ms. (10 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 5893/5893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 5892/5893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 370 ms. (10 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4001 steps (8 resets) in 339 ms. (11 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 374 ms. (10 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4002 steps (8 resets) in 349 ms. (11 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 325 ms. (12 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 5892/5892 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 5890/5892 properties
BEST_FIRST walk for 4002 steps (8 resets) in 308 ms. (12 steps per ms) remains 5890/5890 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 5890/5890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 5890/5890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 5890/5890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 5890/5890 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 5889/5890 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 5889/5889 properties
BEST_FIRST walk for 4002 steps (8 resets) in 305 ms. (13 steps per ms) remains 5889/5889 properties
BEST_FIRST walk for 4002 steps (8 resets) in 358 ms. (11 steps per ms) remains 5889/5889 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 5889/5889 properties
BEST_FIRST walk for 4002 steps (8 resets) in 335 ms. (11 steps per ms) remains 5889/5889 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 5888/5889 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 302 ms. (13 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 321 ms. (12 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 5888/5888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 5887/5888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 288 ms. (13 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 348 ms. (11 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4001 steps (8 resets) in 353 ms. (11 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4001 steps (8 resets) in 305 ms. (13 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 313 ms. (12 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 5887/5887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 5886/5887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4000 steps (8 resets) in 334 ms. (11 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 303 ms. (13 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 322 ms. (12 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 350 ms. (11 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 5886/5886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 5885/5886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4002 steps (8 resets) in 401 ms. (9 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4002 steps (8 resets) in 334 ms. (11 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4002 steps (8 resets) in 300 ms. (13 steps per ms) remains 5885/5885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 5884/5885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 5883/5884 properties
BEST_FIRST walk for 4002 steps (8 resets) in 314 ms. (12 steps per ms) remains 5883/5883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 5883/5883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 5883/5883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 5883/5883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 5882/5883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4002 steps (8 resets) in 266 ms. (14 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4002 steps (8 resets) in 362 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4002 steps (8 resets) in 328 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 353 ms. (11 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4002 steps (8 resets) in 322 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 5882/5882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 5881/5882 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 303 ms. (13 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 339 ms. (11 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 5881/5881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 5880/5881 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4001 steps (8 resets) in 335 ms. (11 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 290 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4001 steps (8 resets) in 327 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 367 ms. (10 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 348 ms. (11 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4001 steps (8 resets) in 329 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 338 ms. (11 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 300 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 329 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4002 steps (8 resets) in 330 ms. (12 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 5880/5880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 5879/5880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4001 steps (8 resets) in 295 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4001 steps (8 resets) in 270 ms. (14 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 336 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 305 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 340 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 326 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 279 ms. (14 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4001 steps (8 resets) in 300 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 320 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 362 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 332 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 323 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4001 steps (8 resets) in 324 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 5879/5879 properties
BEST_FIRST walk for 4001 steps (8 resets) in 291 ms. (13 steps per ms) remains 5879/5879 properties
[2024-05-25 09:06:46] [INFO ] Flow matrix only has 23320 transitions (discarded 601 similar events)
// Phase 1: matrix 23320 rows 16246 cols
[2024-05-25 09:06:48] [INFO ] Computed 1147 invariants in 1849 ms
[2024-05-25 09:06:48] [INFO ] State equation strengthened by 7402 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/5879 variables, 75/75 constraints. Problems are: Problem set: 0 solved, 5879 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5879/39566 variables, and 75 constraints, problems are : Problem set: 0 solved, 5879 unsolved in 45142 ms.
Refiners :[Positive P Invariants (semi-flows): 0/59 constraints, Generalized P Invariants (flows): 75/1088 constraints, State Equation: 0/16246 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 5879/5879 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5879 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5879 variables, 75/75 constraints. Problems are: Problem set: 0 solved, 5879 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5879/39566 variables, and 75 constraints, problems are : Problem set: 0 solved, 5879 unsolved in 45074 ms.
Refiners :[Positive P Invariants (semi-flows): 0/59 constraints, Generalized P Invariants (flows): 75/1088 constraints, State Equation: 0/16246 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 0/5879 constraints, Known Traps: 0/0 constraints]
After SMT, in 103659ms problems are : Problem set: 0 solved, 5879 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5879 out of 16246 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16246/16246 places, 23921/23921 transitions.
Graph (complete) has 54764 edges and 16246 vertex of which 16244 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.13 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 3330 transitions
Trivial Post-agglo rules discarded 3330 transitions
Performed 3330 trivial Post agglomeration. Transition count delta: 3330
Iterating post reduction 0 with 3330 rules applied. Total rules applied 3331 place count 16244 transition count 20591
Reduce places removed 3330 places and 0 transitions.
Performed 62 Post agglomeration using F-continuation condition.Transition count delta: 62
Iterating post reduction 1 with 3392 rules applied. Total rules applied 6723 place count 12914 transition count 20529
Reduce places removed 62 places and 0 transitions.
Iterating post reduction 2 with 62 rules applied. Total rules applied 6785 place count 12852 transition count 20529
Performed 296 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 296 Pre rules applied. Total rules applied 6785 place count 12852 transition count 20233
Deduced a syphon composed of 296 places in 16 ms
Reduce places removed 296 places and 0 transitions.
Iterating global reduction 3 with 592 rules applied. Total rules applied 7377 place count 12556 transition count 20233
Discarding 3109 places :
Symmetric choice reduction at 3 with 3109 rule applications. Total rules 10486 place count 9447 transition count 17124
Iterating global reduction 3 with 3109 rules applied. Total rules applied 13595 place count 9447 transition count 17124
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 13595 place count 9447 transition count 17122
Deduced a syphon composed of 2 places in 12 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 13599 place count 9445 transition count 17122
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 15 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 13605 place count 9442 transition count 17119
Free-agglomeration rule (complex) applied 631 times.
Iterating global reduction 3 with 631 rules applied. Total rules applied 14236 place count 9442 transition count 16488
Reduce places removed 631 places and 0 transitions.
Iterating post reduction 3 with 631 rules applied. Total rules applied 14867 place count 8811 transition count 16488
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 14886 place count 8792 transition count 16469
Iterating global reduction 4 with 19 rules applied. Total rules applied 14905 place count 8792 transition count 16469
Partial Free-agglomeration rule applied 144 times.
Drop transitions (Partial Free agglomeration) removed 144 transitions
Iterating global reduction 4 with 144 rules applied. Total rules applied 15049 place count 8792 transition count 16469
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 15052 place count 8789 transition count 16466
Iterating global reduction 4 with 3 rules applied. Total rules applied 15055 place count 8789 transition count 16466
Applied a total of 15055 rules in 5233 ms. Remains 8789 /16246 variables (removed 7457) and now considering 16466/23921 (removed 7455) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5233 ms. Remains : 8789/16246 places, 16466/23921 transitions.
RANDOM walk for 266931 steps (4762 resets) in 120004 ms. (2 steps per ms) remains 4927/5879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 252 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 254 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 227 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 274 ms. (14 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 323 ms. (12 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 223 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4000 steps (8 resets) in 246 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 306 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 290 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 249 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 245 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 304 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 299 ms. (13 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 228 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 263 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 279 ms. (14 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 250 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 230 ms. (17 steps per ms) remains 4927/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 252 ms. (15 steps per ms) remains 4927/4927 properties
[2024-05-25 09:09:09] [INFO ] Flow matrix only has 15795 transitions (discarded 671 similar events)
// Phase 1: matrix 15795 rows 8789 cols
[2024-05-25 09:09:10] [INFO ] Computed 1145 invariants in 905 ms
[2024-05-25 09:09:10] [INFO ] State equation strengthened by 7402 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s5 (/ 1.0 2.0))
(s7 (/ 1.0 2.0))
(s10 (/ 1.0 2.0))
(s20 (/ 1.0 2.0))
(s21 (/ 1.0 2.0))
(s22 (/ 1.0 2.0))
(s23 (/ 1.0 2.0))
(s26 (/ 1.0 2.0))
(s27 (/ 1.0 2.0))
(s28 (/ 1.0 2.0))
(s33 (/ 1.0 2.0))
(s34 (/ 1.0 2.0))
(s35 (/ 1.0 2.0))
(s36 (/ 1.0 2.0))
(s39 (/ 1.0 2.0))
(s40 (/ 1.0 2.0))
(s41 (/ 1.0 2.0))
(s42 (/ 1.0 2.0))
(s43 (/ 1.0 2.0))
(s46 (/ 1.0 2.0))
(s47 (/ 1.0 2.0))
(s48 (/ 1.0 2.0))
(s49 (/ 1.0 2.0))
(s50 (/ 1.0 2.0))
(s51 (/ 1.0 2.0))
(s54 (/ 1.0 2.0))
(s55 (/ 1.0 2.0))
(s56 (/ 1.0 2.0))
(s57 (/ 1.0 2.0))
(s58 (/ 1.0 2.0))
(s59 (/ 1.0 2.0))
(s60 (/ 1.0 2.0))
(s63 (/ 1.0 2.0))
(s64 (/ 1.0 2.0))
(s65 (/ 1.0 2.0))
(s66 (/ 1.0 2.0))
(s69 (/ 1.0 2.0))
(s70 (/ 1.0 2.0))
(s71 (/ 1.0 2.0))
(s72 (/ 1.0 2.0))
(s73 (/ 1.0 2.0))
(s74 (/ 1.0 2.0))
(s75 (/ 1.0 2.0))
(s76 (/ 1.0 2.0))
(s77 (/ 1.0 2.0))
(s80 (/ 1.0 2.0))
(s81 (/ 1.0 2.0))
(s82 (/ 1.0 2.0))
(s83 (/ 1.0 2.0))
(s84 (/ 1.0 2.0))
(s85 (/ 1.0 2.0))
(s88 (/ 1.0 2.0))
(s89 (/ 1.0 2.0))
(s90 (/ 1.0 2.0))
(s91 (/ 1.0 2.0))
(s92 (/ 1.0 2.0))
(s93 (/ 1.0 2.0))
(s94 (/ 1.0 2.0))
(s95 (/ 1.0 2.0))
(s96 (/ 1.0 2.0))
(s97 (/ 1.0 2.0))
(s98 (/ 1.0 2.0))
(s103 (/ 1.0 2.0))
(s104 (/ 1.0 2.0))
(s107 (/ 1.0 2.0))
(s108 (/ 1.0 2.0))
(s109 (/ 1.0 2.0))
(s110 (/ 1.0 2.0))
(s111 (/ 1.0 2.0))
(s112 (/ 1.0 2.0))
(s113 (/ 1.0 2.0))
(s114 (/ 1.0 2.0))
(s115 (/ 1.0 2.0))
(s116 (/ 1.0 2.0))
(s117 (/ 1.0 2.0))
(s118 (/ 1.0 2.0))
(s119 (/ 1.0 2.0))
(s120 (/ 1.0 2.0))
(s121 (/ 1.0 2.0))
(s122 (/ 1.0 2.0))
(s123 (/ 1.0 2.0))
(s126 (/ 1.0 2.0))
(s127 (/ 1.0 2.0))
(s128 (/ 1.0 2.0))
(s129 (/ 1.0 2.0))
(s130 (/ 1.0 2.0))
(s131 (/ 1.0 2.0))
(s132 (/ 1.0 2.0))
(s133 (/ 1.0 2.0))
(s134 (/ 1.0 2.0))
(s135 (/ 1.0 2.0))
(s136 (/ 1.0 2.0))
(s137 (/ 1.0 2.0))
(s138 (/ 1.0 2.0))
(s139 (/ 1.0 2.0))
(s140 (/ 1.0 2.0))
(s141 (/ 1.0 2.0))
(s142 (/ 1.0 2.0))
(s143 (/ 1.0 2.0))
(s144 (/ 1.0 2.0))
(s145 (/ 1.0 2.0))
(s146 (/ 1.0 2.0))
(s149 (/ 1.0 2.0))
(s150 (/ 1.0 2.0))
(s151 (/ 1.0 2.0))
(s152 (/ 1.0 2.0))
(s153 (/ 1.0 2.0))
(s154 (/ 1.0 2.0))
(s155 (/ 1.0 2.0))
(s156 (/ 1.0 2.0))
(s157 (/ 1.0 2.0))
(s158 (/ 1.0 2.0))
(s159 (/ 1.0 2.0))
(s160 (/ 1.0 2.0))
(s161 (/ 1.0 2.0))
(s162 (/ 1.0 2.0))
(s163 (/ 1.0 2.0))
(s164 (/ 1.0 2.0))
(s165 (/ 1.0 2.0))
(s168 (/ 1.0 2.0))
(s169 (/ 1.0 2.0))
(s170 (/ 1.0 2.0))
(s171 (/ 1.0 2.0))
(s172 (/ 1.0 2.0))
(s173 (/ 1.0 2.0))
(s176 (/ 1.0 2.0))
(s177 (/ 1.0 2.0))
(s178 (/ 1.0 2.0))
(s179 (/ 1.0 2.0))
(s180 (/ 1.0 2.0))
(s181 (/ 1.0 2.0))
(s182 (/ 1.0 2.0))
(s183 (/ 1.0 2.0))
(s184 (/ 1.0 2.0))
(s185 (/ 1.0 2.0))
(s186 (/ 1.0 2.0))
(s187 (/ 1.0 2.0))
(s188 (/ 1.0 2.0))
(s189 (/ 1.0 2.0))
(s190 (/ 1.0 2.0))
(s191 (/ 1.0 2.0))
(s192 (/ 1.0 2.0))
(s193 (/ 1.0 2.0))
(s194 (/ 1.0 2.0))
(s195 (/ 1.0 2.0))
(s196 (/ 1.0 2.0))
(s197 (/ 1.0 2.0))
(s198 (/ 1.0 2.0))
(s199 (/ 1.0 2.0))
(s200 (/ 1.0 2.0))
(s204 (/ 1.0 2.0))
(s205 (/ 1.0 2.0))
(s206 (/ 1.0 2.0))
(s207 (/ 1.0 2.0))
(s208 (/ 1.0 2.0))
(s209 (/ 1.0 2.0))
(s210 (/ 1.0 2.0))
(s211 (/ 1.0 2.0))
(s212 (/ 1.0 2.0))
(s213 (/ 1.0 2.0))
(s214 (/ 1.0 2.0))
(s215 (/ 1.0 2.0))
(s216 (/ 1.0 2.0))
(s217 (/ 1.0 2.0))
(s218 (/ 1.0 2.0))
(s219 (/ 1.0 2.0))
(s220 (/ 1.0 2.0))
(s221 (/ 1.0 2.0))
(s222 (/ 1.0 2.0))
(s226 (/ 1.0 2.0))
(s227 (/ 1.0 2.0))
(s228 (/ 1.0 2.0))
(s229 (/ 1.0 2.0))
(s230 (/ 1.0 2.0))
(s236 (/ 1.0 2.0))
(s237 (/ 1.0 2.0))
(s238 (/ 1.0 2.0))
(s239 (/ 1.0 2.0))
(s240 (/ 1.0 2.0))
(s241 (/ 1.0 2.0))
(s242 (/ 1.0 2.0))
(s243 (/ 1.0 2.0))
(s244 (/ 1.0 2.0))
(s245 (/ 1.0 2.0))
(s246 (/ 1.0 2.0))
(s247 (/ 1.0 2.0))
(s248 (/ 1.0 2.0))
(s249 (/ 1.0 2.0))
(s250 (/ 1.0 2.0))
(s251 (/ 1.0 2.0))
(s252 (/ 1.0 2.0))
(s253 (/ 1.0 2.0))
(s255 (/ 1.0 2.0))
(s256 (/ 1.0 2.0))
(s257 (/ 1.0 2.0))
(s258 (/ 1.0 2.0))
(s259 (/ 1.0 2.0))
(s264 (/ 1.0 2.0))
(s265 (/ 1.0 2.0))
(s266 (/ 1.0 2.0))
(s267 (/ 1.0 2.0))
(s268 (/ 1.0 2.0))
(s269 (/ 1.0 2.0))
(s270 (/ 1.0 2.0))
(s271 (/ 1.0 2.0))
(s272 (/ 1.0 2.0))
(s273 (/ 1.0 2.0))
(s274 (/ 1.0 2.0))
(s275 (/ 1.0 2.0))
(s276 (/ 1.0 2.0))
(s277 (/ 1.0 2.0))
(s278 (/ 1.0 2.0))
(s279 (/ 1.0 2.0))
(s280 (/ 1.0 2.0))
(s281 (/ 1.0 2.0))
(s288 (/ 1.0 2.0))
(s289 (/ 1.0 2.0))
(s290 (/ 1.0 2.0))
(s291 (/ 1.0 2.0))
(s292 (/ 1.0 2.0))
(s293 (/ 1.0 2.0))
(s296 (/ 1.0 2.0))
(s297 (/ 1.0 2.0))
(s298 (/ 1.0 2.0))
(s299 (/ 1.0 2.0))
(s300 (/ 1.0 2.0))
(s301 (/ 1.0 2.0))
(s302 (/ 1.0 2.0))
(s303 (/ 1.0 2.0))
(s304 (/ 1.0 2.0))
(s305 (/ 1.0 2.0))
(s306 (/ 1.0 2.0))
(s307 (/ 1.0 2.0))
(s308 (/ 1.0 2.0))
(s309 (/ 1.0 2.0))
(s310 (/ 1.0 2.0))
(s311 (/ 1.0 2.0))
(s312 (/ 1.0 2.0))
(s313 (/ 1.0 2.0))
(s314 (/ 1.0 2.0))
(s315 (/ 1.0 2.0))
(s316 (/ 1.0 2.0))
(s317 (/ 1.0 2.0))
(s318 (/ 1.0 2.0))
(s319 (/ 1.0 2.0))
(s320 (/ 1.0 2.0))
(s323 (/ 1.0 2.0))
(s324 (/ 1.0 2.0))
(s325 (/ 1.0 2.0))
(s326 (/ 1.0 2.0))
(s327 (/ 1.0 2.0))
(s328 (/ 1.0 2.0))
(s329 (/ 1.0 2.0))
(s330 (/ 1.0 2.0))
(s331 (/ 1.0 2.0))
(s332 (/ 1.0 2.0))
(s333 (/ 1.0 2.0))
(s334 (/ 1.0 2.0))
(s335 (/ 1.0 2.0))
(s336 (/ 1.0 2.0))
(s337 (/ 1.0 2.0))
(s338 (/ 1.0 2.0))
(s339 (/ 1.0 2.0))
(s340 (/ 1.0 2.0))
(s341 (/ 1.0 2.0))
(s342 (/ 1.0 2.0))
(s343 (/ 1.0 2.0))
(s344 (/ 1.0 2.0))
(s345 (/ 1.0 2.0))
(s346 (/ 1.0 2.0))
(s347 (/ 1.0 2.0))
(s350 (/ 1.0 2.0))
(s351 (/ 1.0 2.0))
(s352 (/ 1.0 2.0))
(s353 (/ 1.0 2.0))
(s354 (/ 1.0 2.0))
(s355 (/ 1.0 2.0))
(s356 (/ 1.0 2.0))
(s357 (/ 1.0 2.0))
(s358 (/ 1.0 2.0))
(s359 (/ 1.0 2.0))
(s360 (/ 1.0 2.0))
(s361 (/ 1.0 2.0))
(s362 (/ 1.0 2.0))
(s363 (/ 1.0 2.0))
(s364 (/ 1.0 2.0))
(s366 (/ 1.0 2.0))
(s367 (/ 1.0 2.0))
(s368 (/ 1.0 2.0))
(s369 (/ 1.0 2.0))
(s370 (/ 1.0 2.0))
(s373 (/ 1.0 2.0))
(s374 (/ 1.0 2.0))
(s375 (/ 1.0 2.0))
(s376 (/ 1.0 2.0))
(s377 (/ 1.0 2.0))
(s378 (/ 1.0 2.0))
(s379 (/ 1.0 2.0))
(s380 (/ 1.0 2.0))
(s381 (/ 1.0 2.0))
(s382 (/ 1.0 2.0))
(s383 (/ 1.0 2.0))
(s384 (/ 1.0 2.0))
(s385 (/ 1.0 2.0))
(s387 (/ 1.0 2.0))
(s388 (/ 1.0 2.0))
(s389 (/ 1.0 2.0))
(s390 (/ 1.0 2.0))
(s391 (/ 1.0 2.0))
(s392 (/ 1.0 2.0))
(s395 (/ 1.0 2.0))
(s396 (/ 1.0 2.0))
(s397 (/ 1.0 2.0))
(s398 (/ 1.0 2.0))
(s399 (/ 1.0 2.0))
(s400 (/ 1.0 2.0))
(s401 (/ 1.0 2.0))
(s402 (/ 1.0 2.0))
(s403 (/ 1.0 2.0))
(s404 (/ 1.0 2.0))
(s405 (/ 1.0 2.0))
(s406 (/ 1.0 2.0))
(s407 (/ 1.0 2.0))
(s410 (/ 1.0 2.0))
(s411 (/ 1.0 2.0))
(s414 (/ 1.0 2.0))
(s415 (/ 1.0 2.0))
(s416 (/ 1.0 2.0))
(s417 (/ 1.0 2.0))
(s418 (/ 1.0 2.0))
(s419 (/ 1.0 2.0))
(s420 (/ 1.0 2.0))
(s421 (/ 1.0 2.0))
(s422 (/ 1.0 2.0))
(s426 (/ 1.0 2.0))
(s427 (/ 1.0 2.0))
(s428 (/ 1.0 2.0))
(s429 (/ 1.0 2.0))
(s430 (/ 1.0 2.0))
(s433 (/ 1.0 2.0))
(s434 (/ 1.0 2.0))
(s435 (/ 1.0 2.0))
(s436 (/ 1.0 2.0))
(s437 (/ 1.0 2.0))
(s438 (/ 1.0 2.0))
(s439 (/ 1.0 2.0))
(s442 (/ 1.0 2.0))
(s443 (/ 1.0 2.0))
(s444 (/ 1.0 2.0))
(s445 (/ 1.0 2.0))
(s448 (/ 1.0 2.0))
(s449 (/ 1.0 2.0))
(s450 (/ 1.0 2.0))
(s451 (/ 1.0 2.0))
(s452 (/ 1.0 2.0))
(s455 (/ 1.0 2.0))
(s456 (/ 1.0 2.0))
(s457 (/ 1.0 2.0))
(s458 (/ 1.0 2.0))
(s461 (/ 1.0 2.0))
(s462 (/ 1.0 2.0))
(s463 (/ 1.0 2.0))
(s465 (/ 1.0 2.0))
(s466 (/ 1.0 2.0))
(s467 (/ 1.0 2.0))
(s468 (/ 1.0 2.0))
(s471 (/ 1.0 2.0))
(s474 (/ 1.0 2.0))
(s475 (/ 1.0 2.0))
(s476 (/ 1.0 2.0))
(s477 (/ 1.0 2.0))
(s484 (/ 1.0 2.0))
(s485 (/ 1.0 2.0))
(s504 (/ 1.0 2.0))
(s505 5.0)
(s506 (/ 1.0 2.0))
(s507 5.0)
(s513 (/ 1.0 2.0))
(s515 (/ 1.0 2.0))
(s526 (/ 1.0 2.0))
(s527 (/ 1.0 2.0))
(s528 (/ 1.0 2.0))
(s529 (/ 1.0 2.0))
(s532 (/ 1.0 2.0))
(s537 (/ 1.0 2.0))
(s538 (/ 1.0 2.0))
(s539 (/ 1.0 2.0))
(s540 (/ 1.0 2.0))
(s543 (/ 1.0 2.0))
(s544 (/ 1.0 2.0))
(s545 (/ 1.0 2.0))
(s549 (/ 1.0 2.0))
(s550 (/ 1.0 2.0))
(s551 (/ 1.0 2.0))
(s552 (/ 1.0 2.0))
(s555 (/ 1.0 2.0))
(s556 (/ 1.0 2.0))
(s557 (/ 1.0 2.0))
(s558 (/ 1.0 2.0))
(s559 (/ 1.0 2.0))
(s562 (/ 1.0 2.0))
(s563 (/ 1.0 2.0))
(s564 (/ 1.0 2.0))
(s565 (/ 1.0 2.0))
(s566 (/ 1.0 2.0))
(s569 (/ 1.0 2.0))
(s570 (/ 1.0 2.0))
(s571 (/ 1.0 2.0))
(s572 (/ 1.0 2.0))
(s573 (/ 1.0 2.0))
(s574 (/ 1.0 2.0))
(s575 (/ 1.0 2.0))
(s577 (/ 1.0 2.0))
(s578 (/ 1.0 2.0))
(s579 (/ 1.0 2.0))
(s580 (/ 1.0 2.0))
(s581 (/ 1.0 2.0))
(s582 (/ 1.0 2.0))
(s583 (/ 1.0 2.0))
(s586 (/ 1.0 2.0))
(s587 (/ 1.0 2.0))
(s588 (/ 1.0 2.0))
(s589 (/ 1.0 2.0))
(s590 (/ 1.0 2.0))
(s591 (/ 1.0 2.0))
(s592 (/ 1.0 2.0))
(s593 (/ 1.0 2.0))
(s594 (/ 1.0 2.0))
(s595 (/ 1.0 2.0))
(s596 (/ 1.0 2.0))
(s597 (/ 1.0 2.0))
(s598 (/ 1.0 2.0))
(s599 (/ 1.0 2.0))
(s600 (/ 1.0 2.0))
(s603 (/ 1.0 2.0))
(s604 (/ 1.0 2.0))
(s605 (/ 1.0 2.0))
(s606 (/ 1.0 2.0))
(s607 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/4927 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 4927 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4927/24584 variables, and 60 constraints, problems are : Problem set: 0 solved, 4927 unsolved in 75108 ms.
Refiners :[Positive P Invariants (semi-flows): 0/49 constraints, Generalized P Invariants (flows): 60/1096 constraints, State Equation: 0/8789 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 4927/4927 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4927 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4927 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 4927 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4927/24584 variables, and 60 constraints, problems are : Problem set: 0 solved, 4927 unsolved in 75072 ms.
Refiners :[Positive P Invariants (semi-flows): 0/49 constraints, Generalized P Invariants (flows): 60/1096 constraints, State Equation: 0/8789 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 0/4927 constraints, Known Traps: 0/0 constraints]
After SMT, in 158185ms problems are : Problem set: 0 solved, 4927 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 4927 out of 8789 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8789/8789 places, 16466/16466 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 504 transitions
Trivial Post-agglo rules discarded 504 transitions
Performed 504 trivial Post agglomeration. Transition count delta: 504
Iterating post reduction 0 with 504 rules applied. Total rules applied 504 place count 8789 transition count 15962
Reduce places removed 504 places and 0 transitions.
Iterating post reduction 1 with 504 rules applied. Total rules applied 1008 place count 8285 transition count 15962
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 36 Pre rules applied. Total rules applied 1008 place count 8285 transition count 15926
Deduced a syphon composed of 36 places in 9 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 2 with 72 rules applied. Total rules applied 1080 place count 8249 transition count 15926
Discarding 412 places :
Symmetric choice reduction at 2 with 412 rule applications. Total rules 1492 place count 7837 transition count 15514
Iterating global reduction 2 with 412 rules applied. Total rules applied 1904 place count 7837 transition count 15514
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 9 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 1908 place count 7835 transition count 15512
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 2 with 10 rules applied. Total rules applied 1918 place count 7835 transition count 15502
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 1928 place count 7825 transition count 15502
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 1934 place count 7819 transition count 15496
Iterating global reduction 3 with 6 rules applied. Total rules applied 1940 place count 7819 transition count 15496
Partial Free-agglomeration rule applied 129 times.
Drop transitions (Partial Free agglomeration) removed 129 transitions
Iterating global reduction 3 with 129 rules applied. Total rules applied 2069 place count 7819 transition count 15496
Discarding 91 places :
Symmetric choice reduction at 3 with 91 rule applications. Total rules 2160 place count 7728 transition count 15405
Iterating global reduction 3 with 91 rules applied. Total rules applied 2251 place count 7728 transition count 15405
Applied a total of 2251 rules in 2775 ms. Remains 7728 /8789 variables (removed 1061) and now considering 15405/16466 (removed 1061) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2775 ms. Remains : 7728/8789 places, 15405/16466 transitions.
RANDOM walk for 338991 steps (6091 resets) in 120004 ms. (2 steps per ms) remains 4546/4927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 174 ms. (22 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 235 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4000 steps (8 resets) in 231 ms. (17 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4000 steps (8 resets) in 248 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 238 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4000 steps (8 resets) in 239 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 217 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4000 steps (8 resets) in 232 ms. (17 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4000 steps (8 resets) in 221 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 219 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 251 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 261 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 285 ms. (13 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 217 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 303 ms. (13 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 267 ms. (14 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 193 ms. (20 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4001 steps (8 resets) in 233 ms. (17 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 4546/4546 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 4546/4546 properties
Detected timeout of ITS tools.
[2024-05-25 09:13:57] [INFO ] Flatten gal took : 823 ms
[2024-05-25 09:13:57] [INFO ] Applying decomposition
[2024-05-25 09:13:58] [INFO ] Flatten gal took : 847 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph13116081181971480271.txt' '-o' '/tmp/graph13116081181971480271.bin' '-w' '/tmp/graph13116081181971480271.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph13116081181971480271.bin' '-l' '-1' '-v' '-w' '/tmp/graph13116081181971480271.weights' '-q' '0' '-e' '0.001'
[2024-05-25 09:14:01] [INFO ] Decomposing Gal with order
[2024-05-25 09:14:02] [INFO ] Rewriting arrays to variables to allow decomposition.
Interrupted probabilistic random walk after 275912 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :524 out of 4546
Probabilistic random walk after 275912 steps, saw 123562 distinct states, run finished after 99012 ms. (steps per millisecond=2 ) properties seen :524
[2024-05-25 09:14:03] [INFO ] Flow matrix only has 14726 transitions (discarded 679 similar events)
// Phase 1: matrix 14726 rows 7728 cols
[2024-05-25 09:14:04] [INFO ] Computed 1145 invariants in 680 ms
[2024-05-25 09:14:04] [INFO ] State equation strengthened by 7402 read => feed constraints.
[2024-05-25 09:14:09] [INFO ] Removed a total of 15463 redundant transitions.
[2024-05-25 09:14:09] [INFO ] Flatten gal took : 3007 ms
[2024-05-25 09:14:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 2840 labels/synchronizations in 697 ms.
[2024-05-25 09:14:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11545607520275670516.gal : 173 ms
[2024-05-25 09:14:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7324846943721189542.prop : 9 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality11545607520275670516.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7324846943721189542.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality7324846943721189542.prop.
SDD proceeding with computation,4022 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 16384
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 32768
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 65536
SDD size :1 after 1
SDD proceeding with computation,4022 properties remain. new max is 131072
SDD size :1 after 1
At refinement iteration 0 (INCLUDED_ONLY) 0/4022 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 4022 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4022/22454 variables, and 31 constraints, problems are : Problem set: 0 solved, 4022 unsolved in 90104 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 31/1098 constraints, State Equation: 0/7728 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 4022/4022 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4022 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4022 variables, 31/31 constraints. Problems are: Problem set: 0 solved, 4022 unsolved
SDD proceeding with computation,4022 properties remain. new max is 262144
SDD size :1 after 288
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4022/22454 variables, and 31 constraints, problems are : Problem set: 0 solved, 4022 unsolved in 90058 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 31/1098 constraints, State Equation: 0/7728 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 0/4022 constraints, Known Traps: 0/0 constraints]
After SMT, in 186566ms problems are : Problem set: 0 solved, 4022 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 4022 out of 7728 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7728/7728 places, 15405/15405 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 417 transitions
Trivial Post-agglo rules discarded 417 transitions
Performed 417 trivial Post agglomeration. Transition count delta: 417
Iterating post reduction 0 with 417 rules applied. Total rules applied 417 place count 7728 transition count 14988
Reduce places removed 417 places and 0 transitions.
Iterating post reduction 1 with 417 rules applied. Total rules applied 834 place count 7311 transition count 14988
Performed 31 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 31 Pre rules applied. Total rules applied 834 place count 7311 transition count 14957
Deduced a syphon composed of 31 places in 9 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 896 place count 7280 transition count 14957
Discarding 316 places :
Symmetric choice reduction at 2 with 316 rule applications. Total rules 1212 place count 6964 transition count 14641
Iterating global reduction 2 with 316 rules applied. Total rules applied 1528 place count 6964 transition count 14641
Free-agglomeration rule (complex) applied 15 times.
Iterating global reduction 2 with 15 rules applied. Total rules applied 1543 place count 6964 transition count 14626
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 2 with 15 rules applied. Total rules applied 1558 place count 6949 transition count 14626
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 1568 place count 6939 transition count 14616
Iterating global reduction 3 with 10 rules applied. Total rules applied 1578 place count 6939 transition count 14616
Partial Free-agglomeration rule applied 101 times.
Drop transitions (Partial Free agglomeration) removed 101 transitions
Iterating global reduction 3 with 101 rules applied. Total rules applied 1679 place count 6939 transition count 14616
Discarding 69 places :
Symmetric choice reduction at 3 with 69 rule applications. Total rules 1748 place count 6870 transition count 14547
Iterating global reduction 3 with 69 rules applied. Total rules applied 1817 place count 6870 transition count 14547
Applied a total of 1817 rules in 2538 ms. Remains 6870 /7728 variables (removed 858) and now considering 14547/15405 (removed 858) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2538 ms. Remains : 6870/7728 places, 14547/15405 transitions.
RANDOM walk for 211227 steps (3799 resets) in 120004 ms. (1 steps per ms) remains 3888/4022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4001 steps (8 resets) in 247 ms. (16 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4001 steps (8 resets) in 217 ms. (18 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 210 ms. (18 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 193 ms. (20 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4001 steps (8 resets) in 209 ms. (19 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4000 steps (8 resets) in 239 ms. (16 steps per ms) remains 3888/3888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 3887/3888 properties
BEST_FIRST walk for 4000 steps (8 resets) in 199 ms. (20 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 215 ms. (18 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 215 ms. (18 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 214 ms. (18 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4001 steps (8 resets) in 273 ms. (14 steps per ms) remains 3887/3887 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 3886/3887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 229 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 258 ms. (15 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 237 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 232 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 219 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 351 ms. (11 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 200 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 242 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 277 ms. (14 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4000 steps (8 resets) in 236 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4000 steps (8 resets) in 219 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4000 steps (8 resets) in 235 ms. (16 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4001 steps (8 resets) in 221 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 301 ms. (13 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 3886/3886 properties
BEST_FIRST walk for 4002 steps (8 resets) in 271 ms. (14 steps per ms) remains 3886/3886 properties
SDD proceeding with computation,4022 properties remain. new max is 524288
SDD size :288 after 293
SDD proceeding with computation,4022 properties remain. new max is 1048576
SDD size :293 after 297
SDD proceeding with computation,4022 properties remain. new max is 2097152
SDD size :297 after 310
Interrupted probabilistic random walk after 314104 steps, run timeout after 105001 ms. (steps per millisecond=2 ) properties seen :2 out of 3886
Probabilistic random walk after 314104 steps, saw 137998 distinct states, run finished after 105002 ms. (steps per millisecond=2 ) properties seen :2
[2024-05-25 09:19:33] [INFO ] Flow matrix only has 13855 transitions (discarded 692 similar events)
// Phase 1: matrix 13855 rows 6870 cols
[2024-05-25 09:19:34] [INFO ] Computed 1145 invariants in 557 ms
[2024-05-25 09:19:34] [INFO ] State equation strengthened by 7402 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Stream closed")
At refinement iteration 0 (INCLUDED_ONLY) 0/3884 variables, 29/29 constraints. Problems are: Problem set: 0 solved, 3884 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3884/20725 variables, and 29 constraints, problems are : Problem set: 0 solved, 3884 unsolved in 105070 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 29/1098 constraints, State Equation: 0/6870 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 3884/3884 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3884 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/3884 variables, 29/29 constraints. Problems are: Problem set: 0 solved, 3884 unsolved
SDD proceeding with computation,4022 properties remain. new max is 4194304
SDD size :310 after 322
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3884/20725 variables, and 29 constraints, problems are : Problem set: 0 solved, 3884 unsolved in 105058 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 29/1098 constraints, State Equation: 0/6870 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 0/3884 constraints, Known Traps: 0/0 constraints]
After SMT, in 215928ms problems are : Problem set: 0 solved, 3884 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 3884 out of 6870 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6870/6870 places, 14547/14547 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 6870 transition count 14490
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 6813 transition count 14490
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 114 place count 6813 transition count 14486
Deduced a syphon composed of 4 places in 9 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 122 place count 6809 transition count 14486
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 138 place count 6793 transition count 14470
Iterating global reduction 2 with 16 rules applied. Total rules applied 154 place count 6793 transition count 14470
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 158 place count 6793 transition count 14466
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 162 place count 6789 transition count 14466
Partial Free-agglomeration rule applied 45 times.
Drop transitions (Partial Free agglomeration) removed 45 transitions
Iterating global reduction 3 with 45 rules applied. Total rules applied 207 place count 6789 transition count 14466
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 248 place count 6748 transition count 14425
Iterating global reduction 3 with 41 rules applied. Total rules applied 289 place count 6748 transition count 14425
Applied a total of 289 rules in 2315 ms. Remains 6748 /6870 variables (removed 122) and now considering 14425/14547 (removed 122) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2315 ms. Remains : 6748/6870 places, 14425/14547 transitions.
RANDOM walk for 392760 steps (7066 resets) in 120005 ms. (3 steps per ms) remains 3738/3884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4001 steps (8 resets) in 223 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 212 ms. (18 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4001 steps (8 resets) in 254 ms. (15 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4001 steps (8 resets) in 223 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4000 steps (8 resets) in 301 ms. (13 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4002 steps (8 resets) in 246 ms. (16 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 3738/3738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 3737/3738 properties
BEST_FIRST walk for 4001 steps (8 resets) in 211 ms. (18 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4001 steps (8 resets) in 274 ms. (14 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4001 steps (8 resets) in 210 ms. (18 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4001 steps (8 resets) in 209 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4001 steps (8 resets) in 242 ms. (16 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4001 steps (8 resets) in 222 ms. (17 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4001 steps (8 resets) in 202 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 214 ms. (18 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 271 ms. (14 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 3737/3737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 3736/3737 properties
BEST_FIRST walk for 4002 steps (8 resets) in 272 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 214 ms. (18 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 264 ms. (15 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 273 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 277 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 271 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 237 ms. (16 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4000 steps (8 resets) in 230 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 208 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 277 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 201 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4000 steps (8 resets) in 224 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 247 ms. (16 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 253 ms. (15 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 223 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 203 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 271 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4001 steps (8 resets) in 250 ms. (15 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4000 steps (8 resets) in 200 ms. (19 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 3736/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 3736/3736 properties
Detected timeout of ITS tools.
Interrupted probabilistic random walk after 325645 steps, run timeout after 111001 ms. (steps per millisecond=2 ) properties seen :0 out of 3736
Probabilistic random walk after 325645 steps, saw 143048 distinct states, run finished after 111002 ms. (steps per millisecond=2 ) properties seen :0
[2024-05-25 09:25:40] [INFO ] Flow matrix only has 13729 transitions (discarded 696 similar events)
// Phase 1: matrix 13729 rows 6748 cols
[2024-05-25 09:25:40] [INFO ] Computed 1145 invariants in 575 ms
[2024-05-25 09:25:40] [INFO ] State equation strengthened by 7402 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/3736 variables, 27/27 constraints. Problems are: Problem set: 0 solved, 3736 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3736/20477 variables, and 27 constraints, problems are : Problem set: 0 solved, 3736 unsolved in 120071 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 27/1098 constraints, State Equation: 0/6748 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 3736/3736 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3736 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/3736 variables, 27/27 constraints. Problems are: Problem set: 0 solved, 3736 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3736/20477 variables, and 27 constraints, problems are : Problem set: 0 solved, 3736 unsolved in 120054 ms.
Refiners :[Positive P Invariants (semi-flows): 0/47 constraints, Generalized P Invariants (flows): 27/1098 constraints, State Equation: 0/6748 constraints, ReadFeed: 0/7402 constraints, PredecessorRefiner: 0/3736 constraints, Known Traps: 0/0 constraints]
After SMT, in 245956ms problems are : Problem set: 0 solved, 3736 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 3736 out of 6748 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6748/6748 places, 14425/14425 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 0 with 62 rules applied. Total rules applied 62 place count 6748 transition count 14363
Reduce places removed 62 places and 0 transitions.
Iterating post reduction 1 with 62 rules applied. Total rules applied 124 place count 6686 transition count 14363
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 124 place count 6686 transition count 14359
Deduced a syphon composed of 4 places in 9 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 132 place count 6682 transition count 14359
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 146 place count 6668 transition count 14345
Iterating global reduction 2 with 14 rules applied. Total rules applied 160 place count 6668 transition count 14345
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 163 place count 6668 transition count 14342
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 166 place count 6665 transition count 14342
Partial Free-agglomeration rule applied 48 times.
Drop transitions (Partial Free agglomeration) removed 48 transitions
Iterating global reduction 3 with 48 rules applied. Total rules applied 214 place count 6665 transition count 14342
Discarding 45 places :
Symmetric choice reduction at 3 with 45 rule applications. Total rules 259 place count 6620 transition count 14297
Iterating global reduction 3 with 45 rules applied. Total rules applied 304 place count 6620 transition count 14297
Applied a total of 304 rules in 2270 ms. Remains 6620 /6748 variables (removed 128) and now considering 14297/14425 (removed 128) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2270 ms. Remains : 6620/6748 places, 14297/14425 transitions.
RANDOM walk for 476779 steps (8580 resets) in 120004 ms. (3 steps per ms) remains 3587/3736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 194 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 188 ms. (21 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4000 steps (8 resets) in 191 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 207 ms. (19 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 187 ms. (21 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 194 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 163 ms. (24 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 246 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 174 ms. (22 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 243 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 238 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 169 ms. (23 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 228 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 201 ms. (19 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 208 ms. (19 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 171 ms. (23 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 206 ms. (19 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 211 ms. (18 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 173 ms. (22 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 229 ms. (17 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4001 steps (8 resets) in 190 ms. (20 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 3587/3587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 3587/3587 properties
Interrupted probabilistic random walk after 302139 steps, run timeout after 99001 ms. (steps per millisecond=3 ) properties seen :0 out of 3587
Probabilistic random walk after 302139 steps, saw 132857 distinct states, run finished after 99002 ms. (steps per millisecond=3 ) properties seen :0
[2024-05-25 09:32:00] [INFO ] Flow matrix only has 13598 transitions (discarded 699 similar events)
// Phase 1: matrix 13598 rows 6620 cols
[2024-05-25 09:32:00] [INFO ] Computed 1145 invariants in 551 ms
[2024-05-25 09:32:01] [INFO ] State equation strengthened by 7402 read => feed constraints.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C09"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C09, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r255-tall-171654364500073"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C09.tgz
mv MultiCrashLeafsetExtension-PT-S24C09 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;