About the Execution of Marcie+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 |
| 3326.699 | 1800000.00 | 2651959.00 | 3085.70 | [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.r248-tall-167856435500558.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 marciexred
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 r248-tall-167856435500558
=====================================================================
--------------------
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 1678736992047
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=marciexred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-13 19:49:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 19:49:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:49:54] [INFO ] Load time of PNML (sax parser for PT used): 590 ms
[2023-03-13 19:49:54] [INFO ] Transformed 13544 places.
[2023-03-13 19:49:54] [INFO ] Transformed 21807 transitions.
[2023-03-13 19:49:54] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 758 ms.
Incomplete random walk after 10000 steps, including 471 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 13544) seen :1456
Running SMT prover for 12088 properties.
[2023-03-13 19:49:56] [INFO ] Flow matrix only has 20751 transitions (discarded 1056 similar events)
// Phase 1: matrix 20751 rows 13544 cols
[2023-03-13 19:49:58] [INFO ] Computed 1333 place invariants in 1598 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 19:50:23] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 19:50:23] [INFO ] After 25091ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12088 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 12088 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 33 transitions
Trivial Post-agglo rules discarded 33 transitions
Performed 33 trivial Post agglomeration. Transition count delta: 33
Iterating post reduction 0 with 33 rules applied. Total rules applied 34 place count 13504 transition count 21774
Reduce places removed 33 places and 0 transitions.
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Iterating post reduction 1 with 127 rules applied. Total rules applied 161 place count 13471 transition count 21680
Reduce places removed 94 places and 0 transitions.
Iterating post reduction 2 with 94 rules applied. Total rules applied 255 place count 13377 transition count 21680
Performed 66 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 66 Pre rules applied. Total rules applied 255 place count 13377 transition count 21614
Deduced a syphon composed of 66 places in 20 ms
Reduce places removed 66 places and 0 transitions.
Iterating global reduction 3 with 132 rules applied. Total rules applied 387 place count 13311 transition count 21614
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 394 place count 13304 transition count 21607
Iterating global reduction 3 with 7 rules applied. Total rules applied 401 place count 13304 transition count 21607
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 16 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 403 place count 13303 transition count 21606
Free-agglomeration rule (complex) applied 41 times.
Iterating global reduction 3 with 41 rules applied. Total rules applied 444 place count 13303 transition count 21565
Reduce places removed 41 places and 0 transitions.
Iterating post reduction 3 with 41 rules applied. Total rules applied 485 place count 13262 transition count 21565
Partial Free-agglomeration rule applied 26 times.
Drop transitions removed 26 transitions
Iterating global reduction 4 with 26 rules applied. Total rules applied 511 place count 13262 transition count 21565
Applied a total of 511 rules in 1387 ms. Remains 13262 /13544 variables (removed 282) and now considering 21565/21807 (removed 242) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1391 ms. Remains : 13262/13544 places, 21565/21807 transitions.
Interrupted random walk after 180001 steps, including 9193 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 6168
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5920) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5918) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5915) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5913) 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 5912) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5908) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5904) 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 5904) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5901) 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 5901) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5899) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5898) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5897) 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 5897) 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 5896) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5894) 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 5894) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5894) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5892) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5889) 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 5889) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5886) 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 5886) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5885) 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 5885) 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 5885) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5883) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5880) 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 5880) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5875) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5872) 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 5872) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5871) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5869) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5867) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5864) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5863) 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 5862) 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 5862) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5861) 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 5860) 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 5859) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5859) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5856) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5855) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5852) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5849) 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 5848) 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 5847) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5846) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5845) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5844) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5842) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5841) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5840) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5839) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5837) 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 5836) 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 5836) 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 5836) 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 5836) 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 5836) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5835) 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 5834) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5833) 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 5833) 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 5833) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5831) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5828) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5827) 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 5827) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5825) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5824) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5821) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5820) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5818) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5817) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5815) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5812) 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 5811) 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 5811) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5810) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5808) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5808) 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 5807) 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 5807) 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 5807) 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 5807) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5805) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5803) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5802) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5800) 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 5800) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5796) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5794) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5793) 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 5793) 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 5793) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5791) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5789) 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 5789) 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 5788) 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 5788) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5787) 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 5786) 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 5786) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5785) 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 5785) 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 5784) 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 5784) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5782) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5780) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5779) 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 5778) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5776) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5774) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5773) 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 5772) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5771) 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 5771) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5769) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5768) 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 5767) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5766) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5764) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5763) 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 5762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5762) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5761) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5760) 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 5760) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5758) 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 5757) 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 5757) 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 5756) 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 5756) 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 5756) 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 5756) 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 5755) 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 5755) 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 5755) 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 5755) 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 5755) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5754) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5752) 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 5752) 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 5752) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5749) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5746) 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 5746) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5743) 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 5743) 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 5743) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5743) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5741) 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 5741) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5740) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5739) 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 5739) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5737) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5735) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5734) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5733) 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 5732) 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 5731) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5727) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5725) 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 5725) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5725) 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 5725) 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 5725) 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 5725) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5723) 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 5723) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5720) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5719) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5717) 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 5716) 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 5716) 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 5716) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5714) 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 5714) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5712) 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 5711) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5710) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5708) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5706) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5705) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5705) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5704) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5704) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5704) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5702) 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 5702) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5700) 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 5700) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5699) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5698) 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 5698) 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 5698) 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 5698) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5697) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5697) 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 5697) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5696) 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 5696) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5694) 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 5694) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5693) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5692) 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 5692) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5689) 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 5689) 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 5689) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5688) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5687) 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 5687) 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 5687) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5685) 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 5685) 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 5684) 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 5684) 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 5684) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5684) 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 5684) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5683) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5681) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5680) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5679) 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 5678) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5677) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5676) 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 5676) 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 5676) 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 5676) 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 5676) 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 5675) 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 5674) 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 5674) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5672) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5671) 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 5671) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5670) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5670) 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 5670) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5670) 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 5669) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5668) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5668) 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 5668) 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 5668) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5667) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5666) 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 5666) 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 5665) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5664) 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 5664) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5663) 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 5663) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5659) 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 5659) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5658) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5658) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5657) 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 5657) 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 5657) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5656) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5655) 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 5654) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5654) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5653) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5652) 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 5652) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5652) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5651) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5650) 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 5650) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5649) 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 5649) 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 5648) 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 5648) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5646) 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 5646) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5644) 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 5644) 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 5644) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5643) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5642) 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 5642) 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 5642) 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 5642) 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 5641) 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 5641) 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 5641) 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 5641) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5641) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5641) 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 5641) 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 5641) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5641) 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 5641) 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 5641) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5639) 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 5638) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5637) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5636) 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 5636) 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 5636) 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 5636) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5635) 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 5635) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5635) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5634) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5634) 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 5634) 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 5634) 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 5634) 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 5634) 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 5634) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5634) 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 5634) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5633) 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 5633) 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 5633) 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 5633) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5632) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5632) 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 5632) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5632) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5631) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5631) 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 5631) 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 5631) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5630) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5629) 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 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5629) 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 5629) 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 5629) 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 5629) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5628) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5627) 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 5627) 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 5627) 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 5627) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5624) 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 5623) 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 5623) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5621) 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 5621) 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 5621) 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 5620) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5619) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5619) 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 5619) 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 5619) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5619) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5619) 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 5619) 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 5619) 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 5619) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5618) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5618) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5617) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5616) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5614) 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 5614) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5614) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5612) 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 5612) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5611) 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 5611) 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 5611) 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 5611) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5610) 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 5610) 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 5610) 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 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5610) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5609) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5607) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5606) 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 5606) 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 5606) 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 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5606) 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 5606) 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 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5606) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5605) 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 5605) 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 5605) 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 5604) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5603) 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 5603) 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 5603) 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 5603) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5602) 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 5602) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5601) 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 5601) 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 5601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5601) 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 5601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5601) 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 5601) 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 5601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5601) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5599) 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 5599) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5599) 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 5599) 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 5599) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5599) 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 5599) 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 5599) 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 5598) 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 5598) 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 5598) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5597) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5596) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5595) 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 5595) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5594) 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 5594) 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 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5594) 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 5594) 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 5594) 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 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5594) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5593) 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 5593) 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 5592) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5590) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5590) 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 5590) 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 5590) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5590) 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 5590) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5590) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5590) 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 5590) 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 5590) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5589) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5588) 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 5588) 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 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5588) 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 5588) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5587) 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 5587) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5584) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5583) 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 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5583) 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 5583) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5583) 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 5583) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5582) 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 5582) 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 5582) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5581) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5581) 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 5581) 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 5581) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5581) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5581) 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 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5580) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5579) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5578) 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 5578) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5577) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5577) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5577) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5577) 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 5577) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5576) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5575) 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 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5575) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5574) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5573) 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 5573) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5572) 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 5572) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5572) 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 5572) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5572) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5572) 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 5572) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5570) 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 5570) 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 5570) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5569) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5569) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5569) 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 5569) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5568) 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 5568) 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 5568) 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 5568) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5567) 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 5567) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5565) 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 5565) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5563) 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 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5563) 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 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5563) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5563) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5562) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5562) 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 5562) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5561) 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 5561) 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 5561) 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 5561) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5559) 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 5559) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5558) 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 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5558) 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 5558) 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 5558) 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 5558) 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 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5558) 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 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5558) 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 5558) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5557) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5556) 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 5556) 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 5556) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5555) 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 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5555) 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 5555) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5552) 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 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5552) 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 5552) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5551) 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 5551) 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 5551) 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 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5551) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5550) 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 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5550) 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 5550) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5549) 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 5549) 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 5549) 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 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5549) 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 5549) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5548) 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 5548) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5547) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5545) 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 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5545) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5543) 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 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5543) 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 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5543) 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 5543) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5541) 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 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5541) 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 5541) 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 5541) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5539) 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 5539) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5538) 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 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5538) 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 5538) 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 5538) 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 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5538) 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 5538) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5537) 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 5537) 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 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5537) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5537) 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 5537) 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 5537) 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 5537) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5536) 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 5536) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5535) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5535) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5533) 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 5533) 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 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5533) 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 5533) 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 5533) 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 5533) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5532) 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 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5532) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) 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 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) 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 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5531) 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 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5529) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5528) 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 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5528) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5527) 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 5527) 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 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5527) 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 5527) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5527) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5526) 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 5526) 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 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5526) 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 5526) 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 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5526) 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 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5526) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5525) 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 5524) 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 5524) 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 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5524) 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 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5523) 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 5523) 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 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5523) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5521) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) 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 5520) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5518) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5517) 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 5517) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5516) 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 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5516) 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 5516) 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 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5516) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5515) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) 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 5514) 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 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) 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 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) 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 5514) 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 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) 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 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5514) 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 5514) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5512) 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 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5511) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5510) 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 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5510) 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 5510) 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 5510) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5509) 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 5509) 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 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5509) 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 5509) 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 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5509) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5507) 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 5507) 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 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5507) 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 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5507) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) 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 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) 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 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5506) 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 5506) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5504) 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 5504) 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 5504) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5503) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5502) 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 5502) 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 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5502) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5501) 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 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5501) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5500) 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 5500) 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 5500) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) 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 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) 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 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5499) 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 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5499) 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 5499) 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 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) 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 5499) 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 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5499) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5498) 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 5498) 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 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5498) 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 5498) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5497) 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 5497) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5496) 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 5496) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5495) 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 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5495) 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 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5495) 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 5495) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5494) 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 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5494) 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 5494) 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 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5494) 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 5494) 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 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5494) 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 5494) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5493) 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 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5493) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5492) 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 5492) 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 5492) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) 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 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) 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 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5490) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5489) 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 5489) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5488) 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 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) 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 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5487) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5486) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5485) 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 5485) 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 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5485) 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 5485) 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 5485) 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 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5485) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5484) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5483) 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 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5483) 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 5483) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5482) 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 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5482) 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 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5482) 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 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5482) 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 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5482) 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 5482) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5481) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5481) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5479) 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 5479) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5479) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5479) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5478) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5478) 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 5477) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) 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 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) 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 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5476) 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 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5476) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5475) 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 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5475) 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 5475) 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 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5475) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5475) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) 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 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) 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 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) 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 5473) 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 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5473) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5472) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5472) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5472) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5472) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5472) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5472) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5471) 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 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5471) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5470) 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 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) 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 5470) 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 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5470) 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 5470) 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 5470) 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 5470) 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 5470) 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 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) 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 5470) 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 5470) 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 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) 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 5470) 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 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5470) 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 5470) 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 5470) 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 5470) 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 5470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5470) 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 5470) 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 5470) 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 5470) 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 5470) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5469) 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 5469) 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 5469) 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 5469) 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 5469) 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 5469) 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 5469) 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 5469) 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 5469) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5467) 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 5467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5467) 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 5467) 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 5467) 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 5467) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5466) 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 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5466) 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 5466) 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 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5466) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 5466) 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 5466) 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 5466) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) 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 5465) 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 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) 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 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) 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 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) 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 5465) 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 5465) 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 5465) 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 5465) 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 5465) 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 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) 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 5465) 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 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5465) 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 5465) 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 5465) 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 5465) 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 5465) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5465) 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 5465) seen :0
Running SMT prover for 5465 properties.
[2023-03-13 19:51:52] [INFO ] Flow matrix only has 20507 transitions (discarded 1058 similar events)
// Phase 1: matrix 20507 rows 13262 cols
[2023-03-13 19:51:54] [INFO ] Computed 1293 place invariants in 1301 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 19:55:39] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 19:55:39] [INFO ] After 225065ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5465 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5465 out of 13262 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 13262/13262 places, 21565/21565 transitions.
Drop transitions removed 1972 transitions
Trivial Post-agglo rules discarded 1972 transitions
Performed 1972 trivial Post agglomeration. Transition count delta: 1972
Iterating post reduction 0 with 1972 rules applied. Total rules applied 1972 place count 13262 transition count 19593
Reduce places removed 1972 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 1974 rules applied. Total rules applied 3946 place count 11290 transition count 19591
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 3948 place count 11288 transition count 19591
Performed 66 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 66 Pre rules applied. Total rules applied 3948 place count 11288 transition count 19525
Deduced a syphon composed of 66 places in 25 ms
Reduce places removed 66 places and 0 transitions.
Iterating global reduction 3 with 132 rules applied. Total rules applied 4080 place count 11222 transition count 19525
Discarding 1934 places :
Symmetric choice reduction at 3 with 1934 rule applications. Total rules 6014 place count 9288 transition count 17591
Iterating global reduction 3 with 1934 rules applied. Total rules applied 7948 place count 9288 transition count 17591
Discarding 913 places :
Symmetric choice reduction at 3 with 913 rule applications. Total rules 8861 place count 8375 transition count 15765
Iterating global reduction 3 with 913 rules applied. Total rules applied 9774 place count 8375 transition count 15765
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 9776 place count 8374 transition count 15764
Free-agglomeration rule (complex) applied 144 times.
Iterating global reduction 3 with 144 rules applied. Total rules applied 9920 place count 8374 transition count 16533
Reduce places removed 144 places and 0 transitions.
Iterating post reduction 3 with 144 rules applied. Total rules applied 10064 place count 8230 transition count 16533
Discarding 23 places :
Symmetric choice reduction at 4 with 23 rule applications. Total rules 10087 place count 8207 transition count 16510
Iterating global reduction 4 with 23 rules applied. Total rules applied 10110 place count 8207 transition count 16510
Partial Free-agglomeration rule applied 66 times.
Drop transitions removed 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 10176 place count 8207 transition count 16510
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 10179 place count 8204 transition count 16507
Iterating global reduction 4 with 3 rules applied. Total rules applied 10182 place count 8204 transition count 16507
Applied a total of 10182 rules in 3830 ms. Remains 8204 /13262 variables (removed 5058) and now considering 16507/21565 (removed 5058) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3830 ms. Remains : 8204/13262 places, 16507/21565 transitions.
Interrupted random walk after 87545 steps, including 6695 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 27
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5438) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5437) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5437) seen :0
Interrupted probabilistic random walk after 239172 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{2713=1, 2744=1, 2771=1, 2778=1, 2821=1, 2830=1, 2903=1, 2990=1, 3117=1, 3132=1, 3279=1, 3296=1, 4027=1, 4342=1, 4367=1, 4760=1, 5183=1, 5212=1}
Probabilistic random walk after 239172 steps, saw 105688 distinct states, run finished after 96004 ms. (steps per millisecond=2 ) properties seen :18
Running SMT prover for 5419 properties.
[2023-03-13 19:57:51] [INFO ] Flow matrix only has 15411 transitions (discarded 1096 similar events)
// Phase 1: matrix 15411 rows 8204 cols
[2023-03-13 19:57:52] [INFO ] Computed 1293 place invariants in 671 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 20:01:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:01:45] [INFO ] After 225051ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5419 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5419 out of 8204 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8204/8204 places, 16507/16507 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 8204 transition count 16496
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 22 place count 8193 transition count 16496
Free-agglomeration rule (complex) applied 19 times.
Iterating global reduction 2 with 19 rules applied. Total rules applied 41 place count 8193 transition count 16477
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 2 with 19 rules applied. Total rules applied 60 place count 8174 transition count 16477
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 73 place count 8161 transition count 16464
Iterating global reduction 3 with 13 rules applied. Total rules applied 86 place count 8161 transition count 16464
Applied a total of 86 rules in 1486 ms. Remains 8161 /8204 variables (removed 43) and now considering 16464/16507 (removed 43) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1486 ms. Remains : 8161/8204 places, 16464/16507 transitions.
Interrupted random walk after 86855 steps, including 6646 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 6
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5413) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5413) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5413) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5413) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5413) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5413) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5412) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5411) seen :0
Interrupted probabilistic random walk after 245880 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{255=1, 703=1, 1093=1, 1430=1, 1718=1, 2156=1, 2443=1, 2656=1, 2688=1}
Probabilistic random walk after 245880 steps, saw 108630 distinct states, run finished after 99001 ms. (steps per millisecond=2 ) properties seen :9
Running SMT prover for 5402 properties.
[2023-03-13 20:03:59] [INFO ] Flow matrix only has 15351 transitions (discarded 1113 similar events)
// Phase 1: matrix 15351 rows 8161 cols
[2023-03-13 20:03:59] [INFO ] Computed 1293 place invariants in 689 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 20:07:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:07:52] [INFO ] After 225029ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5402 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5402 out of 8161 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8161/8161 places, 16464/16464 transitions.
Free-agglomeration rule (complex) applied 15 times.
Iterating global reduction 0 with 15 rules applied. Total rules applied 15 place count 8161 transition count 16449
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 0 with 15 rules applied. Total rules applied 30 place count 8146 transition count 16449
Applied a total of 30 rules in 1381 ms. Remains 8146 /8161 variables (removed 15) and now considering 16449/16464 (removed 15) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1381 ms. Remains : 8146/8161 places, 16449/16464 transitions.
Interrupted random walk after 82274 steps, including 6299 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5401) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5401) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5400) seen :0
Interrupted probabilistic random walk after 241915 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 241915 steps, saw 106850 distinct states, run finished after 99003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5400 properties.
[2023-03-13 20:10:05] [INFO ] Flow matrix only has 15321 transitions (discarded 1128 similar events)
// Phase 1: matrix 15321 rows 8146 cols
[2023-03-13 20:10:06] [INFO ] Computed 1293 place invariants in 665 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 20:13:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:13:58] [INFO ] After 225058ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5400 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5400 out of 8146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8146/8146 places, 16449/16449 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 8146 transition count 16448
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 8145 transition count 16448
Applied a total of 2 rules in 1309 ms. Remains 8145 /8146 variables (removed 1) and now considering 16448/16449 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1309 ms. Remains : 8145/8146 places, 16448/16449 transitions.
Interrupted random walk after 83308 steps, including 6376 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 2
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5398) seen :0
Interrupted probabilistic random walk after 226725 steps, run timeout after 93001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 226725 steps, saw 100240 distinct states, run finished after 93001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5398 properties.
[2023-03-13 20:16:04] [INFO ] Flow matrix only has 15319 transitions (discarded 1129 similar events)
// Phase 1: matrix 15319 rows 8145 cols
[2023-03-13 20:16:05] [INFO ] Computed 1293 place invariants in 706 ms
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12836364 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114092 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="marciexred"
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 marciexred"
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 r248-tall-167856435500558"
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 ;