About the Execution of Smart+red for Solitaire-PT-SqrCT5x5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16185.308 | 3600000.00 | 3634043.00 | 18321.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651100344.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 Solitaire-PT-SqrCT5x5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651100344
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 8.0K Feb 26 12:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 12:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 12:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 12:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 12:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 26 12:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 76K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679326590182
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=Solitaire-PT-SqrCT5x5
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 15:36:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 15:36:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 15:36:33] [INFO ] Load time of PNML (sax parser for PT used): 104 ms
[2023-03-20 15:36:33] [INFO ] Transformed 51 places.
[2023-03-20 15:36:33] [INFO ] Transformed 84 transitions.
[2023-03-20 15:36:33] [INFO ] Parsed PT model containing 51 places and 84 transitions and 540 arcs in 247 ms.
[2023-03-20 15:36:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 51 places, 84 transitions and 540 arcs took 8 ms.
Total runtime 319 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Solitaire (PT), instance SqrCT5x5
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: 51 places, 84 transitions, 540 arcs.
AT ITER 0 NEW BEST:: SOT 3616 SOS 2866 HAS SOPS 2866 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.866
AT ITER 1 NEW BEST:: SOT 2974 SOS 2610 HAS SOPS 2610 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1784.61
AT ITER 3 NEW BEST:: SOT 2974 SOS 2606 HAS SOPS 2606 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1772.606
AT ITER 8 NEW BEST:: SOT 2974 SOS 2600 HAS SOPS 2600 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1720.6
AT ITER 40 NEW BEST:: SOT 2998 SOS 2624 HAS SOPS 2624 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.624
AT ITER 42 NEW BEST:: SOT 2996 SOS 2622 HAS SOPS 2622 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.622
AT ITER 49 NEW BEST:: SOT 2976 SOS 2602 HAS SOPS 2602 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.602
AT ITER 51 NEW BEST:: SOT 2976 SOS 2602 HAS SOPS 2602 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.602
AT ITER 52 NEW BEST:: SOT 2986 SOS 2628 HAS SOPS 2628 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.628
AT ITER 57 NEW BEST:: SOT 2974 SOS 2616 HAS SOPS 2616 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.616
AT ITER 64 NEW BEST:: SOT 2964 SOS 2606 HAS SOPS 2606 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.606
AT ITER 76 NEW BEST:: SOT 2958 SOS 2600 HAS SOPS 2600 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1613.6
AT ITER 100 NEW BEST:: SOT 2954 SOS 2596 HAS SOPS 2596 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.596
AT ITER 139 NEW BEST:: SOT 2976 SOS 2634 HAS SOPS 2634 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1592.634
AT ITER 153 NEW BEST:: SOT 2976 SOS 2632 HAS SOPS 2632 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1590.632
AT ITER 159 NEW BEST:: SOT 2976 SOS 2616 HAS SOPS 2616 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1589.616
AT ITER 176 NEW BEST:: SOT 2976 SOS 2616 HAS SOPS 2616 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.616
AT ITER 187 NEW BEST:: SOT 2950 SOS 2590 HAS SOPS 2590 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1549.59
AT ITER 191 NEW BEST:: SOT 2964 SOS 2592 HAS SOPS 2592 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1539.592
AT ITER 198 NEW BEST:: SOT 2968 SOS 2598 HAS SOPS 2598 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1511.598
AT ITER 214 NEW BEST:: SOT 2968 SOS 2590 HAS SOPS 2590 HAS SOUS 1495 HAS SOUPS 1495 WITH SCORE 1497.59
AT ITER 225 NEW BEST:: SOT 2978 SOS 2604 HAS SOPS 2604 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1485.604
AT ITER 242 NEW BEST:: SOT 2978 SOS 2604 HAS SOPS 2604 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1466.604
AT ITER 252 NEW BEST:: SOT 2944 SOS 2570 HAS SOPS 2570 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1462.57
AT ITER 279 NEW BEST:: SOT 2944 SOS 2570 HAS SOPS 2570 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.57
AT ITER 281 NEW BEST:: SOT 2940 SOS 2566 HAS SOPS 2566 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1420.566
AT ITER 310 NEW BEST:: SOT 2938 SOS 2564 HAS SOPS 2564 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1419.564
AT ITER 392 NEW BEST:: SOT 2938 SOS 2564 HAS SOPS 2564 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1408.564
AT ITER 414 NEW BEST:: SOT 2938 SOS 2552 HAS SOPS 2552 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1396.552
AT ITER 420 NEW BEST:: SOT 2934 SOS 2548 HAS SOPS 2548 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1387.548
AT ITER 442 NEW BEST:: SOT 2934 SOS 2548 HAS SOPS 2548 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1382.548
AT ITER 507 NEW BEST:: SOT 2930 SOS 2544 HAS SOPS 2544 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1375.544
AT ITER 521 NEW BEST:: SOT 2930 SOS 2930 HAS SOPS 2930 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1371.93
AT ITER 523 NEW BEST:: SOT 2930 SOS 2930 HAS SOPS 2930 HAS SOUS 1367 HAS SOUPS 1367 WITH SCORE 1369.93
AT ITER 528 NEW BEST:: SOT 2930 SOS 2930 HAS SOPS 2930 HAS SOUS 1363 HAS SOUPS 1363 WITH SCORE 1365.93
AT ITER 621 NEW BEST:: SOT 2930 SOS 2930 HAS SOPS 2930 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1361.93
AT ITER 646 NEW BEST:: SOT 2930 SOS 2930 HAS SOPS 2930 HAS SOUS 1355 HAS SOUPS 1355 WITH SCORE 1357.93
AT ITER 650 NEW BEST:: SOT 2916 SOS 2916 HAS SOPS 2916 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1333.916
AT ITER 671 NEW BEST:: SOT 2932 SOS 2932 HAS SOPS 2932 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1324.932
AT ITER 727 NEW BEST:: SOT 2910 SOS 2910 HAS SOPS 2910 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1288.91
AT ITER 736 NEW BEST:: SOT 2910 SOS 2910 HAS SOPS 2910 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1286.91
AT ITER 770 NEW BEST:: SOT 2910 SOS 2910 HAS SOPS 2910 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1278.91
AT ITER 779 NEW BEST:: SOT 2908 SOS 2908 HAS SOPS 2908 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1276.908
AT ITER 781 NEW BEST:: SOT 2908 SOS 2908 HAS SOPS 2908 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1274.908
AT ITER 826 NEW BEST:: SOT 2896 SOS 2896 HAS SOPS 2896 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1250.896
AT ITER 910 NEW BEST:: SOT 2896 SOS 2638 HAS SOPS 2638 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1250.638
AT ITER 992 NEW BEST:: SOT 2888 SOS 2630 HAS SOPS 2630 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1227.63
AT ITER 1031 NEW BEST:: SOT 2888 SOS 2630 HAS SOPS 2630 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1226.63
AT ITER 1106 NEW BEST:: SOT 2882 SOS 2624 HAS SOPS 2624 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1222.624
AT ITER 1151 NEW BEST:: SOT 2882 SOS 2614 HAS SOPS 2614 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1220.614
AT ITER 1213 NEW BEST:: SOT 2882 SOS 2514 HAS SOPS 2514 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1220.514
AT ITER 1239 NEW BEST:: SOT 2874 SOS 2506 HAS SOPS 2506 HAS SOUS 1201 HAS SOUPS 1201 WITH SCORE 1203.506
AT ITER 1266 NEW BEST:: SOT 2876 SOS 2508 HAS SOPS 2508 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1197.508
AT ITER 1313 NEW BEST:: SOT 2884 SOS 2516 HAS SOPS 2516 HAS SOUS 1193 HAS SOUPS 1193 WITH SCORE 1195.516
AT ITER 1326 NEW BEST:: SOT 2892 SOS 2524 HAS SOPS 2524 HAS SOUS 1184 HAS SOUPS 1184 WITH SCORE 1186.524
AT ITER 1359 NEW BEST:: SOT 2892 SOS 2524 HAS SOPS 2524 HAS SOUS 1178 HAS SOUPS 1178 WITH SCORE 1180.524
AT ITER 1451 NEW BEST:: SOT 2890 SOS 2522 HAS SOPS 2522 HAS SOUS 1172 HAS SOUPS 1172 WITH SCORE 1174.522
AT ITER 1489 NEW BEST:: SOT 2890 SOS 2522 HAS SOPS 2522 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1170.522
AT ITER 1644 NEW BEST:: SOT 2898 SOS 2530 HAS SOPS 2530 HAS SOUS 1165 HAS SOUPS 1165 WITH SCORE 1167.53
AT ITER 1646 NEW BEST:: SOT 2898 SOS 2530 HAS SOPS 2530 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1165.53
AT ITER 1706 NEW BEST:: SOT 2894 SOS 2526 HAS SOPS 2526 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1160.526
AT ITER 1748 NEW BEST:: SOT 2892 SOS 2524 HAS SOPS 2524 HAS SOUS 1153 HAS SOUPS 1153 WITH SCORE 1155.524
AT ITER 1763 NEW BEST:: SOT 2888 SOS 2520 HAS SOPS 2520 HAS SOUS 1144 HAS SOUPS 1144 WITH SCORE 1146.52
AT ITER 1776 NEW BEST:: SOT 2884 SOS 2516 HAS SOPS 2516 HAS SOUS 1136 HAS SOUPS 1136 WITH SCORE 1138.516
AT ITER 1872 NEW BEST:: SOT 2884 SOS 2516 HAS SOPS 2516 HAS SOUS 1134 HAS SOUPS 1134 WITH SCORE 1136.516
AT ITER 1929 NEW BEST:: SOT 2880 SOS 2512 HAS SOPS 2512 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1130.512
AT ITER 1941 NEW BEST:: SOT 2880 SOS 2436 HAS SOPS 2436 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1130.436
AT ITER 2134 NEW BEST:: SOT 2876 SOS 2432 HAS SOPS 2432 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1122.432
AT ITER 2233 NEW BEST:: SOT 2876 SOS 2364 HAS SOPS 2364 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1122.364
AT ITER 2369 NEW BEST:: SOT 2870 SOS 2358 HAS SOPS 2358 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1115.358
AT ITER 2424 NEW BEST:: SOT 2866 SOS 2354 HAS SOPS 2354 HAS SOUS 1109 HAS SOUPS 1109 WITH SCORE 1111.354
AT ITER 2550 NEW BEST:: SOT 2868 SOS 2356 HAS SOPS 2356 HAS SOUS 1104 HAS SOUPS 1104 WITH SCORE 1106.356
AT ITER 3453 NEW BEST:: SOT 2860 SOS 2348 HAS SOPS 2348 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1100.348
AT ITER 3610 NEW BEST:: SOT 2856 SOS 2344 HAS SOPS 2344 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1100.344
AT ITER 3751 NEW BEST:: SOT 2852 SOS 2340 HAS SOPS 2340 HAS SOUS 1089 HAS SOUPS 1089 WITH SCORE 1091.34
AT ITER 4767 NEW BEST:: SOT 2846 SOS 2334 HAS SOPS 2334 HAS SOUS 1083 HAS SOUPS 1083 WITH SCORE 1085.334
AT ITER 7316 NEW BEST:: SOT 2840 SOS 2328 HAS SOPS 2328 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1081.328
AT ITER 7682 NEW BEST:: SOT 2844 SOS 2332 HAS SOPS 2332 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1080.332
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 198872 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16292544 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="Solitaire-PT-SqrCT5x5"
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 Solitaire-PT-SqrCT5x5, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651100344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Solitaire-PT-SqrCT5x5.tgz
mv Solitaire-PT-SqrCT5x5 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 ;