About the Execution of Smart+red for FunctionPointer-PT-a004
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9007.035 | 1698445.00 | 1713890.00 | 5255.10 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858900616.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 FunctionPointer-PT-a004, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858900616
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 11:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 11:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 11:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 34K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679488743996
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=FunctionPointer-PT-a004
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 12:39:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 12:39:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 12:39:07] [INFO ] Load time of PNML (sax parser for PT used): 35 ms
[2023-03-22 12:39:07] [INFO ] Transformed 40 places.
[2023-03-22 12:39:07] [INFO ] Transformed 70 transitions.
[2023-03-22 12:39:07] [INFO ] Parsed PT model containing 40 places and 70 transitions and 284 arcs in 99 ms.
[2023-03-22 12:39:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 40 places, 70 transitions and 284 arcs took 2 ms.
Total runtime 128 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance a004
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: 40 places, 70 transitions, 284 arcs.
AT ITER 0 NEW BEST:: SOT 1996 SOS 1602 HAS SOPS 1255 HAS SOUS 1239 HAS SOUPS 1147 WITH SCORE 1148.602
AT ITER 1 NEW BEST:: SOT 2042 SOS 1618 HAS SOPS 1228 HAS SOUS 1227 HAS SOUPS 1120 WITH SCORE 1121.618
AT ITER 5 NEW BEST:: SOT 2089 SOS 1411 HAS SOPS 1227 HAS SOUS 1099 HAS SOUPS 1006 WITH SCORE 1007.411
AT ITER 10 NEW BEST:: SOT 2381 SOS 1663 HAS SOPS 1549 HAS SOUS 1035 HAS SOUPS 958 WITH SCORE 959.663
AT ITER 11 NEW BEST:: SOT 2381 SOS 1666 HAS SOPS 1552 HAS SOUS 1026 HAS SOUPS 949 WITH SCORE 950.666
AT ITER 15 NEW BEST:: SOT 2383 SOS 1674 HAS SOPS 1560 HAS SOUS 1021 HAS SOUPS 944 WITH SCORE 945.674
AT ITER 18 NEW BEST:: SOT 2285 SOS 1584 HAS SOPS 1466 HAS SOUS 983 HAS SOUPS 902 WITH SCORE 903.584
AT ITER 25 NEW BEST:: SOT 2285 SOS 1580 HAS SOPS 1462 HAS SOUS 982 HAS SOUPS 901 WITH SCORE 902.58
AT ITER 27 NEW BEST:: SOT 2293 SOS 1584 HAS SOPS 1462 HAS SOUS 967 HAS SOUPS 886 WITH SCORE 887.584
AT ITER 33 NEW BEST:: SOT 2291 SOS 1522 HAS SOPS 1418 HAS SOUS 967 HAS SOUPS 886 WITH SCORE 887.522
AT ITER 36 NEW BEST:: SOT 2291 SOS 1510 HAS SOPS 1412 HAS SOUS 955 HAS SOUPS 880 WITH SCORE 881.51
AT ITER 64 NEW BEST:: SOT 2291 SOS 1511 HAS SOPS 1405 HAS SOUS 944 HAS SOUPS 869 WITH SCORE 870.511
AT ITER 65 NEW BEST:: SOT 2281 SOS 1609 HAS SOPS 1517 HAS SOUS 899 HAS SOUPS 843 WITH SCORE 844.609
AT ITER 67 NEW BEST:: SOT 2281 SOS 1607 HAS SOPS 1517 HAS SOUS 898 HAS SOUPS 843 WITH SCORE 844.607
AT ITER 76 NEW BEST:: SOT 2257 SOS 1584 HAS SOPS 1493 HAS SOUS 875 HAS SOUPS 819 WITH SCORE 820.584
AT ITER 79 NEW BEST:: SOT 2260 SOS 1587 HAS SOPS 1496 HAS SOUS 866 HAS SOUPS 810 WITH SCORE 811.587
AT ITER 84 NEW BEST:: SOT 2260 SOS 1587 HAS SOPS 1486 HAS SOUS 861 HAS SOUPS 800 WITH SCORE 801.587
AT ITER 88 NEW BEST:: SOT 2260 SOS 1587 HAS SOPS 1486 HAS SOUS 853 HAS SOUPS 792 WITH SCORE 793.587
AT ITER 98 NEW BEST:: SOT 2260 SOS 1581 HAS SOPS 1486 HAS SOUS 850 HAS SOUPS 792 WITH SCORE 793.581
AT ITER 100 NEW BEST:: SOT 2256 SOS 1577 HAS SOPS 1482 HAS SOUS 850 HAS SOUPS 792 WITH SCORE 793.577
AT ITER 107 NEW BEST:: SOT 2256 SOS 1567 HAS SOPS 1458 HAS SOUS 852 HAS SOUPS 787 WITH SCORE 788.567
AT ITER 108 NEW BEST:: SOT 2256 SOS 1539 HAS SOPS 1430 HAS SOUS 841 HAS SOUPS 776 WITH SCORE 777.539
AT ITER 111 NEW BEST:: SOT 2256 SOS 1527 HAS SOPS 1426 HAS SOUS 835 HAS SOUPS 774 WITH SCORE 775.527
AT ITER 112 NEW BEST:: SOT 2256 SOS 1525 HAS SOPS 1426 HAS SOUS 834 HAS SOUPS 774 WITH SCORE 775.525
AT ITER 124 NEW BEST:: SOT 2252 SOS 1521 HAS SOPS 1422 HAS SOUS 834 HAS SOUPS 774 WITH SCORE 775.521
AT ITER 141 NEW BEST:: SOT 2215 SOS 1486 HAS SOPS 1385 HAS SOUS 824 HAS SOUPS 762 WITH SCORE 763.486
AT ITER 142 NEW BEST:: SOT 2224 SOS 1485 HAS SOPS 1353 HAS SOUS 840 HAS SOUPS 762 WITH SCORE 763.485
AT ITER 145 NEW BEST:: SOT 2224 SOS 1479 HAS SOPS 1347 HAS SOUS 837 HAS SOUPS 759 WITH SCORE 760.479
AT ITER 146 NEW BEST:: SOT 2224 SOS 1391 HAS SOPS 1259 HAS SOUS 805 HAS SOUPS 727 WITH SCORE 728.391
AT ITER 154 NEW BEST:: SOT 2220 SOS 1387 HAS SOPS 1255 HAS SOUS 801 HAS SOUPS 723 WITH SCORE 724.387
AT ITER 160 NEW BEST:: SOT 2214 SOS 1348 HAS SOPS 1224 HAS SOUS 776 HAS SOUPS 707 WITH SCORE 708.348
AT ITER 163 NEW BEST:: SOT 2218 SOS 1352 HAS SOPS 1226 HAS SOUS 772 HAS SOUPS 703 WITH SCORE 704.352
AT ITER 165 NEW BEST:: SOT 2218 SOS 1326 HAS SOPS 1222 HAS SOUS 756 HAS SOUPS 698 WITH SCORE 699.326
AT ITER 184 NEW BEST:: SOT 2218 SOS 1326 HAS SOPS 1220 HAS SOUS 756 HAS SOUPS 697 WITH SCORE 698.326
AT ITER 191 NEW BEST:: SOT 2216 SOS 1324 HAS SOPS 1216 HAS SOUS 750 HAS SOUPS 691 WITH SCORE 692.324
AT ITER 203 NEW BEST:: SOT 2216 SOS 1316 HAS SOPS 1212 HAS SOUS 746 HAS SOUPS 689 WITH SCORE 690.316
AT ITER 208 NEW BEST:: SOT 2213 SOS 1313 HAS SOPS 1209 HAS SOUS 743 HAS SOUPS 686 WITH SCORE 687.313
AT ITER 212 NEW BEST:: SOT 2217 SOS 1254 HAS SOPS 1176 HAS SOUS 716 HAS SOUPS 675 WITH SCORE 676.254
AT ITER 231 NEW BEST:: SOT 2217 SOS 1245 HAS SOPS 1188 HAS SOUS 700 HAS SOUPS 670 WITH SCORE 671.245
AT ITER 263 NEW BEST:: SOT 2213 SOS 1241 HAS SOPS 1184 HAS SOUS 696 HAS SOUPS 666 WITH SCORE 667.241
AT ITER 264 NEW BEST:: SOT 2213 SOS 1239 HAS SOPS 1182 HAS SOUS 695 HAS SOUPS 665 WITH SCORE 666.239
AT ITER 276 NEW BEST:: SOT 2221 SOS 1245 HAS SOPS 1194 HAS SOUS 688 HAS SOUPS 664 WITH SCORE 665.245
AT ITER 296 NEW BEST:: SOT 2223 SOS 1247 HAS SOPS 1194 HAS SOUS 688 HAS SOUPS 662 WITH SCORE 663.247
AT ITER 297 NEW BEST:: SOT 2223 SOS 1245 HAS SOPS 1192 HAS SOUS 686 HAS SOUPS 660 WITH SCORE 661.245
AT ITER 306 NEW BEST:: SOT 2223 SOS 1243 HAS SOPS 1190 HAS SOUS 681 HAS SOUPS 655 WITH SCORE 656.243
AT ITER 331 NEW BEST:: SOT 2223 SOS 1243 HAS SOPS 1162 HAS SOUS 682 HAS SOUPS 642 WITH SCORE 643.243
AT ITER 366 NEW BEST:: SOT 2223 SOS 1219 HAS SOPS 1158 HAS SOUS 670 HAS SOUPS 640 WITH SCORE 641.219
AT ITER 375 NEW BEST:: SOT 2223 SOS 1211 HAS SOPS 1142 HAS SOUS 666 HAS SOUPS 632 WITH SCORE 633.211
AT ITER 381 NEW BEST:: SOT 2225 SOS 1213 HAS SOPS 1145 HAS SOUS 657 HAS SOUPS 624 WITH SCORE 625.213
AT ITER 382 NEW BEST:: SOT 2225 SOS 1207 HAS SOPS 1139 HAS SOUS 654 HAS SOUPS 621 WITH SCORE 622.207
AT ITER 389 NEW BEST:: SOT 2219 SOS 1201 HAS SOPS 1133 HAS SOUS 652 HAS SOUPS 619 WITH SCORE 620.201
AT ITER 395 NEW BEST:: SOT 2219 SOS 1199 HAS SOPS 1131 HAS SOUS 651 HAS SOUPS 618 WITH SCORE 619.199
AT ITER 397 NEW BEST:: SOT 2219 SOS 1201 HAS SOPS 1129 HAS SOUS 652 HAS SOUPS 617 WITH SCORE 618.201
AT ITER 403 NEW BEST:: SOT 2219 SOS 1185 HAS SOPS 1113 HAS SOUS 650 HAS SOUPS 615 WITH SCORE 616.185
AT ITER 418 NEW BEST:: SOT 2219 SOS 1181 HAS SOPS 1109 HAS SOUS 648 HAS SOUPS 613 WITH SCORE 614.181
AT ITER 419 NEW BEST:: SOT 2219 SOS 1179 HAS SOPS 1107 HAS SOUS 648 HAS SOUPS 613 WITH SCORE 614.179
AT ITER 427 NEW BEST:: SOT 2219 SOS 1181 HAS SOPS 1109 HAS SOUS 647 HAS SOUPS 612 WITH SCORE 613.181
AT ITER 431 NEW BEST:: SOT 2220 SOS 1177 HAS SOPS 1098 HAS SOUS 646 HAS SOUPS 611 WITH SCORE 612.177
AT ITER 489 NEW BEST:: SOT 2220 SOS 1177 HAS SOPS 1098 HAS SOUS 644 HAS SOUPS 609 WITH SCORE 610.177
AT ITER 495 NEW BEST:: SOT 2220 SOS 1175 HAS SOPS 1096 HAS SOUS 643 HAS SOUPS 608 WITH SCORE 609.175
AT ITER 532 NEW BEST:: SOT 2220 SOS 1175 HAS SOPS 1086 HAS SOUS 635 HAS SOUPS 600 WITH SCORE 601.175
AT ITER 579 NEW BEST:: SOT 2220 SOS 1173 HAS SOPS 1086 HAS SOUS 634 HAS SOUPS 600 WITH SCORE 601.173
AT ITER 600 NEW BEST:: SOT 2220 SOS 1171 HAS SOPS 1086 HAS SOUS 633 HAS SOUPS 600 WITH SCORE 601.171
AT ITER 628 NEW BEST:: SOT 2220 SOS 1169 HAS SOPS 1084 HAS SOUS 632 HAS SOUPS 599 WITH SCORE 600.169
AT ITER 660 NEW BEST:: SOT 2220 SOS 1165 HAS SOPS 1080 HAS SOUS 630 HAS SOUPS 597 WITH SCORE 598.165
AT ITER 663 NEW BEST:: SOT 2220 SOS 1159 HAS SOPS 1074 HAS SOUS 629 HAS SOUPS 596 WITH SCORE 597.159
AT ITER 670 NEW BEST:: SOT 2220 SOS 1151 HAS SOPS 1066 HAS SOUS 628 HAS SOUPS 595 WITH SCORE 596.151
AT ITER 682 NEW BEST:: SOT 2220 SOS 1147 HAS SOPS 1062 HAS SOUS 626 HAS SOUPS 593 WITH SCORE 594.147
AT ITER 689 NEW BEST:: SOT 2220 SOS 1151 HAS SOPS 1066 HAS SOUS 625 HAS SOUPS 592 WITH SCORE 593.151
AT ITER 726 NEW BEST:: SOT 2220 SOS 1149 HAS SOPS 1064 HAS SOUS 624 HAS SOUPS 591 WITH SCORE 592.149
AT ITER 729 NEW BEST:: SOT 2218 SOS 1147 HAS SOPS 1062 HAS SOUS 622 HAS SOUPS 589 WITH SCORE 590.147
AT ITER 774 NEW BEST:: SOT 2218 SOS 1139 HAS SOPS 1054 HAS SOUS 620 HAS SOUPS 587 WITH SCORE 588.139
AT ITER 794 NEW BEST:: SOT 2218 SOS 1123 HAS SOPS 1038 HAS SOUS 616 HAS SOUPS 583 WITH SCORE 584.123
AT ITER 801 NEW BEST:: SOT 2218 SOS 1119 HAS SOPS 1034 HAS SOUS 615 HAS SOUPS 582 WITH SCORE 583.119
AT ITER 859 NEW BEST:: SOT 2218 SOS 1117 HAS SOPS 1032 HAS SOUS 614 HAS SOUPS 581 WITH SCORE 582.117
AT ITER 890 NEW BEST:: SOT 2218 SOS 1117 HAS SOPS 1032 HAS SOUS 612 HAS SOUPS 579 WITH SCORE 580.117
AT ITER 945 NEW BEST:: SOT 2218 SOS 1115 HAS SOPS 1030 HAS SOUS 611 HAS SOUPS 578 WITH SCORE 579.115
AT ITER 959 NEW BEST:: SOT 2218 SOS 1110 HAS SOPS 1025 HAS SOUS 611 HAS SOUPS 578 WITH SCORE 579.11
AT ITER 1027 NEW BEST:: SOT 2218 SOS 1108 HAS SOPS 1023 HAS SOUS 610 HAS SOUPS 577 WITH SCORE 578.108
AT ITER 1035 NEW BEST:: SOT 2214 SOS 1098 HAS SOPS 1013 HAS SOUS 608 HAS SOUPS 575 WITH SCORE 576.098
AT ITER 1047 NEW BEST:: SOT 2214 SOS 1097 HAS SOPS 1012 HAS SOUS 607 HAS SOUPS 574 WITH SCORE 575.097
AT ITER 1060 NEW BEST:: SOT 2212 SOS 1095 HAS SOPS 1008 HAS SOUS 607 HAS SOUPS 572 WITH SCORE 573.095
AT ITER 1076 NEW BEST:: SOT 2212 SOS 1093 HAS SOPS 1006 HAS SOUS 606 HAS SOUPS 571 WITH SCORE 572.093
AT ITER 1082 NEW BEST:: SOT 2208 SOS 1081 HAS SOPS 994 HAS SOUS 606 HAS SOUPS 571 WITH SCORE 572.081
AT ITER 1098 NEW BEST:: SOT 2139 SOS 1029 HAS SOPS 916 HAS SOUS 603 HAS SOUPS 563 WITH SCORE 564.029
AT ITER 1141 NEW BEST:: SOT 2139 SOS 1047 HAS SOPS 934 HAS SOUS 602 HAS SOUPS 562 WITH SCORE 563.047
AT ITER 1243 NEW BEST:: SOT 2139 SOS 1045 HAS SOPS 932 HAS SOUS 601 HAS SOUPS 561 WITH SCORE 562.045
AT ITER 1247 NEW BEST:: SOT 2062 SOS 994 HAS SOPS 849 HAS SOUS 545 HAS SOUPS 502 WITH SCORE 502.994
AT ITER 1307 NEW BEST:: SOT 2062 SOS 980 HAS SOPS 845 HAS SOUS 537 HAS SOUPS 499 WITH SCORE 499.98
AT ITER 1351 NEW BEST:: SOT 2061 SOS 979 HAS SOPS 843 HAS SOUS 535 HAS SOUPS 497 WITH SCORE 497.979
AT ITER 1443 NEW BEST:: SOT 2033 SOS 966 HAS SOPS 815 HAS SOUS 531 HAS SOUPS 492 WITH SCORE 492.966
AT ITER 1462 NEW BEST:: SOT 2031 SOS 964 HAS SOPS 814 HAS SOUS 530 HAS SOUPS 491 WITH SCORE 491.964
AT ITER 1514 NEW BEST:: SOT 2029 SOS 962 HAS SOPS 812 HAS SOUS 528 HAS SOUPS 489 WITH SCORE 489.962
AT ITER 1619 NEW BEST:: SOT 2029 SOS 960 HAS SOPS 810 HAS SOUS 527 HAS SOUPS 488 WITH SCORE 488.96
AT ITER 1734 NEW BEST:: SOT 2026 SOS 957 HAS SOPS 810 HAS SOUS 527 HAS SOUPS 488 WITH SCORE 488.957
AT ITER 1748 NEW BEST:: SOT 2027 SOS 958 HAS SOPS 809 HAS SOUS 526 HAS SOUPS 487 WITH SCORE 487.958
AT ITER 1846 NEW BEST:: SOT 2024 SOS 938 HAS SOPS 790 HAS SOUS 522 HAS SOUPS 483 WITH SCORE 483.938
AT ITER 1920 NEW BEST:: SOT 2024 SOS 936 HAS SOPS 790 HAS SOUS 521 HAS SOUPS 483 WITH SCORE 483.936
AT ITER 2048 NEW BEST:: SOT 2024 SOS 934 HAS SOPS 788 HAS SOUS 521 HAS SOUPS 483 WITH SCORE 483.934
AT ITER 2057 NEW BEST:: SOT 2024 SOS 936 HAS SOPS 789 HAS SOUS 518 HAS SOUPS 480 WITH SCORE 480.936
AT ITER 2158 NEW BEST:: SOT 2025 SOS 937 HAS SOPS 788 HAS SOUS 517 HAS SOUPS 479 WITH SCORE 479.937
AT ITER 2181 NEW BEST:: SOT 2025 SOS 935 HAS SOPS 786 HAS SOUS 517 HAS SOUPS 479 WITH SCORE 479.935
AT ITER 2479 NEW BEST:: SOT 2021 SOS 931 HAS SOPS 780 HAS SOUS 511 HAS SOUPS 473 WITH SCORE 473.931
AT ITER 3073 NEW BEST:: SOT 2019 SOS 929 HAS SOPS 776 HAS SOUS 507 HAS SOUPS 469 WITH SCORE 469.929
AT ITER 3260 NEW BEST:: SOT 1993 SOS 925 HAS SOPS 753 HAS SOUS 501 HAS SOUPS 462 WITH SCORE 462.925
AT ITER 3808 NEW BEST:: SOT 1991 SOS 923 HAS SOPS 753 HAS SOUS 501 HAS SOUPS 462 WITH SCORE 462.923
AT ITER 4291 NEW BEST:: SOT 1989 SOS 921 HAS SOPS 753 HAS SOUS 501 HAS SOUPS 462 WITH SCORE 462.921
AT ITER 4499 NEW BEST:: SOT 1990 SOS 922 HAS SOPS 752 HAS SOUS 500 HAS SOUPS 461 WITH SCORE 461.922
AT ITER 4733 NEW BEST:: SOT 1992 SOS 924 HAS SOPS 750 HAS SOUS 496 HAS SOUPS 457 WITH SCORE 457.924
AT ITER 6665 NEW BEST:: SOT 1990 SOS 922 HAS SOPS 748 HAS SOUS 494 HAS SOUPS 455 WITH SCORE 455.922
BK_STOP 1679490442441
--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 411
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Segmentation fault ${SMART}/smart ${INPUT_SM}
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="FunctionPointer-PT-a004"
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 FunctionPointer-PT-a004, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858900616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-a004.tgz
mv FunctionPointer-PT-a004 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 ;