About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S32C02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3779.560 | 1800000.00 | 2800712.00 | 3240.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r247-tall-167856434600558.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 ltsminxred
Input is MultiCrashLeafsetExtension-PT-S32C02, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-167856434600558
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 16K Feb 26 03:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 03:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 03:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 03:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 03:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 StableMarking
=== Now, execution of the tool begins
BK_START 1678721649937
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=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-13 15:34:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 15:34:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:34:12] [INFO ] Load time of PNML (sax parser for PT used): 512 ms
[2023-03-13 15:34:12] [INFO ] Transformed 13544 places.
[2023-03-13 15:34:12] [INFO ] Transformed 21807 transitions.
[2023-03-13 15:34:12] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 664 ms.
Incomplete random walk after 10000 steps, including 470 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 13544) seen :1039
Interrupted probabilistic random walk after 3842 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{561=1, 563=1, 583=1, 599=1, 600=1, 601=1, 602=1, 603=1, 617=1, 618=1, 619=1, 620=1, 632=1, 633=1, 634=1, 635=1, 636=1, 646=1, 647=1, 648=1, 649=1, 650=1, 657=1, 658=1, 659=1, 660=1, 661=1, 666=1, 667=1, 668=1, 669=1, 670=1, 673=1, 674=1, 675=1, 677=1, 684=1, 685=1, 1207=1, 1209=1, 1226=1, 1227=1, 1228=1, 1241=1, 1242=1, 1243=1, 1244=1, 1245=1, 1256=1, 1257=1, 1258=1, 1259=1, 1269=1, 1270=1, 1271=1, 1272=1, 1273=1, 1281=1, 1282=1, 1283=1, 1284=1, 1285=1, 1291=1, 1292=1, 1293=1, 1294=1, 1295=1, 1299=1, 1300=1, 1301=1, 1302=1, 1303=1, 1305=1, 1306=1, 1307=1, 1309=1, 1318=1, 1319=1, 1320=1, 1796=1, 1797=1, 1798=1, 1812=1, 1813=1, 1814=1, 1815=1, 1816=1, 1828=1, 1829=1, 1830=1, 1831=1, 1832=1, 1842=1, 1843=1, 1844=1, 1845=1, 1846=1, 1854=1, 1855=1, 1856=1, 1857=1, 1858=1, 1863=1, 1864=1, 1865=1, 1869=1, 1870=1, 1871=1, 1872=1, 1873=1, 1875=1, 1876=1, 1877=1, 1878=1, 1879=1, 1882=1, 1883=1, 1884=1, 1886=1, 1895=1, 1896=1, 1897=1, 2339=1, 2340=1, 2341=1, 2353=1, 2354=1, 2355=1, 2356=1, 2357=1, 2366=1, 2367=1, 2368=1, 2369=1, 2370=1, 2378=1, 2379=1, 2380=1, 2381=1, 2382=1, 2387=1, 2388=1, 2392=1, 2393=1, 2394=1, 2395=1, 2396=1, 2399=1, 2400=1, 2401=1, 2402=1, 2403=1, 2406=1, 2407=1, 2408=1, 2410=1, 2411=1, 2413=1, 2419=1, 2420=1, 2826=1, 2835=1, 2836=1, 2837=1, 2838=1, 2839=1, 2846=1, 2847=1, 2848=1, 2849=1, 2850=1, 2856=1, 2857=1, 2858=1, 2859=1, 2860=1, 2864=1, 2865=1, 2866=1, 2867=1, 2868=1, 2870=1, 2871=1, 2872=1, 2873=1, 2874=1, 2876=1, 2877=1, 2878=1, 2879=1, 2880=1, 2882=1, 2883=1, 2884=1, 2885=1, 2886=1, 2889=1, 2890=1, 2891=1, 2893=1, 2903=1, 2904=1, 3268=1, 3269=1, 3270=1, 3278=1, 3279=1, 3280=1, 3281=1, 3287=1, 3288=1, 3289=1, 3290=1, 3294=1, 3295=1, 3296=1, 3297=1, 3298=1, 3301=1, 3302=1, 3303=1, 3304=1, 3307=1, 3308=1, 3309=1, 3312=1, 3313=1, 3314=1, 3315=1, 3316=1, 3319=1, 3320=1, 3321=1, 3324=1, 3325=1, 3326=1, 3328=1, 3338=1, 3339=1, 3670=1, 3671=1, 3672=1, 3678=1, 3679=1, 3680=1, 3681=1, 3682=1, 3685=1, 3686=1, 3687=1, 3688=1, 3689=1, 3692=1, 3693=1, 3694=1, 3695=1, 3696=1, 3699=1, 3700=1, 3701=1, 3702=1, 3703=1, 3705=1, 3706=1, 3707=1, 3708=1, 3709=1, 3712=1, 3713=1, 3714=1, 3715=1, 3716=1, 3719=1, 3720=1, 3721=1, 3723=1, 3724=1, 3725=1, 3727=1, 3736=1, 3737=1, 3738=1, 4030=1, 4031=1, 4032=1, 4035=1, 4036=1, 4037=1, 4038=1, 4039=1, 4042=1, 4043=1, 4044=1, 4045=1, 4047=1, 4048=1, 4049=1, 4051=1, 4052=1, 4053=1, 4054=1, 4055=1, 4058=1, 4059=1, 4060=1, 4063=1, 4064=1, 4065=1, 4066=1, 4068=1, 4069=1, 4070=1, 4071=1, 4072=1, 4075=1, 4076=1, 4077=1, 4079=1, 4089=1, 4090=1, 4091=1, 4354=1, 4355=1, 4356=1, 4359=1, 4360=1, 4361=1, 4362=1, 4363=1, 4366=1, 4367=1, 4368=1, 4369=1, 4372=1, 4373=1, 4374=1, 4375=1, 4376=1, 4379=1, 4380=1, 4381=1, 4382=1, 4383=1, 4386=1, 4387=1, 4388=1, 4390=1, 4391=1, 4392=1, 4393=1, 4394=1, 4397=1, 4398=1, 4399=1, 4400=1, 4401=1, 4404=1, 4405=1, 4406=1, 4408=1, 4418=1, 4419=1, 4420=1, 4655=1, 4656=1, 4657=1, 4660=1, 4661=1, 4662=1, 4663=1, 4664=1, 4667=1, 4668=1, 4669=1, 4670=1, 4671=1, 4674=1, 4675=1, 4676=1, 4677=1, 4680=1, 4681=1, 4682=1, 4683=1, 4684=1, 4686=1, 4687=1, 4688=1, 4689=1, 4690=1, 4691=1, 4692=1, 4693=1, 4696=1, 4697=1, 4698=1, 4699=1, 4700=1, 4702=1, 4703=1, 4712=1, 4918=1, 4919=1, 4920=1, 4923=1, 4924=1, 4925=1, 4926=1, 4927=1, 4930=1, 4931=1, 4932=1, 4935=1, 4936=1, 4937=1, 4938=1, 4941=1, 4942=1, 4943=1, 4944=1, 4945=1, 4947=1, 4948=1, 4949=1, 4950=1, 4951=1, 4954=1, 4955=1, 4956=1, 4957=1, 4958=1, 4961=1, 4962=1, 4963=1, 4964=1, 4965=1, 4967=1, 4968=1, 4969=1, 4971=1, 4979=1, 5170=1, 5171=1, 5172=1, 5174=1, 5175=1, 5176=1, 5177=1, 5178=1, 5181=1, 5182=1, 5183=1, 5184=1, 5185=1, 5188=1, 5189=1, 5190=1, 5191=1, 5192=1, 5195=1, 5196=1, 5197=1, 5198=1, 5199=1, 5202=1, 5203=1, 5204=1, 5205=1, 5206=1, 5209=1, 5210=1, 5211=1, 5212=1, 5213=1, 5215=1, 5216=1, 5217=1, 5220=1, 5221=1, 5223=1, 5232=1, 5233=1, 5234=1, 5406=1, 5407=1, 5408=1, 5411=1, 5412=1, 5413=1, 5414=1, 5415=1, 5417=1, 5418=1, 5419=1, 5420=1, 5421=1, 5424=1, 5425=1, 5426=1, 5427=1, 5428=1, 5431=1, 5432=1, 5433=1, 5436=1, 5437=1, 5438=1, 5439=1, 5440=1, 5443=1, 5444=1, 5445=1, 5446=1, 5447=1, 5449=1, 5450=1, 5451=1, 5452=1, 5453=1, 5455=1, 5456=1, 5457=1, 5459=1, 5465=1, 5466=1, 5629=1, 5630=1, 5631=1, 5634=1, 5635=1, 5636=1, 5637=1, 5640=1, 5641=1, 5642=1, 5643=1, 5644=1, 5647=1, 5648=1, 5649=1, 5650=1, 5651=1, 5654=1, 5655=1, 5656=1, 5657=1, 5658=1, 5661=1, 5662=1, 5663=1, 5664=1, 5667=1, 5668=1, 5669=1, 5670=1, 5671=1, 5674=1, 5675=1, 5676=1, 5677=1, 5678=1, 5681=1, 5682=1, 5683=1, 5685=1, 5692=1, 5693=1, 5854=1, 5855=1, 5856=1, 5859=1, 5860=1, 5861=1, 5863=1, 5864=1, 5865=1, 5866=1, 5867=1, 5870=1, 5871=1, 5872=1, 5873=1, 5874=1, 5877=1, 5878=1, 5879=1, 5880=1, 5881=1, 5884=1, 5885=1, 5886=1, 5887=1, 5888=1, 5891=1, 5892=1, 5893=1, 5894=1, 5895=1, 5898=1, 5899=1, 5900=1, 5901=1, 5902=1, 5905=1, 5906=1, 5918=1, 5919=1, 5920=1, 6066=1, 6067=1, 6068=1, 6071=1, 6072=1, 6073=1, 6076=1, 6077=1, 6078=1, 6079=1, 6080=1, 6083=1, 6084=1, 6085=1, 6086=1, 6087=1, 6090=1, 6091=1, 6092=1, 6093=1, 6095=1, 6096=1, 6097=1, 6098=1, 6099=1, 6102=1, 6103=1, 6104=1, 6105=1, 6106=1, 6109=1, 6110=1, 6111=1, 6112=1, 6113=1, 6116=1, 6117=1, 6118=1, 6120=1, 6128=1, 6129=1, 6285=1, 6286=1, 6287=1, 6290=1, 6291=1, 6292=1, 6293=1, 6294=1, 6296=1, 6297=1, 6298=1, 6299=1, 6300=1, 6303=1, 6304=1, 6305=1, 6306=1, 6307=1, 6310=1, 6311=1, 6312=1, 6313=1, 6314=1, 6316=1, 6317=1, 6318=1, 6319=1, 6320=1, 6323=1, 6324=1, 6325=1, 6326=1, 6327=1, 6330=1, 6331=1, 6332=1, 6333=1, 6336=1, 6337=1, 6338=1, 6340=1, 6346=1, 6347=1, 6493=1, 6494=1, 6495=1, 6498=1, 6499=1, 6500=1, 6501=1, 6502=1, 6505=1, 6506=1, 6507=1, 6509=1, 6510=1, 6511=1, 6512=1, 6513=1, 6516=1, 6517=1, 6518=1, 6519=1, 6520=1, 6523=1, 6524=1, 6525=1, 6526=1, 6527=1, 6530=1, 6531=1, 6532=1, 6533=1, 6534=1, 6537=1, 6538=1, 6539=1, 6540=1, 6541=1, 6544=1, 6545=1, 6547=1, 6554=1, 6555=1, 6712=1, 6713=1, 6714=1, 6716=1, 6717=1, 6718=1, 6719=1, 6722=1, 6723=1, 6724=1, 6725=1, 6726=1, 6729=1, 6730=1, 6731=1, 6732=1, 6733=1, 6736=1, 6737=1, 6738=1, 6740=1, 6741=1, 6742=1, 6743=1, 6744=1, 6747=1, 6748=1, 6749=1, 6752=1, 6753=1, 6754=1, 6755=1, 6756=1, 6759=1, 6760=1, 6768=1, 6769=1, 6920=1, 6923=1, 6924=1, 6925=1, 6926=1, 6927=1, 6930=1, 6931=1, 6932=1, 6933=1, 6934=1, 6936=1, 6937=1, 6938=1, 6939=1, 6940=1, 6942=1, 6943=1, 6944=1, 6945=1, 6946=1, 6949=1, 6950=1, 6951=1, 6952=1, 6953=1, 6955=1, 6956=1, 6957=1, 6958=1, 6959=1, 6962=1, 6963=1, 6964=1, 6965=1, 6966=1, 6969=1, 6970=1, 6971=1, 6973=1, 6979=1, 6980=1, 7152=1, 7155=1, 7156=1, 7157=1, 7158=1, 7159=1, 7162=1, 7163=1, 7164=1, 7165=1, 7166=1, 7169=1, 7170=1, 7171=1, 7172=1, 7175=1, 7176=1, 7177=1, 7178=1, 7179=1, 7181=1, 7182=1, 7184=1, 7185=1, 7186=1, 7189=1, 7190=1, 7191=1, 7192=1, 7194=1, 7195=1, 7196=1, 7198=1, 7207=1, 7208=1, 7402=1, 7405=1, 7406=1, 7407=1, 7408=1, 7409=1, 7412=1, 7413=1, 7414=1, 7415=1, 7416=1, 7419=1, 7420=1, 7421=1, 7422=1, 7423=1, 7426=1, 7427=1, 7428=1, 7429=1, 7430=1, 7433=1, 7434=1, 7435=1, 7436=1, 7437=1, 7439=1, 7440=1, 7441=1, 7442=1, 7443=1, 7446=1, 7447=1, 7448=1, 7449=1, 7450=1, 7453=1, 7454=1, 7455=1, 7457=1, 7466=1, 7467=1, 7468=1, 7679=1, 7680=1, 7681=1, 7684=1, 7685=1, 7686=1, 7687=1, 7688=1, 7691=1, 7692=1, 7693=1, 7694=1, 7697=1, 7698=1, 7699=1, 7700=1, 7701=1, 7704=1, 7705=1, 7706=1, 7707=1, 7708=1, 7711=1, 7712=1, 7713=1, 7714=1, 7715=1, 7718=1, 7719=1, 7720=1, 7722=1, 7723=1, 7724=1, 7725=1, 7726=1, 7729=1, 7730=1, 7731=1, 7733=1, 7740=1, 7741=1, 7985=1, 7986=1, 7987=1, 7990=1, 7991=1, 7992=1, 7993=1, 7994=1, 7996=1, 7997=1, 7998=1, 7999=1, 8000=1, 8003=1, 8004=1, 8005=1, 8006=1, 8007=1, 8009=1, 8010=1, 8011=1, 8012=1, 8013=1, 8016=1, 8017=1, 8018=1, 8019=1, 8020=1, 8022=1, 8023=1, 8024=1, 8025=1, 8026=1, 8028=1, 8029=1, 8030=1, 8031=1, 8034=1, 8035=1, 8036=1, 8038=1, 8047=1, 8048=1, 8049=1, 8317=1, 8318=1, 8319=1, 8322=1, 8323=1, 8324=1, 8325=1, 8326=1, 8328=1, 8329=1, 8330=1, 8331=1, 8332=1, 8335=1, 8336=1, 8337=1, 8338=1, 8339=1, 8342=1, 8343=1, 8344=1, 8345=1, 8346=1, 8349=1, 8350=1, 8351=1, 8352=1, 8353=1, 8356=1, 8357=1, 8358=1, 8359=1, 8360=1, 8363=1, 8364=1, 8365=1, 8367=1, 8375=1, 8376=1, 8377=1, 8671=1, 8672=1, 8673=1, 8677=1, 8678=1, 8679=1, 8680=1, 8681=1, 8684=1, 8685=1, 8686=1, 8687=1, 8688=1, 8691=1, 8692=1, 8693=1, 8694=1, 8695=1, 8698=1, 8699=1, 8700=1, 8701=1, 8702=1, 8705=1, 8706=1, 8707=1, 8708=1, 8709=1, 8712=1, 8713=1, 8714=1, 8715=1, 8716=1, 8718=1, 8719=1, 8720=1, 8722=1, 8732=1, 8733=1, 9062=1, 9063=1, 9064=1, 9070=1, 9071=1, 9072=1, 9073=1, 9077=1, 9078=1, 9079=1, 9081=1, 9082=1, 9083=1, 9084=1, 9085=1, 9088=1, 9089=1, 9090=1, 9091=1, 9092=1, 9095=1, 9096=1, 9097=1, 9098=1, 9099=1, 9101=1, 9102=1, 9103=1, 9104=1, 9105=1, 9107=1, 9108=1, 9109=1, 9111=1, 9119=1, 9488=1, 9489=1, 9497=1, 9498=1, 9499=1, 9505=1, 9506=1, 9507=1, 9508=1, 9509=1, 9513=1, 9514=1, 9515=1, 9518=1, 9519=1, 9520=1, 9521=1, 9524=1, 9525=1, 9526=1, 9527=1, 9528=1, 9531=1, 9532=1, 9533=1, 9534=1, 9535=1, 9538=1, 9539=1, 9540=1, 9542=1, 9550=1, 9551=1, 9956=1, 9957=1, 9958=1, 9968=1, 9969=1, 9970=1, 9971=1, 9972=1, 9979=1, 9980=1, 9981=1, 9982=1, 9983=1, 9989=1, 9990=1, 9991=1, 9995=1, 9996=1, 9997=1, 9998=1, 9999=1, 10002=1, 10003=1, 10004=1, 10006=1, 10007=1, 10008=1, 10009=1, 10010=1, 10013=1, 10014=1, 10016=1, 10025=1, 10026=1, 10468=1, 10469=1, 10470=1, 10482=1, 10483=1, 10484=1, 10485=1, 10486=1, 10495=1, 10496=1, 10497=1, 10498=1, 10499=1, 10506=1, 10507=1, 10508=1, 10513=1, 10514=1, 10515=1, 10516=1, 10517=1, 10521=1, 10522=1, 10523=1, 10524=1, 10525=1, 10528=1, 10529=1, 10530=1, 10531=1, 10532=1, 10534=1, 10535=1, 10536=1, 10538=1, 10545=1, 10546=1, 10547=1, 11031=1, 11032=1, 11033=1, 11047=1, 11048=1, 11049=1, 11061=1, 11062=1, 11063=1, 11064=1, 11065=1, 11075=1, 11076=1, 11077=1, 11078=1, 11079=1, 11087=1, 11088=1, 11089=1, 11090=1, 11091=1, 11096=1, 11097=1, 11098=1, 11099=1, 11100=1, 11104=1, 11105=1, 11106=1, 11107=1, 11108=1, 11111=1, 11112=1, 11113=1, 11115=1, 11121=1, 11122=1, 11124=1, 11657=1, 11658=1, 11659=1, 11675=1, 11676=1, 11677=1, 11678=1, 11679=1, 11693=1, 11694=1, 11695=1, 11696=1, 11697=1, 11709=1, 11710=1, 11711=1, 11712=1, 11713=1, 11721=1, 11722=1, 11723=1, 11724=1, 11725=1, 11733=1, 11734=1, 11735=1, 11736=1, 11737=1, 11742=1, 11743=1, 11744=1, 11745=1, 11746=1, 11750=1, 11751=1, 11752=1, 11753=1, 11754=1, 11755=1, 11756=1, 11759=1, 11762=1, 11763=1, 11764=1, 12486=1, 12487=1, 12488=1, 12489=1, 12490=1, 12491=1, 12492=1, 12493=1, 12494=1, 12495=1, 12496=1, 12497=1, 12498=1, 12499=1, 12500=1, 12501=1, 12502=1, 12503=1}
Probabilistic random walk after 3842 steps, saw 1847 distinct states, run finished after 3005 ms. (steps per millisecond=1 ) properties seen :1294
Running SMT prover for 11211 properties.
[2023-03-13 15:34:17] [INFO ] Flow matrix only has 20751 transitions (discarded 1056 similar events)
// Phase 1: matrix 20751 rows 13544 cols
[2023-03-13 15:34:19] [INFO ] Computed 1333 place invariants in 1649 ms
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 15:34:44] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:34:44] [INFO ] After 25072ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 11211 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 11211 out of 13544 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Graph (complete) has 52829 edges and 13544 vertex of which 13504 are kept as prefixes of interest. Removing 40 places using SCC suffix rule.52 ms
Discarding 40 places :
Also discarding 0 output transitions
Drop transitions removed 254 transitions
Trivial Post-agglo rules discarded 254 transitions
Performed 254 trivial Post agglomeration. Transition count delta: 254
Iterating post reduction 0 with 254 rules applied. Total rules applied 255 place count 13504 transition count 21553
Reduce places removed 254 places and 0 transitions.
Performed 84 Post agglomeration using F-continuation condition.Transition count delta: 84
Iterating post reduction 1 with 338 rules applied. Total rules applied 593 place count 13250 transition count 21469
Reduce places removed 84 places and 0 transitions.
Iterating post reduction 2 with 84 rules applied. Total rules applied 677 place count 13166 transition count 21469
Performed 58 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 58 Pre rules applied. Total rules applied 677 place count 13166 transition count 21411
Deduced a syphon composed of 58 places in 19 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 3 with 116 rules applied. Total rules applied 793 place count 13108 transition count 21411
Discarding 216 places :
Symmetric choice reduction at 3 with 216 rule applications. Total rules 1009 place count 12892 transition count 21195
Iterating global reduction 3 with 216 rules applied. Total rules applied 1225 place count 12892 transition count 21195
Free-agglomeration rule (complex) applied 250 times.
Iterating global reduction 3 with 250 rules applied. Total rules applied 1475 place count 12892 transition count 20945
Reduce places removed 250 places and 0 transitions.
Iterating post reduction 3 with 250 rules applied. Total rules applied 1725 place count 12642 transition count 20945
Partial Free-agglomeration rule applied 38 times.
Drop transitions removed 38 transitions
Iterating global reduction 4 with 38 rules applied. Total rules applied 1763 place count 12642 transition count 20945
Applied a total of 1763 rules in 1797 ms. Remains 12642 /13544 variables (removed 902) and now considering 20945/21807 (removed 862) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1802 ms. Remains : 12642/13544 places, 20945/21807 transitions.
Interrupted random walk after 180001 steps, including 9207 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 5042
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6169) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6154) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 6152) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6148) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 6144) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6141) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6135) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6130) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6126) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6124) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6118) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 6116) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 6111) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6109) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6103) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 6098) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6094) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6091) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6088) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6084) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6075) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 6068) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6065) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6063) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6062) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6059) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 6057) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6055) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 6049) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6046) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 6044) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6041) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6039) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 6037) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 6034) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6034) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6031) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6030) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6023) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6019) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 6017) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 6016) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6010) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6007) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6003) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5999) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5995) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5992) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5991) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5986) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5984) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5979) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5977) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5976) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5975) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5974) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5973) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5969) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5968) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5967) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5965) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5964) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5962) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5959) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5956) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5955) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5953) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5948) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5946) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5942) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5941) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5938) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5936) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5933) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5930) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5930) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5928) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5928) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5925) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5922) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5919) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5916) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5914) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5911) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5909) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5907) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5907) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5907) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5905) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5903) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5898) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5895) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5891) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5889) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5889) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5889) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5887) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5886) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5885) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5884) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5881) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5879) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5879) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5878) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5877) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5876) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5876) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5874) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5872) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5871) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5869) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5869) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5865) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5864) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5859) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5858) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5856) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5855) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5849) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5849) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5845) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5845) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5843) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5839) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5838) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5835) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5833) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5831) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5829) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5829) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5825) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5825) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5825) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5824) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5824) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5821) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5821) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5818) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5815) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5812) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5809) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5808) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5808) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5808) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5807) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5806) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5806) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5803) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5802) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5802) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5797) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5793) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5792) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5789) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5787) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5787) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5787) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5787) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5786) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5783) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5781) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5780) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5776) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5774) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5773) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5770) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5769) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5767) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5765) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5764) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5762) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5761) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5761) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5759) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5756) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5754) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5754) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5752) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5752) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5752) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5751) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5749) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5746) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5745) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5744) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5743) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5743) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5741) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5741) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5741) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5739) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5738) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5737) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5737) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5737) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5736) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5735) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5734) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5732) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5730) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5729) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5728) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5725) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5725) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5725) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5725) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5724) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5721) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5720) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5720) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5720) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5719) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5719) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5718) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5716) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5714) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5712) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5711) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5711) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5710) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5709) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5709) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5707) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5707) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5706) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5705) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5705) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5703) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5702) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5702) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5701) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5701) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5699) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5698) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5697) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5693) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5692) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5688) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5685) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5685) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5684) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5682) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5678) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5678) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5675) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5675) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5675) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5675) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5675) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5675) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5673) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5672) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5670) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5670) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5669) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5667) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5665) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5665) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5662) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5660) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5660) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5659) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5657) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5657) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5657) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5654) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5652) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5652) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5650) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5649) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5647) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5647) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5647) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5647) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5647) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5647) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5647) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5646) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5645) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5643) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5643) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5641) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5641) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5641) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5640) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5639) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5638) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5638) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5638) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5636) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5636) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5635) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5635) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5635) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5633) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5632) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5630) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5630) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5630) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5629) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5628) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5627) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5626) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5625) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5624) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5624) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5622) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5621) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5620) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5620) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5620) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5620) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5620) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5617) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5616) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5616) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5615) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5615) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5614) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5614) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5614) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5613) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5613) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5613) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5612) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5610) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5609) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5609) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5609) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5609) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5609) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5608) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5608) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5608) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5607) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5606) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5605) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5603) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5601) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5600) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5599) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5598) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5597) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5597) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5596) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5596) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5596) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5595) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5595) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5595) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5595) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5594) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5593) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5592) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5591) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5591) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5590) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5590) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5589) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5589) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5589) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5588) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5586) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5583) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5581) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5580) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5579) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5578) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5578) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5578) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5578) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5576) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5575) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5574) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5573) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5572) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5572) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5570) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5569) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5568) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5566) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5565) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5564) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5563) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5562) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5562) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5561) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5559) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5558) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5557) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5557) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5556) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5554) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5554) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5554) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5553) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5553) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5552) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5551) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5550) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5549) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5548) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5547) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5546) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5546) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5546) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5546) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5543) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5542) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5541) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5540) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5538) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5537) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5535) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5534) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5533) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5532) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5531) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5530) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5530) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5530) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5530) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5530) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5530) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5529) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5528) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5527) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5526) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5525) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5523) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5522) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5521) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5520) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5519) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5518) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5517) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5516) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5514) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5513) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5512) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5511) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5510) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5508) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5507) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5505) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5503) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5502) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5500) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5499) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5498) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5497) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5496) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5495) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5493) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5492) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5490) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5489) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5488) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5486) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5485) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5484) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5483) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5482) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5481) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5480) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5480) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5480) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5479) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5479) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5479) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5478) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5477) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5477) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5476) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5475) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5474) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5473) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5471) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5470) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5469) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5469) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5468) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5468) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5467) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5466) seen :0
Running SMT prover for 5466 properties.
[2023-03-13 15:36:42] [INFO ] Flow matrix only has 19889 transitions (discarded 1056 similar events)
// Phase 1: matrix 19889 rows 12642 cols
[2023-03-13 15:36:43] [INFO ] Computed 1293 place invariants in 1415 ms
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.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:611)
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 15:40:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:40:38] [INFO ] After 225045ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5466 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5466 out of 12642 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12642/12642 places, 20945/20945 transitions.
Drop transitions removed 1760 transitions
Trivial Post-agglo rules discarded 1760 transitions
Performed 1760 trivial Post agglomeration. Transition count delta: 1760
Iterating post reduction 0 with 1760 rules applied. Total rules applied 1760 place count 12642 transition count 19185
Reduce places removed 1760 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 1764 rules applied. Total rules applied 3524 place count 10882 transition count 19181
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 3528 place count 10878 transition count 19181
Performed 74 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 74 Pre rules applied. Total rules applied 3528 place count 10878 transition count 19107
Deduced a syphon composed of 74 places in 16 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 3 with 148 rules applied. Total rules applied 3676 place count 10804 transition count 19107
Discarding 1712 places :
Symmetric choice reduction at 3 with 1712 rule applications. Total rules 5388 place count 9092 transition count 17395
Iterating global reduction 3 with 1712 rules applied. Total rules applied 7100 place count 9092 transition count 17395
Discarding 721 places :
Symmetric choice reduction at 3 with 721 rule applications. Total rules 7821 place count 8371 transition count 15953
Iterating global reduction 3 with 721 rules applied. Total rules applied 8542 place count 8371 transition count 15953
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 12 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 8546 place count 8369 transition count 15951
Free-agglomeration rule (complex) applied 126 times.
Iterating global reduction 3 with 126 rules applied. Total rules applied 8672 place count 8369 transition count 16546
Reduce places removed 126 places and 0 transitions.
Iterating post reduction 3 with 126 rules applied. Total rules applied 8798 place count 8243 transition count 16546
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 8804 place count 8237 transition count 16540
Iterating global reduction 4 with 6 rules applied. Total rules applied 8810 place count 8237 transition count 16540
Partial Free-agglomeration rule applied 66 times.
Drop transitions removed 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 8876 place count 8237 transition count 16540
Discarding 32 places :
Symmetric choice reduction at 4 with 32 rule applications. Total rules 8908 place count 8205 transition count 16508
Iterating global reduction 4 with 32 rules applied. Total rules applied 8940 place count 8205 transition count 16508
Applied a total of 8940 rules in 4377 ms. Remains 8205 /12642 variables (removed 4437) and now considering 16508/20945 (removed 4437) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4378 ms. Remains : 8205/12642 places, 16508/20945 transitions.
Interrupted random walk after 57006 steps, including 4362 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 17
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5449) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5449) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5448) seen :0
Interrupted probabilistic random walk after 210062 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{2725=1}
Probabilistic random walk after 210062 steps, saw 93036 distinct states, run finished after 99001 ms. (steps per millisecond=2 ) properties seen :1
Running SMT prover for 5447 properties.
[2023-03-13 15:42:55] [INFO ] Flow matrix only has 15413 transitions (discarded 1095 similar events)
// Phase 1: matrix 15413 rows 8205 cols
[2023-03-13 15:42:56] [INFO ] Computed 1293 place invariants in 828 ms
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 15:46:49] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:46:49] [INFO ] After 225060ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5447 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5447 out of 8205 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8205/8205 places, 16508/16508 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 8205 transition count 16498
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 8195 transition count 16498
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 23 place count 8192 transition count 16495
Iterating global reduction 2 with 3 rules applied. Total rules applied 26 place count 8192 transition count 16495
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 30 place count 8192 transition count 16491
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 34 place count 8188 transition count 16491
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 45 place count 8177 transition count 16480
Iterating global reduction 3 with 11 rules applied. Total rules applied 56 place count 8177 transition count 16480
Applied a total of 56 rules in 1637 ms. Remains 8177 /8205 variables (removed 28) and now considering 16480/16508 (removed 28) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1638 ms. Remains : 8177/8205 places, 16480/16508 transitions.
Interrupted random walk after 58407 steps, including 4472 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 2
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5445) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5445) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5444) seen :0
Interrupted probabilistic random walk after 220135 steps, run timeout after 102002 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 220135 steps, saw 97397 distinct states, run finished after 102006 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5444 properties.
[2023-03-13 15:49:07] [INFO ] Flow matrix only has 15383 transitions (discarded 1097 similar events)
// Phase 1: matrix 15383 rows 8177 cols
[2023-03-13 15:49:08] [INFO ] Computed 1293 place invariants in 800 ms
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 15:53:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:53:01] [INFO ] After 225092ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5444 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5444 out of 8177 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8177/8177 places, 16480/16480 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 8177 transition count 16478
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 8175 transition count 16478
Applied a total of 4 rules in 1463 ms. Remains 8175 /8177 variables (removed 2) and now considering 16478/16480 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1463 ms. Remains : 8175/8177 places, 16478/16480 transitions.
Interrupted random walk after 59258 steps, including 4536 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 5
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Interrupted probabilistic random walk after 210732 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 210732 steps, saw 93300 distinct states, run finished after 96001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5439 properties.
[2023-03-13 15:55:11] [INFO ] Flow matrix only has 15379 transitions (discarded 1099 similar events)
// Phase 1: matrix 15379 rows 8175 cols
[2023-03-13 15:55:12] [INFO ] Computed 1293 place invariants in 831 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:611)
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 15:59:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:59:05] [INFO ] After 225030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5439 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5439 out of 8175 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8175/8175 places, 16478/16478 transitions.
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 8175 transition count 16474
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 8 place count 8171 transition count 16474
Applied a total of 8 rules in 1398 ms. Remains 8171 /8175 variables (removed 4) and now considering 16474/16478 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1398 ms. Remains : 8171/8175 places, 16474/16478 transitions.
Interrupted random walk after 59783 steps, including 4576 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 9
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5430) seen :0
Interrupted probabilistic random walk after 209532 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 209532 steps, saw 92755 distinct states, run finished after 96003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5430 properties.
[2023-03-13 16:01:15] [INFO ] Flow matrix only has 15371 transitions (discarded 1103 similar events)
// Phase 1: matrix 15371 rows 8171 cols
[2023-03-13 16:01:16] [INFO ] Computed 1293 place invariants in 777 ms
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12426472 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16154156 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C02"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="ltsminxred"
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 ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r247-tall-167856434600558"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C02.tgz
mv MultiCrashLeafsetExtension-PT-S32C02 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;