About the Execution of ITS-Tools for TokenRing-PT-030
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
582.728 | 1800000.00 | 3221437.00 | 2852.10 | [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/mcc2022-input.r265-tall-165303551500392.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is TokenRing-PT-030, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r265-tall-165303551500392
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 169M
-rw-r--r-- 1 mcc users 1.4M Apr 29 17:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.9M Apr 29 17:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29M Apr 29 16:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 104M Apr 29 16:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 489K May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.7M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3M May 9 09:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1M May 9 09:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 102K May 9 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K May 9 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 14M May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1653069852396
Running Version 202205111006
[2022-05-20 18:04:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-20 18:04:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-20 18:04:14] [INFO ] Load time of PNML (sax parser for PT used): 758 ms
[2022-05-20 18:04:14] [INFO ] Transformed 961 places.
[2022-05-20 18:04:14] [INFO ] Transformed 27931 transitions.
[2022-05-20 18:04:14] [INFO ] Parsed PT model containing 961 places and 27931 transitions in 1011 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 1028 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:04:16] [INFO ] Computed 31 place invariants in 127 ms
[2022-05-20 18:04:18] [INFO ] Implicit Places using invariants in 2090 ms returned []
Implicit Place search using SMT only with invariants took 2661 ms to find 0 implicit places.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:04:18] [INFO ] Computed 31 place invariants in 76 ms
[2022-05-20 18:04:27] [INFO ] Dead Transitions using invariants and state equation in 8950 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Initial state reduction rules removed 30 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 27901) seen :463
Interrupted probabilistic random walk after 1301 steps, run timeout after 3002 ms. (steps per millisecond=0 ) properties seen :{70=1, 233=1, 310=1, 320=1, 354=1, 390=1, 465=1, 599=1, 777=1, 787=1, 944=1, 966=1, 1090=1, 1129=1, 1376=1, 1866=1, 1908=1, 1960=1, 2288=1, 2562=1, 2594=1, 2709=1, 2745=1, 3022=1, 3047=1, 3196=1, 3207=1, 3209=1, 3219=1, 3261=1, 3302=1, 3314=1, 3322=1, 3388=1, 3479=1, 4094=1, 4117=1, 4255=1, 4293=1, 4337=1, 4445=1, 4603=1, 4621=1, 4674=1, 4684=1, 4977=1, 5100=1, 5173=1, 5258=1, 5826=1, 5828=1, 5998=1, 6222=1, 6366=1, 7037=1, 7108=1, 7110=1, 7160=1, 7231=1, 7447=1, 7547=1, 7614=1, 7622=1, 7646=1, 7829=1, 7842=1, 7879=1, 8248=1, 8286=1, 8430=1, 8854=1, 8949=1, 9024=1, 9124=1, 9142=1, 9158=1, 9339=1, 9571=1, 10226=1, 10318=1, 10322=1, 10452=1, 10467=1, 10534=1, 10592=1, 10626=1, 10848=1, 11241=1, 11268=1, 11429=1, 11450=1, 11599=1, 11724=1, 12032=1, 12355=1, 12407=1, 12445=1, 12622=1, 13236=1, 13306=1, 13670=1, 14404=1, 14520=1, 14568=1, 14668=1, 14686=1, 14727=1, 14980=1, 15079=1, 15204=1, 15267=1, 15354=1, 15368=1, 15411=1, 15426=1, 15591=1, 15665=1, 15765=1, 15823=1, 15930=1, 15984=1, 16137=1, 16152=1, 16322=1, 16340=1, 16645=1, 16692=1, 16777=1, 16873=1, 16972=1, 17340=1, 17553=1, 17823=1, 18153=1, 18326=1, 18377=1, 18461=1, 18467=1, 18851=1, 18962=1, 19022=1, 19050=1, 19067=1, 19179=1, 19185=1, 19343=1, 19488=1, 19633=1, 19655=1, 19664=1, 19700=1, 19884=1, 19907=1, 19948=1, 20239=1, 20285=1, 20592=1, 20748=1, 20761=1, 20954=1, 21779=1, 21903=1, 21965=1, 22116=1, 22140=1, 22302=1, 22303=1, 22305=1, 22370=1, 22667=1, 22669=1, 22740=1, 22869=1, 22878=1, 22940=1, 23001=1, 23172=1, 23238=1, 23386=1, 23436=1, 23513=1, 23727=1, 23795=1, 23807=1, 23814=1, 23838=1, 23973=1, 24141=1, 24305=1, 24352=1, 24477=1, 24517=1, 24529=1, 24533=1, 24563=1, 24587=1, 25411=1, 25535=1, 25561=1, 25596=1, 25626=1, 25637=1, 25722=1, 25833=1, 25959=1, 25978=1, 26044=1, 26355=1, 26439=1, 26453=1, 26456=1, 26475=1, 26567=1, 27014=1, 27089=1, 27146=1, 27156=1, 27168=1}
Probabilistic random walk after 1301 steps, saw 994 distinct states, run finished after 3006 ms. (steps per millisecond=0 ) properties seen :218
Running SMT prover for 27220 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:04:32] [INFO ] Computed 31 place invariants in 70 ms
[2022-05-20 18:04:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-20 18:04:58] [INFO ] After 25024ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 27220 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 163 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 179989 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 494
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=10 ) properties (out of 26726) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26712) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26703) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26699) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26693) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26688) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26682) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26679) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26677) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26675) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26673) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26668) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26668) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26667) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26664) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26662) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26661) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26660) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26659) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26658) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26657) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26655) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26654) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26653) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26653) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26652) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26651) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26650) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26647) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26647) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26646) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26645) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26644) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26642) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26641) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26640) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26640) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26640) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26639) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26638) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26636) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26635) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 26634) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26633) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26633) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26632) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26632) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26632) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26632) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 26632) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26631) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26630) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26629) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26629) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26628) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26627) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26626) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26626) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26624) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26623) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26622) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26621) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26621) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26620) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26619) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26619) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26619) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26618) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26617) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26616) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26616) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26615) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26614) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26613) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26612) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26611) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26611) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26610) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26609) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26608) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26608) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26607) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26606) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26605) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26604) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26604) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26603) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26601) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26600) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26599) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26598) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26598) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26597) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26596) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26595) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26595) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26594) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26593) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26592) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26591) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26591) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26591) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26590) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26590) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26589) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26587) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26587) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26587) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26587) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26587) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26585) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26585) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26584) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26583) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26582) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26582) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26582) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26582) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26582) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26582) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26581) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26580) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26579) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26579) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26578) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26577) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26576) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26575) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26574) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26573) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26572) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26572) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26571) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26570) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26570) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26570) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26570) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26569) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26568) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26568) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26567) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26567) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26567) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26566) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26565) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26564) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26563) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26563) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26562) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26562) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=10 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26561) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 26561) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26560) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26559) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26558) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26557) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26556) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26556) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26556) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26556) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26555) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26554) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26553) seen :0
Interrupted probabilistic random walk after 498298 steps, run timeout after 333002 ms. (steps per millisecond=1 ) properties seen :{8=1, 132=1, 266=1, 897=1, 1063=1, 1145=1, 1508=1, 1638=1, 2163=1, 2228=1, 2351=1, 2550=1, 2599=1, 3136=1, 3415=1, 3680=1, 4173=1, 4385=1, 4557=1, 4622=1, 4824=1, 4988=1, 5304=1, 5455=1, 5613=1, 5675=1, 5745=1, 5825=1, 5919=1, 5936=1, 6132=1, 6721=1, 6768=1, 6874=1, 6972=1, 7058=1, 7527=1, 7793=1, 7839=1, 8011=1, 8161=1, 8509=1, 8931=1, 9184=1, 9309=1, 9597=1, 9736=1, 9890=1, 9949=1, 9987=1, 10263=1, 11323=1, 11673=1, 11734=1, 11943=1, 11951=1, 12149=1, 12164=1, 12412=1, 12428=1, 12556=1, 12654=1, 13074=1, 13148=1, 13182=1, 13292=1, 13765=1, 14094=1, 14191=1, 14404=1, 14580=1, 14846=1, 15217=1, 15327=1, 15454=1, 15455=1, 15500=1, 15705=1, 15844=1, 15880=1, 16440=1, 16441=1, 16565=1, 16696=1, 16772=1, 16935=1, 17208=1, 17403=1, 17414=1, 17426=1, 17671=1, 18015=1, 18269=1, 18339=1, 18363=1, 18365=1, 18718=1, 18804=1, 18849=1, 18891=1, 18959=1, 19116=1, 19725=1, 19747=1, 19834=1, 19851=1, 19995=1, 20005=1, 20707=1, 20809=1, 20958=1, 20989=1, 21133=1, 21139=1, 21175=1, 21178=1, 21421=1, 21500=1, 21553=1, 21573=1, 21672=1, 21686=1, 21765=1, 21790=1, 22058=1, 22242=1, 22313=1, 22687=1, 23283=1, 24043=1, 24065=1, 24106=1, 24133=1, 24442=1, 24444=1, 24633=1, 24689=1, 24692=1, 24831=1, 25296=1, 25990=1, 26190=1}
Probabilistic random walk after 498298 steps, saw 91229 distinct states, run finished after 333004 ms. (steps per millisecond=1 ) properties seen :142
Running SMT prover for 26411 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:12:23] [INFO ] Computed 31 place invariants in 57 ms
[2022-05-20 18:16:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-20 18:16:08] [INFO ] After 225026ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26411 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 111 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 180001 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26397) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26397) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26396) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 26394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 26394) seen :0
Interrupted probabilistic random walk after 146332 steps, run timeout after 105003 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 146332 steps, saw 31591 distinct states, run finished after 105009 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 26394 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:18:29] [INFO ] Computed 31 place invariants in 75 ms
[2022-05-20 18:22:14] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-20 18:22:14] [INFO ] After 225016ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26394 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 111 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 179995 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26371) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26370) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26369) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26368) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26368) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26367) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26366) seen :0
Interrupted probabilistic random walk after 181096 steps, run timeout after 141003 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 181096 steps, saw 37981 distinct states, run finished after 141005 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 26366 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:25:23] [INFO ] Computed 31 place invariants in 55 ms
[2022-05-20 18:29:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-20 18:29:08] [INFO ] After 225018ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 26366 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 101 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 961/961 places, 27931/27931 transitions.
Interrupted random walk after 180001 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 18
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26348) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 26347) seen :0
Interrupted probabilistic random walk after 132780 steps, run timeout after 114002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 132780 steps, saw 29189 distinct states, run finished after 114003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 26347 properties.
// Phase 1: matrix 27931 rows 961 cols
[2022-05-20 18:31:41] [INFO ] Computed 31 place invariants in 52 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-030"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-030, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r265-tall-165303551500392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-030 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;