Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423200488.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleExponent-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423200488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 7.9K Feb 26 13:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 13:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 13:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 13:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 340K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678430185653

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 06:36:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 06:36:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 06:36:29] [INFO ] Load time of PNML (sax parser for PT used): 229 ms
[2023-03-10 06:36:29] [INFO ] Transformed 1064 places.
[2023-03-10 06:36:29] [INFO ] Transformed 998 transitions.
[2023-03-10 06:36:29] [INFO ] Parsed PT model containing 1064 places and 998 transitions and 2814 arcs in 365 ms.
[2023-03-10 06:36:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1064 places, 998 transitions and 2814 arcs took 36 ms.
Total runtime 460 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 020
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1064 places, 998 transitions, 2814 arcs.
AT ITER 0 NEW BEST:: SOT 541178 SOS 26671 HAS SOPS 26671 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25308.671
AT ITER 217 NEW BEST:: SOT 541178 SOS 26664 HAS SOPS 26664 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25301.664
AT ITER 290 NEW BEST:: SOT 541178 SOS 26638 HAS SOPS 26638 HAS SOUS 25263 HAS SOUPS 25263 WITH SCORE 25289.638
AT ITER 314 NEW BEST:: SOT 541175 SOS 26635 HAS SOPS 26635 HAS SOUS 25250 HAS SOUPS 25250 WITH SCORE 25276.635
AT ITER 435 NEW BEST:: SOT 541177 SOS 26595 HAS SOPS 26595 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25257.595
AT ITER 721 NEW BEST:: SOT 541174 SOS 26590 HAS SOPS 26590 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25253.59
AT ITER 784 NEW BEST:: SOT 541189 SOS 26547 HAS SOPS 26547 HAS SOUS 25218 HAS SOUPS 25218 WITH SCORE 25244.547
AT ITER 817 NEW BEST:: SOT 541164 SOS 26530 HAS SOPS 26530 HAS SOUS 25201 HAS SOUPS 25201 WITH SCORE 25227.53
AT ITER 885 NEW BEST:: SOT 541158 SOS 26524 HAS SOPS 26524 HAS SOUS 25201 HAS SOUPS 25201 WITH SCORE 25227.524
AT ITER 912 NEW BEST:: SOT 541150 SOS 26514 HAS SOPS 26514 HAS SOUS 25191 HAS SOUPS 25191 WITH SCORE 25217.514
AT ITER 993 NEW BEST:: SOT 541148 SOS 26540 HAS SOPS 26540 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25207.54
AT ITER 1046 NEW BEST:: SOT 541148 SOS 26540 HAS SOPS 26540 HAS SOUS 25159 HAS SOUPS 25159 WITH SCORE 25185.54
AT ITER 1171 NEW BEST:: SOT 541147 SOS 26554 HAS SOPS 26554 HAS SOUS 25151 HAS SOUPS 25151 WITH SCORE 25177.554
AT ITER 1197 NEW BEST:: SOT 541136 SOS 26529 HAS SOPS 26529 HAS SOUS 25131 HAS SOUPS 25131 WITH SCORE 25157.529
AT ITER 1360 NEW BEST:: SOT 541164 SOS 26494 HAS SOPS 26494 HAS SOUS 25100 HAS SOUPS 25100 WITH SCORE 25126.494
AT ITER 1757 NEW BEST:: SOT 541168 SOS 26483 HAS SOPS 26483 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25104.483
AT ITER 1825 NEW BEST:: SOT 541146 SOS 26466 HAS SOPS 26466 HAS SOUS 25054 HAS SOUPS 25054 WITH SCORE 25080.466
AT ITER 1861 NEW BEST:: SOT 541137 SOS 26463 HAS SOPS 26463 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25049.463
AT ITER 1949 NEW BEST:: SOT 541129 SOS 26454 HAS SOPS 26454 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25040.454
AT ITER 1952 NEW BEST:: SOT 541127 SOS 26450 HAS SOPS 26450 HAS SOUS 25010 HAS SOUPS 25010 WITH SCORE 25036.45
AT ITER 2169 NEW BEST:: SOT 541106 SOS 26377 HAS SOPS 26377 HAS SOUS 24958 HAS SOUPS 24958 WITH SCORE 24984.377
AT ITER 2223 NEW BEST:: SOT 541108 SOS 26429 HAS SOPS 26429 HAS SOUS 24952 HAS SOUPS 24952 WITH SCORE 24978.429
AT ITER 2276 NEW BEST:: SOT 541106 SOS 26427 HAS SOPS 26427 HAS SOUS 24950 HAS SOUPS 24950 WITH SCORE 24976.427
AT ITER 2293 NEW BEST:: SOT 541092 SOS 26414 HAS SOPS 26414 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24963.414
AT ITER 2300 NEW BEST:: SOT 541085 SOS 26408 HAS SOPS 26408 HAS SOUS 24931 HAS SOUPS 24931 WITH SCORE 24957.408
AT ITER 2386 NEW BEST:: SOT 541082 SOS 26405 HAS SOPS 26405 HAS SOUS 24928 HAS SOUPS 24928 WITH SCORE 24954.405
AT ITER 2438 NEW BEST:: SOT 541077 SOS 26390 HAS SOPS 26390 HAS SOUS 24918 HAS SOUPS 24918 WITH SCORE 24944.39
AT ITER 2543 NEW BEST:: SOT 541071 SOS 26372 HAS SOPS 26372 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24926.372
AT ITER 2689 NEW BEST:: SOT 541069 SOS 26370 HAS SOPS 26370 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24924.37
AT ITER 2766 NEW BEST:: SOT 541069 SOS 26367 HAS SOPS 26367 HAS SOUS 24895 HAS SOUPS 24895 WITH SCORE 24921.367
AT ITER 2839 NEW BEST:: SOT 541069 SOS 26349 HAS SOPS 26349 HAS SOUS 24877 HAS SOUPS 24877 WITH SCORE 24903.349
AT ITER 2898 NEW BEST:: SOT 541070 SOS 26340 HAS SOPS 26340 HAS SOUS 24868 HAS SOUPS 24868 WITH SCORE 24894.34
AT ITER 2921 NEW BEST:: SOT 541070 SOS 26339 HAS SOPS 26339 HAS SOUS 24868 HAS SOUPS 24868 WITH SCORE 24894.339
AT ITER 3121 NEW BEST:: SOT 541065 SOS 26338 HAS SOPS 26338 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24893.338
AT ITER 3128 NEW BEST:: SOT 541061 SOS 26330 HAS SOPS 26330 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24885.33
AT ITER 3160 NEW BEST:: SOT 541055 SOS 26328 HAS SOPS 26328 HAS SOUS 24854 HAS SOUPS 24854 WITH SCORE 24880.328
AT ITER 3324 NEW BEST:: SOT 541053 SOS 26326 HAS SOPS 26326 HAS SOUS 24852 HAS SOUPS 24852 WITH SCORE 24878.326
AT ITER 3376 NEW BEST:: SOT 541038 SOS 26323 HAS SOPS 26323 HAS SOUS 24849 HAS SOUPS 24849 WITH SCORE 24875.323
AT ITER 3730 NEW BEST:: SOT 541035 SOS 26320 HAS SOPS 26320 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24872.32
AT ITER 3843 NEW BEST:: SOT 541033 SOS 26316 HAS SOPS 26316 HAS SOUS 24842 HAS SOUPS 24842 WITH SCORE 24868.316
AT ITER 4032 NEW BEST:: SOT 541029 SOS 26314 HAS SOPS 26314 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24866.314
AT ITER 4134 NEW BEST:: SOT 541032 SOS 26348 HAS SOPS 26348 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24862.348
AT ITER 4188 NEW BEST:: SOT 541029 SOS 26330 HAS SOPS 26330 HAS SOUS 24833 HAS SOUPS 24833 WITH SCORE 24859.33
AT ITER 4207 NEW BEST:: SOT 541029 SOS 26311 HAS SOPS 26311 HAS SOUS 24833 HAS SOUPS 24833 WITH SCORE 24859.311
AT ITER 4346 NEW BEST:: SOT 541029 SOS 26312 HAS SOPS 26312 HAS SOUS 24832 HAS SOUPS 24832 WITH SCORE 24858.312
AT ITER 4578 NEW BEST:: SOT 541021 SOS 26306 HAS SOPS 26306 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24852.306
AT ITER 4624 NEW BEST:: SOT 541021 SOS 26282 HAS SOPS 26282 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24840.282
AT ITER 4736 NEW BEST:: SOT 541007 SOS 26254 HAS SOPS 26254 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24819.254
AT ITER 4771 NEW BEST:: SOT 541002 SOS 26222 HAS SOPS 26222 HAS SOUS 24787 HAS SOUPS 24787 WITH SCORE 24813.222
AT ITER 4887 NEW BEST:: SOT 541004 SOS 26246 HAS SOPS 26246 HAS SOUS 24745 HAS SOUPS 24745 WITH SCORE 24771.246
AT ITER 5011 NEW BEST:: SOT 541004 SOS 26241 HAS SOPS 26241 HAS SOUS 24745 HAS SOUPS 24745 WITH SCORE 24771.241
AT ITER 5029 NEW BEST:: SOT 541002 SOS 26233 HAS SOPS 26233 HAS SOUS 24741 HAS SOUPS 24741 WITH SCORE 24767.233
AT ITER 5048 NEW BEST:: SOT 541002 SOS 26231 HAS SOPS 26231 HAS SOUS 24739 HAS SOUPS 24739 WITH SCORE 24765.231
AT ITER 5062 NEW BEST:: SOT 541000 SOS 26225 HAS SOPS 26225 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24759.225
AT ITER 5356 NEW BEST:: SOT 540998 SOS 26187 HAS SOPS 26187 HAS SOUS 24730 HAS SOUPS 24730 WITH SCORE 24756.187
AT ITER 5487 NEW BEST:: SOT 541005 SOS 26178 HAS SOPS 26178 HAS SOUS 24721 HAS SOUPS 24721 WITH SCORE 24747.178
AT ITER 5494 NEW BEST:: SOT 540994 SOS 26177 HAS SOPS 26177 HAS SOUS 24720 HAS SOUPS 24720 WITH SCORE 24746.177
AT ITER 5508 NEW BEST:: SOT 540997 SOS 26164 HAS SOPS 26164 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24732.164
AT ITER 5572 NEW BEST:: SOT 540990 SOS 26143 HAS SOPS 26143 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24711.143
AT ITER 5579 NEW BEST:: SOT 540984 SOS 26130 HAS SOPS 26130 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24692.13
AT ITER 5854 NEW BEST:: SOT 540944 SOS 26097 HAS SOPS 26097 HAS SOUS 24633 HAS SOUPS 24633 WITH SCORE 24659.097
AT ITER 5864 NEW BEST:: SOT 540939 SOS 26096 HAS SOPS 26096 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24658.096
AT ITER 5871 NEW BEST:: SOT 540939 SOS 26066 HAS SOPS 26066 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24644.066
AT ITER 5960 NEW BEST:: SOT 540926 SOS 26061 HAS SOPS 26061 HAS SOUS 24613 HAS SOUPS 24613 WITH SCORE 24639.061
AT ITER 5978 NEW BEST:: SOT 540905 SOS 25988 HAS SOPS 25988 HAS SOUS 24561 HAS SOUPS 24561 WITH SCORE 24586.988
AT ITER 6201 NEW BEST:: SOT 540905 SOS 25982 HAS SOPS 25982 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24583.982
AT ITER 6301 NEW BEST:: SOT 540911 SOS 25951 HAS SOPS 25951 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24570.951
AT ITER 6336 NEW BEST:: SOT 540897 SOS 25941 HAS SOPS 25941 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24560.941
AT ITER 6362 NEW BEST:: SOT 540900 SOS 25970 HAS SOPS 25970 HAS SOUS 24528 HAS SOUPS 24528 WITH SCORE 24553.97
AT ITER 6408 NEW BEST:: SOT 540888 SOS 25945 HAS SOPS 25945 HAS SOUS 24502 HAS SOUPS 24502 WITH SCORE 24527.945
AT ITER 6474 NEW BEST:: SOT 540894 SOS 25947 HAS SOPS 25947 HAS SOUS 24498 HAS SOUPS 24498 WITH SCORE 24523.947
AT ITER 6550 NEW BEST:: SOT 540897 SOS 25978 HAS SOPS 25978 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24522.978
AT ITER 6705 NEW BEST:: SOT 540896 SOS 25976 HAS SOPS 25976 HAS SOUS 24495 HAS SOUPS 24495 WITH SCORE 24520.976
AT ITER 6741 NEW BEST:: SOT 540896 SOS 25975 HAS SOPS 25975 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24519.975
AT ITER 6755 NEW BEST:: SOT 540887 SOS 25943 HAS SOPS 25943 HAS SOUS 24464 HAS SOUPS 24464 WITH SCORE 24489.943
AT ITER 6787 NEW BEST:: SOT 540885 SOS 25941 HAS SOPS 25941 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24487.941
AT ITER 6817 NEW BEST:: SOT 540873 SOS 25917 HAS SOPS 25917 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24463.917
AT ITER 6840 NEW BEST:: SOT 540873 SOS 25891 HAS SOPS 25891 HAS SOUS 24412 HAS SOUPS 24412 WITH SCORE 24437.891
AT ITER 6994 NEW BEST:: SOT 540856 SOS 25878 HAS SOPS 25878 HAS SOUS 24399 HAS SOUPS 24399 WITH SCORE 24424.878
AT ITER 7081 NEW BEST:: SOT 540854 SOS 25870 HAS SOPS 25870 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24418.87
AT ITER 7135 NEW BEST:: SOT 540848 SOS 25852 HAS SOPS 25852 HAS SOUS 24375 HAS SOUPS 24375 WITH SCORE 24400.852
AT ITER 7245 NEW BEST:: SOT 540848 SOS 25849 HAS SOPS 25849 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24397.849
AT ITER 7331 NEW BEST:: SOT 540845 SOS 25846 HAS SOPS 25846 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24395.846
AT ITER 7410 NEW BEST:: SOT 540843 SOS 25840 HAS SOPS 25840 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24389.84
AT ITER 7472 NEW BEST:: SOT 540843 SOS 25838 HAS SOPS 25838 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24387.838
AT ITER 7480 NEW BEST:: SOT 540843 SOS 25827 HAS SOPS 25827 HAS SOUS 24351 HAS SOUPS 24351 WITH SCORE 24376.827
AT ITER 7525 NEW BEST:: SOT 540838 SOS 25838 HAS SOPS 25838 HAS SOUS 24346 HAS SOUPS 24346 WITH SCORE 24371.838
AT ITER 7555 NEW BEST:: SOT 540841 SOS 25804 HAS SOPS 25804 HAS SOUS 24325 HAS SOUPS 24325 WITH SCORE 24350.804
AT ITER 7623 NEW BEST:: SOT 540844 SOS 25806 HAS SOPS 25806 HAS SOUS 24321 HAS SOUPS 24321 WITH SCORE 24346.806
AT ITER 7632 NEW BEST:: SOT 540843 SOS 25805 HAS SOPS 25805 HAS SOUS 24319 HAS SOUPS 24319 WITH SCORE 24344.805
AT ITER 7642 NEW BEST:: SOT 540849 SOS 25810 HAS SOPS 25810 HAS SOUS 24318 HAS SOUPS 24318 WITH SCORE 24343.81
AT ITER 7710 NEW BEST:: SOT 540850 SOS 25795 HAS SOPS 25795 HAS SOUS 24303 HAS SOUPS 24303 WITH SCORE 24328.795
AT ITER 7736 NEW BEST:: SOT 540844 SOS 25790 HAS SOPS 25790 HAS SOUS 24297 HAS SOUPS 24297 WITH SCORE 24322.79
AT ITER 7771 NEW BEST:: SOT 540842 SOS 25790 HAS SOPS 25790 HAS SOUS 24296 HAS SOUPS 24296 WITH SCORE 24321.79
AT ITER 7778 NEW BEST:: SOT 540832 SOS 25793 HAS SOPS 25793 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24308.793
AT ITER 7813 NEW BEST:: SOT 540827 SOS 25745 HAS SOPS 25745 HAS SOUS 24256 HAS SOUPS 24256 WITH SCORE 24281.745
AT ITER 8032 NEW BEST:: SOT 540825 SOS 25743 HAS SOPS 25743 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24279.743
AT ITER 8044 NEW BEST:: SOT 540820 SOS 25742 HAS SOPS 25742 HAS SOUS 24253 HAS SOUPS 24253 WITH SCORE 24278.742
AT ITER 8102 NEW BEST:: SOT 540806 SOS 25713 HAS SOPS 25713 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24256.713
AT ITER 8274 NEW BEST:: SOT 540805 SOS 25711 HAS SOPS 25711 HAS SOUS 24229 HAS SOUPS 24229 WITH SCORE 24254.711
AT ITER 8311 NEW BEST:: SOT 540798 SOS 25690 HAS SOPS 25690 HAS SOUS 24215 HAS SOUPS 24215 WITH SCORE 24240.69
AT ITER 8317 NEW BEST:: SOT 540775 SOS 25671 HAS SOPS 25671 HAS SOUS 24196 HAS SOUPS 24196 WITH SCORE 24221.671
AT ITER 8801 NEW BEST:: SOT 540766 SOS 25670 HAS SOPS 25670 HAS SOUS 24195 HAS SOUPS 24195 WITH SCORE 24220.67
AT ITER 8993 NEW BEST:: SOT 540766 SOS 25669 HAS SOPS 25669 HAS SOUS 24194 HAS SOUPS 24194 WITH SCORE 24219.669
AT ITER 9005 NEW BEST:: SOT 540753 SOS 25668 HAS SOPS 25668 HAS SOUS 24193 HAS SOUPS 24193 WITH SCORE 24218.668
AT ITER 9022 NEW BEST:: SOT 540753 SOS 25668 HAS SOPS 25668 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24214.668
AT ITER 9104 NEW BEST:: SOT 540747 SOS 25638 HAS SOPS 25638 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24201.638
AT ITER 9144 NEW BEST:: SOT 540747 SOS 25634 HAS SOPS 25634 HAS SOUS 24172 HAS SOUPS 24172 WITH SCORE 24197.634
AT ITER 9155 NEW BEST:: SOT 540739 SOS 25614 HAS SOPS 25614 HAS SOUS 24155 HAS SOUPS 24155 WITH SCORE 24180.614
AT ITER 9184 NEW BEST:: SOT 540734 SOS 25600 HAS SOPS 25600 HAS SOUS 24136 HAS SOUPS 24136 WITH SCORE 24161.6
AT ITER 9281 NEW BEST:: SOT 540734 SOS 25599 HAS SOPS 25599 HAS SOUS 24136 HAS SOUPS 24136 WITH SCORE 24161.599
AT ITER 9368 NEW BEST:: SOT 540706 SOS 25599 HAS SOPS 25599 HAS SOUS 24135 HAS SOUPS 24135 WITH SCORE 24160.599
AT ITER 9490 NEW BEST:: SOT 540705 SOS 25598 HAS SOPS 25598 HAS SOUS 24134 HAS SOUPS 24134 WITH SCORE 24159.598
AT ITER 9616 NEW BEST:: SOT 540703 SOS 25593 HAS SOPS 25593 HAS SOUS 24129 HAS SOUPS 24129 WITH SCORE 24154.593
AT ITER 9642 NEW BEST:: SOT 540699 SOS 25588 HAS SOPS 25588 HAS SOUS 24124 HAS SOUPS 24124 WITH SCORE 24149.588
AT ITER 9918 NEW BEST:: SOT 540692 SOS 25581 HAS SOPS 25581 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24142.581
AT ITER 9983 NEW BEST:: SOT 540692 SOS 25567 HAS SOPS 25567 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24142.567
AT ITER 9993 NEW BEST:: SOT 540692 SOS 25561 HAS SOPS 25561 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24142.561
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7493200 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123676 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="DoubleExponent-PT-020"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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-5348"
echo " Executing tool smartxred"
echo " Input is DoubleExponent-PT-020, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819423200488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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