About the Execution of Smart+red for Echo-PT-d02r19
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6477.775 | 3600000.00 | 3652554.00 | 13261.10 | [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.r171-tall-167838858000080.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 Echo-PT-d02r19, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858000080
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 14:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 14:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 25 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 14:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679419867923
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=Echo-PT-d02r19
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 17:31:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 17:31:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 17:31:09] [INFO ] Load time of PNML (sax parser for PT used): 200 ms
[2023-03-21 17:31:09] [INFO ] Transformed 3455 places.
[2023-03-21 17:31:09] [INFO ] Transformed 2730 transitions.
[2023-03-21 17:31:09] [INFO ] Found NUPN structural information;
[2023-03-21 17:31:09] [INFO ] Parsed PT model containing 3455 places and 2730 transitions and 15940 arcs in 292 ms.
[2023-03-21 17:31:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3455 places, 2730 transitions and 15940 arcs took 47 ms.
Total runtime 367 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d02r19
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: 3455 places, 2730 transitions, 15940 arcs.
AT ITER 0 NEW BEST:: SOT 5092517 SOS 703857 HAS SOPS 703857 HAS SOUS 549293 HAS SOUPS 549293 WITH SCORE 549996.857
AT ITER 110 NEW BEST:: SOT 5092517 SOS 703857 HAS SOPS 703857 HAS SOUS 549269 HAS SOUPS 549269 WITH SCORE 549972.857
AT ITER 357 NEW BEST:: SOT 5092517 SOS 703857 HAS SOPS 703857 HAS SOUS 549237 HAS SOUPS 549237 WITH SCORE 549940.857
AT ITER 438 NEW BEST:: SOT 5092517 SOS 703857 HAS SOPS 703857 HAS SOUS 549169 HAS SOUPS 549169 WITH SCORE 549872.857
AT ITER 627 NEW BEST:: SOT 5092531 SOS 704043 HAS SOPS 704043 HAS SOUS 549158 HAS SOUPS 549158 WITH SCORE 549862.043
AT ITER 715 NEW BEST:: SOT 5092531 SOS 704043 HAS SOPS 704043 HAS SOUS 549090 HAS SOUPS 549090 WITH SCORE 549794.043
AT ITER 794 NEW BEST:: SOT 5092292 SOS 704372 HAS SOPS 704372 HAS SOUS 548993 HAS SOUPS 548993 WITH SCORE 549697.372
AT ITER 1073 NEW BEST:: SOT 5091540 SOS 704388 HAS SOPS 704388 HAS SOUS 548681 HAS SOUPS 548681 WITH SCORE 549385.388
AT ITER 1236 NEW BEST:: SOT 5091540 SOS 704388 HAS SOPS 704388 HAS SOUS 548657 HAS SOUPS 548657 WITH SCORE 549361.388
AT ITER 1269 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548471 HAS SOUPS 548471 WITH SCORE 549175.87
AT ITER 1348 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548467 HAS SOUPS 548467 WITH SCORE 549171.87
AT ITER 1355 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548465 HAS SOUPS 548465 WITH SCORE 549169.87
AT ITER 1404 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548453 HAS SOUPS 548453 WITH SCORE 549157.87
AT ITER 1542 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548441 HAS SOUPS 548441 WITH SCORE 549145.87
AT ITER 1555 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548353 HAS SOUPS 548353 WITH SCORE 549057.87
AT ITER 2000 NEW BEST:: SOT 5091174 SOS 704870 HAS SOPS 704870 HAS SOUS 548275 HAS SOUPS 548275 WITH SCORE 548979.87
AT ITER 2190 NEW BEST:: SOT 5090948 SOS 705125 HAS SOPS 705125 HAS SOUS 548184 HAS SOUPS 548184 WITH SCORE 548889.125
AT ITER 2580 NEW BEST:: SOT 5090948 SOS 705125 HAS SOPS 705125 HAS SOUS 548182 HAS SOUPS 548182 WITH SCORE 548887.125
AT ITER 2626 NEW BEST:: SOT 5090535 SOS 704978 HAS SOPS 704978 HAS SOUS 547993 HAS SOUPS 547993 WITH SCORE 548697.978
AT ITER 2703 NEW BEST:: SOT 5090467 SOS 704910 HAS SOPS 704910 HAS SOUS 547859 HAS SOUPS 547859 WITH SCORE 548563.91
AT ITER 2712 NEW BEST:: SOT 5090445 SOS 704888 HAS SOPS 704888 HAS SOUS 547837 HAS SOUPS 547837 WITH SCORE 548541.888
AT ITER 2716 NEW BEST:: SOT 5090445 SOS 704888 HAS SOPS 704888 HAS SOUS 547821 HAS SOUPS 547821 WITH SCORE 548525.888
AT ITER 2763 NEW BEST:: SOT 5090413 SOS 704980 HAS SOPS 704980 HAS SOUS 547819 HAS SOUPS 547819 WITH SCORE 548523.98
AT ITER 2833 NEW BEST:: SOT 5089913 SOS 705156 HAS SOPS 705156 HAS SOUS 547734 HAS SOUPS 547734 WITH SCORE 548439.156
AT ITER 3003 NEW BEST:: SOT 5089913 SOS 705156 HAS SOPS 705156 HAS SOUS 547730 HAS SOUPS 547730 WITH SCORE 548435.156
AT ITER 3063 NEW BEST:: SOT 5089913 SOS 705156 HAS SOPS 705156 HAS SOUS 547704 HAS SOUPS 547704 WITH SCORE 548409.156
AT ITER 3277 NEW BEST:: SOT 5089913 SOS 705156 HAS SOPS 705156 HAS SOUS 547632 HAS SOUPS 547632 WITH SCORE 548337.156
AT ITER 3525 NEW BEST:: SOT 5089913 SOS 705156 HAS SOPS 705156 HAS SOUS 547590 HAS SOUPS 547590 WITH SCORE 548295.156
AT ITER 3550 NEW BEST:: SOT 5089913 SOS 705156 HAS SOPS 705156 HAS SOUS 547560 HAS SOUPS 547560 WITH SCORE 548265.156
AT ITER 3828 NEW BEST:: SOT 5089348 SOS 705316 HAS SOPS 705316 HAS SOUS 547191 HAS SOUPS 547191 WITH SCORE 547896.316
AT ITER 3968 NEW BEST:: SOT 5089348 SOS 705316 HAS SOPS 705316 HAS SOUS 547117 HAS SOUPS 547117 WITH SCORE 547822.316
AT ITER 4050 NEW BEST:: SOT 5089348 SOS 705316 HAS SOPS 705316 HAS SOUS 547115 HAS SOUPS 547115 WITH SCORE 547820.316
AT ITER 4151 NEW BEST:: SOT 5089348 SOS 705316 HAS SOPS 705316 HAS SOUS 547047 HAS SOUPS 547047 WITH SCORE 547752.316
AT ITER 4169 NEW BEST:: SOT 5089348 SOS 705316 HAS SOPS 705316 HAS SOUS 547023 HAS SOUPS 547023 WITH SCORE 547728.316
AT ITER 4376 NEW BEST:: SOT 5089346 SOS 705326 HAS SOPS 705326 HAS SOUS 547021 HAS SOUPS 547021 WITH SCORE 547726.326
AT ITER 4452 NEW BEST:: SOT 5088860 SOS 705221 HAS SOPS 705221 HAS SOUS 546679 HAS SOUPS 546679 WITH SCORE 547384.221
AT ITER 4884 NEW BEST:: SOT 5088856 SOS 705217 HAS SOPS 705217 HAS SOUS 546675 HAS SOUPS 546675 WITH SCORE 547380.217
AT ITER 4958 NEW BEST:: SOT 5088856 SOS 705217 HAS SOPS 705217 HAS SOUS 546671 HAS SOUPS 546671 WITH SCORE 547376.217
AT ITER 4962 NEW BEST:: SOT 5088856 SOS 705217 HAS SOPS 705217 HAS SOUS 546669 HAS SOUPS 546669 WITH SCORE 547374.217
AT ITER 4991 NEW BEST:: SOT 5088842 SOS 705203 HAS SOPS 705203 HAS SOUS 546655 HAS SOUPS 546655 WITH SCORE 547360.203
AT ITER 5095 NEW BEST:: SOT 5088842 SOS 705203 HAS SOPS 705203 HAS SOUS 546623 HAS SOUPS 546623 WITH SCORE 547328.203
AT ITER 5254 NEW BEST:: SOT 5088496 SOS 705645 HAS SOPS 705645 HAS SOUS 546399 HAS SOUPS 546399 WITH SCORE 547104.645
AT ITER 5272 NEW BEST:: SOT 5088496 SOS 705645 HAS SOPS 705645 HAS SOUS 546375 HAS SOUPS 546375 WITH SCORE 547080.645
AT ITER 5379 NEW BEST:: SOT 5088496 SOS 705645 HAS SOPS 705645 HAS SOUS 546353 HAS SOUPS 546353 WITH SCORE 547058.645
AT ITER 5482 NEW BEST:: SOT 5088494 SOS 705655 HAS SOPS 705655 HAS SOUS 546348 HAS SOUPS 546348 WITH SCORE 547053.655
AT ITER 5700 NEW BEST:: SOT 5088486 SOS 705663 HAS SOPS 705663 HAS SOUS 546344 HAS SOUPS 546344 WITH SCORE 547049.663
AT ITER 5823 NEW BEST:: SOT 5088081 SOS 705521 HAS SOPS 705521 HAS SOUS 546162 HAS SOUPS 546162 WITH SCORE 546867.521
AT ITER 5939 NEW BEST:: SOT 5088081 SOS 705521 HAS SOPS 705521 HAS SOUS 546084 HAS SOUPS 546084 WITH SCORE 546789.521
AT ITER 6013 NEW BEST:: SOT 5088081 SOS 705521 HAS SOPS 705521 HAS SOUS 546040 HAS SOUPS 546040 WITH SCORE 546745.521
AT ITER 6239 NEW BEST:: SOT 5088081 SOS 705521 HAS SOPS 705521 HAS SOUS 546038 HAS SOUPS 546038 WITH SCORE 546743.521
AT ITER 6465 NEW BEST:: SOT 5088195 SOS 705067 HAS SOPS 705067 HAS SOUS 546010 HAS SOUPS 546010 WITH SCORE 546715.067
AT ITER 6486 NEW BEST:: SOT 5087808 SOS 705326 HAS SOPS 705326 HAS SOUS 545787 HAS SOUPS 545787 WITH SCORE 546492.326
AT ITER 6545 NEW BEST:: SOT 5087808 SOS 705326 HAS SOPS 705326 HAS SOUS 545741 HAS SOUPS 545741 WITH SCORE 546446.326
AT ITER 6563 NEW BEST:: SOT 5087569 SOS 705886 HAS SOPS 705886 HAS SOUS 545704 HAS SOUPS 545704 WITH SCORE 546409.886
AT ITER 6604 NEW BEST:: SOT 5087569 SOS 705886 HAS SOPS 705886 HAS SOUS 545698 HAS SOUPS 545698 WITH SCORE 546403.886
AT ITER 6697 NEW BEST:: SOT 5087569 SOS 705886 HAS SOPS 705886 HAS SOUS 545668 HAS SOUPS 545668 WITH SCORE 546373.886
AT ITER 6795 NEW BEST:: SOT 5087569 SOS 705886 HAS SOPS 705886 HAS SOUS 545648 HAS SOUPS 545648 WITH SCORE 546353.886
AT ITER 6905 NEW BEST:: SOT 5087569 SOS 705886 HAS SOPS 705886 HAS SOUS 545644 HAS SOUPS 545644 WITH SCORE 546349.886
AT ITER 6959 NEW BEST:: SOT 5087306 SOS 705784 HAS SOPS 705784 HAS SOUS 545532 HAS SOUPS 545532 WITH SCORE 546237.784
AT ITER 7085 NEW BEST:: SOT 5087306 SOS 705784 HAS SOPS 705784 HAS SOUS 545518 HAS SOUPS 545518 WITH SCORE 546223.784
AT ITER 7309 NEW BEST:: SOT 5087306 SOS 705784 HAS SOPS 705784 HAS SOUS 545436 HAS SOUPS 545436 WITH SCORE 546141.784
AT ITER 7434 NEW BEST:: SOT 5087204 SOS 705867 HAS SOPS 705867 HAS SOUS 545395 HAS SOUPS 545395 WITH SCORE 546100.867
AT ITER 7543 NEW BEST:: SOT 5087204 SOS 705867 HAS SOPS 705867 HAS SOUS 545363 HAS SOUPS 545363 WITH SCORE 546068.867
AT ITER 7573 NEW BEST:: SOT 5087204 SOS 705867 HAS SOPS 705867 HAS SOUS 545323 HAS SOUPS 545323 WITH SCORE 546028.867
AT ITER 7672 NEW BEST:: SOT 5087204 SOS 705867 HAS SOPS 705867 HAS SOUS 545297 HAS SOUPS 545297 WITH SCORE 546002.867
AT ITER 7744 NEW BEST:: SOT 5086544 SOS 705327 HAS SOPS 705327 HAS SOUS 544977 HAS SOUPS 544977 WITH SCORE 545682.327
AT ITER 7748 NEW BEST:: SOT 5086544 SOS 705327 HAS SOPS 705327 HAS SOUS 544975 HAS SOUPS 544975 WITH SCORE 545680.327
AT ITER 7757 NEW BEST:: SOT 5086499 SOS 705282 HAS SOPS 705282 HAS SOUS 544930 HAS SOUPS 544930 WITH SCORE 545635.282
AT ITER 7849 NEW BEST:: SOT 5086442 SOS 705225 HAS SOPS 705225 HAS SOUS 544873 HAS SOUPS 544873 WITH SCORE 545578.225
AT ITER 8337 NEW BEST:: SOT 5086442 SOS 705225 HAS SOPS 705225 HAS SOUS 544809 HAS SOUPS 544809 WITH SCORE 545514.225
AT ITER 8390 NEW BEST:: SOT 5086392 SOS 705175 HAS SOPS 705175 HAS SOUS 544759 HAS SOUPS 544759 WITH SCORE 545464.175
AT ITER 8393 NEW BEST:: SOT 5086269 SOS 705355 HAS SOPS 705355 HAS SOUS 544716 HAS SOUPS 544716 WITH SCORE 545421.355
AT ITER 8420 NEW BEST:: SOT 5086269 SOS 705355 HAS SOPS 705355 HAS SOUS 544712 HAS SOUPS 544712 WITH SCORE 545417.355
AT ITER 8519 NEW BEST:: SOT 5086269 SOS 705355 HAS SOPS 705355 HAS SOUS 544638 HAS SOUPS 544638 WITH SCORE 545343.355
AT ITER 8913 NEW BEST:: SOT 5086116 SOS 705420 HAS SOPS 705420 HAS SOUS 544538 HAS SOUPS 544538 WITH SCORE 545243.42
AT ITER 8925 NEW BEST:: SOT 5086116 SOS 705420 HAS SOPS 705420 HAS SOUS 544472 HAS SOUPS 544472 WITH SCORE 545177.42
AT ITER 9239 NEW BEST:: SOT 5086116 SOS 705420 HAS SOPS 705420 HAS SOUS 544434 HAS SOUPS 544434 WITH SCORE 545139.42
AT ITER 9311 NEW BEST:: SOT 5086028 SOS 705332 HAS SOPS 705332 HAS SOUS 544346 HAS SOUPS 544346 WITH SCORE 545051.332
AT ITER 9437 NEW BEST:: SOT 5085722 SOS 705511 HAS SOPS 705511 HAS SOUS 544176 HAS SOUPS 544176 WITH SCORE 544881.511
AT ITER 9781 NEW BEST:: SOT 5085233 SOS 705138 HAS SOPS 705138 HAS SOUS 544027 HAS SOUPS 544027 WITH SCORE 544732.138
AT ITER 9784 NEW BEST:: SOT 5085233 SOS 705138 HAS SOPS 705138 HAS SOUS 543983 HAS SOUPS 543983 WITH SCORE 544688.138
AT ITER 9786 NEW BEST:: SOT 5085233 SOS 705138 HAS SOPS 705138 HAS SOUS 543965 HAS SOUPS 543965 WITH SCORE 544670.138
AT ITER 9982 NEW BEST:: SOT 5085233 SOS 705138 HAS SOPS 705138 HAS SOUS 543945 HAS SOUPS 543945 WITH SCORE 544650.138
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9687612 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119708 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d02r19"
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 Echo-PT-d02r19, 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 r171-tall-167838858000080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d02r19.tgz
mv Echo-PT-d02r19 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 ;