About the Execution of LoLa+red for MultiCrashLeafsetExtension-PT-S24C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12938.787 | 1800000.00 | 3042342.00 | 15931.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r245-tall-167856432900537.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-S24C09, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-167856432900537
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 11K Feb 26 03:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 03:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 03:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 03:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 03:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 03:33 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 16M 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 1678739368456
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-S24C09
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-13 20:29:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 20:29:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:29:35] [INFO ] Load time of PNML (sax parser for PT used): 1828 ms
[2023-03-13 20:29:35] [INFO ] Transformed 16538 places.
[2023-03-13 20:29:36] [INFO ] Transformed 24169 transitions.
[2023-03-13 20:29:36] [INFO ] Parsed PT model containing 16538 places and 24169 transitions and 90398 arcs in 2447 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 16538/16538 places, 24169/24169 transitions.
Reduce places removed 46 places and 0 transitions.
Drop transitions removed 5400 transitions
Trivial Post-agglo rules discarded 5400 transitions
Performed 5400 trivial Post agglomeration. Transition count delta: 5400
Iterating post reduction 0 with 5446 rules applied. Total rules applied 5446 place count 16492 transition count 18769
Reduce places removed 5400 places and 0 transitions.
Iterating post reduction 1 with 5400 rules applied. Total rules applied 10846 place count 11092 transition count 18769
Performed 450 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 450 Pre rules applied. Total rules applied 10846 place count 11092 transition count 18319
Deduced a syphon composed of 450 places in 145 ms
Reduce places removed 450 places and 0 transitions.
Iterating global reduction 2 with 900 rules applied. Total rules applied 11746 place count 10642 transition count 18319
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 35 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 11796 place count 10617 transition count 18294
Applied a total of 11796 rules in 3717 ms. Remains 10617 /16538 variables (removed 5921) and now considering 18294/24169 (removed 5875) transitions.
[2023-03-13 20:29:40] [INFO ] Flow matrix only has 17694 transitions (discarded 600 similar events)
// Phase 1: matrix 17694 rows 10617 cols
[2023-03-13 20:29:42] [INFO ] Computed 1145 place invariants in 2677 ms
[2023-03-13 20:29:46] [INFO ] Implicit Places using invariants in 6099 ms returned []
Implicit Place search using SMT only with invariants took 6216 ms to find 0 implicit places.
[2023-03-13 20:29:46] [INFO ] Flow matrix only has 17694 transitions (discarded 600 similar events)
[2023-03-13 20:29:46] [INFO ] Invariant cache hit.
[2023-03-13 20:29:48] [INFO ] Dead Transitions using invariants and state equation in 2580 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 10617/16538 places, 18294/24169 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 12542 ms. Remains : 10617/16538 places, 18294/24169 transitions.
Initial state reduction rules removed 25 formulas.
Incomplete random walk after 10000 steps, including 135 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 18269) seen :734
Interrupted probabilistic random walk after 4829 steps, run timeout after 6002 ms. (steps per millisecond=0 ) properties seen :{11=1, 12=1, 25=1, 27=1, 35=1, 39=1, 48=1, 54=1, 63=1, 71=1, 80=1, 90=1, 99=1, 111=1, 120=1, 134=1, 158=1, 167=1, 185=1, 194=1, 214=1, 223=1, 245=1, 254=1, 255=1, 277=1, 286=1, 316=1, 317=1, 345=1, 346=1, 372=1, 373=1, 397=1, 398=1, 419=1, 420=1, 538=1, 551=1, 552=1, 561=1, 563=1, 572=1, 576=1, 585=1, 591=1, 600=1, 608=1, 617=1, 627=1, 647=1, 656=1, 670=1, 694=1, 703=1, 721=1, 749=1, 758=1, 778=1, 785=1, 813=1, 814=1, 840=1, 841=1, 865=1, 866=1, 888=1, 889=1, 908=1, 909=1, 1015=1, 1028=1, 1029=1, 1038=1, 1039=1, 1048=1, 1050=1, 1059=1, 1063=1, 1072=1, 1078=1, 1087=1, 1095=1, 1104=1, 1114=1, 1123=1, 1135=1, 1144=1, 1158=1, 1167=1, 1183=1, 1192=1, 1210=1, 1219=1, 1220=1, 1245=1, 1271=1, 1272=1, 1296=1, 1297=1, 1319=1, 1320=1, 1340=1, 1341=1, 1358=1, 1359=1, 1456=1, 1457=1, 1470=1, 1477=1, 1478=1, 1487=1, 1488=1, 1498=1, 1506=1, 1510=1, 1518=1, 1524=1, 1533=1, 1541=1, 1550=1, 1560=1, 1569=1, 1581=1, 1590=1, 1604=1, 1613=1, 1629=1, 1638=1, 1639=1, 1655=1, 1663=1, 1687=1, 1688=1, 1709=1, 1710=1, 1730=1, 1731=1, 1749=1, 1750=1, 1765=1, 1766=1, 1856=1, 1869=1, 1870=1, 1879=1, 1888=1, 1889=1, 1898=1, 1907=1, 1909=1, 1918=1, 1922=1, 1931=1, 1937=1, 1945=1, 1961=1, 1971=1, 1980=1, 1992=1, 2001=1, 2015=1, 2024=1, 2025=1, 2039=1, 2048=1, 2070=1, 2071=1, 2091=1, 2092=1, 2110=1, 2111=1, 2127=1, 2128=1, 2141=1, 2142=1, 2227=1, 2239=1, 2240=1, 2249=1, 2250=1, 2259=1, 2260=1, 2269=1, 2270=1, 2279=1, 2280=1, 2289=1, 2291=1, 2300=1, 2304=1, 2313=1, 2319=1, 2328=1, 2336=1, 2354=1, 2363=1, 2375=1, 2384=1, 2396=1, 2405=1, 2425=1, 2426=1, 2444=1, 2460=1, 2461=1, 2474=1, 2475=1, 2486=1, 2487=1, 2570=1, 2571=1, 2584=1, 2585=1, 2594=1, 2595=1, 2604=1, 2605=1, 2614=1, 2615=1, 2624=1, 2625=1, 2634=1, 2635=1, 2644=1, 2646=1, 2655=1, 2659=1, 2668=1, 2674=1, 2683=1, 2691=1, 2700=1, 2710=1, 2719=1, 2729=1, 2738=1, 2756=1, 2757=1, 2773=1, 2774=1, 2788=1, 2789=1, 2801=1, 2802=1, 2811=1, 2812=1, 2893=1, 2906=1, 2907=1, 2916=1, 2917=1, 2926=1, 2927=1, 2936=1, 2937=1, 2946=1, 2947=1, 2956=1, 2957=1, 2966=1, 2967=1, 2976=1, 2978=1, 2987=1, 2991=1, 3000=1, 3006=1, 3015=1, 3023=1, 3032=1, 3040=1, 3049=1, 3065=1, 3066=1, 3079=1, 3080=1, 3092=1, 3093=1, 3103=1, 3111=1, 3112=1, 3205=1, 3206=1, 3215=1, 3216=1, 3225=1, 3226=1, 3235=1, 3236=1, 3245=1, 3246=1, 3255=1, 3256=1, 3265=1, 3274=1, 3275=1, 3284=1, 3286=1, 3298=1, 3307=1, 3313=1, 3322=1, 3323=1, 3329=1, 3338=1, 3352=1, 3364=1, 3365=1, 3375=1, 3376=1, 3385=1, 3386=1, 3394=1, 3395=1, 3489=1, 3490=1, 3499=1, 3500=1, 3509=1, 3510=1, 3519=1, 3520=1, 3529=1, 3530=1, 3539=1, 3540=1, 3549=1, 3550=1, 3559=1, 3560=1, 3569=1, 3570=1, 3579=1, 3581=1, 3589=1, 3593=1, 3602=1, 3606=1, 3615=1, 3627=1, 3628=1, 3638=1, 3639=1, 3648=1, 3649=1, 3658=1, 3659=1, 3667=1, 3668=1, 3749=1, 3762=1, 3763=1, 3772=1, 3773=1, 3782=1, 3783=1, 3792=1, 3793=1, 3801=1, 3802=1, 3811=1, 3812=1, 3821=1, 3822=1, 3831=1, 3832=1, 3841=1, 3842=1, 3851=1, 3852=1, 3861=1, 3863=1, 3872=1, 3873=1, 3875=1, 3884=1, 3894=1, 3895=1, 3904=1, 3905=1, 3914=1, 3915=1, 3924=1, 3925=1, 3933=1, 3934=1, 4015=1, 4028=1, 4029=1, 4038=1, 4039=1, 4048=1, 4049=1, 4057=1, 4058=1, 4067=1, 4068=1, 4077=1, 4085=1, 4086=1, 4095=1, 4096=1, 4105=1, 4106=1, 4115=1, 4116=1, 4125=1, 4126=1, 4135=1, 4136=1, 4145=1, 4153=1, 4154=1, 4163=1, 4164=1, 4173=1, 4174=1, 4183=1, 4184=1, 4192=1, 4193=1, 4286=1, 4287=1, 4296=1, 4297=1, 4306=1, 4315=1, 4316=1, 4325=1, 4334=1, 4335=1, 4344=1, 4353=1, 4354=1, 4363=1, 4364=1, 4373=1, 4374=1, 4383=1, 4384=1, 4393=1, 4394=1, 4402=1, 4411=1, 4412=1, 4421=1, 4422=1, 4431=1, 4432=1, 4441=1, 4442=1, 4450=1, 4451=1, 4533=1, 4545=1, 4546=1, 4555=1, 4556=1, 4565=1, 4566=1, 4575=1, 4576=1, 4585=1, 4586=1, 4595=1, 4596=1, 4605=1, 4606=1, 4614=1, 4615=1, 4624=1, 4625=1, 4632=1, 4640=1, 4641=1, 4649=1, 4658=1, 4667=1, 4668=1, 4676=1, 4677=1, 4686=1, 4687=1, 4696=1, 4697=1, 4705=1, 4706=1, 4787=1, 4788=1, 4800=1, 4801=1, 4810=1, 4811=1, 4820=1, 4821=1, 4830=1, 4831=1, 4840=1, 4841=1, 4850=1, 4851=1, 4860=1, 4861=1, 4870=1, 4871=1, 4880=1, 4881=1, 4890=1, 4891=1, 4900=1, 4901=1, 4910=1, 4912=1, 4921=1, 4922=1, 4932=1, 4933=1, 4943=1, 4944=1, 4953=1, 4954=1, 4963=1, 4964=1, 4972=1, 4973=1, 5066=1, 5067=1, 5076=1, 5085=1, 5086=1, 5095=1, 5096=1, 5105=1, 5106=1, 5114=1, 5115=1, 5124=1, 5125=1, 5134=1, 5135=1, 5144=1, 5145=1, 5153=1, 5154=1, 5164=1, 5173=1, 5177=1, 5186=1, 5187=1, 5199=1, 5200=1, 5212=1, 5213=1, 5223=1, 5224=1, 5233=1, 5234=1, 5242=1, 5243=1, 5326=1, 5338=1, 5339=1, 5348=1, 5349=1, 5358=1, 5359=1, 5368=1, 5369=1, 5378=1, 5379=1, 5388=1, 5389=1, 5398=1, 5399=1, 5408=1, 5409=1, 5418=1, 5419=1, 5428=1, 5430=1, 5439=1, 5443=1, 5452=1, 5458=1, 5467=1, 5481=1, 5495=1, 5496=1, 5508=1, 5509=1, 5519=1, 5520=1, 5528=1, 5741=1, 5749=1, 5758=1, 5759=1, 5775=1, 5776=1, 5792=1, 5793=1, 5807=1, 5808=1, 5820=1, 5821=1, 5830=1, 5832=1, 5839=1, 6160=1, 6166=1, 6231=1, 6515=1, 6520=1, 6576=1, 6899=1, 6903=1, 7315=1, 7318=1, 7760=1, 7762=1, 8249=1, 8250=1, 8785=1, 8786=1, 8787=1, 8788=1, 8789=1, 8790=1, 8791=1, 8792=1, 8793=1, 8794=1, 8795=1, 8796=1, 8797=1, 8798=1, 9011=1, 9031=1, 9051=1, 9072=1, 9091=1, 9120=1, 9137=1, 9145=1, 9146=1, 9147=1, 9148=1, 9149=1, 9150=1, 9151=1, 9152=1, 9153=1, 9154=1, 9155=1, 9156=1, 9157=1, 9158=1, 9159=1, 9160=1, 9161=1, 9162=1, 9163=1, 9171=1, 9172=1, 9173=1, 9174=1, 9175=1, 9176=1, 9177=1, 9178=1, 9179=1, 9180=1, 9181=1, 9182=1, 9183=1, 9184=1, 9185=1, 9186=1, 9187=1, 9188=1, 9189=1, 9197=1, 9198=1, 9199=1, 9200=1, 9201=1, 9202=1, 9203=1, 9204=1, 9205=1, 9206=1, 9207=1, 9208=1, 9374=1, 9398=1, 9401=1, 9403=1, 9404=1, 9409=1, 9410=1, 9411=1, 9412=1, 9413=1, 9414=1, 9415=1, 9416=1, 9417=1, 9418=1, 9419=1, 9420=1, 9593=1, 9614=1, 9618=1, 9620=1, 9621=1, 9623=1, 9625=1, 9626=1, 9627=1, 9628=1, 9629=1, 9630=1, 9631=1, 9632=1, 9633=1, 9634=1, 9635=1, 9636=1, 9805=1, 9830=1, 9833=1, 9834=1, 9835=1, 9838=1, 9840=1, 9841=1, 9842=1, 9843=1, 9844=1, 9845=1, 9846=1, 9847=1, 9848=1, 9849=1, 9850=1, 10021=1, 10040=1, 10047=1, 10048=1, 10050=1, 10051=1, 10052=1, 10053=1, 10054=1, 10055=1, 10056=1, 10057=1, 10058=1, 10059=1, 10060=1, 10061=1, 10062=1, 10063=1, 10234=1, 10257=1, 10259=1, 10260=1, 10261=1, 10266=1, 10267=1, 10268=1, 10269=1, 10270=1, 10271=1, 10272=1, 10273=1, 10274=1, 10275=1, 10276=1, 10277=1, 10278=1, 10453=1, 10468=1, 10469=1, 10472=1, 10475=1, 10478=1, 10480=1, 10481=1, 10482=1, 10483=1, 10484=1, 10485=1, 10486=1, 10487=1, 10488=1, 10489=1, 10490=1, 10491=1, 10663=1, 10683=1, 10685=1, 10688=1, 10692=1, 10693=1, 10695=1, 10696=1, 10697=1, 10698=1, 10699=1, 10700=1, 10701=1, 10702=1, 10703=1, 10704=1, 10705=1, 10706=1, 10883=1, 10899=1, 10902=1, 10904=1, 10908=1, 10909=1, 10911=1, 10912=1, 10913=1, 10914=1, 10915=1, 10916=1, 10917=1, 10918=1, 10919=1, 10920=1, 10921=1, 10922=1, 11091=1, 11116=1, 11118=1, 11121=1, 11123=1, 11124=1, 11126=1, 11127=1, 11128=1, 11129=1, 11130=1, 11131=1, 11132=1, 11133=1, 11134=1, 11135=1, 11136=1, 11137=1, 11310=1, 11330=1, 11332=1, 11334=1, 11337=1, 11339=1, 11340=1, 11341=1, 11342=1, 11343=1, 11344=1, 11345=1, 11346=1, 11347=1, 11348=1, 11349=1, 11350=1, 11351=1, 11527=1, 11543=1, 11546=1, 11548=1, 11550=1, 11553=1, 11555=1, 11556=1, 11557=1, 11558=1, 11559=1, 11560=1, 11561=1, 11562=1, 11563=1, 11564=1, 11565=1, 11566=1, 11740=1, 11758=1, 11760=1, 11762=1, 11765=1, 11767=1, 11770=1, 11771=1, 11772=1, 11773=1, 11774=1, 11775=1, 11776=1, 11777=1, 11778=1, 11779=1, 11780=1, 11781=1, 11951=1, 11971=1, 11973=1, 11976=1, 11978=1, 11981=1, 11982=1, 11983=1, 11984=1, 11985=1, 11986=1, 11987=1, 11988=1, 11989=1, 11990=1, 11991=1, 11992=1, 12159=1, 12181=1, 12183=1, 12186=1, 12188=1, 12191=1, 12193=1, 12194=1, 12195=1, 12196=1, 12197=1, 12198=1, 12199=1, 12200=1, 12201=1, 12202=1, 12203=1, 12204=1, 12374=1, 12394=1, 12396=1, 12399=1, 12401=1, 12404=1, 12406=1, 12407=1, 12408=1, 12409=1, 12410=1, 12411=1, 12412=1, 12413=1, 12414=1, 12415=1, 12416=1, 12417=1, 12594=1, 12607=1, 12609=1, 12612=1, 12614=1, 12615=1, 12619=1, 12620=1, 12621=1, 12622=1, 12623=1, 12624=1, 12625=1, 12626=1, 12627=1, 12628=1, 12629=1, 12630=1, 12799=1, 12823=1, 12824=1, 12826=1, 12831=1, 12837=1, 12995=1, 13016=1, 13036=1, 13039=1, 13041=1, 13044=1, 13179=1, 13369=1, 13562=1, 13753=1, 13950=1, 14137=1, 15912=1, 15914=1, 15916=1, 15918=1, 15920=1, 15922=1, 15924=1, 15926=1, 15929=1, 15931=1, 15944=1, 16037=1, 16050=1, 16052=1, 16054=1, 16056=1}
Probabilistic random walk after 4829 steps, saw 2411 distinct states, run finished after 6008 ms. (steps per millisecond=0 ) properties seen :1013
Running SMT prover for 16422 properties.
[2023-03-13 20:29:59] [INFO ] Flow matrix only has 17694 transitions (discarded 600 similar events)
[2023-03-13 20:29:59] [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 20:31:12] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:31:12] [INFO ] After 25057ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 16422 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 9751 out of 10617 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10617/10617 places, 18294/18294 transitions.
Discarding 259 places :
Symmetric choice reduction at 0 with 259 rule applications. Total rules 259 place count 10358 transition count 18035
Iterating global reduction 0 with 259 rules applied. Total rules applied 518 place count 10358 transition count 18035
Partial Free-agglomeration rule applied 17 times.
Drop transitions removed 17 transitions
Iterating global reduction 0 with 17 rules applied. Total rules applied 535 place count 10358 transition count 18035
Applied a total of 535 rules in 2745 ms. Remains 10358 /10617 variables (removed 259) and now considering 18035/18294 (removed 259) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2758 ms. Remains : 10358/10617 places, 18035/18294 transitions.
Interrupted random walk after 179995 steps, including 2457 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 2705
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13717) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13704) 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 13692) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13681) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13671) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13664) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 13658) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13652) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13648) 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 13641) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13635) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13631) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13625) 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 13624) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13621) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13617) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13616) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13613) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13609) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13607) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13605) 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 13604) seen :18
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13586) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13570) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13556) seen :12
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13544) 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 13525) 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 13505) 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 13490) 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 13477) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13466) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13453) 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 13434) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13423) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13411) seen :12
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 13399) seen :18
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13381) 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 13366) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13350) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13338) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13322) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13311) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13295) 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 13280) 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 13267) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13256) 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 13242) seen :20
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13222) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13211) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13196) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13183) 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 13168) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13159) seen :17
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 13142) seen :11
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13131) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13116) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13104) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13090) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 13078) 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 13065) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 13055) 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 13048) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13034) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13018) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 13010) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12998) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12985) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12972) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12967) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12955) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12943) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12931) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12918) 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 12901) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12885) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12874) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12866) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12856) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12845) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12836) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12822) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12812) 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 12804) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12791) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12777) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12765) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12760) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12747) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12737) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12723) 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 12716) 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 12708) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12703) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12693) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12682) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12671) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12662) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12656) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12645) 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 12638) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12631) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12623) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12606) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12600) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12591) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12583) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12576) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12570) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12564) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12557) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12547) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12540) 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 12532) 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 12521) 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 12511) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12504) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12495) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12483) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12473) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12469) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12461) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12454) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12450) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12443) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12432) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12423) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12416) 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 12408) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12405) 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 12399) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12390) 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 12382) seen :19
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12363) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12352) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12342) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12330) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12325) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12316) 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 12308) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12300) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12295) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12283) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12275) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12271) 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 12263) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12257) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12249) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12240) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12239) 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 12232) 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 12225) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12213) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12201) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12196) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12190) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 12187) seen :10
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 12177) 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 12173) 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 12164) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12152) 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 12138) 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 12134) 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 12129) 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 12122) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 12110) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12106) 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 12100) 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 12094) 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 12087) 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 12075) 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 12069) 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 12060) 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 12054) 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 12049) 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 12039) 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 12026) 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 12025) 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 12019) 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 12012) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 12008) 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 12007) 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 11999) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11991) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11983) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11971) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11966) 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 11958) 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 11953) 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 11946) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11936) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11934) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11929) 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 11922) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11916) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11910) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11904) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11898) 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 11891) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11885) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11881) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11876) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11869) 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 11862) 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 11855) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11847) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11841) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11835) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11827) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11818) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11816) 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 11801) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11799) 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 11795) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11789) 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 11781) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11769) 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 11766) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11761) 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 11753) 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 11750) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11742) 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 11730) 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 11725) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11722) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11719) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11715) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11703) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11699) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11693) 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 11686) 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 11682) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11676) 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 11675) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11673) 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 11666) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11661) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11659) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11652) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11651) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11647) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 11641) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11639) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11638) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11632) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11627) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11627) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11624) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11618) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11617) 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 11616) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11612) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11608) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11599) 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 11595) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11592) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11588) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11585) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11580) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11578) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11573) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11568) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11567) 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 11566) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11561) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11552) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11550) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11546) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11541) 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 11538) 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 11533) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11523) 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 11522) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11518) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11516) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11513) 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 11510) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11507) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11505) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11498) 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 11493) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11489) 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 11480) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11477) 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 11474) 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 11468) 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 11462) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11458) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 11453) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11450) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11444) 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 11440) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11440) 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 11437) 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 11435) 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 11430) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11428) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11423) 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 11420) 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 11410) 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 11399) 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 11396) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11385) 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 11382) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11380) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11377) 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 11374) 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 11364) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11355) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11353) 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 11348) 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 11343) 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 11338) 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 11337) 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 11336) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11333) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11329) 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 11325) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11322) 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 11319) 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 11315) 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 11312) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11308) 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 11306) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 11304) 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 11303) 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 11301) 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 11296) 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 11294) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11288) 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 11286) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11283) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11283) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11280) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11279) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11277) 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 11272) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11268) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11265) 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 11258) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11254) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11252) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11250) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11247) 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 11241) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11238) 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 11237) 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 11236) 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 11230) 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 11218) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11216) 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 11210) 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 11206) 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 11206) 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 11204) 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 11201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11201) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11199) 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 11199) 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 11196) 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 11191) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 11187) 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 11186) 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 11184) 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 11177) 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 11175) 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 11170) 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 11165) 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 11163) 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 11158) 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 11156) 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 11155) 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 11149) 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 11145) 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 11143) 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 11140) 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 11136) 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 11133) 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 11131) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11128) 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 11124) 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 11123) 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 11122) 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 11121) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11119) 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 11116) 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 11113) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11112) 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 11108) 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 11107) 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 11106) 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 11103) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11100) 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 11100) 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 11100) 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 11098) 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 11096) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11096) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 11096) 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 11092) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11090) 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 11089) 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 11089) 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 11085) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11083) 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 11082) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11079) 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 11079) 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 11076) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 11075) 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 11075) 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 11072) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11069) 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 11065) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11063) 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 11062) 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 11056) 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 11051) 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 11047) 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 11043) 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 11043) 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 11042) 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 11036) 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 11034) 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 11029) 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 11025) 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 11023) 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 11022) 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 11019) 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 11019) 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 11017) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11014) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11012) 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 11009) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11007) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 11006) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11005) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 11003) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 11001) 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 10997) 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 10996) 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 10994) 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 10992) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10990) 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 10990) 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 10986) 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 10985) 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 10982) 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 10980) 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 10978) 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 10975) 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 10973) 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 10972) 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 10969) 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 10964) 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 10962) 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 10962) 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 10957) 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 10957) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 10954) 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 10948) 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 10946) 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 10940) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10940) 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 10939) 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 10939) 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 10937) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10934) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 10930) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10929) 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 10929) 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 10927) 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 10923) 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 10918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10918) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10916) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10912) 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 10903) 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 10901) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10898) 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 10898) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10895) 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 10894) 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 10892) 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 10890) 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 10888) 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 10886) 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 10885) 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 10885) 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 10881) 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 10881) 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 10878) 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 10878) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10874) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10869) 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 10867) 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 10867) 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 10865) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10862) 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 10860) 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 10859) 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 10854) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 10853) 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 10850) 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 10850) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10849) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10849) 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 10848) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10848) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10848) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10848) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10845) 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 10844) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10842) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10841) 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 10839) 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 10835) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10830) 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 10828) 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 10827) 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 10824) 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 10824) 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 10824) 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 10821) 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 10815) 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 10814) 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 10810) 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 10808) 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 10808) 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 10806) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 10800) 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 10799) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10796) 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 10795) 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 10794) 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 10791) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10789) 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 10783) 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 10782) 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 10779) 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 10779) 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 10779) 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 10777) 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 10773) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10770) 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 10768) 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 10766) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10765) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10765) 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 10765) 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 10765) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10765) 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 10765) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10765) 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 10764) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10762) 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 10757) 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 10757) 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 10756) 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 10756) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 10756) 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 10754) 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 10753) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10749) 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 10749) 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 10748) 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 10746) 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 10744) 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 10744) 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 10743) 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 10741) 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 10737) 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 10734) 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 10733) 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 10730) 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 10728) 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 10722) 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 10722) 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 10722) 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 10720) 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 10720) 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 10720) 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 10713) 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 10713) 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 10713) 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 10711) 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 10709) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 10701) 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 10700) 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 10699) 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 10696) 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 10693) 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 10690) 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 10686) 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 10685) 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 10685) 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 10685) 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 10684) 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 10683) 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 10679) 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 10677) 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 10676) 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 10676) 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 10672) 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 10671) 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 10670) 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 10670) 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 10670) 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 10666) 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 10664) 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 10661) 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 10661) 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 10659) 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 10659) 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 10658) 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 10658) 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 10656) 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 10655) 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 10653) 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 10652) 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 10650) 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 10649) 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 10647) 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 10647) 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 10647) 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 10647) 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 10645) 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 10644) 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 10643) 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 10643) 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 10643) 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 10643) 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 10643) 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 10639) 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 10639) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 10639) 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 10635) 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 10632) 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 10631) 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 10629) 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 10627) 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 10626) 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 10625) 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 10625) 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 10622) 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 10622) 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 10622) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 10620) 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 10619) 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 10619) 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 10617) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 10615) 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 10615) 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 10614) 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 10614) 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 10609) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 10607) 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 10607) 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 10606) 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 10604) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 10603) 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 10603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 10603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 10603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 10603) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 10595) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 10593) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 10587) 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 10587) 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 10585) 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 10585) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 10585) 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 10585) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10584) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10582) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10579) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10576) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 10574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10574) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10574) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10571) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10569) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10568) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10566) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10566) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10564) 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 10563) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10563) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10563) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10560) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10559) 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 10559) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10558) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10557) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10555) 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 10555) 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 10555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10555) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10554) 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 10551) 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 10551) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10549) 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 10546) 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 10543) 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 10543) 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 10543) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 10543) 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 10543) 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 10543) 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 10543) 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 10543) 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 10543) 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 10543) 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 10538) 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 10538) 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 10537) 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 10532) 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 10532) 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 10531) 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 10531) 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 10531) 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 10531) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10530) 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 10530) 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 10530) 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 10529) 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 10529) 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 10529) 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 10529) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10529) 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 10527) 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 10525) 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 10525) 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 10524) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 10524) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10524) 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 10522) 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 10521) 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 10518) 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 10515) 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 10514) 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 10513) 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 10512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10512) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10510) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10508) 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 10507) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10507) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10505) 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 10502) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10500) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10500) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10498) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10496) 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 10495) 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 10495) 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 10495) 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 10493) 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 10493) 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 10493) 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 10493) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10492) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10490) 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 10490) 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 10483) 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 10479) 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 10479) 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 10479) 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 10478) 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 10478) 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 10478) 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 10477) 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 10477) 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 10474) 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 10471) 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 10471) 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 10471) 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 10471) 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 10471) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10471) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10469) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10469) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10467) 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 10467) 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 10463) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10462) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10462) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10462) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 10462) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10462) 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 10461) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10460) 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 10459) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10459) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10458) 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 10458) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10458) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10458) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10457) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10457) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10457) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10457) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10457) 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 10457) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10457) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10456) 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 10454) 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 10454) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10452) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 10451) 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 10451) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10448) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10447) 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 10447) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10447) 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 10445) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10443) 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 10443) 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 10443) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 10442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10442) 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 10440) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 10440) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 10438) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 10434) 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 10434) 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 10434) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 10434) 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 10434) 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 10434) 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 10434) 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 10434) 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 10433) 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 10431) 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 10431) 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 10431) 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 10431) 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 10431) 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 10429) 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 10429) 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 10427) 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 10426) 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 10425) 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 10425) 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 10424) 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 10424) 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 10424) 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 10420) 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 10417) 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 10415) 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 10415) 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 10414) 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 10413) 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 10411) 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 10411) 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 10411) 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 10411) 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 10411) 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 10409) 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 10409) 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 10409) 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 10408) 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 10408) 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 10407) 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 10407) 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 10407) 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 10402) 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 10401) 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 10400) 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 10395) 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 10395) 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 10395) 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 10395) 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 10395) 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 10393) 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 10393) 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 10393) 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 10393) 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 10392) 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 10391) 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 10390) 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 10390) 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 10390) 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 10390) 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 10390) 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 10388) 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 10388) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 10387) 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 10383) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 10377) 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 10377) 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 10377) 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 10377) 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 10377) 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 10377) 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 10375) 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 10375) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 10375) 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 10375) 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 10375) 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 10375) 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 10373) 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 10370) 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 10370) 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 10370) 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 10370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 10370) 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 10370) 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 10370) 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 10370) 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 10370) 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 10370) 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 10366) 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 10366) 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 10366) 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 10364) 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 10364) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 10364) 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 10364) 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 10364) 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 10362) 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 10362) 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 10361) 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 10361) 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 10361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 10361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 10361) 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 10361) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 10361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 10361) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 10357) 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 10357) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 10357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 10357) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 10356) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 10353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 10353) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 10350) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 10348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 10348) 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 10346) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 10342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 10342) 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 10341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 10341) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 10340) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 10338) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 10337) 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-S24C09"
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-S24C09, 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-167856432900537"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C09.tgz
mv MultiCrashLeafsetExtension-PT-S24C09 execution
cd execution
if [ "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 ;