About the Execution of Smart+red for Szymanski-PT-a08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16164.495 | 3600000.00 | 3634525.00 | 12464.70 | [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.r491-tall-167912710500432.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 Szymanski-PT-a08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710500432
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 5.3K Feb 26 16:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 16:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 16:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 101K 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 1679250901463
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=Szymanski-PT-a08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 18:35:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 18:35:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 18:35:03] [INFO ] Load time of PNML (sax parser for PT used): 62 ms
[2023-03-19 18:35:03] [INFO ] Transformed 61 places.
[2023-03-19 18:35:03] [INFO ] Transformed 224 transitions.
[2023-03-19 18:35:03] [INFO ] Parsed PT model containing 61 places and 224 transitions and 900 arcs in 137 ms.
[2023-03-19 18:35:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 61 places, 224 transitions and 900 arcs took 5 ms.
Total runtime 181 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance a08
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: 61 places, 224 transitions, 900 arcs.
AT ITER 0 NEW BEST:: SOT 7814 SOS 6985 HAS SOPS 5466 HAS SOUS 4363 HAS SOUPS 4240 WITH SCORE 4246.985
AT ITER 1 NEW BEST:: SOT 9174 SOS 7771 HAS SOPS 6753 HAS SOUS 3929 HAS SOUPS 3847 WITH SCORE 3854.771
AT ITER 5 NEW BEST:: SOT 9160 SOS 7641 HAS SOPS 6507 HAS SOUS 3841 HAS SOUPS 3759 WITH SCORE 3766.641
AT ITER 8 NEW BEST:: SOT 9190 SOS 7491 HAS SOPS 6177 HAS SOUS 3780 HAS SOUPS 3696 WITH SCORE 3703.491
AT ITER 12 NEW BEST:: SOT 9518 SOS 7255 HAS SOPS 6516 HAS SOUS 3257 HAS SOUPS 3203 WITH SCORE 3210.255
AT ITER 14 NEW BEST:: SOT 9991 SOS 6785 HAS SOPS 6728 HAS SOUS 2631 HAS SOUPS 2612 WITH SCORE 2618.785
AT ITER 18 NEW BEST:: SOT 9338 SOS 6153 HAS SOPS 6091 HAS SOUS 2470 HAS SOUPS 2447 WITH SCORE 2453.153
AT ITER 19 NEW BEST:: SOT 9338 SOS 6013 HAS SOPS 5951 HAS SOUS 2457 HAS SOUPS 2434 WITH SCORE 2440.013
AT ITER 26 NEW BEST:: SOT 9338 SOS 5961 HAS SOPS 5899 HAS SOUS 2450 HAS SOUPS 2427 WITH SCORE 2432.961
AT ITER 28 NEW BEST:: SOT 9338 SOS 5931 HAS SOPS 5869 HAS SOUS 2423 HAS SOUPS 2400 WITH SCORE 2405.931
AT ITER 30 NEW BEST:: SOT 9338 SOS 5895 HAS SOPS 5833 HAS SOUS 2422 HAS SOUPS 2399 WITH SCORE 2404.895
AT ITER 34 NEW BEST:: SOT 9317 SOS 5844 HAS SOPS 5782 HAS SOUS 2366 HAS SOUPS 2343 WITH SCORE 2348.844
AT ITER 41 NEW BEST:: SOT 9317 SOS 5784 HAS SOPS 5722 HAS SOUS 2359 HAS SOUPS 2336 WITH SCORE 2341.784
AT ITER 43 NEW BEST:: SOT 9317 SOS 5766 HAS SOPS 5704 HAS SOUS 2359 HAS SOUPS 2336 WITH SCORE 2341.766
AT ITER 44 NEW BEST:: SOT 9305 SOS 5756 HAS SOPS 5700 HAS SOUS 2349 HAS SOUPS 2332 WITH SCORE 2337.756
AT ITER 48 NEW BEST:: SOT 8874 SOS 5348 HAS SOPS 5265 HAS SOUS 1940 HAS SOUPS 1920 WITH SCORE 1925.348
AT ITER 52 NEW BEST:: SOT 8876 SOS 5377 HAS SOPS 5294 HAS SOUS 1930 HAS SOUPS 1910 WITH SCORE 1915.377
AT ITER 55 NEW BEST:: SOT 8876 SOS 5377 HAS SOPS 5294 HAS SOUS 1927 HAS SOUPS 1907 WITH SCORE 1912.377
AT ITER 56 NEW BEST:: SOT 8876 SOS 5373 HAS SOPS 5290 HAS SOUS 1921 HAS SOUPS 1901 WITH SCORE 1906.373
AT ITER 64 NEW BEST:: SOT 8878 SOS 5280 HAS SOPS 5196 HAS SOUS 1915 HAS SOUPS 1895 WITH SCORE 1900.28
AT ITER 68 NEW BEST:: SOT 8878 SOS 5276 HAS SOPS 5192 HAS SOUS 1912 HAS SOUPS 1892 WITH SCORE 1897.276
AT ITER 69 NEW BEST:: SOT 8878 SOS 5268 HAS SOPS 5184 HAS SOUS 1910 HAS SOUPS 1890 WITH SCORE 1895.268
AT ITER 72 NEW BEST:: SOT 8878 SOS 5268 HAS SOPS 5184 HAS SOUS 1908 HAS SOUPS 1888 WITH SCORE 1893.268
AT ITER 83 NEW BEST:: SOT 8878 SOS 5204 HAS SOPS 5120 HAS SOUS 1908 HAS SOUPS 1888 WITH SCORE 1893.204
AT ITER 91 NEW BEST:: SOT 8878 SOS 5180 HAS SOPS 5096 HAS SOUS 1905 HAS SOUPS 1885 WITH SCORE 1890.18
AT ITER 97 NEW BEST:: SOT 8807 SOS 5185 HAS SOPS 5121 HAS SOUS 1899 HAS SOUPS 1879 WITH SCORE 1884.185
AT ITER 98 NEW BEST:: SOT 8863 SOS 5109 HAS SOPS 5021 HAS SOUS 1899 HAS SOUPS 1875 WITH SCORE 1880.109
AT ITER 109 NEW BEST:: SOT 8863 SOS 5101 HAS SOPS 5013 HAS SOUS 1897 HAS SOUPS 1873 WITH SCORE 1878.101
AT ITER 110 NEW BEST:: SOT 8867 SOS 5090 HAS SOPS 5001 HAS SOUS 1882 HAS SOUPS 1858 WITH SCORE 1863.09
AT ITER 111 NEW BEST:: SOT 8848 SOS 5071 HAS SOPS 4982 HAS SOUS 1863 HAS SOUPS 1839 WITH SCORE 1844.071
AT ITER 120 NEW BEST:: SOT 8848 SOS 5047 HAS SOPS 4958 HAS SOUS 1863 HAS SOUPS 1839 WITH SCORE 1844.047
AT ITER 130 NEW BEST:: SOT 8843 SOS 5042 HAS SOPS 4953 HAS SOUS 1858 HAS SOUPS 1834 WITH SCORE 1839.042
AT ITER 137 NEW BEST:: SOT 8843 SOS 5026 HAS SOPS 4937 HAS SOUS 1854 HAS SOUPS 1830 WITH SCORE 1835.026
AT ITER 154 NEW BEST:: SOT 8835 SOS 5018 HAS SOPS 4929 HAS SOUS 1846 HAS SOUPS 1822 WITH SCORE 1827.018
AT ITER 155 NEW BEST:: SOT 8835 SOS 4966 HAS SOPS 4877 HAS SOUS 1833 HAS SOUPS 1809 WITH SCORE 1813.966
AT ITER 156 NEW BEST:: SOT 8835 SOS 4946 HAS SOPS 4857 HAS SOUS 1831 HAS SOUPS 1807 WITH SCORE 1811.946
AT ITER 161 NEW BEST:: SOT 8859 SOS 4970 HAS SOPS 4833 HAS SOUS 1855 HAS SOUPS 1783 WITH SCORE 1787.97
AT ITER 180 NEW BEST:: SOT 8839 SOS 4950 HAS SOPS 4813 HAS SOUS 1835 HAS SOUPS 1763 WITH SCORE 1767.95
AT ITER 194 NEW BEST:: SOT 8807 SOS 4918 HAS SOPS 4781 HAS SOUS 1803 HAS SOUPS 1731 WITH SCORE 1735.918
AT ITER 206 NEW BEST:: SOT 8807 SOS 4942 HAS SOPS 4805 HAS SOUS 1800 HAS SOUPS 1728 WITH SCORE 1732.942
AT ITER 222 NEW BEST:: SOT 8787 SOS 4922 HAS SOPS 4781 HAS SOUS 1776 HAS SOUPS 1704 WITH SCORE 1708.922
AT ITER 255 NEW BEST:: SOT 8784 SOS 4919 HAS SOPS 4778 HAS SOUS 1773 HAS SOUPS 1701 WITH SCORE 1705.919
AT ITER 313 NEW BEST:: SOT 8868 SOS 4997 HAS SOPS 4868 HAS SOUS 1759 HAS SOUPS 1689 WITH SCORE 1693.997
AT ITER 318 NEW BEST:: SOT 8868 SOS 4953 HAS SOPS 4824 HAS SOUS 1759 HAS SOUPS 1689 WITH SCORE 1693.953
AT ITER 323 NEW BEST:: SOT 8856 SOS 4941 HAS SOPS 4812 HAS SOUS 1747 HAS SOUPS 1677 WITH SCORE 1681.941
AT ITER 342 NEW BEST:: SOT 8856 SOS 4981 HAS SOPS 4852 HAS SOUS 1741 HAS SOUPS 1671 WITH SCORE 1675.981
AT ITER 345 NEW BEST:: SOT 8856 SOS 4931 HAS SOPS 4802 HAS SOUS 1741 HAS SOUPS 1671 WITH SCORE 1675.931
AT ITER 362 NEW BEST:: SOT 8856 SOS 4939 HAS SOPS 4810 HAS SOUS 1740 HAS SOUPS 1670 WITH SCORE 1674.939
AT ITER 383 NEW BEST:: SOT 8854 SOS 4937 HAS SOPS 4808 HAS SOUS 1738 HAS SOUPS 1668 WITH SCORE 1672.937
AT ITER 393 NEW BEST:: SOT 8854 SOS 4929 HAS SOPS 4800 HAS SOUS 1736 HAS SOUPS 1666 WITH SCORE 1670.929
AT ITER 419 NEW BEST:: SOT 8854 SOS 4929 HAS SOPS 4800 HAS SOUS 1735 HAS SOUPS 1665 WITH SCORE 1669.929
AT ITER 439 NEW BEST:: SOT 8882 SOS 4945 HAS SOPS 4764 HAS SOUS 1745 HAS SOUPS 1664 WITH SCORE 1668.945
AT ITER 461 NEW BEST:: SOT 8882 SOS 4929 HAS SOPS 4748 HAS SOUS 1743 HAS SOUPS 1662 WITH SCORE 1666.929
AT ITER 475 NEW BEST:: SOT 8880 SOS 4927 HAS SOPS 4746 HAS SOUS 1741 HAS SOUPS 1660 WITH SCORE 1664.927
AT ITER 499 NEW BEST:: SOT 8876 SOS 4923 HAS SOPS 4746 HAS SOUS 1737 HAS SOUPS 1660 WITH SCORE 1664.923
AT ITER 504 NEW BEST:: SOT 8876 SOS 4911 HAS SOPS 4734 HAS SOUS 1735 HAS SOUPS 1658 WITH SCORE 1662.911
AT ITER 508 NEW BEST:: SOT 8876 SOS 4891 HAS SOPS 4714 HAS SOUS 1734 HAS SOUPS 1657 WITH SCORE 1661.891
AT ITER 540 NEW BEST:: SOT 8876 SOS 4863 HAS SOPS 4686 HAS SOUS 1728 HAS SOUPS 1651 WITH SCORE 1655.863
AT ITER 553 NEW BEST:: SOT 8907 SOS 4800 HAS SOPS 4622 HAS SOUS 1725 HAS SOUPS 1648 WITH SCORE 1652.8
AT ITER 566 NEW BEST:: SOT 8902 SOS 4761 HAS SOPS 4617 HAS SOUS 1702 HAS SOUPS 1636 WITH SCORE 1640.761
AT ITER 591 NEW BEST:: SOT 8780 SOS 4660 HAS SOPS 4501 HAS SOUS 1676 HAS SOUPS 1607 WITH SCORE 1611.66
AT ITER 594 NEW BEST:: SOT 8780 SOS 4604 HAS SOPS 4445 HAS SOUS 1665 HAS SOUPS 1596 WITH SCORE 1600.604
AT ITER 597 NEW BEST:: SOT 8770 SOS 4580 HAS SOPS 4395 HAS SOUS 1648 HAS SOUPS 1579 WITH SCORE 1583.58
AT ITER 623 NEW BEST:: SOT 8770 SOS 4572 HAS SOPS 4387 HAS SOUS 1646 HAS SOUPS 1577 WITH SCORE 1581.572
AT ITER 637 NEW BEST:: SOT 8770 SOS 4560 HAS SOPS 4375 HAS SOUS 1644 HAS SOUPS 1575 WITH SCORE 1579.56
AT ITER 670 NEW BEST:: SOT 8766 SOS 4556 HAS SOPS 4375 HAS SOUS 1640 HAS SOUPS 1571 WITH SCORE 1575.556
AT ITER 780 NEW BEST:: SOT 8759 SOS 4549 HAS SOPS 4368 HAS SOUS 1633 HAS SOUPS 1564 WITH SCORE 1568.549
AT ITER 798 NEW BEST:: SOT 8759 SOS 4549 HAS SOPS 4368 HAS SOUS 1629 HAS SOUPS 1560 WITH SCORE 1564.549
AT ITER 821 NEW BEST:: SOT 8760 SOS 4550 HAS SOPS 4369 HAS SOUS 1628 HAS SOUPS 1559 WITH SCORE 1563.55
AT ITER 835 NEW BEST:: SOT 8760 SOS 4546 HAS SOPS 4365 HAS SOUS 1628 HAS SOUPS 1559 WITH SCORE 1563.546
AT ITER 838 NEW BEST:: SOT 8760 SOS 4522 HAS SOPS 4341 HAS SOUS 1621 HAS SOUPS 1552 WITH SCORE 1556.522
AT ITER 847 NEW BEST:: SOT 8719 SOS 4728 HAS SOPS 4408 HAS SOUS 1644 HAS SOUPS 1538 WITH SCORE 1542.728
AT ITER 912 NEW BEST:: SOT 8711 SOS 4720 HAS SOPS 4400 HAS SOUS 1636 HAS SOUPS 1530 WITH SCORE 1534.72
AT ITER 914 NEW BEST:: SOT 8711 SOS 4716 HAS SOPS 4396 HAS SOUS 1635 HAS SOUPS 1529 WITH SCORE 1533.716
AT ITER 921 NEW BEST:: SOT 8711 SOS 4712 HAS SOPS 4392 HAS SOUS 1635 HAS SOUPS 1529 WITH SCORE 1533.712
AT ITER 968 NEW BEST:: SOT 8711 SOS 4708 HAS SOPS 4400 HAS SOUS 1630 HAS SOUPS 1527 WITH SCORE 1531.708
AT ITER 998 NEW BEST:: SOT 8711 SOS 4700 HAS SOPS 4392 HAS SOUS 1627 HAS SOUPS 1524 WITH SCORE 1528.7
AT ITER 1001 NEW BEST:: SOT 8709 SOS 4698 HAS SOPS 4390 HAS SOUS 1625 HAS SOUPS 1522 WITH SCORE 1526.698
AT ITER 1033 NEW BEST:: SOT 8709 SOS 4686 HAS SOPS 4378 HAS SOUS 1622 HAS SOUPS 1519 WITH SCORE 1523.686
AT ITER 1061 NEW BEST:: SOT 8709 SOS 4682 HAS SOPS 4374 HAS SOUS 1621 HAS SOUPS 1518 WITH SCORE 1522.682
AT ITER 1131 NEW BEST:: SOT 8697 SOS 4670 HAS SOPS 4358 HAS SOUS 1605 HAS SOUPS 1502 WITH SCORE 1506.67
AT ITER 1179 NEW BEST:: SOT 8697 SOS 4662 HAS SOPS 4350 HAS SOUS 1603 HAS SOUPS 1500 WITH SCORE 1504.662
AT ITER 1189 NEW BEST:: SOT 8697 SOS 4654 HAS SOPS 4342 HAS SOUS 1602 HAS SOUPS 1499 WITH SCORE 1503.654
AT ITER 1315 NEW BEST:: SOT 8697 SOS 4650 HAS SOPS 4338 HAS SOUS 1600 HAS SOUPS 1497 WITH SCORE 1501.65
AT ITER 1401 NEW BEST:: SOT 8697 SOS 4642 HAS SOPS 4330 HAS SOUS 1598 HAS SOUPS 1495 WITH SCORE 1499.642
AT ITER 1404 NEW BEST:: SOT 8698 SOS 4640 HAS SOPS 4327 HAS SOUS 1596 HAS SOUPS 1493 WITH SCORE 1497.64
AT ITER 1530 NEW BEST:: SOT 8698 SOS 4634 HAS SOPS 4311 HAS SOUS 1583 HAS SOUPS 1480 WITH SCORE 1484.634
AT ITER 1540 NEW BEST:: SOT 8698 SOS 4638 HAS SOPS 4315 HAS SOUS 1581 HAS SOUPS 1478 WITH SCORE 1482.638
AT ITER 1587 NEW BEST:: SOT 8698 SOS 4630 HAS SOPS 4307 HAS SOUS 1580 HAS SOUPS 1477 WITH SCORE 1481.63
AT ITER 1659 NEW BEST:: SOT 8698 SOS 4606 HAS SOPS 4283 HAS SOUS 1576 HAS SOUPS 1473 WITH SCORE 1477.606
AT ITER 1675 NEW BEST:: SOT 8698 SOS 4594 HAS SOPS 4271 HAS SOUS 1574 HAS SOUPS 1471 WITH SCORE 1475.594
AT ITER 1683 NEW BEST:: SOT 8567 SOS 4484 HAS SOPS 4124 HAS SOUS 1577 HAS SOUPS 1471 WITH SCORE 1475.484
AT ITER 1686 NEW BEST:: SOT 8775 SOS 4668 HAS SOPS 4362 HAS SOUS 1560 HAS SOUPS 1459 WITH SCORE 1463.668
AT ITER 1687 NEW BEST:: SOT 8775 SOS 4660 HAS SOPS 4354 HAS SOUS 1559 HAS SOUPS 1458 WITH SCORE 1462.66
AT ITER 1688 NEW BEST:: SOT 8775 SOS 4676 HAS SOPS 4370 HAS SOUS 1558 HAS SOUPS 1457 WITH SCORE 1461.676
AT ITER 1765 NEW BEST:: SOT 8775 SOS 4672 HAS SOPS 4366 HAS SOUS 1557 HAS SOUPS 1456 WITH SCORE 1460.672
AT ITER 1851 NEW BEST:: SOT 8775 SOS 4660 HAS SOPS 4354 HAS SOUS 1557 HAS SOUPS 1456 WITH SCORE 1460.66
AT ITER 1865 NEW BEST:: SOT 8810 SOS 4688 HAS SOPS 4388 HAS SOUS 1542 HAS SOUPS 1442 WITH SCORE 1446.688
AT ITER 1965 NEW BEST:: SOT 8810 SOS 4680 HAS SOPS 4380 HAS SOUS 1539 HAS SOUPS 1439 WITH SCORE 1443.68
AT ITER 2098 NEW BEST:: SOT 8810 SOS 4696 HAS SOPS 4396 HAS SOUS 1537 HAS SOUPS 1437 WITH SCORE 1441.696
AT ITER 2176 NEW BEST:: SOT 8810 SOS 4692 HAS SOPS 4392 HAS SOUS 1536 HAS SOUPS 1436 WITH SCORE 1440.692
AT ITER 2318 NEW BEST:: SOT 8810 SOS 4688 HAS SOPS 4388 HAS SOUS 1535 HAS SOUPS 1435 WITH SCORE 1439.688
AT ITER 2338 NEW BEST:: SOT 8810 SOS 4700 HAS SOPS 4400 HAS SOUS 1534 HAS SOUPS 1434 WITH SCORE 1438.7
AT ITER 2387 NEW BEST:: SOT 8810 SOS 4688 HAS SOPS 4388 HAS SOUS 1531 HAS SOUPS 1431 WITH SCORE 1435.688
AT ITER 2516 NEW BEST:: SOT 8810 SOS 4680 HAS SOPS 4380 HAS SOUS 1531 HAS SOUPS 1431 WITH SCORE 1435.68
AT ITER 2724 NEW BEST:: SOT 8810 SOS 4672 HAS SOPS 4372 HAS SOUS 1531 HAS SOUPS 1431 WITH SCORE 1435.672
AT ITER 2740 NEW BEST:: SOT 8807 SOS 4669 HAS SOPS 4369 HAS SOUS 1531 HAS SOUPS 1431 WITH SCORE 1435.669
AT ITER 2939 NEW BEST:: SOT 8654 SOS 4544 HAS SOPS 4220 HAS SOUS 1513 HAS SOUPS 1410 WITH SCORE 1414.544
AT ITER 3257 NEW BEST:: SOT 8654 SOS 4544 HAS SOPS 4220 HAS SOUS 1511 HAS SOUPS 1408 WITH SCORE 1412.544
AT ITER 3390 NEW BEST:: SOT 8656 SOS 4546 HAS SOPS 4218 HAS SOUS 1509 HAS SOUPS 1406 WITH SCORE 1410.546
AT ITER 3423 NEW BEST:: SOT 8656 SOS 4538 HAS SOPS 4210 HAS SOUS 1509 HAS SOUPS 1406 WITH SCORE 1410.538
AT ITER 3580 NEW BEST:: SOT 8656 SOS 4512 HAS SOPS 4174 HAS SOUS 1494 HAS SOUPS 1391 WITH SCORE 1395.512
AT ITER 3587 NEW BEST:: SOT 8654 SOS 4510 HAS SOPS 4172 HAS SOUS 1492 HAS SOUPS 1389 WITH SCORE 1393.51
AT ITER 3920 NEW BEST:: SOT 8654 SOS 4530 HAS SOPS 4192 HAS SOUS 1491 HAS SOUPS 1388 WITH SCORE 1392.53
AT ITER 3934 NEW BEST:: SOT 8654 SOS 4506 HAS SOPS 4168 HAS SOUS 1490 HAS SOUPS 1387 WITH SCORE 1391.506
AT ITER 3952 NEW BEST:: SOT 8654 SOS 4502 HAS SOPS 4164 HAS SOUS 1489 HAS SOUPS 1386 WITH SCORE 1390.502
AT ITER 4202 NEW BEST:: SOT 8652 SOS 4500 HAS SOPS 4162 HAS SOUS 1487 HAS SOUPS 1384 WITH SCORE 1388.5
AT ITER 4232 NEW BEST:: SOT 8652 SOS 4496 HAS SOPS 4158 HAS SOUS 1486 HAS SOUPS 1383 WITH SCORE 1387.496
AT ITER 4294 NEW BEST:: SOT 8652 SOS 4488 HAS SOPS 4150 HAS SOUS 1485 HAS SOUPS 1382 WITH SCORE 1386.488
AT ITER 4533 NEW BEST:: SOT 8652 SOS 4488 HAS SOPS 4146 HAS SOUS 1481 HAS SOUPS 1378 WITH SCORE 1382.488
AT ITER 4582 NEW BEST:: SOT 8652 SOS 4464 HAS SOPS 4122 HAS SOUS 1481 HAS SOUPS 1378 WITH SCORE 1382.464
AT ITER 4583 NEW BEST:: SOT 8652 SOS 4452 HAS SOPS 4110 HAS SOUS 1478 HAS SOUPS 1375 WITH SCORE 1379.452
AT ITER 4730 NEW BEST:: SOT 8652 SOS 4460 HAS SOPS 4118 HAS SOUS 1477 HAS SOUPS 1374 WITH SCORE 1378.46
AT ITER 4788 NEW BEST:: SOT 8652 SOS 4460 HAS SOPS 4118 HAS SOUS 1476 HAS SOUPS 1373 WITH SCORE 1377.46
AT ITER 5087 NEW BEST:: SOT 8652 SOS 4460 HAS SOPS 4114 HAS SOUS 1472 HAS SOUPS 1369 WITH SCORE 1373.46
AT ITER 5390 NEW BEST:: SOT 8516 SOS 4344 HAS SOPS 3950 HAS SOUS 1469 HAS SOUPS 1363 WITH SCORE 1367.344
AT ITER 5396 NEW BEST:: SOT 8515 SOS 4343 HAS SOPS 3949 HAS SOUS 1468 HAS SOUPS 1362 WITH SCORE 1366.343
AT ITER 5412 NEW BEST:: SOT 8515 SOS 4343 HAS SOPS 3949 HAS SOUS 1467 HAS SOUPS 1361 WITH SCORE 1365.343
AT ITER 5710 NEW BEST:: SOT 8515 SOS 4339 HAS SOPS 3945 HAS SOUS 1467 HAS SOUPS 1361 WITH SCORE 1365.339
AT ITER 5790 NEW BEST:: SOT 8510 SOS 4334 HAS SOPS 3940 HAS SOUS 1460 HAS SOUPS 1354 WITH SCORE 1358.334
AT ITER 6456 NEW BEST:: SOT 8250 SOS 4118 HAS SOPS 3631 HAS SOUS 1448 HAS SOUPS 1336 WITH SCORE 1340.118
AT ITER 6624 NEW BEST:: SOT 8250 SOS 4126 HAS SOPS 3639 HAS SOUS 1447 HAS SOUPS 1335 WITH SCORE 1339.126
AT ITER 6740 NEW BEST:: SOT 8251 SOS 4127 HAS SOPS 3640 HAS SOUS 1445 HAS SOUPS 1333 WITH SCORE 1337.127
AT ITER 6752 NEW BEST:: SOT 8162 SOS 4074 HAS SOPS 3554 HAS SOUS 1446 HAS SOUPS 1332 WITH SCORE 1336.074
AT ITER 6812 NEW BEST:: SOT 8160 SOS 4072 HAS SOPS 3556 HAS SOUS 1444 HAS SOUPS 1330 WITH SCORE 1334.072
AT ITER 6930 NEW BEST:: SOT 8145 SOS 4057 HAS SOPS 3541 HAS SOUS 1434 HAS SOUPS 1320 WITH SCORE 1324.057
AT ITER 7014 NEW BEST:: SOT 8142 SOS 4054 HAS SOPS 3538 HAS SOUS 1433 HAS SOUPS 1319 WITH SCORE 1323.054
AT ITER 7075 NEW BEST:: SOT 8134 SOS 4057 HAS SOPS 3544 HAS SOUS 1429 HAS SOUPS 1315 WITH SCORE 1319.057
AT ITER 7264 NEW BEST:: SOT 8198 SOS 4098 HAS SOPS 3608 HAS SOUS 1403 HAS SOUPS 1291 WITH SCORE 1295.098
AT ITER 7286 NEW BEST:: SOT 8198 SOS 4094 HAS SOPS 3604 HAS SOUS 1403 HAS SOUPS 1291 WITH SCORE 1295.094
AT ITER 7293 NEW BEST:: SOT 8195 SOS 4109 HAS SOPS 3614 HAS SOUS 1400 HAS SOUPS 1288 WITH SCORE 1292.109
AT ITER 7391 NEW BEST:: SOT 8191 SOS 4105 HAS SOPS 3614 HAS SOUS 1396 HAS SOUPS 1288 WITH SCORE 1292.105
AT ITER 7739 NEW BEST:: SOT 8190 SOS 4104 HAS SOPS 3612 HAS SOUS 1394 HAS SOUPS 1286 WITH SCORE 1290.104
AT ITER 7747 NEW BEST:: SOT 8190 SOS 4104 HAS SOPS 3611 HAS SOUS 1391 HAS SOUPS 1283 WITH SCORE 1287.104
AT ITER 7999 NEW BEST:: SOT 8190 SOS 4080 HAS SOPS 3587 HAS SOUS 1385 HAS SOUPS 1277 WITH SCORE 1281.08
AT ITER 8118 NEW BEST:: SOT 8188 SOS 4078 HAS SOPS 3587 HAS SOUS 1384 HAS SOUPS 1276 WITH SCORE 1280.078
AT ITER 8412 NEW BEST:: SOT 8191 SOS 4081 HAS SOPS 3585 HAS SOUS 1382 HAS SOUPS 1274 WITH SCORE 1278.081
AT ITER 9353 NEW BEST:: SOT 8191 SOS 4077 HAS SOPS 3581 HAS SOUS 1382 HAS SOUPS 1274 WITH SCORE 1278.077
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 166364 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16271416 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="Szymanski-PT-a08"
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 Szymanski-PT-a08, 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 r491-tall-167912710500432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Szymanski-PT-a08.tgz
mv Szymanski-PT-a08 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 ;