Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r245-tall-167856432800477.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is MultiCrashLeafsetExtension-PT-S16C04, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-167856432800477
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 11K Feb 26 02:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 02:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 02:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 02:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Feb 26 02:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 26 02:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 02:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 02:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:24 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 4.1M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678714792862

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C04
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-13 13:39:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 13:39:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 13:39:56] [INFO ] Load time of PNML (sax parser for PT used): 535 ms
[2023-03-13 13:39:56] [INFO ] Transformed 4260 places.
[2023-03-13 13:39:56] [INFO ] Transformed 6027 transitions.
[2023-03-13 13:39:56] [INFO ] Parsed PT model containing 4260 places and 6027 transitions and 23774 arcs in 713 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 4260/4260 places, 6027/6027 transitions.
Reduce places removed 28 places and 0 transitions.
Drop transitions removed 1088 transitions
Trivial Post-agglo rules discarded 1088 transitions
Performed 1088 trivial Post agglomeration. Transition count delta: 1088
Iterating post reduction 0 with 1116 rules applied. Total rules applied 1116 place count 4232 transition count 4939
Reduce places removed 1088 places and 0 transitions.
Iterating post reduction 1 with 1088 rules applied. Total rules applied 2204 place count 3144 transition count 4939
Performed 136 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 136 Pre rules applied. Total rules applied 2204 place count 3144 transition count 4803
Deduced a syphon composed of 136 places in 35 ms
Reduce places removed 136 places and 0 transitions.
Iterating global reduction 2 with 272 rules applied. Total rules applied 2476 place count 3008 transition count 4803
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 18 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 2510 place count 2991 transition count 4786
Applied a total of 2510 rules in 502 ms. Remains 2991 /4260 variables (removed 1269) and now considering 4786/6027 (removed 1241) transitions.
[2023-03-13 13:39:57] [INFO ] Flow matrix only has 4514 transitions (discarded 272 similar events)
// Phase 1: matrix 4514 rows 2991 cols
[2023-03-13 13:39:57] [INFO ] Computed 469 place invariants in 513 ms
[2023-03-13 13:40:02] [INFO ] Implicit Places using invariants in 5709 ms returned []
[2023-03-13 13:40:02] [INFO ] Flow matrix only has 4514 transitions (discarded 272 similar events)
[2023-03-13 13:40:02] [INFO ] Invariant cache hit.
[2023-03-13 13:40:07] [INFO ] Implicit Places using invariants and state equation in 4841 ms returned []
Implicit Place search using SMT with State Equation took 10617 ms to find 0 implicit places.
[2023-03-13 13:40:07] [INFO ] Flow matrix only has 4514 transitions (discarded 272 similar events)
[2023-03-13 13:40:07] [INFO ] Invariant cache hit.
[2023-03-13 13:40:12] [INFO ] Dead Transitions using invariants and state equation in 5351 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 2991/4260 places, 4786/6027 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 16477 ms. Remains : 2991/4260 places, 4786/6027 transitions.
Initial state reduction rules removed 17 formulas.
Incomplete random walk after 10000 steps, including 298 resets, run finished after 3547 ms. (steps per millisecond=2 ) properties (out of 4769) seen :1996
Running SMT prover for 2773 properties.
[2023-03-13 13:40:17] [INFO ] Flow matrix only has 4514 transitions (discarded 272 similar events)
[2023-03-13 13:40:17] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 13:40:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:40:45] [INFO ] After 25031ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2773 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 1889 out of 2991 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2991/2991 places, 4786/4786 transitions.
Discarding 493 places :
Symmetric choice reduction at 0 with 493 rule applications. Total rules 493 place count 2498 transition count 4293
Iterating global reduction 0 with 493 rules applied. Total rules applied 986 place count 2498 transition count 4293
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 987 place count 2497 transition count 4289
Iterating global reduction 0 with 1 rules applied. Total rules applied 988 place count 2497 transition count 4289
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 0 with 6 rules applied. Total rules applied 994 place count 2497 transition count 4283
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 1000 place count 2491 transition count 4283
Partial Free-agglomeration rule applied 15 times.
Drop transitions removed 15 transitions
Iterating global reduction 1 with 15 rules applied. Total rules applied 1015 place count 2491 transition count 4283
Applied a total of 1015 rules in 1153 ms. Remains 2491 /2991 variables (removed 500) and now considering 4283/4786 (removed 503) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1154 ms. Remains : 2491/2991 places, 4283/4786 transitions.
Interrupted random walk after 159867 steps, including 4904 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 952
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1821) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1819) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1819) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1817) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1815) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1813) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1811) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1809) 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 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1809) 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 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1809) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1807) 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 1807) 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 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1807) 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 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1807) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1807) 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 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1805) 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 1803) 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 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1803) 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 1803) 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 1803) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1801) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1801) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1801) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1801) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1801) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1799) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1799) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) 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 1797) 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 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1797) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1795) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1793) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1791) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1789) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1787) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1785) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1785) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1785) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1783) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1783) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1783) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1783) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1781) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1779) 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 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1779) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1777) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1775) 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 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1775) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1773) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1773) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1771) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1768) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1766) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) 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 1764) 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 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1764) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1762) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1760) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1758) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1756) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1754) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1754) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1754) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1754) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1753) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1753) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1751) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1749) 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 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1749) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1747) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1747) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1743) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) 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 1741) 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 1741) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1741) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1741) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1739) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1737) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1737) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1737) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1737) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1737) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1735) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1735) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1735) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1733) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1731) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1731) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1731) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1729) 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 1729) 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 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1729) 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 1729) 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 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1729) seen :0
Running SMT prover for 1729 properties.
[2023-03-13 13:41:37] [INFO ] Flow matrix only has 4005 transitions (discarded 278 similar events)
// Phase 1: matrix 4005 rows 2491 cols
[2023-03-13 13:41:37] [INFO ] Computed 469 place invariants in 116 ms
[2023-03-13 13:43:43] [INFO ] [Real]Absence check using 31 positive place invariants in 75 ms returned sat
[2023-03-13 13:43:43] [INFO ] [Real]Absence check using 31 positive and 438 generalized place invariants in 250 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:629)
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 13:45:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:45:24] [INFO ] After 225039ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1729 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 1013 out of 2491 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2491/2491 places, 4283/4283 transitions.
Discarding 428 places :
Symmetric choice reduction at 0 with 428 rule applications. Total rules 428 place count 2063 transition count 3855
Iterating global reduction 0 with 428 rules applied. Total rules applied 856 place count 2063 transition count 3855
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 6 Pre rules applied. Total rules applied 856 place count 2063 transition count 3849
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 868 place count 2057 transition count 3849
Discarding 206 places :
Symmetric choice reduction at 0 with 206 rule applications. Total rules 1074 place count 1851 transition count 3025
Iterating global reduction 0 with 206 rules applied. Total rules applied 1280 place count 1851 transition count 3025
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 0 with 8 rules applied. Total rules applied 1288 place count 1851 transition count 3017
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 1296 place count 1843 transition count 3017
Partial Free-agglomeration rule applied 15 times.
Drop transitions removed 15 transitions
Iterating global reduction 1 with 15 rules applied. Total rules applied 1311 place count 1843 transition count 3017
Applied a total of 1311 rules in 572 ms. Remains 1843 /2491 variables (removed 648) and now considering 3017/4283 (removed 1266) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 574 ms. Remains : 1843/2491 places, 3017/4283 transitions.
Interrupted random walk after 205216 steps, including 6989 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen 81
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1648) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1645) seen :0
Interrupted probabilistic random walk after 627105 steps, run timeout after 93001 ms. (steps per millisecond=6 ) properties seen :{58=1, 173=1, 244=1, 306=1, 365=1, 457=1, 801=1, 1158=1, 1160=1, 1162=1, 1164=1, 1167=1, 1175=1, 1276=1, 1286=1}
Probabilistic random walk after 627105 steps, saw 280641 distinct states, run finished after 93006 ms. (steps per millisecond=6 ) properties seen :15
Running SMT prover for 1630 properties.
[2023-03-13 13:47:30] [INFO ] Flow matrix only has 2731 transitions (discarded 286 similar events)
// Phase 1: matrix 2731 rows 1843 cols
[2023-03-13 13:47:30] [INFO ] Computed 469 place invariants in 59 ms
[2023-03-13 13:48:55] [INFO ] [Real]Absence check using 33 positive place invariants in 104 ms returned sat
[2023-03-13 13:48:55] [INFO ] [Real]Absence check using 33 positive and 436 generalized place invariants in 195 ms returned sat
[2023-03-13 13:51:16] [INFO ] After 57169ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1435 real:195
[2023-03-13 13:51:16] [INFO ] State equation strengthened by 1013 read => feed constraints.
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.verifyPossible(DeadlockTester.java:642)
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 13:51:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:51:16] [INFO ] After 225102ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1630 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 918 out of 1843 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1843/1843 places, 3017/3017 transitions.
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 28 place count 1815 transition count 2989
Iterating global reduction 0 with 28 rules applied. Total rules applied 56 place count 1815 transition count 2989
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 56 place count 1815 transition count 2988
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 58 place count 1814 transition count 2988
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 86 place count 1786 transition count 2876
Iterating global reduction 0 with 28 rules applied. Total rules applied 114 place count 1786 transition count 2876
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 0 with 6 rules applied. Total rules applied 120 place count 1786 transition count 2876
Applied a total of 120 rules in 475 ms. Remains 1786 /1843 variables (removed 57) and now considering 2876/3017 (removed 141) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 489 ms. Remains : 1786/1843 places, 2876/3017 transitions.
Interrupted random walk after 204443 steps, including 6974 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen 18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Interrupted probabilistic random walk after 664243 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 664243 steps, saw 296462 distinct states, run finished after 93005 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1612 properties.
[2023-03-13 13:53:21] [INFO ] Flow matrix only has 2590 transitions (discarded 286 similar events)
// Phase 1: matrix 2590 rows 1786 cols
[2023-03-13 13:53:21] [INFO ] Computed 469 place invariants in 78 ms
[2023-03-13 13:54:43] [INFO ] [Real]Absence check using 33 positive place invariants in 85 ms returned sat
[2023-03-13 13:54:43] [INFO ] [Real]Absence check using 33 positive and 436 generalized place invariants in 248 ms returned sat
[2023-03-13 13:56:22] [INFO ] After 179162ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1612
[2023-03-13 13:57:40] [INFO ] [Nat]Absence check using 33 positive place invariants in 79 ms returned sat
[2023-03-13 13:57:40] [INFO ] [Nat]Absence check using 33 positive and 436 generalized place invariants in 236 ms returned sat
[2023-03-13 14:00:07] [INFO ] After 69003ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1612
[2023-03-13 14:00:07] [INFO ] State equation strengthened by 929 read => feed constraints.
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.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
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 14:00:07] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:00:07] [INFO ] After 225090ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1612
Fused 1612 Parikh solutions to 391 different solutions.
Parikh walk visited 0 properties in 1714 ms.
Support contains 904 out of 1786 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1786/1786 places, 2876/2876 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 1783 transition count 2873
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 1783 transition count 2873
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 6 place count 1783 transition count 2872
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 1782 transition count 2872
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 11 place count 1779 transition count 2860
Iterating global reduction 0 with 3 rules applied. Total rules applied 14 place count 1779 transition count 2860
Applied a total of 14 rules in 146 ms. Remains 1779 /1786 variables (removed 7) and now considering 2860/2876 (removed 16) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 147 ms. Remains : 1779/1786 places, 2860/2876 transitions.
Interrupted random walk after 214906 steps, including 7329 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1612) seen :0
Interrupted probabilistic random walk after 690778 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 690778 steps, saw 308087 distinct states, run finished after 93001 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1612 properties.
[2023-03-13 14:02:13] [INFO ] Flow matrix only has 2574 transitions (discarded 286 similar events)
// Phase 1: matrix 2574 rows 1779 cols
[2023-03-13 14:02:13] [INFO ] Computed 469 place invariants in 111 ms
[2023-03-13 14:03:25] [INFO ] [Real]Absence check using 33 positive place invariants in 96 ms returned sat
[2023-03-13 14:03:26] [INFO ] [Real]Absence check using 33 positive and 436 generalized place invariants in 242 ms returned sat
[2023-03-13 14:06:00] [INFO ] After 80643ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1294 real:317
[2023-03-13 14:06:00] [INFO ] State equation strengthened by 920 read => feed constraints.
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.verifyPossible(DeadlockTester.java:642)
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 14:06:00] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:06:00] [INFO ] After 225057ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1612 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 904 out of 1779 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1779/1779 places, 2860/2860 transitions.
Applied a total of 0 rules in 81 ms. Remains 1779 /1779 variables (removed 0) and now considering 2860/2860 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 82 ms. Remains : 1779/1779 places, 2860/2860 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1779/1779 places, 2860/2860 transitions.
Applied a total of 0 rules in 76 ms. Remains 1779 /1779 variables (removed 0) and now considering 2860/2860 (removed 0) transitions.
[2023-03-13 14:06:00] [INFO ] Flow matrix only has 2574 transitions (discarded 286 similar events)
[2023-03-13 14:06:00] [INFO ] Invariant cache hit.
[2023-03-13 14:06:01] [INFO ] Implicit Places using invariants in 1385 ms returned []
[2023-03-13 14:06:01] [INFO ] Flow matrix only has 2574 transitions (discarded 286 similar events)
[2023-03-13 14:06:01] [INFO ] Invariant cache hit.
[2023-03-13 14:06:03] [INFO ] State equation strengthened by 920 read => feed constraints.
[2023-03-13 14:06:28] [INFO ] Implicit Places using invariants and state equation in 26752 ms returned [4, 7, 11, 12, 13, 14, 15, 20, 27, 36, 47, 60, 75, 90, 106, 107, 108, 109, 110, 123, 134, 143, 150, 155, 158, 169, 175, 178, 179, 180, 181, 182, 185, 190, 197, 206, 217, 230, 243, 257, 258, 259, 260, 261, 272, 281, 288, 293, 296, 298, 309, 315, 318, 319, 320, 321, 322, 324, 327, 332, 339, 348, 359, 370, 382, 383, 384, 385, 386, 395, 402, 407, 410, 412, 414, 431, 434, 435, 436, 437, 438, 440, 442, 445, 450, 457, 466, 475, 485, 486, 487, 488, 489, 496, 501, 504, 506, 508, 510, 521, 527, 530, 531, 532, 533, 534, 536, 538, 540, 543, 548, 555, 562, 570, 571, 572, 573, 574, 579, 582, 584, 586, 588, 590, 601, 607, 610, 611, 612, 613, 614, 616, 618, 620, 622, 625, 630, 635, 641, 642, 643, 644, 645, 648, 650, 652, 654, 656, 658, 669, 675, 678, 679, 680, 681, 682, 684, 686, 688, 690, 692, 695, 698, 702, 703, 704, 705, 706, 708, 710, 712, 714, 716, 718, 729, 735, 738, 739, 740, 741, 742, 744, 746, 748, 750, 752, 754, 756, 759, 760, 761, 762, 763, 765, 767, 769, 771, 773, 775, 786, 788, 791, 794, 795, 796, 797, 798, 800, 802, 804, 806, 808, 810, 812, 815, 816, 817, 818, 819, 821, 823, 825, 827, 829, 831, 842, 848, 851, 852, 853, 854, 855, 857, 859, 861, 863, 865, 867, 869, 872, 873, 874, 875, 876, 878, 880, 882, 884, 886, 888, 905, 908, 909, 910, 911, 912, 914, 916, 918, 920, 922, 924, 927, 931, 932, 933, 934, 935, 938, 940, 942, 944, 946, 948, 959, 965, 968, 969, 970, 971, 972, 974, 976, 978, 980, 982, 985, 990, 996, 997, 998, 999, 1000, 1005, 1008, 1010, 1012, 1014, 1016, 1027, 1033, 1036, 1037, 1038, 1039, 1040, 1042, 1044, 1046, 1048, 1051, 1056, 1063, 1071, 1072, 1073, 1074, 1075, 1082, 1087, 1090, 1092, 1094, 1096, 1107, 1113, 1116, 1117, 1118, 1119, 1120, 1122, 1124, 1126, 1129, 1134, 1141, 1150, 1160, 1161, 1162, 1163, 1164, 1173, 1180, 1185, 1188, 1190, 1192, 1203, 1209, 1212, 1213, 1214, 1215, 1216, 1218, 1220, 1223, 1228, 1235, 1244, 1255, 1267, 1268, 1269, 1270, 1271, 1282, 1291, 1298, 1303, 1306, 1308, 1319, 1325, 1328, 1329, 1330, 1331, 1332, 1334, 1337, 1342, 1349, 1358, 1369, 1382, 1396, 1397, 1398, 1399, 1400, 1413, 1424, 1433, 1440, 1445, 1448, 1459, 1461, 1464, 1467, 1468, 1469, 1470, 1471, 1474, 1479, 1486, 1495, 1506, 1519, 1534, 1550, 1551, 1552, 1553, 1554, 1569, 1582, 1593, 1602, 1609, 1614, 1626]
Discarding 426 places :
Implicit Place search using SMT with State Equation took 28165 ms to find 426 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 1353/1779 places, 2860/2860 transitions.
Discarding 128 places :
Symmetric choice reduction at 0 with 128 rule applications. Total rules 128 place count 1225 transition count 2732
Iterating global reduction 0 with 128 rules applied. Total rules applied 256 place count 1225 transition count 2732
Discarding 128 places :
Symmetric choice reduction at 0 with 128 rule applications. Total rules 384 place count 1097 transition count 2604
Iterating global reduction 0 with 128 rules applied. Total rules applied 512 place count 1097 transition count 2604
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 544 place count 1065 transition count 2476
Iterating global reduction 0 with 32 rules applied. Total rules applied 576 place count 1065 transition count 2476
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 577 place count 1065 transition count 2475
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 578 place count 1064 transition count 2475
Applied a total of 578 rules in 187 ms. Remains 1064 /1353 variables (removed 289) and now considering 2475/2860 (removed 385) transitions.
[2023-03-13 14:06:28] [INFO ] Flow matrix only has 2189 transitions (discarded 286 similar events)
// Phase 1: matrix 2189 rows 1064 cols
[2023-03-13 14:06:28] [INFO ] Computed 43 place invariants in 45 ms
[2023-03-13 14:06:29] [INFO ] Implicit Places using invariants in 614 ms returned [330, 558]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 618 ms to find 2 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 1062/1779 places, 2475/2860 transitions.
Applied a total of 0 rules in 55 ms. Remains 1062 /1062 variables (removed 0) and now considering 2475/2475 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 29104 ms. Remains : 1062/1779 places, 2475/2860 transitions.
Interrupted random walk after 219730 steps, including 7485 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 20
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1592) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1592) seen :0
Interrupted probabilistic random walk after 830671 steps, run timeout after 93001 ms. (steps per millisecond=8 ) properties seen :{68=1, 79=1, 143=1, 152=1, 178=1, 230=1, 243=1, 250=1, 282=1, 287=1, 331=1, 347=1, 348=1, 350=1, 351=1, 432=1, 434=1, 457=1, 477=1, 482=1, 492=1, 526=1, 533=1, 553=1, 597=1, 606=1, 623=1, 632=1, 694=1, 736=1, 1128=1, 1129=1, 1130=1, 1131=1, 1132=1, 1146=1, 1148=1, 1149=1, 1151=1, 1152=1, 1154=1, 1155=1, 1156=1, 1157=1, 1159=1, 1205=1, 1206=1, 1207=1, 1209=1, 1210=1, 1211=1, 1212=1, 1215=1, 1216=1, 1218=1, 1231=1, 1232=1, 1233=1, 1234=1, 1235=1}
Probabilistic random walk after 830671 steps, saw 343364 distinct states, run finished after 93001 ms. (steps per millisecond=8 ) properties seen :60
Running SMT prover for 1532 properties.
[2023-03-13 14:08:33] [INFO ] Flow matrix only has 2189 transitions (discarded 286 similar events)
// Phase 1: matrix 2189 rows 1062 cols
[2023-03-13 14:08:33] [INFO ] Computed 41 place invariants in 31 ms
[2023-03-13 14:09:19] [INFO ] [Real]Absence check using 31 positive place invariants in 74 ms returned sat
[2023-03-13 14:09:19] [INFO ] [Real]Absence check using 31 positive and 10 generalized place invariants in 5 ms returned sat
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14947364 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16163236 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 QuasiLiveness -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-S16C04"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is MultiCrashLeafsetExtension-PT-S16C04, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-167856432800477"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C04.tgz
mv MultiCrashLeafsetExtension-PT-S16C04 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;