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.r011-tall-162038005800033.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 ASLink-PT-04b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038005800033
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 138K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 97K 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.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 01:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 01:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 669K 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 ASLink-PT-04b-00
FORMULA_NAME ASLink-PT-04b-01
FORMULA_NAME ASLink-PT-04b-02
FORMULA_NAME ASLink-PT-04b-03
FORMULA_NAME ASLink-PT-04b-04
FORMULA_NAME ASLink-PT-04b-05
FORMULA_NAME ASLink-PT-04b-06
FORMULA_NAME ASLink-PT-04b-07
FORMULA_NAME ASLink-PT-04b-08
FORMULA_NAME ASLink-PT-04b-09
FORMULA_NAME ASLink-PT-04b-10
FORMULA_NAME ASLink-PT-04b-11
FORMULA_NAME ASLink-PT-04b-12
FORMULA_NAME ASLink-PT-04b-13
FORMULA_NAME ASLink-PT-04b-14
FORMULA_NAME ASLink-PT-04b-15

=== Now, execution of the tool begins

BK_START 1620398123085

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-07 14:35:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-07 14:35:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-07 14:35:24] [INFO ] Load time of PNML (sax parser for PT used): 144 ms
[2021-05-07 14:35:24] [INFO ] Transformed 2034 places.
[2021-05-07 14:35:24] [INFO ] Transformed 2567 transitions.
[2021-05-07 14:35:24] [INFO ] Found NUPN structural information;
[2021-05-07 14:35:24] [INFO ] Parsed PT model containing 2034 places and 2567 transitions in 206 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 88 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 243 resets, run finished after 520 ms. (steps per millisecond=192 ) properties seen :[1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1]
// Phase 1: matrix 2567 rows 2034 cols
[2021-05-07 14:35:25] [INFO ] Computed 199 place invariants in 263 ms
[2021-05-07 14:35:26] [INFO ] [Real]Absence check using 48 positive place invariants in 109 ms returned sat
[2021-05-07 14:35:26] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 206 ms returned sat
[2021-05-07 14:35:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:35:37] [INFO ] [Real]Absence check using state equation in 10473 ms returned sat
[2021-05-07 14:35:37] [INFO ] Deduced a trap composed of 23 places in 725 ms
[2021-05-07 14:35:38] [INFO ] Deduced a trap composed of 20 places in 707 ms
[2021-05-07 14:35:39] [INFO ] Deduced a trap composed of 161 places in 663 ms
[2021-05-07 14:35:40] [INFO ] Deduced a trap composed of 136 places in 612 ms
[2021-05-07 14:35:40] [INFO ] Deduced a trap composed of 27 places in 736 ms
[2021-05-07 14:35:41] [INFO ] Deduced a trap composed of 89 places in 590 ms
[2021-05-07 14:35:42] [INFO ] Deduced a trap composed of 108 places in 377 ms
[2021-05-07 14:35:42] [INFO ] Deduced a trap composed of 108 places in 357 ms
[2021-05-07 14:35:42] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 5589 ms
[2021-05-07 14:35:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:35:43] [INFO ] [Nat]Absence check using 48 positive place invariants in 387 ms returned sat
[2021-05-07 14:35:43] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 182 ms returned sat
[2021-05-07 14:35:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:35:53] [INFO ] [Nat]Absence check using state equation in 10028 ms returned sat
[2021-05-07 14:35:54] [INFO ] Deduced a trap composed of 20 places in 595 ms
[2021-05-07 14:35:54] [INFO ] Deduced a trap composed of 54 places in 598 ms
[2021-05-07 14:35:55] [INFO ] Deduced a trap composed of 26 places in 296 ms
[2021-05-07 14:35:55] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1861 ms
[2021-05-07 14:35:55] [INFO ] Computed and/alt/rep : 2566/11755/2566 causal constraints in 127 ms.
[2021-05-07 14:36:02] [INFO ] Added : 285 causal constraints over 57 iterations in 7290 ms. Result :(error "Failed to check-sat")
[2021-05-07 14:36:03] [INFO ] [Real]Absence check using 48 positive place invariants in 95 ms returned sat
[2021-05-07 14:36:03] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 194 ms returned sat
[2021-05-07 14:36:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:36:14] [INFO ] [Real]Absence check using state equation in 11510 ms returned sat
[2021-05-07 14:36:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:36:15] [INFO ] [Nat]Absence check using 48 positive place invariants in 110 ms returned sat
[2021-05-07 14:36:15] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 185 ms returned sat
[2021-05-07 14:36:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:36:27] [INFO ] [Nat]Absence check using state equation in 12260 ms returned sat
[2021-05-07 14:36:29] [INFO ] Deduced a trap composed of 50 places in 1244 ms
[2021-05-07 14:36:30] [INFO ] Deduced a trap composed of 146 places in 1254 ms
[2021-05-07 14:36:31] [INFO ] Deduced a trap composed of 50 places in 1198 ms
[2021-05-07 14:36:33] [INFO ] Deduced a trap composed of 95 places in 1132 ms
[2021-05-07 14:36:34] [INFO ] Deduced a trap composed of 47 places in 1079 ms
[2021-05-07 14:36:35] [INFO ] Deduced a trap composed of 129 places in 1112 ms
[2021-05-07 14:36:35] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s1 s2 s490 s491 s492 s493 s494 s495 s496 s497 s498 s499 s500 s501 s502 s503 s504 s505 s506 s507 s508 s509 s510 s511 s512 s513 s514 s515 s516 s517 s518 s519 s520 s521 s614 s615 s616 s634 s635 s636 s637 s638 s639 s640 s641 s642 s643 s644 s645 s646 s647 s648 s649 s650 s651 s796 s797 s798 s850 s851 s852 s853 s854 s855 s856 s859 s862 s865 s866 s867 s868 s870 s871 s872 s873 s874 s875 s974 s975 s976 s977 s978 s981 s984 s987 s989 s992 s997 s998 s999 s1007 s1008 s1009 s1010 s1011 s1012 s1013 s1014 s1015 s1016 s1017 s1018 s1019 s1020 s1021 s1022 s1023 s1085 s1122 s1156 s1187 s1193 s1198 s1202 s1236 s1237 s1238 s1239 s1240 s1241 s1242 s1257 s1258 s1259 s1260 s1261 s1262 s1263) 0)") while checking expression at index 1
[2021-05-07 14:36:35] [INFO ] [Real]Absence check using 48 positive place invariants in 92 ms returned sat
[2021-05-07 14:36:35] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 190 ms returned sat
[2021-05-07 14:36:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:36:46] [INFO ] [Real]Absence check using state equation in 10623 ms returned sat
[2021-05-07 14:36:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:36:47] [INFO ] [Nat]Absence check using 48 positive place invariants in 74 ms returned unsat
[2021-05-07 14:36:47] [INFO ] [Real]Absence check using 48 positive place invariants in 92 ms returned sat
[2021-05-07 14:36:47] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 194 ms returned sat
[2021-05-07 14:36:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:36:58] [INFO ] [Real]Absence check using state equation in 10789 ms returned sat
[2021-05-07 14:36:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:36:59] [INFO ] [Nat]Absence check using 48 positive place invariants in 351 ms returned sat
[2021-05-07 14:36:59] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 183 ms returned sat
[2021-05-07 14:36:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:37:10] [INFO ] [Nat]Absence check using state equation in 10714 ms returned sat
[2021-05-07 14:37:11] [INFO ] Deduced a trap composed of 74 places in 1370 ms
[2021-05-07 14:37:12] [INFO ] Deduced a trap composed of 93 places in 778 ms
[2021-05-07 14:37:13] [INFO ] Deduced a trap composed of 87 places in 787 ms
[2021-05-07 14:37:14] [INFO ] Deduced a trap composed of 55 places in 800 ms
[2021-05-07 14:37:14] [INFO ] Deduced a trap composed of 127 places in 775 ms
[2021-05-07 14:37:15] [INFO ] Deduced a trap composed of 94 places in 515 ms
[2021-05-07 14:37:16] [INFO ] Deduced a trap composed of 125 places in 542 ms
[2021-05-07 14:37:16] [INFO ] Deduced a trap composed of 85 places in 554 ms
[2021-05-07 14:37:17] [INFO ] Deduced a trap composed of 142 places in 548 ms
[2021-05-07 14:37:17] [INFO ] Deduced a trap composed of 62 places in 340 ms
[2021-05-07 14:37:18] [INFO ] Deduced a trap composed of 59 places in 413 ms
[2021-05-07 14:37:18] [INFO ] Deduced a trap composed of 87 places in 340 ms
[2021-05-07 14:37:18] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s1 s2 s3 s4 s80 s81 s82 s83 s84 s85 s90 s91 s185 s186 s187 s188 s191 s194 s197 s198 s199 s210 s222 s223 s224 s225 s226 s227 s233 s235 s236 s237 s238 s239 s240 s241 s242 s243 s244 s245 s246 s247 s248 s249 s250 s251 s252 s253 s257 s258 s259 s260 s261 s270 s294 s313 s331 s350 s365 s384 s385 s386 s387 s388 s389 s390 s391 s392 s393 s394 s395 s396 s398 s444 s614 s615 s812 s813 s850 s851 s852 s853 s854 s855 s856 s859) 0)") while checking expression at index 3
[2021-05-07 14:37:19] [INFO ] [Real]Absence check using 48 positive place invariants in 94 ms returned sat
[2021-05-07 14:37:19] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 190 ms returned sat
[2021-05-07 14:37:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:37:29] [INFO ] [Real]Absence check using state equation in 10671 ms returned sat
[2021-05-07 14:37:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:37:30] [INFO ] [Nat]Absence check using 48 positive place invariants in 351 ms returned sat
[2021-05-07 14:37:30] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 188 ms returned sat
[2021-05-07 14:37:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:37:42] [INFO ] [Nat]Absence check using state equation in 11382 ms returned sat
[2021-05-07 14:37:43] [INFO ] Deduced a trap composed of 88 places in 1397 ms
[2021-05-07 14:37:45] [INFO ] Deduced a trap composed of 44 places in 1347 ms
[2021-05-07 14:37:46] [INFO ] Deduced a trap composed of 41 places in 1242 ms
[2021-05-07 14:37:47] [INFO ] Deduced a trap composed of 254 places in 1185 ms
[2021-05-07 14:37:48] [INFO ] Deduced a trap composed of 245 places in 1200 ms
[2021-05-07 14:37:50] [INFO ] Deduced a trap composed of 79 places in 1212 ms
[2021-05-07 14:37:50] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s1 s2 s870 s871 s872 s873 s874 s875 s880 s881 s975 s976 s977 s978 s981 s984 s987 s988 s989 s1000 s1012 s1013 s1014 s1015 s1016 s1017 s1018 s1019 s1020 s1021 s1022 s1023 s1029 s1030 s1031 s1032 s1033 s1034 s1035 s1036 s1037 s1038 s1039 s1040 s1041 s1042 s1043 s1085 s1122 s1156 s1187 s1188 s1191 s1192 s1193 s1257 s1260 s1261 s1262 s1263 s1759 s1760 s1761 s1762 s1763 s1764 s1765 s1771 s1772 s1773 s1774 s1794 s1838 s1847 s1961 s1962 s1963 s1998) 0)") while checking expression at index 4
[2021-05-07 14:37:50] [INFO ] [Real]Absence check using 48 positive place invariants in 91 ms returned sat
[2021-05-07 14:37:50] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 201 ms returned sat
[2021-05-07 14:37:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:38:01] [INFO ] [Real]Absence check using state equation in 10686 ms returned sat
[2021-05-07 14:38:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:38:01] [INFO ] [Nat]Absence check using 48 positive place invariants in 64 ms returned unsat
[2021-05-07 14:38:02] [INFO ] [Real]Absence check using 48 positive place invariants in 92 ms returned sat
[2021-05-07 14:38:02] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 202 ms returned sat
[2021-05-07 14:38:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:38:12] [INFO ] [Real]Absence check using state equation in 10474 ms returned sat
[2021-05-07 14:38:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:38:13] [INFO ] [Nat]Absence check using 48 positive place invariants in 64 ms returned unsat
[2021-05-07 14:38:13] [INFO ] [Real]Absence check using 48 positive place invariants in 90 ms returned sat
[2021-05-07 14:38:13] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 190 ms returned sat
[2021-05-07 14:38:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:38:25] [INFO ] [Real]Absence check using state equation in 11621 ms returned sat
[2021-05-07 14:38:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:38:26] [INFO ] [Nat]Absence check using 48 positive place invariants in 350 ms returned sat
[2021-05-07 14:38:26] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 184 ms returned sat
[2021-05-07 14:38:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:38:37] [INFO ] [Nat]Absence check using state equation in 10734 ms returned sat
[2021-05-07 14:38:37] [INFO ] Deduced a trap composed of 19 places in 399 ms
[2021-05-07 14:38:38] [INFO ] Deduced a trap composed of 60 places in 397 ms
[2021-05-07 14:38:38] [INFO ] Deduced a trap composed of 43 places in 386 ms
[2021-05-07 14:38:38] [INFO ] Deduced a trap composed of 64 places in 310 ms
[2021-05-07 14:38:39] [INFO ] Deduced a trap composed of 141 places in 321 ms
[2021-05-07 14:38:39] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 2286 ms
[2021-05-07 14:38:39] [INFO ] Computed and/alt/rep : 2566/11755/2566 causal constraints in 177 ms.
[2021-05-07 14:38:45] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t267 0) (and (> t2295 0) (< o2295 o267)))") while checking expression at index 7
[2021-05-07 14:38:45] [INFO ] [Real]Absence check using 48 positive place invariants in 91 ms returned sat
[2021-05-07 14:38:46] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 197 ms returned sat
[2021-05-07 14:38:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:38:57] [INFO ] [Real]Absence check using state equation in 11024 ms returned sat
[2021-05-07 14:38:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:38:57] [INFO ] [Nat]Absence check using 48 positive place invariants in 355 ms returned sat
[2021-05-07 14:38:58] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 184 ms returned sat
[2021-05-07 14:38:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:39:08] [INFO ] [Nat]Absence check using state equation in 10934 ms returned sat
[2021-05-07 14:39:10] [INFO ] Deduced a trap composed of 28 places in 1011 ms
[2021-05-07 14:39:10] [INFO ] Deduced a trap composed of 84 places in 884 ms
[2021-05-07 14:39:11] [INFO ] Deduced a trap composed of 291 places in 899 ms
[2021-05-07 14:39:12] [INFO ] Deduced a trap composed of 42 places in 873 ms
[2021-05-07 14:39:13] [INFO ] Deduced a trap composed of 41 places in 814 ms
[2021-05-07 14:39:14] [INFO ] Deduced a trap composed of 140 places in 326 ms
[2021-05-07 14:39:15] [INFO ] Deduced a trap composed of 21 places in 767 ms
[2021-05-07 14:39:15] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 6219 ms
[2021-05-07 14:39:15] [INFO ] Computed and/alt/rep : 2566/11755/2566 causal constraints in 130 ms.
[2021-05-07 14:39:17] [INFO ] Added : 85 causal constraints over 17 iterations in 2061 ms. Result :unknown
[2021-05-07 14:39:17] [INFO ] [Real]Absence check using 48 positive place invariants in 96 ms returned sat
[2021-05-07 14:39:17] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 227 ms returned sat
[2021-05-07 14:39:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:39:28] [INFO ] [Real]Absence check using state equation in 10723 ms returned sat
[2021-05-07 14:39:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:39:29] [INFO ] [Nat]Absence check using 48 positive place invariants in 357 ms returned sat
[2021-05-07 14:39:29] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 231 ms returned sat
[2021-05-07 14:39:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:39:41] [INFO ] [Nat]Absence check using state equation in 12114 ms returned sat
[2021-05-07 14:39:42] [INFO ] Deduced a trap composed of 128 places in 903 ms
[2021-05-07 14:39:43] [INFO ] Deduced a trap composed of 59 places in 893 ms
[2021-05-07 14:39:44] [INFO ] Deduced a trap composed of 43 places in 517 ms
[2021-05-07 14:39:44] [INFO ] Deduced a trap composed of 73 places in 545 ms
[2021-05-07 14:39:44] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 3267 ms
[2021-05-07 14:39:45] [INFO ] Computed and/alt/rep : 2566/11755/2566 causal constraints in 130 ms.
[2021-05-07 14:39:48] [INFO ] Added : 130 causal constraints over 26 iterations in 3748 ms. Result :unknown
[2021-05-07 14:39:49] [INFO ] [Real]Absence check using 48 positive place invariants in 95 ms returned sat
[2021-05-07 14:39:49] [INFO ] [Real]Absence check using 48 positive and 151 generalized place invariants in 192 ms returned sat
[2021-05-07 14:39:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-07 14:40:00] [INFO ] [Real]Absence check using state equation in 11347 ms returned sat
[2021-05-07 14:40:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-07 14:40:01] [INFO ] [Nat]Absence check using 48 positive place invariants in 352 ms returned sat
[2021-05-07 14:40:01] [INFO ] [Nat]Absence check using 48 positive and 151 generalized place invariants in 185 ms returned sat
[2021-05-07 14:40:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-07 14:40:13] [INFO ] [Nat]Absence check using state equation in 12046 ms returned sat
[2021-05-07 14:40:14] [INFO ] Deduced a trap composed of 31 places in 1172 ms
[2021-05-07 14:40:15] [INFO ] Deduced a trap composed of 147 places in 567 ms
[2021-05-07 14:40:15] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1988 ms
[2021-05-07 14:40:15] [INFO ] Computed and/alt/rep : 2566/11755/2566 causal constraints in 153 ms.
[2021-05-07 14:40:20] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t199 0) (and (> t2209 0) (< o2209 o199)))") while checking expression at index 10
Successfully simplified 3 atomic propositions for a total of 3 simplifications.
[2021-05-07 14:40:20] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2021-05-07 14:40:21] [INFO ] Flatten gal took : 210 ms
FORMULA ASLink-PT-04b-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-04b-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-07 14:40:21] [INFO ] Applying decomposition
[2021-05-07 14:40:21] [INFO ] Flatten gal took : 122 ms
[2021-05-07 14:40:21] [INFO ] Decomposing Gal with order
[2021-05-07 14:40:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-07 14:40:21] [INFO ] Removed a total of 1781 redundant transitions.
[2021-05-07 14:40:21] [INFO ] Flatten gal took : 279 ms
[2021-05-07 14:40:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 2492 labels/synchronizations in 96 ms.
[2021-05-07 14:40:22] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 3 ms.
[2021-05-07 14:40:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 26 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ASLink-PT-04b @ 3570 seconds

FORMULA ASLink-PT-04b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427364 kB
MemFree: 11149592 kB
After kill :
MemTotal: 16427364 kB
MemFree: 16137988 kB

--------------------
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="ASLink-PT-04b"
export BK_EXAMINATION="LTLCardinality"
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 ASLink-PT-04b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-tall-162038005800033"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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