About the Execution of Smart+red for StigmergyElection-PT-11a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4401.787 | 3600000.00 | 4939068.00 | 7627.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651600704.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 StigmergyElection-PT-11a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651600704
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 154M
-rw-r--r-- 1 mcc users 7.6K Feb 26 17:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 17:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 17:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 153M Mar 5 18:23 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 1679491995841
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=StigmergyElection-PT-11a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 13:33:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 13:33:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 13:33:27] [INFO ] Load time of PNML (sax parser for PT used): 7888 ms
[2023-03-22 13:33:27] [INFO ] Transformed 156 places.
[2023-03-22 13:33:28] [INFO ] Transformed 136650 transitions.
[2023-03-22 13:33:28] [INFO ] Found NUPN structural information;
[2023-03-22 13:33:28] [INFO ] Parsed PT model containing 156 places and 136650 transitions and 3001363 arcs in 8945 ms.
[2023-03-22 13:33:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 156 places, 136650 transitions and 3001363 arcs took 1387 ms.
Total runtime 10383 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 11a
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: 156 places, 136650 transitions, 3001363 arcs.
AT ITER 0 NEW BEST:: SOT 11505972 SOS 3992224 HAS SOPS 3766564 HAS SOUS 87281 HAS SOUPS 87237 WITH SCORE 91229.224
AT ITER 5 NEW BEST:: SOT 11505957 SOS 3992213 HAS SOPS 3766553 HAS SOUS 87254 HAS SOUPS 87210 WITH SCORE 91202.213
AT ITER 6 NEW BEST:: SOT 11505944 SOS 3992210 HAS SOPS 3766547 HAS SOUS 87235 HAS SOUPS 87191 WITH SCORE 91183.21
AT ITER 7 NEW BEST:: SOT 12707327 SOS 5057146 HAS SOPS 4819801 HAS SOUS 76245 HAS SOUPS 76175 WITH SCORE 81232.146
AT ITER 18 NEW BEST:: SOT 12707327 SOS 5057146 HAS SOPS 4819801 HAS SOUS 76234 HAS SOUPS 76164 WITH SCORE 81221.146
AT ITER 19 NEW BEST:: SOT 12707353 SOS 5057160 HAS SOPS 4819815 HAS SOUS 76222 HAS SOUPS 76152 WITH SCORE 81209.16
AT ITER 20 NEW BEST:: SOT 12707429 SOS 5057106 HAS SOPS 4819761 HAS SOUS 76118 HAS SOUPS 76048 WITH SCORE 81105.106
AT ITER 28 NEW BEST:: SOT 12707551 SOS 5057132 HAS SOPS 4819787 HAS SOUS 76096 HAS SOUPS 76026 WITH SCORE 81083.132
AT ITER 46 NEW BEST:: SOT 12707539 SOS 5057119 HAS SOPS 4819774 HAS SOUS 76091 HAS SOUPS 76021 WITH SCORE 81078.119
AT ITER 51 NEW BEST:: SOT 12707646 SOS 5057163 HAS SOPS 4819818 HAS SOUS 76073 HAS SOUPS 76003 WITH SCORE 81060.163
AT ITER 54 NEW BEST:: SOT 12707642 SOS 5057159 HAS SOPS 4819814 HAS SOUS 76067 HAS SOUPS 75997 WITH SCORE 81054.159
AT ITER 57 NEW BEST:: SOT 12707585 SOS 5057045 HAS SOPS 4819700 HAS SOUS 75977 HAS SOUPS 75907 WITH SCORE 80964.045
AT ITER 60 NEW BEST:: SOT 12707579 SOS 5057039 HAS SOPS 4819694 HAS SOUS 75971 HAS SOUPS 75901 WITH SCORE 80958.039
AT ITER 64 NEW BEST:: SOT 12707737 SOS 5057139 HAS SOPS 4819794 HAS SOUS 75969 HAS SOUPS 75899 WITH SCORE 80956.139
AT ITER 72 NEW BEST:: SOT 12707720 SOS 5057107 HAS SOPS 4819779 HAS SOUS 75938 HAS SOUPS 75868 WITH SCORE 80925.107
AT ITER 78 NEW BEST:: SOT 12707734 SOS 5057063 HAS SOPS 4819735 HAS SOUS 75916 HAS SOUPS 75846 WITH SCORE 80903.063
AT ITER 85 NEW BEST:: SOT 12707726 SOS 5057055 HAS SOPS 4819727 HAS SOUS 75906 HAS SOUPS 75836 WITH SCORE 80893.055
AT ITER 88 NEW BEST:: SOT 12707726 SOS 5057042 HAS SOPS 4819714 HAS SOUS 75906 HAS SOUPS 75836 WITH SCORE 80893.042
AT ITER 104 NEW BEST:: SOT 12707718 SOS 5057022 HAS SOPS 4819694 HAS SOUS 75886 HAS SOUPS 75816 WITH SCORE 80873.022
AT ITER 112 NEW BEST:: SOT 12707683 SOS 5056997 HAS SOPS 4819662 HAS SOUS 75858 HAS SOUPS 75788 WITH SCORE 80844.997
AT ITER 116 NEW BEST:: SOT 12707876 SOS 5057043 HAS SOPS 4819708 HAS SOUS 75833 HAS SOUPS 75763 WITH SCORE 80820.043
AT ITER 124 NEW BEST:: SOT 12708041 SOS 5057008 HAS SOPS 4819673 HAS SOUS 75827 HAS SOUPS 75757 WITH SCORE 80814.008
AT ITER 127 NEW BEST:: SOT 12708074 SOS 5056975 HAS SOPS 4819640 HAS SOUS 75794 HAS SOUPS 75724 WITH SCORE 80780.975
AT ITER 129 NEW BEST:: SOT 12708101 SOS 5056969 HAS SOPS 4819634 HAS SOUS 75781 HAS SOUPS 75711 WITH SCORE 80767.969
AT ITER 130 NEW BEST:: SOT 12708313 SOS 5056977 HAS SOPS 4819642 HAS SOUS 75728 HAS SOUPS 75658 WITH SCORE 80714.977
AT ITER 132 NEW BEST:: SOT 12708506 SOS 5056999 HAS SOPS 4819664 HAS SOUS 75681 HAS SOUPS 75611 WITH SCORE 80667.999
AT ITER 136 NEW BEST:: SOT 12708468 SOS 5056964 HAS SOPS 4819628 HAS SOUS 75631 HAS SOUPS 75561 WITH SCORE 80617.964
AT ITER 142 NEW BEST:: SOT 12708464 SOS 5056956 HAS SOPS 4819620 HAS SOUS 75627 HAS SOUPS 75557 WITH SCORE 80613.956
AT ITER 150 NEW BEST:: SOT 12708454 SOS 5056952 HAS SOPS 4819616 HAS SOUS 75623 HAS SOUPS 75553 WITH SCORE 80609.952
AT ITER 152 NEW BEST:: SOT 12708561 SOS 5056888 HAS SOPS 4819552 HAS SOUS 75608 HAS SOUPS 75538 WITH SCORE 80594.888
AT ITER 158 NEW BEST:: SOT 12708548 SOS 5056900 HAS SOPS 4819564 HAS SOUS 75607 HAS SOUPS 75537 WITH SCORE 80593.9
AT ITER 160 NEW BEST:: SOT 12708515 SOS 5056834 HAS SOPS 4819498 HAS SOUS 75536 HAS SOUPS 75466 WITH SCORE 80522.834
AT ITER 175 NEW BEST:: SOT 12708510 SOS 5056790 HAS SOPS 4819454 HAS SOUS 75497 HAS SOUPS 75427 WITH SCORE 80483.79
AT ITER 177 NEW BEST:: SOT 12708498 SOS 5056749 HAS SOPS 4819413 HAS SOUS 75478 HAS SOUPS 75408 WITH SCORE 80464.749
AT ITER 196 NEW BEST:: SOT 12708498 SOS 5056737 HAS SOPS 4819401 HAS SOUS 75464 HAS SOUPS 75394 WITH SCORE 80450.737
AT ITER 206 NEW BEST:: SOT 12708532 SOS 5056703 HAS SOPS 4812638 HAS SOUS 69833 HAS SOUPS 69763 WITH SCORE 74819.703
AT ITER 214 NEW BEST:: SOT 12708568 SOS 5056691 HAS SOPS 4812626 HAS SOUS 69813 HAS SOUPS 69743 WITH SCORE 74799.691
AT ITER 249 NEW BEST:: SOT 12708610 SOS 5056719 HAS SOPS 4785548 HAS SOUS 64477 HAS SOUPS 64407 WITH SCORE 69463.719
AT ITER 260 NEW BEST:: SOT 12708701 SOS 5056664 HAS SOPS 4785493 HAS SOUS 64410 HAS SOUPS 64340 WITH SCORE 69396.664
AT ITER 263 NEW BEST:: SOT 12708695 SOS 5056649 HAS SOPS 4785478 HAS SOUS 64401 HAS SOUPS 64331 WITH SCORE 69387.649
AT ITER 268 NEW BEST:: SOT 12708909 SOS 5056582 HAS SOPS 4785411 HAS SOUS 64320 HAS SOUPS 64250 WITH SCORE 69306.582
AT ITER 269 NEW BEST:: SOT 12708923 SOS 5056575 HAS SOPS 4785404 HAS SOUS 64306 HAS SOUPS 64236 WITH SCORE 69292.575
AT ITER 283 NEW BEST:: SOT 12137026 SOS 4484699 HAS SOPS 4217229 HAS SOUS 53501 HAS SOUPS 53438 WITH SCORE 57922.699
AT ITER 289 NEW BEST:: SOT 12137002 SOS 4484686 HAS SOPS 4217216 HAS SOUS 53452 HAS SOUPS 53389 WITH SCORE 57873.686
AT ITER 290 NEW BEST:: SOT 12137231 SOS 4484682 HAS SOPS 4217212 HAS SOUS 53387 HAS SOUPS 53324 WITH SCORE 57808.682
AT ITER 291 NEW BEST:: SOT 12137231 SOS 4484682 HAS SOPS 4215852 HAS SOUS 50859 HAS SOUPS 50796 WITH SCORE 55280.682
AT ITER 296 NEW BEST:: SOT 12137222 SOS 4484664 HAS SOPS 4215834 HAS SOUS 50841 HAS SOUPS 50778 WITH SCORE 55262.664
AT ITER 302 NEW BEST:: SOT 12137223 SOS 4484664 HAS SOPS 4215834 HAS SOUS 50840 HAS SOUPS 50777 WITH SCORE 55261.664
AT ITER 311 NEW BEST:: SOT 12137219 SOS 4484656 HAS SOPS 4215826 HAS SOUS 50832 HAS SOUPS 50769 WITH SCORE 55253.656
AT ITER 342 NEW BEST:: SOT 12137285 SOS 4484658 HAS SOPS 4215828 HAS SOUS 50780 HAS SOUPS 50717 WITH SCORE 55201.658
AT ITER 344 NEW BEST:: SOT 12137285 SOS 4484668 HAS SOPS 4215566 HAS SOUS 50277 HAS SOUPS 50214 WITH SCORE 54698.668
AT ITER 367 NEW BEST:: SOT 12136986 SOS 4484364 HAS SOPS 4215262 HAS SOUS 50079 HAS SOUPS 50016 WITH SCORE 54500.364
AT ITER 373 NEW BEST:: SOT 12136977 SOS 4484346 HAS SOPS 4215244 HAS SOUS 50061 HAS SOUPS 49998 WITH SCORE 54482.346
AT ITER 377 NEW BEST:: SOT 12136972 SOS 4484336 HAS SOPS 4227330 HAS SOUS 50056 HAS SOUPS 49993 WITH SCORE 54477.336
AT ITER 379 NEW BEST:: SOT 12134727 SOS 4484598 HAS SOPS 4225121 HAS SOUS 49410 HAS SOUPS 49238 WITH SCORE 53722.598
AT ITER 384 NEW BEST:: SOT 12134646 SOS 4484590 HAS SOPS 4225088 HAS SOUS 49405 HAS SOUPS 49233 WITH SCORE 53717.59
AT ITER 394 NEW BEST:: SOT 12134638 SOS 4484582 HAS SOPS 4225072 HAS SOUS 49397 HAS SOUPS 49225 WITH SCORE 53709.582
AT ITER 395 NEW BEST:: SOT 12059764 SOS 4409705 HAS SOPS 4150201 HAS SOUS 46331 HAS SOUPS 46159 WITH SCORE 50568.705
AT ITER 407 NEW BEST:: SOT 12059754 SOS 4409700 HAS SOPS 4150196 HAS SOUS 46325 HAS SOUPS 46153 WITH SCORE 50562.7
AT ITER 409 NEW BEST:: SOT 12059758 SOS 4409693 HAS SOPS 4150189 HAS SOUS 46305 HAS SOUPS 46133 WITH SCORE 50542.693
AT ITER 410 NEW BEST:: SOT 12059833 SOS 4409703 HAS SOPS 4150199 HAS SOUS 46285 HAS SOUPS 46113 WITH SCORE 50522.703
AT ITER 411 NEW BEST:: SOT 12059832 SOS 4409687 HAS SOPS 4150451 HAS SOUS 46035 HAS SOUPS 45863 WITH SCORE 50272.687
AT ITER 419 NEW BEST:: SOT 12059826 SOS 4409681 HAS SOPS 4150445 HAS SOUS 46035 HAS SOUPS 45863 WITH SCORE 50272.681
AT ITER 427 NEW BEST:: SOT 12059808 SOS 4409518 HAS SOPS 4150290 HAS SOUS 45904 HAS SOUPS 45732 WITH SCORE 50141.518
AT ITER 435 NEW BEST:: SOT 12059828 SOS 4409518 HAS SOPS 4150290 HAS SOUS 45884 HAS SOUPS 45712 WITH SCORE 50121.518
AT ITER 452 NEW BEST:: SOT 12059828 SOS 4409509 HAS SOPS 4150281 HAS SOUS 45875 HAS SOUPS 45703 WITH SCORE 50112.509
AT ITER 454 NEW BEST:: SOT 12059828 SOS 4409502 HAS SOPS 4150281 HAS SOUS 45875 HAS SOUPS 45703 WITH SCORE 50112.502
AT ITER 459 NEW BEST:: SOT 12059861 SOS 4409506 HAS SOPS 4150285 HAS SOUS 45866 HAS SOUPS 45694 WITH SCORE 50103.506
AT ITER 468 NEW BEST:: SOT 12059855 SOS 4409504 HAS SOPS 4150281 HAS SOUS 45860 HAS SOUPS 45688 WITH SCORE 50097.504
AT ITER 474 NEW BEST:: SOT 12059873 SOS 4409495 HAS SOPS 4140075 HAS SOUS 45341 HAS SOUPS 45169 WITH SCORE 49578.495
AT ITER 478 NEW BEST:: SOT 12059880 SOS 4299851 HAS SOPS 4020021 HAS SOUS 45297 HAS SOUPS 45126 WITH SCORE 49425.851
AT ITER 496 NEW BEST:: SOT 12059873 SOS 4299657 HAS SOPS 4019827 HAS SOUS 45205 HAS SOUPS 45034 WITH SCORE 49333.657
AT ITER 535 NEW BEST:: SOT 12059867 SOS 4299648 HAS SOPS 4019818 HAS SOUS 45205 HAS SOUPS 45034 WITH SCORE 49333.648
AT ITER 538 NEW BEST:: SOT 12059902 SOS 4299668 HAS SOPS 4019838 HAS SOUS 45203 HAS SOUPS 45032 WITH SCORE 49331.668
AT ITER 542 NEW BEST:: SOT 12059902 SOS 4299668 HAS SOPS 4019838 HAS SOUS 45202 HAS SOUPS 45031 WITH SCORE 49330.668
AT ITER 543 NEW BEST:: SOT 12182232 SOS 4421946 HAS SOPS 4115395 HAS SOUS 42174 HAS SOUPS 42001 WITH SCORE 46422.945999999996
AT ITER 549 NEW BEST:: SOT 12182243 SOS 4421917 HAS SOPS 4115366 HAS SOUS 42151 HAS SOUPS 41978 WITH SCORE 46399.917
AT ITER 553 NEW BEST:: SOT 12182233 SOS 4421882 HAS SOPS 4107876 HAS SOUS 41880 HAS SOUPS 41707 WITH SCORE 46128.882
AT ITER 576 NEW BEST:: SOT 12182242 SOS 4421885 HAS SOPS 4103196 HAS SOUS 41738 HAS SOUPS 41565 WITH SCORE 45986.885
AT ITER 580 NEW BEST:: SOT 12182295 SOS 4421935 HAS SOPS 4103246 HAS SOUS 41735 HAS SOUPS 41562 WITH SCORE 45983.935
AT ITER 583 NEW BEST:: SOT 12182280 SOS 4421905 HAS SOPS 4103216 HAS SOUS 41705 HAS SOUPS 41532 WITH SCORE 45953.905
AT ITER 603 NEW BEST:: SOT 12182277 SOS 4421899 HAS SOPS 4103210 HAS SOUS 41699 HAS SOUPS 41526 WITH SCORE 45947.899
AT ITER 604 NEW BEST:: SOT 12074737 SOS 4465123 HAS SOPS 4208060 HAS SOUS 37750 HAS SOUPS 37577 WITH SCORE 42042.123
AT ITER 608 NEW BEST:: SOT 12074702 SOS 4465122 HAS SOPS 4208058 HAS SOUS 37748 HAS SOUPS 37575 WITH SCORE 42040.122
AT ITER 618 NEW BEST:: SOT 12074716 SOS 4465123 HAS SOPS 4208060 HAS SOUS 37730 HAS SOUPS 37557 WITH SCORE 42022.123
AT ITER 636 NEW BEST:: SOT 12074716 SOS 4465123 HAS SOPS 4205860 HAS SOUS 37714 HAS SOUPS 37541 WITH SCORE 42006.123
AT ITER 652 NEW BEST:: SOT 12074716 SOS 4465099 HAS SOPS 4205836 HAS SOUS 37708 HAS SOUPS 37535 WITH SCORE 42000.099
AT ITER 658 NEW BEST:: SOT 12074764 SOS 4465147 HAS SOPS 4161390 HAS SOUS 36048 HAS SOUPS 35875 WITH SCORE 40340.147
AT ITER 669 NEW BEST:: SOT 12074757 SOS 4465113 HAS SOPS 4161356 HAS SOUS 36034 HAS SOUPS 35861 WITH SCORE 40326.113
AT ITER 691 NEW BEST:: SOT 12074751 SOS 4465109 HAS SOPS 4161336 HAS SOUS 36028 HAS SOUPS 35855 WITH SCORE 40320.109
AT ITER 701 NEW BEST:: SOT 12074751 SOS 4465109 HAS SOPS 4155456 HAS SOUS 35932 HAS SOUPS 35759 WITH SCORE 40224.109
AT ITER 710 NEW BEST:: SOT 12074751 SOS 4465091 HAS SOPS 4155438 HAS SOUS 35923 HAS SOUPS 35750 WITH SCORE 40215.091
AT ITER 712 NEW BEST:: SOT 12074761 SOS 4465096 HAS SOPS 4155443 HAS SOUS 35918 HAS SOUPS 35745 WITH SCORE 40210.096
AT ITER 713 NEW BEST:: SOT 12074758 SOS 4465093 HAS SOPS 4155437 HAS SOUS 35912 HAS SOUPS 35739 WITH SCORE 40204.093
AT ITER 745 NEW BEST:: SOT 12074798 SOS 4465123 HAS SOPS 4085913 HAS SOUS 35838 HAS SOUPS 35665 WITH SCORE 40130.123
AT ITER 756 NEW BEST:: SOT 12074785 SOS 4465100 HAS SOPS 4085918 HAS SOUS 35825 HAS SOUPS 35652 WITH SCORE 40117.1
AT ITER 764 NEW BEST:: SOT 12074785 SOS 4465087 HAS SOPS 4085918 HAS SOUS 35825 HAS SOUPS 35652 WITH SCORE 40117.087
AT ITER 783 NEW BEST:: SOT 12074792 SOS 4465080 HAS SOPS 4085911 HAS SOUS 35818 HAS SOUPS 35645 WITH SCORE 40110.08
AT ITER 785 NEW BEST:: SOT 12074774 SOS 4465064 HAS SOPS 4085895 HAS SOUS 35800 HAS SOUPS 35627 WITH SCORE 40092.064
AT ITER 794 NEW BEST:: SOT 12074872 SOS 4465148 HAS SOPS 4085869 HAS SOUS 35783 HAS SOUPS 35610 WITH SCORE 40075.148
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 11246696 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15585408 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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
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="StigmergyElection-PT-11a"
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 StigmergyElection-PT-11a, 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 r459-smll-167912651600704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-11a.tgz
mv StigmergyElection-PT-11a 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 '
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 ;