Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r075-tall-162039097400256.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is DLCshifumi-PT-5b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097400256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 108K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 22 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 22 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 9.7M May 5 16:51 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-00
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-01
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-02
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-03
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-04
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-05
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-06
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-07
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-08
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-09
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-10
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-11
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-12
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-13
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-14
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1620554997171

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-09 10:09:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-09 10:09:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 10:09:59] [INFO ] Load time of PNML (sax parser for PT used): 640 ms
[2021-05-09 10:09:59] [INFO ] Transformed 27146 places.
[2021-05-09 10:09:59] [INFO ] Transformed 39849 transitions.
[2021-05-09 10:09:59] [INFO ] Found NUPN structural information;
[2021-05-09 10:10:00] [INFO ] Parsed PT model containing 27146 places and 39849 transitions in 2010 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 2685 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 0 resets, run finished after 267 ms. (steps per millisecond=37 ) properties seen :[0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0]
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 34 ms. (steps per millisecond=294 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 22 ms. (steps per millisecond=454 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 18 ms. (steps per millisecond=555 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 17 ms. (steps per millisecond=588 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 17 ms. (steps per millisecond=588 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 25 ms. (steps per millisecond=400 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 26 ms. (steps per millisecond=384 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 15 ms. (steps per millisecond=666 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 17 ms. (steps per millisecond=588 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 0 resets, run finished after 19 ms. (steps per millisecond=526 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 10:10:06] [INFO ] Computed 1378 place invariants in 2896 ms
[2021-05-09 10:10:11] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:11] [INFO ] [Real]Absence check using 1378 positive place invariants in 1361 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:12] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 0
[2021-05-09 10:10:17] [INFO ] [Real]Absence check using 1378 positive place invariants in 1772 ms returned (error "Solver has unexpectedly terminated")
[2021-05-09 10:10:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 1
[2021-05-09 10:10:22] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:22] [INFO ] [Real]Absence check using 1378 positive place invariants in 1883 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:22] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 2
[2021-05-09 10:10:27] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:27] [INFO ] [Real]Absence check using 1378 positive place invariants in 1826 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:27] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 3
[2021-05-09 10:10:32] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:32] [INFO ] [Real]Absence check using 1378 positive place invariants in 1952 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:32] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 4
[2021-05-09 10:10:37] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:37] [INFO ] [Real]Absence check using 1378 positive place invariants in 1893 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:37] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 5
[2021-05-09 10:10:42] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:42] [INFO ] [Real]Absence check using 1378 positive place invariants in 1901 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:42] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 6
[2021-05-09 10:10:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:47] [INFO ] [Real]Absence check using 1378 positive place invariants in 1847 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:47] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 7
[2021-05-09 10:10:52] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:52] [INFO ] [Real]Absence check using 1378 positive place invariants in 1894 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:52] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 8
[2021-05-09 10:10:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:10:57] [INFO ] [Real]Absence check using 1378 positive place invariants in 1927 ms returned (error "Failed to check-sat")
[2021-05-09 10:10:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:10:57] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 9
[2021-05-09 10:11:02] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:11:02] [INFO ] [Real]Absence check using 1378 positive place invariants in 1725 ms returned (error "Failed to check-sat")
[2021-05-09 10:11:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:11:02] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed") while checking expression at index 10
Support contains 42 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25198 edges and 27146 vertex of which 2186 / 27146 are part of one of the 140 SCC in 58 ms
Free SCC test removed 2046 places
Drop transitions removed 2314 transitions
Reduce isomorphic transitions removed 2314 transitions.
Performed 12906 Post agglomeration using F-continuation condition.Transition count delta: 12906
Iterating post reduction 0 with 15220 rules applied. Total rules applied 15221 place count 25100 transition count 24629
Reduce places removed 12906 places and 0 transitions.
Ensure Unique test removed 379 transitions
Reduce isomorphic transitions removed 379 transitions.
Performed 372 Post agglomeration using F-continuation condition.Transition count delta: 372
Iterating post reduction 1 with 13657 rules applied. Total rules applied 28878 place count 12194 transition count 23878
Reduce places removed 372 places and 0 transitions.
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 121 transitions.
Performed 120 Post agglomeration using F-continuation condition.Transition count delta: 120
Iterating post reduction 2 with 613 rules applied. Total rules applied 29491 place count 11822 transition count 23637
Reduce places removed 120 places and 0 transitions.
Iterating post reduction 3 with 120 rules applied. Total rules applied 29611 place count 11702 transition count 23637
Performed 151 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 151 Pre rules applied. Total rules applied 29611 place count 11702 transition count 23486
Deduced a syphon composed of 151 places in 801 ms
Reduce places removed 151 places and 0 transitions.
Iterating global reduction 4 with 302 rules applied. Total rules applied 29913 place count 11551 transition count 23486
Symmetric choice reduction at 4 with 3283 rule applications. Total rules 33196 place count 11551 transition count 23486
Deduced a syphon composed of 3283 places in 736 ms
Reduce places removed 3283 places and 3283 transitions.
Iterating global reduction 4 with 6566 rules applied. Total rules applied 39762 place count 8268 transition count 20203
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 4 with 8 rules applied. Total rules applied 39770 place count 8268 transition count 20195
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 39776 place count 8264 transition count 20193
Performed 1368 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1368 Pre rules applied. Total rules applied 39776 place count 8264 transition count 18825
Deduced a syphon composed of 1368 places in 862 ms
Reduce places removed 1368 places and 0 transitions.
Iterating global reduction 6 with 2736 rules applied. Total rules applied 42512 place count 6896 transition count 18825
Symmetric choice reduction at 6 with 268 rule applications. Total rules 42780 place count 6896 transition count 18825
Deduced a syphon composed of 268 places in 613 ms
Reduce places removed 268 places and 5244 transitions.
Iterating global reduction 6 with 536 rules applied. Total rules applied 43316 place count 6628 transition count 13581
Ensure Unique test removed 244 transitions
Reduce isomorphic transitions removed 244 transitions.
Iterating post reduction 6 with 244 rules applied. Total rules applied 43560 place count 6628 transition count 13337
Performed 1659 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1659 places in 11 ms
Reduce places removed 1659 places and 0 transitions.
Iterating global reduction 7 with 3318 rules applied. Total rules applied 46878 place count 4969 transition count 11673
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 46883 place count 4969 transition count 11668
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 6 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 47085 place count 4868 transition count 12138
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 47086 place count 4868 transition count 12137
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 47288 place count 4767 transition count 12607
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 9 with 2 rules applied. Total rules applied 47290 place count 4767 transition count 12605
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 47492 place count 4666 transition count 13075
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 47493 place count 4666 transition count 13074
Performed 95 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 95 places in 2 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 11 with 190 rules applied. Total rules applied 47683 place count 4571 transition count 13633
Applied a total of 47683 rules in 15144 ms. Remains 4571 /27146 variables (removed 22575) and now considering 13633/39849 (removed 26216) transitions.
Finished structural reductions, in 1 iterations. Remains : 4571/27146 places, 13633/39849 transitions.
Interrupted random walk after 932517 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=31 ) properties seen :[0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 0 resets, run finished after 4697 ms. (steps per millisecond=212 ) properties seen :[0]
[2021-05-09 10:11:52] [INFO ] Flow matrix only has 12917 transitions (discarded 716 similar events)
// Phase 1: matrix 12917 rows 4571 cols
[2021-05-09 10:11:52] [INFO ] Computed 1378 place invariants in 52 ms
[2021-05-09 10:11:55] [INFO ] [Real]Absence check using 1378 positive place invariants in 3009 ms returned sat
[2021-05-09 10:11:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 10:12:37] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 10:12:37] [INFO ] [Real]Absence check using state equation in 41470 ms returned unknown
Support contains 5 out of 4571 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4571/4571 places, 13633/13633 transitions.
Graph (trivial) has 2930 edges and 4571 vertex of which 13 / 4571 are part of one of the 5 SCC in 3 ms
Free SCC test removed 8 places
Drop transitions removed 69 transitions
Reduce isomorphic transitions removed 69 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 0 with 78 rules applied. Total rules applied 79 place count 4563 transition count 13555
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 88 place count 4554 transition count 13555
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 88 place count 4554 transition count 13549
Deduced a syphon composed of 6 places in 2 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 100 place count 4548 transition count 13549
Symmetric choice reduction at 2 with 5 rule applications. Total rules 105 place count 4548 transition count 13549
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 395 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 115 place count 4543 transition count 13154
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 119 place count 4543 transition count 13150
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 2 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 3 with 18 rules applied. Total rules applied 137 place count 4534 transition count 13141
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 142 place count 4534 transition count 13136
Symmetric choice reduction at 4 with 2 rule applications. Total rules 144 place count 4534 transition count 13136
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 10 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 148 place count 4532 transition count 13126
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 150 place count 4532 transition count 13124
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 156 place count 4529 transition count 13143
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 166 place count 4529 transition count 13133
Free-agglomeration rule applied 2828 times with reduction of 1828 identical transitions.
Iterating global reduction 6 with 2828 rules applied. Total rules applied 2994 place count 4529 transition count 8477
Reduce places removed 2828 places and 0 transitions.
Drop transitions removed 3728 transitions
Ensure Unique test removed 37 transitions
Reduce isomorphic transitions removed 3765 transitions.
Discarding 1660 places :
Also discarding 4535 output transitions
Drop transitions removed 4535 transitions
Graph (complete) has 5909 edges and 1701 vertex of which 41 are kept as prefixes of interest. Removing 1660 places using SCC suffix rule.16 ms
Iterating post reduction 6 with 6594 rules applied. Total rules applied 9588 place count 41 transition count 177
Drop transitions removed 30 transitions
Ensure Unique test removed 79 transitions
Reduce isomorphic transitions removed 109 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 7 with 113 rules applied. Total rules applied 9701 place count 41 transition count 64
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 9705 place count 37 transition count 64
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 9705 place count 37 transition count 63
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 9707 place count 36 transition count 63
Symmetric choice reduction at 9 with 1 rule applications. Total rules 9708 place count 36 transition count 63
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 5 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 9710 place count 35 transition count 58
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 9 with 5 rules applied. Total rules applied 9715 place count 35 transition count 53
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 9717 place count 34 transition count 52
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 9718 place count 33 transition count 51
Reduce places removed 2 places and 0 transitions.
Graph (trivial) has 4 edges and 31 vertex of which 3 / 31 are part of one of the 1 SCC in 0 ms
Free SCC test removed 2 places
Iterating post reduction 10 with 3 rules applied. Total rules applied 9721 place count 29 transition count 51
Drop transitions removed 18 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 22 transitions.
Discarding 4 places :
Also discarding 0 output transitions
Graph (complete) has 50 edges and 29 vertex of which 25 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.0 ms
Iterating post reduction 11 with 23 rules applied. Total rules applied 9744 place count 25 transition count 29
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 12 with 3 rules applied. Total rules applied 9747 place count 25 transition count 26
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 12 with 3 rules applied. Total rules applied 9750 place count 22 transition count 26
Applied a total of 9750 rules in 3306 ms. Remains 22 /4571 variables (removed 4549) and now considering 26/13633 (removed 13607) transitions.
Finished structural reductions, in 1 iterations. Remains : 22/4571 places, 26/13633 transitions.
Incomplete random walk after 1000000 steps, including 0 resets, run finished after 1540 ms. (steps per millisecond=649 ) properties seen :[0]
Incomplete Best-First random walk after 1000000 steps, including 0 resets, run finished after 605 ms. (steps per millisecond=1652 ) properties seen :[0]
Finished probabilistic random walk after 93 steps, run visited all 1 properties in 4 ms. (steps per millisecond=23 )
Probabilistic random walk after 93 steps, saw 14 distinct states, run finished after 5 ms. (steps per millisecond=18 ) properties seen :[1]
FORMULA DLCshifumi-PT-5b-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
All properties solved without resorting to model-checking.

--------------------
content from stderr:

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="DLCshifumi-PT-5b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
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-4028"
echo " Executing tool gold2020"
echo " Input is DLCshifumi-PT-5b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r075-tall-162039097400256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;