About the Execution of LoLa+red for MultiCrashLeafsetExtension-PT-S32C05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1475.976 | 1800000.00 | 3644664.00 | 11551.40 | [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/mcc2023-input.r245-tall-167856432900572.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is MultiCrashLeafsetExtension-PT-S32C05, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-167856432900572
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 9.4K Feb 26 03:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 03:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 03:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 39K Feb 26 03:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 232K Feb 26 03:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 03:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 22M Mar 5 18:22 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 1678750313102
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C05
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-13 23:31:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 23:31:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 23:31:58] [INFO ] Load time of PNML (sax parser for PT used): 1359 ms
[2023-03-13 23:31:58] [INFO ] Transformed 20498 places.
[2023-03-13 23:31:59] [INFO ] Transformed 31713 transitions.
[2023-03-13 23:31:59] [INFO ] Parsed PT model containing 20498 places and 31713 transitions and 126502 arcs in 1858 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 20498/20498 places, 31713/31713 transitions.
Reduce places removed 46 places and 0 transitions.
Drop transitions removed 5280 transitions
Trivial Post-agglo rules discarded 5280 transitions
Performed 5280 trivial Post agglomeration. Transition count delta: 5280
Iterating post reduction 0 with 5326 rules applied. Total rules applied 5326 place count 20452 transition count 26433
Reduce places removed 5280 places and 0 transitions.
Iterating post reduction 1 with 5280 rules applied. Total rules applied 10606 place count 15172 transition count 26433
Performed 330 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 330 Pre rules applied. Total rules applied 10606 place count 15172 transition count 26103
Deduced a syphon composed of 330 places in 211 ms
Reduce places removed 330 places and 0 transitions.
Iterating global reduction 2 with 660 rules applied. Total rules applied 11266 place count 14842 transition count 26103
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 91 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 11332 place count 14809 transition count 26070
Applied a total of 11332 rules in 3819 ms. Remains 14809 /20498 variables (removed 5689) and now considering 26070/31713 (removed 5643) transitions.
[2023-03-13 23:32:03] [INFO ] Flow matrix only has 25014 transitions (discarded 1056 similar events)
// Phase 1: matrix 25014 rows 14809 cols
[2023-03-13 23:32:08] [INFO ] Computed 1497 place invariants in 4903 ms
[2023-03-13 23:32:11] [INFO ] Implicit Places using invariants in 8093 ms returned []
Implicit Place search using SMT only with invariants took 8200 ms to find 0 implicit places.
[2023-03-13 23:32:11] [INFO ] Flow matrix only has 25014 transitions (discarded 1056 similar events)
[2023-03-13 23:32:11] [INFO ] Invariant cache hit.
[2023-03-13 23:32:13] [INFO ] Dead Transitions using invariants and state equation in 2358 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 14809/20498 places, 26070/31713 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 14411 ms. Remains : 14809/20498 places, 26070/31713 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 242 resets, run finished after 1814 ms. (steps per millisecond=5 ) properties (out of 26037) seen :420
Interrupted probabilistic random walk after 3218 steps, run timeout after 6002 ms. (steps per millisecond=0 ) properties seen :{16=1, 40=1, 50=1, 62=1, 108=1, 149=1, 173=1, 199=1, 320=1, 392=1, 428=1, 462=1, 494=1, 495=1, 523=1, 524=1, 525=1, 551=1, 552=1, 576=1, 577=1, 578=1, 600=1, 601=1, 602=1, 622=1, 623=1, 624=1, 642=1, 643=1, 644=1, 660=1, 661=1, 675=1, 676=1, 677=1, 689=1, 690=1, 711=1, 741=1, 758=1, 765=1, 773=1, 783=1, 823=1, 860=1, 882=1, 906=1, 988=1, 1020=1, 1088=1, 1122=1, 1154=1, 1184=1, 1185=1, 1211=1, 1212=1, 1213=1, 1237=1, 1238=1, 1260=1, 1261=1, 1262=1, 1282=1, 1283=1, 1284=1, 1302=1, 1303=1, 1304=1, 1320=1, 1321=1, 1322=1, 1336=1, 1337=1, 1349=1, 1350=1, 1351=1, 1361=1, 1362=1, 1379=1, 1408=1, 1425=1, 1438=1, 1446=1, 1480=1, 1513=1, 1533=1, 1554=1, 1659=1, 1723=1, 1755=1, 1785=1, 1813=1, 1814=1, 1838=1, 1839=1, 1840=1, 1862=1, 1863=1, 1883=1, 1884=1, 1885=1, 1903=1, 1904=1, 1920=1, 1921=1, 1922=1, 1936=1, 1937=1, 1938=1, 1950=1, 1951=1, 1961=1, 1962=1, 1963=1, 1971=1, 1972=1, 1986=1, 2031=1, 2044=1, 2051=1, 2079=1, 2108=1, 2126=1, 2146=1, 2243=1, 2303=1, 2333=1, 2361=1, 2387=1, 2388=1, 2410=1, 2411=1, 2412=1, 2432=1, 2433=1, 2434=1, 2452=1, 2453=1, 2454=1, 2470=1, 2471=1, 2472=1, 2486=1, 2487=1, 2488=1, 2500=1, 2501=1, 2502=1, 2512=1, 2513=1, 2521=1, 2522=1, 2523=1, 2529=1, 2530=1, 2543=1, 2572=1, 2589=1, 2602=1, 2609=1, 2632=1, 2657=1, 2673=1, 2691=1, 2780=1, 2836=1, 2864=1, 2890=1, 2914=1, 2915=1, 2935=1, 2936=1, 2937=1, 2955=1, 2956=1, 2957=1, 2973=1, 2974=1, 2975=1, 2989=1, 2990=1, 2991=1, 3003=1, 3004=1, 3005=1, 3015=1, 3016=1, 3017=1, 3025=1, 3026=1, 3032=1, 3033=1, 3034=1, 3039=1, 3040=1, 3053=1, 3097=1, 3110=1, 3117=1, 3124=1, 3138=1, 3159=1, 3173=1, 3189=1, 3270=1, 3321=1, 3347=1, 3371=1, 3393=1, 3394=1, 3412=1, 3413=1, 3414=1, 3430=1, 3431=1, 3445=1, 3446=1, 3447=1, 3459=1, 3460=1, 3461=1, 3471=1, 3472=1, 3473=1, 3481=1, 3482=1, 3483=1, 3489=1, 3490=1, 3495=1, 3496=1, 3497=1, 3502=1, 3503=1, 3516=1, 3561=1, 3574=1, 3581=1, 3588=1, 3601=1, 3618=1, 3630=1, 3644=1, 3717=1, 3765=1, 3789=1, 3811=1, 3831=1, 3832=1, 3848=1, 3849=1, 3850=1, 3864=1, 3865=1, 3877=1, 3878=1, 3879=1, 3889=1, 3890=1, 3891=1, 3899=1, 3900=1, 3901=1, 3907=1, 3908=1, 3909=1, 3914=1, 3915=1, 3920=1, 3921=1, 3922=1, 3927=1, 3928=1, 3941=1, 3970=1, 3987=1, 4000=1, 4007=1, 4014=1, 4040=1, 4050=1, 4062=1, 4126=1, 4169=1, 4191=1, 4211=1, 4229=1, 4230=1, 4244=1, 4245=1, 4246=1, 4258=1, 4259=1, 4260=1, 4270=1, 4271=1, 4272=1, 4280=1, 4281=1, 4287=1, 4288=1, 4289=1, 4294=1, 4295=1, 4296=1, 4301=1, 4302=1, 4307=1, 4308=1, 4309=1, 4314=1, 4315=1, 4328=1, 4357=1, 4374=1, 4387=1, 4394=1, 4401=1, 4420=1, 4427=1, 4435=1, 4445=1, 4485=1, 4503=1, 4523=1, 4544=1, 4564=1, 4582=1, 4598=1, 4599=1, 4611=1, 4612=1, 4613=1, 4623=1, 4624=1, 4632=1, 4633=1, 4634=1, 4640=1, 4641=1, 4642=1, 4647=1, 4648=1, 4649=1, 4654=1, 4655=1, 4656=1, 4661=1, 4662=1, 4663=1, 4668=1, 4669=1, 4670=1, 4675=1, 4676=1, 4689=1, 4718=1, 4735=1, 4748=1, 4755=1, 4762=1, 4781=1, 4793=1, 4801=1, 4835=1, 4851=1, 4886=1, 4904=1, 4920=1, 4934=1, 4935=1, 4945=1, 4946=1, 4947=1, 4955=1, 4956=1, 4962=1, 4963=1, 4964=1, 4969=1, 4970=1, 4971=1, 4976=1, 4977=1, 4978=1, 4983=1, 4984=1, 4985=1, 4990=1, 4991=1, 4996=1, 4997=1, 4998=1, 5003=1, 5004=1, 5017=1, 5046=1, 5063=1, 5076=1, 5083=1, 5090=1, 5109=1, 5122=1, 5129=1, 5170=1, 5202=1, 5218=1, 5232=1, 5244=1, 5245=1, 5253=1, 5254=1, 5255=1, 5261=1, 5262=1, 5267=1, 5268=1, 5269=1, 5274=1, 5275=1, 5276=1, 5281=1, 5282=1, 5283=1, 5288=1, 5289=1, 5290=1, 5295=1, 5296=1, 5301=1, 5302=1, 5303=1, 5308=1, 5309=1, 5322=1, 5351=1, 5368=1, 5381=1, 5388=1, 5395=1, 5414=1, 5427=1, 5434=1, 5441=1, 5469=1, 5497=1, 5511=1, 5523=1, 5533=1, 5539=1, 5540=1, 5541=1, 5546=1, 5547=1, 5552=1, 5553=1, 5554=1, 5559=1, 5560=1, 5561=1, 5566=1, 5567=1, 5568=1, 5573=1, 5574=1, 5575=1, 5580=1, 5581=1, 5586=1, 5587=1, 5592=1, 5593=1, 5606=1, 5651=1, 5664=1, 5671=1, 5678=1, 5697=1, 5710=1, 5716=1, 5723=1, 5746=1, 5770=1, 5782=1, 5792=1, 5800=1, 5801=1, 5806=1, 5807=1, 5808=1, 5813=1, 5814=1, 5819=1, 5820=1, 5821=1, 5826=1, 5827=1, 5828=1, 5833=1, 5834=1, 5835=1, 5840=1, 5841=1, 5842=1, 5847=1, 5848=1, 5853=1, 5854=1, 5855=1, 5860=1, 5861=1, 5873=1, 5902=1, 5919=1, 5932=1, 5939=1, 5946=1, 5965=1, 5978=1, 5985=1, 5992=1, 5999=1, 6013=1, 6033=1, 6043=1, 6051=1, 6058=1, 6059=1, 6064=1, 6065=1, 6066=1, 6071=1, 6072=1, 6077=1, 6078=1, 6079=1, 6084=1, 6085=1, 6086=1, 6091=1, 6092=1, 6093=1, 6098=1, 6099=1, 6100=1, 6105=1, 6106=1, 6107=1, 6112=1, 6113=1, 6114=1, 6119=1, 6120=1, 6133=1, 6162=1, 6179=1, 6192=1, 6199=1, 6206=1, 6212=1, 6225=1, 6238=1, 6245=1, 6252=1, 6271=1, 6287=1, 6295=1, 6302=1, 6309=1, 6314=1, 6315=1, 6316=1, 6321=1, 6322=1, 6327=1, 6328=1, 6329=1, 6334=1, 6335=1, 6336=1, 6341=1, 6342=1, 6343=1, 6348=1, 6349=1, 6350=1, 6355=1, 6356=1, 6357=1, 6362=1, 6363=1, 6364=1, 6369=1, 6370=1, 6383=1, 6428=1, 6441=1, 6448=1, 6455=1, 6474=1, 6487=1, 6494=1, 6501=1, 6531=1, 6538=1, 6545=1, 6552=1, 6553=1, 6558=1, 6559=1, 6560=1, 6565=1, 6566=1, 6571=1, 6572=1, 6573=1, 6578=1, 6579=1, 6580=1, 6585=1, 6586=1, 6587=1, 6592=1, 6593=1, 6594=1, 6599=1, 6600=1, 6605=1, 6606=1, 6607=1, 6612=1, 6613=1, 6626=1, 6671=1, 6684=1, 6691=1, 6698=1, 6717=1, 6730=1, 6737=1, 6744=1, 6769=1, 6776=1, 6783=1, 6790=1, 6797=1, 6798=1, 6803=1, 6804=1, 6805=1, 6810=1, 6811=1, 6816=1, 6817=1, 6818=1, 6823=1, 6824=1, 6825=1, 6830=1, 6831=1, 6832=1, 6837=1, 6838=1, 6839=1, 6844=1, 6845=1, 6850=1, 6851=1, 6852=1, 6857=1, 6858=1, 6871=1, 6900=1, 6917=1, 6930=1, 6937=1, 6944=1, 6962=1, 6975=1, 6982=1, 6989=1, 7014=1, 7027=1, 7034=1, 7041=1, 7042=1, 7047=1, 7048=1, 7049=1, 7054=1, 7055=1, 7060=1, 7061=1, 7062=1, 7067=1, 7068=1, 7069=1, 7074=1, 7075=1, 7076=1, 7081=1, 7082=1, 7083=1, 7088=1, 7093=1, 7094=1, 7095=1, 7100=1, 7101=1, 7114=1, 7143=1, 7160=1, 7173=1, 7180=1, 7187=1, 7206=1, 7219=1, 7226=1, 7233=1, 7258=1, 7274=1, 7282=1, 7289=1, 7290=1, 7295=1, 7296=1, 7297=1, 7302=1, 7303=1, 7308=1, 7309=1, 7310=1, 7315=1, 7316=1, 7317=1, 7322=1, 7323=1, 7324=1, 7329=1, 7330=1, 7331=1, 7336=1, 7337=1, 7342=1, 7343=1, 7344=1, 7349=1, 7350=1, 7363=1, 7392=1, 7409=1, 7422=1, 7429=1, 7436=1, 7455=1, 7468=1, 7475=1, 7482=1, 7508=1, 7528=1, 7538=1, 7546=1, 7547=1, 7552=1, 7553=1, 7554=1, 7559=1, 7560=1, 7565=1, 7566=1, 7567=1, 7572=1, 7573=1, 7574=1, 7579=1, 7580=1, 7581=1, 7586=1, 7587=1, 7588=1, 7593=1, 7594=1, 7599=1, 7600=1, 7601=1, 7606=1, 7607=1, 7620=1, 7649=1, 7666=1, 7679=1, 7686=1, 7693=1, 7712=1, 7725=1, 7732=1, 7739=1, 7768=1, 7792=1, 7804=1, 7814=1, 7822=1, 7823=1, 7828=1, 7829=1, 7834=1, 7835=1, 7836=1, 7841=1, 7842=1, 7843=1, 7848=1, 7849=1, 7850=1, 7855=1, 7856=1, 7857=1, 7862=1, 7863=1, 7868=1, 7869=1, 7870=1, 7875=1, 7876=1, 7889=1, 7918=1, 7935=1, 7948=1, 7955=1, 7962=1, 7980=1, 7993=1, 8000=1, 8007=1, 8041=1, 8069=1, 8083=1, 8095=1, 8105=1, 8106=1, 8112=1, 8113=1, 8118=1, 8119=1, 8120=1, 8125=1, 8126=1, 8127=1, 8132=1, 8133=1, 8134=1, 8139=1, 8140=1, 8141=1, 8146=1, 8147=1, 8152=1, 8153=1, 8154=1, 8159=1, 8160=1, 8173=1, 8218=1, 8231=1, 8238=1, 8245=1, 8264=1, 8277=1, 8284=1, 8291=1, 8332=1, 8364=1, 8380=1, 8394=1, 8406=1, 8407=1, 8415=1, 8416=1, 8417=1, 8423=1, 8424=1, 8425=1, 8430=1, 8431=1, 8432=1, 8437=1, 8438=1, 8439=1, 8444=1, 8445=1, 8446=1, 8451=1, 8452=1, 8457=1, 8458=1, 8459=1, 8464=1, 8465=1, 8478=1, 8523=1, 8536=1, 8543=1, 8550=1, 8563=1, 8570=1, 8583=1, 8590=1, 8598=1, 8647=1, 8683=1, 8701=1, 8717=1, 8731=1, 8732=1, 8742=1, 8743=1, 8744=1, 8752=1, 8753=1, 8759=1, 8760=1, 8761=1, 8766=1, 8767=1, 8768=1, 8773=1, 8774=1, 8775=1, 8780=1, 8781=1, 8786=1, 8787=1, 8788=1, 8793=1, 8794=1, 8807=1, 8851=1, 8864=1, 8871=1, 8878=1, 8897=1, 8910=1, 8918=1, 8928=1, 8985=1, 9025=1, 9045=1, 9063=1, 9064=1, 9078=1, 9079=1, 9080=1, 9092=1, 9093=1, 9094=1, 9104=1, 9105=1, 9113=1, 9114=1, 9115=1, 9121=1, 9122=1, 9123=1, 9128=1, 9129=1, 9130=1, 9135=1, 9136=1, 9141=1, 9142=1, 9143=1, 9148=1, 9149=1, 9162=1, 9190=1, 9207=1, 9220=1, 9227=1, 9234=1, 9253=1, 9260=1, 9268=1, 9278=1, 9290=1, 9355=1, 9399=1, 9421=1, 9441=1, 9442=1, 9458=1, 9459=1, 9460=1, 9474=1, 9475=1, 9476=1, 9488=1, 9489=1, 9499=1, 9500=1, 9501=1, 9509=1, 9510=1, 9511=1, 9517=1, 9518=1, 9519=1, 9524=1, 9525=1, 9530=1, 9531=1, 9532=1, 9537=1, 9538=1, 9551=1, 9580=1, 9597=1, 9610=1, 9617=1, 9624=1, 9643=1, 9660=1, 9672=1, 9686=1, 9759=1, 9807=1, 9831=1, 9853=1, 9854=1, 9872=1, 9873=1, 9874=1, 9890=1, 9891=1, 9892=1, 9906=1, 9907=1, 9919=1, 9920=1, 9921=1, 9931=1, 9932=1, 9933=1, 9941=1, 9942=1, 9943=1, 9949=1, 9950=1, 9955=1, 9956=1, 9957=1, 9962=1, 9963=1, 9976=1, 9983=1, 10006=1, 10023=1, 10036=1, 10043=1, 10050=1, 10070=1, 10091=1, 10105=1, 10121=1, 10139=1, 10203=1, 10255=1, 10281=1, 10305=1, 10306=1, 10326=1, 10327=1, 10328=1, 10346=1, 10347=1, 10348=1, 10364=1, 10365=1, 10366=1, 10380=1, 10381=1, 10382=1, 10394=1, 10395=1, 10396=1, 10406=1, 10407=1, 10408=1, 10416=1, 10417=1, 10418=1, 10424=1, 10425=1, 10426=1, 10431=1, 10432=1, 10445=1, 10490=1, 10502=1, 10509=1, 10516=1, 10530=1, 10540=1, 10565=1, 10581=1, 10599=1, 10687=1, 10715=1, 10744=1, 10772=1, 10798=1, 10799=1, 10821=1, 10822=1, 10823=1, 10843=1, 10844=1, 10845=1, 10863=1, 10864=1, 10880=1, 10881=1, 10882=1, 10896=1, 10897=1, 10898=1, 10910=1, 10911=1, 10912=1, 10922=1, 10923=1, 10924=1, 10932=1, 10933=1, 10939=1, 10940=1, 10941=1, 10945=1, 10953=1, 10982=1, 10999=1, 11011=1, 11018=1, 11025=1, 11053=1, 11082=1, 11100=1, 11120=1, 11217=1, 11277=1, 11307=1, 11335=1, 11361=1, 11385=1, 11426=1, 11444=1, 11460=1, 11474=1, 11495=1, 11503=1, 11506=1, 11509=1, 11554=1, 11567=1, 11574=1, 11582=1, 11603=1, 11617=1, 11650=1, 11670=1, 11692=1, 11797=1, 11861=1, 11893=1, 11923=1, 11951=1, 11977=1, 12022=1, 12042=1, 12060=1, 12076=1, 12101=1, 12111=1, 12119=1, 12120=1, 12122=1, 12148=1, 12165=1, 12178=1, 12186=1, 12196=1, 12208=1, 12237=1, 12274=1, 12296=1, 12320=1, 12433=1, 12501=1, 12535=1, 12567=1, 12597=1, 12625=1, 12674=1, 12696=1, 12716=1, 12734=1, 12750=1, 12764=1, 12776=1, 12793=1, 12794=1, 12832=1, 12846=1, 12856=1, 12868=1, 12914=1, 12955=1, 12979=1, 13005=1, 13126=1, 13162=1, 13199=1, 13235=1, 13269=1, 13301=1, 13331=1, 13384=1, 13408=1, 13430=1, 13450=1, 13483=1, 13497=1, 13518=1, 13715=1, 13746=1, 13749=1, 13779=1, 13811=1, 13815=1, 13816=1, 13817=1, 13818=1, 13819=1, 13820=1, 13821=1, 13822=1, 13823=1, 13824=1, 13825=1, 13826=1, 13827=1, 13828=1, 13829=1, 13830=1, 13831=1, 13832=1, 13833=1, 13834=1, 13835=1, 13836=1, 13837=1, 13838=1, 13839=1, 13840=1, 13841=1, 13842=1, 13843=1, 13844=1, 13993=1, 13996=1, 13997=1, 13998=1, 14000=1, 14001=1, 14004=1, 14005=1, 14006=1, 14154=1, 14156=1, 14157=1, 14158=1, 14160=1, 14161=1, 14162=1, 14165=1, 14167=1, 14313=1, 14316=1, 14318=1, 14320=1, 14321=1, 14323=1, 14325=1, 14327=1, 14328=1, 14474=1, 14476=1, 14477=1, 14478=1, 14479=1, 14481=1, 14486=1, 14487=1, 14488=1, 14634=1, 14635=1, 14638=1, 14640=1, 14641=1, 14642=1, 14643=1, 14645=1, 14646=1, 14794=1, 14795=1, 14796=1, 14798=1, 14799=1, 14802=1, 14803=1, 14804=1, 14808=1, 14953=1, 14954=1, 14957=1, 14958=1, 14961=1, 14962=1, 14964=1, 14965=1, 14966=1, 15115=1, 15116=1, 15118=1, 15120=1, 15121=1, 15122=1, 15124=1, 15125=1, 15128=1, 15274=1, 15275=1, 15277=1, 15278=1, 15279=1, 15281=1, 15284=1, 15287=1, 15288=1, 15433=1, 15435=1, 15436=1, 15438=1, 15440=1, 15441=1, 15443=1, 15446=1, 15448=1, 15594=1, 15595=1, 15597=1, 15599=1, 15600=1, 15602=1, 15605=1, 15606=1, 15608=1, 15752=1, 15754=1, 15756=1, 15759=1, 15761=1, 15762=1, 15763=1, 15765=1, 15767=1, 15912=1, 15915=1, 15917=1, 15918=1, 15920=1, 15921=1, 15922=1, 15925=1, 15927=1, 16072=1, 16073=1, 16074=1, 16077=1, 16078=1, 16079=1, 16081=1, 16084=1, 16085=1, 16232=1, 16233=1, 16236=1, 16237=1, 16238=1, 16240=1, 16242=1, 16243=1, 16245=1, 16391=1, 16394=1, 16395=1, 16398=1, 16399=1, 16400=1, 16402=1, 16404=1, 16405=1, 16552=1, 16555=1, 16556=1, 16559=1, 16560=1, 16561=1, 16563=1, 16565=1, 16566=1, 16711=1, 16712=1, 16714=1, 16717=1, 16718=1, 16721=1, 16722=1, 16723=1, 16725=1, 16870=1, 16871=1, 16874=1, 16875=1, 16876=1, 16878=1, 16881=1, 16882=1, 16885=1, 17031=1, 17032=1, 17033=1, 17036=1, 17038=1, 17039=1, 17042=1, 17044=1, 17045=1, 17191=1, 17194=1, 17196=1, 17197=1, 17200=1, 17202=1, 17203=1, 17205=1, 17349=1, 17352=1, 17354=1, 17356=1, 17357=1, 17359=1, 17362=1, 17363=1, 17510=1, 17512=1, 17513=1, 17515=1, 17518=1, 17520=1, 17523=1, 17524=1, 17669=1, 17672=1, 17675=1, 17676=1, 17678=1, 17679=1, 17681=1, 17683=1, 17829=1, 17830=1, 17831=1, 17833=1, 17837=1, 17840=1, 17841=1, 17843=1, 17990=1, 17991=1, 17993=1, 17994=1, 17995=1, 17998=1, 17999=1, 18002=1, 18003=1, 18147=1, 18148=1, 18149=1, 18153=1, 18155=1, 18156=1, 18157=1, 18159=1, 18160=1, 18309=1, 18310=1, 18313=1, 18315=1, 18316=1, 18317=1, 18318=1, 18320=1, 18321=1, 18447=1, 18467=1, 18468=1, 18469=1, 18471=1, 18473=1, 18474=1, 18475=1, 18476=1, 18478=1, 18568=1, 18697=1, 18823=1}
Probabilistic random walk after 3218 steps, saw 1628 distinct states, run finished after 6010 ms. (steps per millisecond=0 ) properties seen :1528
Running SMT prover for 24089 properties.
[2023-03-13 23:32:23] [INFO ] Flow matrix only has 25014 transitions (discarded 1056 similar events)
[2023-03-13 23:32:23] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 23:32:49] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 23:32:49] [INFO ] After 25186ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 24089 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 14185 out of 14809 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 14809/14809 places, 26070/26070 transitions.
Discarding 227 places :
Symmetric choice reduction at 0 with 227 rule applications. Total rules 227 place count 14582 transition count 25843
Iterating global reduction 0 with 227 rules applied. Total rules applied 454 place count 14582 transition count 25843
Applied a total of 454 rules in 898 ms. Remains 14582 /14809 variables (removed 227) and now considering 25843/26070 (removed 227) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 900 ms. Remains : 14582/14809 places, 25843/26070 transitions.
Interrupted random walk after 179989 steps, including 4353 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1849
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22240) seen :20
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22220) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22208) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22196) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 22189) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22176) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22165) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22161) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22160) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22158) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22151) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22148) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22145) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22141) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22133) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22129) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22126) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22125) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22122) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22115) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22110) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22107) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22103) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22099) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22095) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22091) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22083) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22082) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22081) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 22080) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 22065) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 22048) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 22032) seen :20
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 22012) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21998) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21981) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21969) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21952) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21942) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21929) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21914) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21897) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21884) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21871) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21860) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21850) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21834) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21818) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21803) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21788) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21780) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21768) seen :18
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21750) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21739) seen :19
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21720) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21707) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21690) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21674) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21659) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21648) seen :19
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21629) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21621) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21607) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21594) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21582) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21570) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21556) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21544) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21531) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21516) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21504) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21492) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21481) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21468) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21455) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21438) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21425) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 21411) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21398) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21381) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21373) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21361) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21353) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21347) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21332) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21320) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21308) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21301) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21289) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21275) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21260) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21251) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21238) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21224) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21215) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21203) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21192) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21178) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21168) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21159) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21147) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21134) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21123) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21113) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21103) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21094) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 21082) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21070) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21060) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21043) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 21029) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21019) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 21007) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20996) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20990) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20976) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20966) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20956) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20943) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20933) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20924) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20915) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20904) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20900) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20888) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20875) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20867) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20853) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20840) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20827) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20817) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20805) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20792) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20777) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20765) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20753) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20746) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20732) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20719) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20712) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20703) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20697) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20690) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20679) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20670) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 20662) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20654) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20640) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20628) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20619) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20612) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20604) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20596) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20591) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20579) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20570) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20561) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20555) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20546) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20540) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20528) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20518) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20513) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20506) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20496) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20484) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20474) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20463) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20451) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20440) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20439) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20427) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20416) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20403) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20394) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20382) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20375) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20367) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20356) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20340) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20325) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20321) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20311) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20303) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20295) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20290) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20281) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 20275) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20271) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20261) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20249) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20242) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20236) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20229) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20216) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20203) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20189) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20174) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20163) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20148) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20134) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20126) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20114) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20103) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 20089) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20080) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 20067) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20051) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20034) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 20020) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 20007) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19997) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19985) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19969) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19960) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19946) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19939) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19926) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19921) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19909) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19898) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19882) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19871) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19860) seen :21
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19839) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19832) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19819) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19809) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19803) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19790) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19777) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19766) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19757) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19740) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19725) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19718) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19703) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19686) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19680) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19671) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19665) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19660) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19649) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19642) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19631) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19623) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19607) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19601) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19586) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19579) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19568) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19558) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19546) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19533) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19522) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19508) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19501) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19491) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19475) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19465) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19455) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19448) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19443) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19435) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19429) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19415) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19408) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19399) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19390) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19378) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19372) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19362) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19356) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19345) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19336) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19323) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19310) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19300) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19291) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19283) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19277) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19262) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19253) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19243) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19234) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19218) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19208) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19198) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19188) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19176) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19169) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19158) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19149) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19141) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19129) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19125) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19116) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19106) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19098) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19088) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19079) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19073) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19064) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19056) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19048) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19041) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19032) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19024) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19020) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19009) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19002) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18995) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18986) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18983) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18975) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18967) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18955) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18943) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18933) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18924) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18916) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18909) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18897) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18891) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18882) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18877) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18861) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18854) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18847) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 18839) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18834) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18827) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18817) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18814) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18806) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18804) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18795) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18787) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18780) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18772) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18767) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18756) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18751) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18748) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18741) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18733) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18725) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18714) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18708) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18702) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18696) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18688) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18683) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18677) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18670) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18662) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18656) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18650) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18642) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18633) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18630) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18626) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18617) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18611) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18600) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18592) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18584) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18576) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18568) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18559) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18556) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18550) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18543) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18536) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18527) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18522) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18514) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18509) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18500) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18491) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18488) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18483) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18480) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18475) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18471) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18462) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18459) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18453) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18448) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18440) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18429) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18424) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18419) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18409) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18404) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18402) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18394) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18388) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18382) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18376) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18375) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18367) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18363) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18356) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18349) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18341) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18335) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18330) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18324) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18319) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18317) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18311) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18308) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 18301) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 18296) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18288) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 18281) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18274) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18269) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18262) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18251) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18246) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 18244) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18238) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18234) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18231) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 18224) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18220) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18218) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 18211) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18209) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 18202) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18194) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18186) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18184) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18177) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 18173) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18168) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18159) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18159) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18153) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18147) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18145) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18137) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18135) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 18134) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18125) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18117) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18112) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 18108) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 18103) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 18095) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18091) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 18087) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18084) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18076) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18069) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18063) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 18058) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 18054) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 18049) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18046) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 18042) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18036) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 18033) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18028) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18020) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18017) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 18012) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 18009) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 18002) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17989) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17983) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17978) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17972) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17967) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 17961) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17954) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17952) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17952) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17943) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17935) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17927) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17920) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17917) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17908) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17907) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17902) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 17895) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17889) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17880) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17876) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17874) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17866) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17865) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17855) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17851) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17847) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17841) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17838) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17834) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17831) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17823) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17815) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17811) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17807) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17804) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17795) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17786) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17782) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17780) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17777) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17767) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17763) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17754) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17749) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17745) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17744) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17742) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17735) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17733) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17728) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17726) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17722) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17718) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17714) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17704) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17701) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17695) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 17693) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17690) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17685) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17683) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17678) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17675) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17671) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17671) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17667) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17663) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17654) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17651) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17648) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17643) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17635) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17632) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17631) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17626) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17621) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17619) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17615) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17613) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17601) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 17598) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 17592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17592) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17587) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17584) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17578) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17576) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17574) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17570) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17568) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17563) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17563) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17561) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17558) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17553) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17545) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17545) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17543) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17541) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17539) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17537) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17537) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17533) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17531) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17527) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17525) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17525) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17524) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17524) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17520) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17520) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17520) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 17520) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17513) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17509) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17507) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17505) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17502) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17497) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17494) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17490) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17485) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17477) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17472) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17471) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17463) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17461) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17454) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17452) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17449) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 17444) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17441) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17440) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17438) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17435) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17433) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17433) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17433) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17427) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17425) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17421) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17417) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17410) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17406) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17398) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17395) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17395) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17392) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 17389) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17386) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17379) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17376) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17375) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17370) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17367) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17361) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17356) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17355) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17352) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17346) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17343) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17336) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17333) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17331) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17329) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17325) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17323) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17320) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17317) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17312) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17310) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17307) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17301) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17299) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17296) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17291) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17289) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17288) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17286) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17285) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17282) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17276) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17272) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17270) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17265) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17258) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17257) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17256) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17253) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17252) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17250) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 17249) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17247) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17245) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17242) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17240) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17239) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17237) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17233) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17227) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17225) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 17223) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17216) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17212) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17206) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17204) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17199) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17198) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17194) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17185) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17182) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17180) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17174) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17173) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17169) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17163) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17161) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17157) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17154) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 17148) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17143) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17140) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 17137) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17129) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17127) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 17121) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 17119) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 17116) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17115) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17109) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 17107) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17103) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17100) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17098) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17097) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17096) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 17093) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17090) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17089) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 17088) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17083) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17080) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17078) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17073) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17071) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17069) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17068) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 17066) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17062) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17058) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17056) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 17051) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17048) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17039) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17034) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17029) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17028) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17025) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17023) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17019) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 17018) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17018) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17018) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 17012) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17007) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17003) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17001) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17001) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16993) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16991) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16988) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16986) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16985) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16984) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16982) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16981) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16978) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16972) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16968) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 16966) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16963) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 16954) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16954) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16951) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16950) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16944) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16942) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16936) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16931) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16928) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16925) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16920) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16915) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16912) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16909) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16903) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16903) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16900) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16898) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16894) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16888) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16885) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16883) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16880) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16878) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16875) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16870) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16867) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16863) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16859) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16857) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16854) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16852) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16849) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16844) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16843) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16839) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16837) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16833) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16828) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16827) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16823) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16822) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16821) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16821) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16816) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16814) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16811) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16808) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16808) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16803) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16800) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16796) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 16794) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16794) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16790) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16789) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16788) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16786) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16785) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16785) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16782) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16780) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16777) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16777) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16774) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16772) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16766) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16764) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16759) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16755) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16751) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16750) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16750) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16748) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16748) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 16745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16745) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16742) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 16739) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16739) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16735) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16732) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16729) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16729) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16727) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16726) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16720) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16720) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16719) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16718) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16715) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16711) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16710) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16710) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16710) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16707) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16704) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16704) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16702) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16701) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16699) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16699) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16697) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16697) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16694) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16694) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16690) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16687) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16687) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16685) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16682) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16682) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16675) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16671) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16671) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16670) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16666) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16664) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16660) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16656) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16652) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16651) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16647) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16643) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16639) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16635) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16633) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16632) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16631) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16627) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16625) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16624) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16622) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16620) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16618) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16618) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16616) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16613) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16609) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16607) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16607) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 16606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16606) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 16603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16603) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16597) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16597) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16595) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16594) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16591) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16591) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16589) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16584) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16582) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16581) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16575) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16573) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16572) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16569) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16566) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16564) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16560) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16557) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16552) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16550) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16548) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16544) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16542) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16539) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16538) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16535) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16534) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16532) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16531) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16531) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16531) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16531) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16529) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16527) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16525) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16525) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16523) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16521) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16520) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16520) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16519) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16517) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16517) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16516) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16515) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16515) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16514) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16514) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16513) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16510) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16507) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16507) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16506) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16504) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16498) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16496) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16494) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16494) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16489) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16489) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16487) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16486) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16486) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16484) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16483) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16482) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16482) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16481) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16480) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16480) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16476) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16474) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16473) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16469) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16467) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16466) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16466) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16466) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16466) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16466) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16463) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16461) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 16461) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16459) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16456) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16456) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16454) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16450) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16448) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16448) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 16447) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16447) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16445) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16442) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16439) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16437) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16435) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16433) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16433) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16432) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16432) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16429) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16429) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16427) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16425) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16421) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16421) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16419) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16419) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16419) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16418) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16416) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16412) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16410) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16408) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16406) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16404) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16402) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16401) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16400) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16396) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16394) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16392) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16392) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16390) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16386) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16384) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16382) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16375) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16374) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16369) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16367) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16366) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16365) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16363) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16361) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16360) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16359) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16357) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16352) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16351) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16349) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16349) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16349) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16349) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16346) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16345) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16343) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16341) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16338) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16336) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16332) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16330) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 16329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16329) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16327) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16324) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16320) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16316) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16313) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16311) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16309) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16306) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16305) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16303) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16301) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16298) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16295) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16293) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16291) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16287) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 16286) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16284) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16284) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16280) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16276) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 16276) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16276) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16275) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16273) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16272) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 16267) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 16266) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16265) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 16261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16261) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16260) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16260) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16258) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16257) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16253) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16252) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 16249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16249) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16247) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16246) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16245) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16245) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16241) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16239) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16238) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16237) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16236) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16235) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16233) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16231) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 16226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16226) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 16225) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 16224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 16224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16224) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16223) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16223) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16223) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16221) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16220) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16219) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16217) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 16216) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16214) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16212) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16210) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16208) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16207) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16205) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16204) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16199) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 16196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16196) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16194) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16192) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16188) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16186) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16185) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16183) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16181) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16180) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16179) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16177) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16177) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16176) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16175) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16175) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16175) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16175) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16173) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16171) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16171) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16170) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16168) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16168) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16166) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16166) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16166) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16166) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16166) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16164) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16162) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 16160) seen :1
========== file over 1MB has been truncated ======
retrieve it from the run archives if needed
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C05"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is MultiCrashLeafsetExtension-PT-S32C05, 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 r245-tall-167856432900572"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C05.tgz
mv MultiCrashLeafsetExtension-PT-S32C05 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 ;