About the Execution of Smart+red for SquareGrid-PT-100510
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16219.380 | 899280.00 | 922439.00 | 13217.80 | [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.r459-smll-167912651200384.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 SquareGrid-PT-100510, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200384
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 7.6K Feb 25 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 12:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 13:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 786K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679341980414
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=SquareGrid-PT-100510
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 19:53:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 19:53:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 19:53:03] [INFO ] Load time of PNML (sax parser for PT used): 241 ms
[2023-03-20 19:53:03] [INFO ] Transformed 1380 places.
[2023-03-20 19:53:03] [INFO ] Transformed 1640 transitions.
[2023-03-20 19:53:03] [INFO ] Parsed PT model containing 1380 places and 1640 transitions and 6560 arcs in 358 ms.
[2023-03-20 19:53:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1380 places, 1640 transitions and 6560 arcs took 25 ms.
Total runtime 427 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SquareGrid (PT), instance 100510
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: 1380 places, 1640 transitions, 6560 arcs.
AT ITER 0 NEW BEST:: SOT 1185452 SOS 111395 HAS SOPS 111395 HAS SOUS 73149 HAS SOUPS 73149 WITH SCORE 73260.395
AT ITER 77 NEW BEST:: SOT 1185451 SOS 111391 HAS SOPS 111391 HAS SOUS 73147 HAS SOUPS 73147 WITH SCORE 73258.391
AT ITER 106 NEW BEST:: SOT 1185435 SOS 111375 HAS SOPS 111375 HAS SOUS 73145 HAS SOUPS 73145 WITH SCORE 73256.375
AT ITER 256 NEW BEST:: SOT 1185421 SOS 111319 HAS SOPS 111319 HAS SOUS 73117 HAS SOUPS 73117 WITH SCORE 73228.319
AT ITER 303 NEW BEST:: SOT 1185421 SOS 111319 HAS SOPS 111319 HAS SOUS 73099 HAS SOUPS 73099 WITH SCORE 73210.319
AT ITER 402 NEW BEST:: SOT 1185405 SOS 111255 HAS SOPS 111255 HAS SOUS 73067 HAS SOUPS 73067 WITH SCORE 73178.255
AT ITER 404 NEW BEST:: SOT 1185403 SOS 111253 HAS SOPS 111253 HAS SOUS 73065 HAS SOUPS 73065 WITH SCORE 73176.253
AT ITER 621 NEW BEST:: SOT 1185373 SOS 111193 HAS SOPS 111193 HAS SOUS 73033 HAS SOUPS 73033 WITH SCORE 73144.193
AT ITER 658 NEW BEST:: SOT 1185337 SOS 111121 HAS SOPS 111121 HAS SOUS 72985 HAS SOUPS 72985 WITH SCORE 73096.121
AT ITER 739 NEW BEST:: SOT 1185297 SOS 110961 HAS SOPS 110961 HAS SOUS 72905 HAS SOUPS 72905 WITH SCORE 73015.961
AT ITER 747 NEW BEST:: SOT 1185281 SOS 110945 HAS SOPS 110945 HAS SOUS 72889 HAS SOUPS 72889 WITH SCORE 72999.945
AT ITER 833 NEW BEST:: SOT 1185252 SOS 110919 HAS SOPS 110919 HAS SOUS 72831 HAS SOUPS 72831 WITH SCORE 72941.919
AT ITER 996 NEW BEST:: SOT 1185246 SOS 110933 HAS SOPS 110933 HAS SOUS 72805 HAS SOUPS 72805 WITH SCORE 72915.933
AT ITER 1034 NEW BEST:: SOT 1185246 SOS 110900 HAS SOPS 110900 HAS SOUS 72794 HAS SOUPS 72794 WITH SCORE 72904.9
AT ITER 1137 NEW BEST:: SOT 1185246 SOS 110900 HAS SOPS 110900 HAS SOUS 72784 HAS SOUPS 72784 WITH SCORE 72894.9
AT ITER 1156 NEW BEST:: SOT 1185220 SOS 110796 HAS SOPS 110796 HAS SOUS 72732 HAS SOUPS 72732 WITH SCORE 72842.796
AT ITER 1212 NEW BEST:: SOT 1185220 SOS 110786 HAS SOPS 110786 HAS SOUS 72722 HAS SOUPS 72722 WITH SCORE 72832.786
AT ITER 1221 NEW BEST:: SOT 1185212 SOS 110754 HAS SOPS 110754 HAS SOUS 72706 HAS SOUPS 72706 WITH SCORE 72816.754
AT ITER 1235 NEW BEST:: SOT 1185191 SOS 110728 HAS SOPS 110728 HAS SOUS 72652 HAS SOUPS 72652 WITH SCORE 72762.728
AT ITER 1289 NEW BEST:: SOT 1185191 SOS 110776 HAS SOPS 110776 HAS SOUS 72614 HAS SOUPS 72614 WITH SCORE 72724.776
AT ITER 1302 NEW BEST:: SOT 1185191 SOS 110776 HAS SOPS 110776 HAS SOUS 72606 HAS SOUPS 72606 WITH SCORE 72716.776
AT ITER 1343 NEW BEST:: SOT 1185191 SOS 110776 HAS SOPS 110776 HAS SOUS 72566 HAS SOUPS 72566 WITH SCORE 72676.776
AT ITER 1358 NEW BEST:: SOT 1185160 SOS 110652 HAS SOPS 110652 HAS SOUS 72504 HAS SOUPS 72504 WITH SCORE 72614.652
AT ITER 1390 NEW BEST:: SOT 1185157 SOS 110640 HAS SOPS 110640 HAS SOUS 72456 HAS SOUPS 72456 WITH SCORE 72566.64
AT ITER 1433 NEW BEST:: SOT 1185157 SOS 110640 HAS SOPS 110640 HAS SOUS 72442 HAS SOUPS 72442 WITH SCORE 72552.64
AT ITER 1469 NEW BEST:: SOT 1185135 SOS 110596 HAS SOPS 110596 HAS SOUS 72398 HAS SOUPS 72398 WITH SCORE 72508.596
AT ITER 1620 NEW BEST:: SOT 1185117 SOS 110572 HAS SOPS 110572 HAS SOUS 72378 HAS SOUPS 72378 WITH SCORE 72488.572
AT ITER 1680 NEW BEST:: SOT 1185108 SOS 110566 HAS SOPS 110566 HAS SOUS 72360 HAS SOUPS 72360 WITH SCORE 72470.566
AT ITER 1814 NEW BEST:: SOT 1185107 SOS 110520 HAS SOPS 110520 HAS SOUS 72354 HAS SOUPS 72354 WITH SCORE 72464.52
AT ITER 1953 NEW BEST:: SOT 1184993 SOS 110254 HAS SOPS 110254 HAS SOUS 72164 HAS SOUPS 72164 WITH SCORE 72274.254
AT ITER 2075 NEW BEST:: SOT 1184926 SOS 110136 HAS SOPS 110136 HAS SOUS 72080 HAS SOUPS 72080 WITH SCORE 72190.136
AT ITER 2122 NEW BEST:: SOT 1184908 SOS 110034 HAS SOPS 110034 HAS SOUS 72062 HAS SOUPS 72062 WITH SCORE 72172.034
AT ITER 2141 NEW BEST:: SOT 1184890 SOS 109998 HAS SOPS 109998 HAS SOUS 72026 HAS SOUPS 72026 WITH SCORE 72135.998
AT ITER 2153 NEW BEST:: SOT 1184890 SOS 109998 HAS SOPS 109998 HAS SOUS 72008 HAS SOUPS 72008 WITH SCORE 72117.998
AT ITER 2234 NEW BEST:: SOT 1184846 SOS 109954 HAS SOPS 109954 HAS SOUS 71964 HAS SOUPS 71964 WITH SCORE 72073.954
AT ITER 2235 NEW BEST:: SOT 1184753 SOS 109830 HAS SOPS 109830 HAS SOUS 71840 HAS SOUPS 71840 WITH SCORE 71949.83
AT ITER 2252 NEW BEST:: SOT 1184748 SOS 109810 HAS SOPS 109810 HAS SOUS 71830 HAS SOUPS 71830 WITH SCORE 71939.81
AT ITER 2269 NEW BEST:: SOT 1184748 SOS 109795 HAS SOPS 109795 HAS SOUS 71815 HAS SOUPS 71815 WITH SCORE 71924.795
AT ITER 2279 NEW BEST:: SOT 1184698 SOS 109745 HAS SOPS 109745 HAS SOUS 71765 HAS SOUPS 71765 WITH SCORE 71874.745
AT ITER 2346 NEW BEST:: SOT 1184698 SOS 109709 HAS SOPS 109709 HAS SOUS 71765 HAS SOUPS 71765 WITH SCORE 71874.709
AT ITER 2534 NEW BEST:: SOT 1184614 SOS 109597 HAS SOPS 109597 HAS SOUS 71653 HAS SOUPS 71653 WITH SCORE 71762.597
AT ITER 2579 NEW BEST:: SOT 1184601 SOS 109545 HAS SOPS 109545 HAS SOUS 71627 HAS SOUPS 71627 WITH SCORE 71736.545
AT ITER 2582 NEW BEST:: SOT 1184601 SOS 109545 HAS SOPS 109545 HAS SOUS 71601 HAS SOUPS 71601 WITH SCORE 71710.545
AT ITER 2663 NEW BEST:: SOT 1184601 SOS 109545 HAS SOPS 109545 HAS SOUS 71579 HAS SOUPS 71579 WITH SCORE 71688.545
AT ITER 2668 NEW BEST:: SOT 1184571 SOS 109515 HAS SOPS 109515 HAS SOUS 71549 HAS SOUPS 71549 WITH SCORE 71658.515
AT ITER 2691 NEW BEST:: SOT 1184469 SOS 109379 HAS SOPS 109379 HAS SOUS 71389 HAS SOUPS 71389 WITH SCORE 71498.379
AT ITER 2724 NEW BEST:: SOT 1184380 SOS 109205 HAS SOPS 109205 HAS SOUS 71295 HAS SOUPS 71295 WITH SCORE 71404.205
AT ITER 2761 NEW BEST:: SOT 1184380 SOS 109205 HAS SOPS 109205 HAS SOUS 71283 HAS SOUPS 71283 WITH SCORE 71392.205
AT ITER 2776 NEW BEST:: SOT 1184279 SOS 109011 HAS SOPS 109011 HAS SOUS 71199 HAS SOUPS 71199 WITH SCORE 71308.011
AT ITER 2808 NEW BEST:: SOT 1184207 SOS 108915 HAS SOPS 108915 HAS SOUS 71119 HAS SOUPS 71119 WITH SCORE 71227.915
AT ITER 2846 NEW BEST:: SOT 1184144 SOS 108831 HAS SOPS 108831 HAS SOUS 71025 HAS SOUPS 71025 WITH SCORE 71133.831
AT ITER 2885 NEW BEST:: SOT 1184109 SOS 108691 HAS SOPS 108691 HAS SOUS 70955 HAS SOUPS 70955 WITH SCORE 71063.691
AT ITER 3019 NEW BEST:: SOT 1184107 SOS 108683 HAS SOPS 108683 HAS SOUS 70951 HAS SOUPS 70951 WITH SCORE 71059.683
AT ITER 3034 NEW BEST:: SOT 1184104 SOS 108671 HAS SOPS 108671 HAS SOUS 70945 HAS SOUPS 70945 WITH SCORE 71053.671
AT ITER 3060 NEW BEST:: SOT 1184091 SOS 108619 HAS SOPS 108619 HAS SOUS 70919 HAS SOUPS 70919 WITH SCORE 71027.619
AT ITER 3080 NEW BEST:: SOT 1184091 SOS 108617 HAS SOPS 108617 HAS SOUS 70917 HAS SOUPS 70917 WITH SCORE 71025.617
AT ITER 3101 NEW BEST:: SOT 1184089 SOS 108609 HAS SOPS 108609 HAS SOUS 70913 HAS SOUPS 70913 WITH SCORE 71021.609
AT ITER 3113 NEW BEST:: SOT 1184069 SOS 108529 HAS SOPS 108529 HAS SOUS 70873 HAS SOUPS 70873 WITH SCORE 70981.529
AT ITER 3276 NEW BEST:: SOT 1183978 SOS 108385 HAS SOPS 108385 HAS SOUS 70775 HAS SOUPS 70775 WITH SCORE 70883.385
AT ITER 3343 NEW BEST:: SOT 1183971 SOS 108378 HAS SOPS 108378 HAS SOUS 70754 HAS SOUPS 70754 WITH SCORE 70862.378
AT ITER 3355 NEW BEST:: SOT 1183985 SOS 108440 HAS SOPS 108440 HAS SOUS 70742 HAS SOUPS 70742 WITH SCORE 70850.44
AT ITER 3417 NEW BEST:: SOT 1184054 SOS 108576 HAS SOPS 108576 HAS SOUS 70732 HAS SOUPS 70732 WITH SCORE 70840.576
AT ITER 3445 NEW BEST:: SOT 1184022 SOS 108544 HAS SOPS 108544 HAS SOUS 70700 HAS SOUPS 70700 WITH SCORE 70808.544
AT ITER 3502 NEW BEST:: SOT 1183914 SOS 108336 HAS SOPS 108336 HAS SOUS 70582 HAS SOUPS 70582 WITH SCORE 70690.336
AT ITER 3559 NEW BEST:: SOT 1183881 SOS 108270 HAS SOPS 108270 HAS SOUS 70498 HAS SOUPS 70498 WITH SCORE 70606.27
AT ITER 3954 NEW BEST:: SOT 1183801 SOS 108166 HAS SOPS 108166 HAS SOUS 70410 HAS SOUPS 70410 WITH SCORE 70518.166
AT ITER 3989 NEW BEST:: SOT 1183765 SOS 108102 HAS SOPS 108102 HAS SOUS 70360 HAS SOUPS 70360 WITH SCORE 70468.102
AT ITER 4087 NEW BEST:: SOT 1183765 SOS 108148 HAS SOPS 108148 HAS SOUS 70314 HAS SOUPS 70314 WITH SCORE 70422.148
AT ITER 4133 NEW BEST:: SOT 1183755 SOS 108108 HAS SOPS 108108 HAS SOUS 70294 HAS SOUPS 70294 WITH SCORE 70402.108
AT ITER 4392 NEW BEST:: SOT 1183754 SOS 108103 HAS SOPS 108103 HAS SOUS 70291 HAS SOUPS 70291 WITH SCORE 70399.103
AT ITER 4611 NEW BEST:: SOT 1183712 SOS 108019 HAS SOPS 108019 HAS SOUS 70235 HAS SOUPS 70235 WITH SCORE 70343.019
AT ITER 4612 NEW BEST:: SOT 1183712 SOS 108013 HAS SOPS 108013 HAS SOUS 70235 HAS SOUPS 70235 WITH SCORE 70343.013
AT ITER 4733 NEW BEST:: SOT 1183712 SOS 108013 HAS SOPS 108013 HAS SOUS 70223 HAS SOUPS 70223 WITH SCORE 70331.013
AT ITER 4798 NEW BEST:: SOT 1183598 SOS 107785 HAS SOPS 107785 HAS SOUS 70071 HAS SOUPS 70071 WITH SCORE 70178.785
AT ITER 4806 NEW BEST:: SOT 1183598 SOS 107801 HAS SOPS 107801 HAS SOUS 70065 HAS SOUPS 70065 WITH SCORE 70172.801
AT ITER 4837 NEW BEST:: SOT 1183562 SOS 107657 HAS SOPS 107657 HAS SOUS 69993 HAS SOUPS 69993 WITH SCORE 70100.657
AT ITER 4845 NEW BEST:: SOT 1183536 SOS 107553 HAS SOPS 107553 HAS SOUS 69941 HAS SOUPS 69941 WITH SCORE 70048.553
AT ITER 4864 NEW BEST:: SOT 1183527 SOS 107535 HAS SOPS 107535 HAS SOUS 69923 HAS SOUPS 69923 WITH SCORE 70030.535
AT ITER 5098 NEW BEST:: SOT 1183476 SOS 107493 HAS SOPS 107493 HAS SOUS 69881 HAS SOUPS 69881 WITH SCORE 69988.493
AT ITER 5199 NEW BEST:: SOT 1183474 SOS 107477 HAS SOPS 107477 HAS SOUS 69879 HAS SOUPS 69879 WITH SCORE 69986.477
AT ITER 5256 NEW BEST:: SOT 1183467 SOS 107467 HAS SOPS 107467 HAS SOUS 69865 HAS SOUPS 69865 WITH SCORE 69972.467
AT ITER 5265 NEW BEST:: SOT 1183447 SOS 107447 HAS SOPS 107447 HAS SOUS 69845 HAS SOUPS 69845 WITH SCORE 69952.447
AT ITER 5324 NEW BEST:: SOT 1183333 SOS 107231 HAS SOPS 107231 HAS SOUS 69699 HAS SOUPS 69699 WITH SCORE 69806.231
AT ITER 5439 NEW BEST:: SOT 1183255 SOS 107127 HAS SOPS 107127 HAS SOUS 69581 HAS SOUPS 69581 WITH SCORE 69688.127
AT ITER 5493 NEW BEST:: SOT 1183248 SOS 107099 HAS SOPS 107099 HAS SOUS 69567 HAS SOUPS 69567 WITH SCORE 69674.099
AT ITER 5604 NEW BEST:: SOT 1183244 SOS 107083 HAS SOPS 107083 HAS SOUS 69559 HAS SOUPS 69559 WITH SCORE 69666.083
AT ITER 5630 NEW BEST:: SOT 1183244 SOS 107083 HAS SOPS 107083 HAS SOUS 69545 HAS SOUPS 69545 WITH SCORE 69652.083
AT ITER 5642 NEW BEST:: SOT 1183235 SOS 107079 HAS SOPS 107079 HAS SOUS 69523 HAS SOUPS 69523 WITH SCORE 69630.079
AT ITER 5829 NEW BEST:: SOT 1183199 SOS 107007 HAS SOPS 107007 HAS SOUS 69475 HAS SOUPS 69475 WITH SCORE 69582.007
AT ITER 5838 NEW BEST:: SOT 1183199 SOS 107002 HAS SOPS 107002 HAS SOUS 69474 HAS SOUPS 69474 WITH SCORE 69581.002
AT ITER 5891 NEW BEST:: SOT 1183199 SOS 107002 HAS SOPS 107002 HAS SOUS 69468 HAS SOUPS 69468 WITH SCORE 69575.002
AT ITER 5912 NEW BEST:: SOT 1183106 SOS 106816 HAS SOPS 106816 HAS SOUS 69344 HAS SOUPS 69344 WITH SCORE 69450.816
AT ITER 5965 NEW BEST:: SOT 1183025 SOS 106708 HAS SOPS 106708 HAS SOUS 69224 HAS SOUPS 69224 WITH SCORE 69330.708
AT ITER 5995 NEW BEST:: SOT 1183021 SOS 106704 HAS SOPS 106704 HAS SOUS 69220 HAS SOUPS 69220 WITH SCORE 69326.704
AT ITER 6021 NEW BEST:: SOT 1182992 SOS 106666 HAS SOPS 106666 HAS SOUS 69188 HAS SOUPS 69188 WITH SCORE 69294.666
AT ITER 6117 NEW BEST:: SOT 1182979 SOS 106614 HAS SOPS 106614 HAS SOUS 69162 HAS SOUPS 69162 WITH SCORE 69268.614
AT ITER 6213 NEW BEST:: SOT 1182979 SOS 106614 HAS SOPS 106614 HAS SOUS 69142 HAS SOUPS 69142 WITH SCORE 69248.614
AT ITER 6231 NEW BEST:: SOT 1182901 SOS 106538 HAS SOPS 106538 HAS SOUS 69066 HAS SOUPS 69066 WITH SCORE 69172.538
AT ITER 6259 NEW BEST:: SOT 1182866 SOS 106470 HAS SOPS 106470 HAS SOUS 69020 HAS SOUPS 69020 WITH SCORE 69126.47
AT ITER 6324 NEW BEST:: SOT 1182866 SOS 106470 HAS SOPS 106470 HAS SOUS 69002 HAS SOUPS 69002 WITH SCORE 69108.47
AT ITER 6478 NEW BEST:: SOT 1182851 SOS 106440 HAS SOPS 106440 HAS SOUS 68956 HAS SOUPS 68956 WITH SCORE 69062.44
AT ITER 6564 NEW BEST:: SOT 1182764 SOS 106324 HAS SOPS 106324 HAS SOUS 68828 HAS SOUPS 68828 WITH SCORE 68934.324
AT ITER 6670 NEW BEST:: SOT 1182683 SOS 106216 HAS SOPS 106216 HAS SOUS 68700 HAS SOUPS 68700 WITH SCORE 68806.216
AT ITER 6673 NEW BEST:: SOT 1182683 SOS 106216 HAS SOPS 106216 HAS SOUS 68692 HAS SOUPS 68692 WITH SCORE 68798.216
AT ITER 6721 NEW BEST:: SOT 1182667 SOS 106200 HAS SOPS 106200 HAS SOUS 68676 HAS SOUPS 68676 WITH SCORE 68782.2
AT ITER 6847 NEW BEST:: SOT 1182667 SOS 106163 HAS SOPS 106163 HAS SOUS 68639 HAS SOUPS 68639 WITH SCORE 68745.163
AT ITER 6871 NEW BEST:: SOT 1182650 SOS 106080 HAS SOPS 106080 HAS SOUS 68631 HAS SOUPS 68631 WITH SCORE 68737.08
AT ITER 6890 NEW BEST:: SOT 1182650 SOS 106080 HAS SOPS 106080 HAS SOUS 68622 HAS SOUPS 68622 WITH SCORE 68728.08
AT ITER 7078 NEW BEST:: SOT 1182650 SOS 106080 HAS SOPS 106080 HAS SOUS 68621 HAS SOUPS 68621 WITH SCORE 68727.08
AT ITER 7100 NEW BEST:: SOT 1182650 SOS 106095 HAS SOPS 106095 HAS SOUS 68616 HAS SOUPS 68616 WITH SCORE 68722.095
AT ITER 7208 NEW BEST:: SOT 1182640 SOS 105961 HAS SOPS 105961 HAS SOUS 68606 HAS SOUPS 68606 WITH SCORE 68711.961
AT ITER 7329 NEW BEST:: SOT 1182541 SOS 105829 HAS SOPS 105829 HAS SOUS 68472 HAS SOUPS 68472 WITH SCORE 68577.829
AT ITER 7331 NEW BEST:: SOT 1182517 SOS 105805 HAS SOPS 105805 HAS SOUS 68448 HAS SOUPS 68448 WITH SCORE 68553.805
AT ITER 7341 NEW BEST:: SOT 1182403 SOS 105653 HAS SOPS 105653 HAS SOUS 68296 HAS SOUPS 68296 WITH SCORE 68401.653
AT ITER 7450 NEW BEST:: SOT 1182330 SOS 105513 HAS SOPS 105513 HAS SOUS 68214 HAS SOUPS 68214 WITH SCORE 68319.513
AT ITER 7461 NEW BEST:: SOT 1182330 SOS 105507 HAS SOPS 105507 HAS SOUS 68212 HAS SOUPS 68212 WITH SCORE 68317.507
AT ITER 7519 NEW BEST:: SOT 1182310 SOS 105487 HAS SOPS 105487 HAS SOUS 68192 HAS SOUPS 68192 WITH SCORE 68297.487
AT ITER 7669 NEW BEST:: SOT 1182212 SOS 105371 HAS SOPS 105371 HAS SOUS 68088 HAS SOUPS 68088 WITH SCORE 68193.371
AT ITER 7751 NEW BEST:: SOT 1182088 SOS 105125 HAS SOPS 105125 HAS SOUS 67924 HAS SOUPS 67924 WITH SCORE 68029.125
AT ITER 7813 NEW BEST:: SOT 1182068 SOS 105105 HAS SOPS 105105 HAS SOUS 67884 HAS SOUPS 67884 WITH SCORE 67989.105
AT ITER 7829 NEW BEST:: SOT 1182038 SOS 105033 HAS SOPS 105033 HAS SOUS 67856 HAS SOUPS 67856 WITH SCORE 67961.033
AT ITER 7906 NEW BEST:: SOT 1182027 SOS 105022 HAS SOPS 105022 HAS SOUS 67847 HAS SOUPS 67847 WITH SCORE 67952.022
AT ITER 8054 NEW BEST:: SOT 1182021 SOS 104998 HAS SOPS 104998 HAS SOUS 67835 HAS SOUPS 67835 WITH SCORE 67939.998
AT ITER 8225 NEW BEST:: SOT 1181998 SOS 104906 HAS SOPS 104906 HAS SOUS 67789 HAS SOUPS 67789 WITH SCORE 67893.906
AT ITER 8279 NEW BEST:: SOT 1181998 SOS 104906 HAS SOPS 104906 HAS SOUS 67783 HAS SOUPS 67783 WITH SCORE 67887.906
AT ITER 8336 NEW BEST:: SOT 1181991 SOS 104878 HAS SOPS 104878 HAS SOUS 67769 HAS SOUPS 67769 WITH SCORE 67873.878
AT ITER 8341 NEW BEST:: SOT 1181970 SOS 104836 HAS SOPS 104836 HAS SOUS 67741 HAS SOUPS 67741 WITH SCORE 67845.836
AT ITER 8377 NEW BEST:: SOT 1181960 SOS 104796 HAS SOPS 104796 HAS SOUS 67721 HAS SOUPS 67721 WITH SCORE 67825.796
AT ITER 8486 NEW BEST:: SOT 1181941 SOS 104788 HAS SOPS 104788 HAS SOUS 67615 HAS SOUPS 67615 WITH SCORE 67719.788
AT ITER 8489 NEW BEST:: SOT 1181922 SOS 104742 HAS SOPS 104742 HAS SOUS 67569 HAS SOUPS 67569 WITH SCORE 67673.742
AT ITER 8569 NEW BEST:: SOT 1181872 SOS 104692 HAS SOPS 104692 HAS SOUS 67519 HAS SOUPS 67519 WITH SCORE 67623.692
AT ITER 8627 NEW BEST:: SOT 1181872 SOS 104692 HAS SOPS 104692 HAS SOUS 67505 HAS SOUPS 67505 WITH SCORE 67609.692
AT ITER 8700 NEW BEST:: SOT 1181872 SOS 104690 HAS SOPS 104690 HAS SOUS 67503 HAS SOUPS 67503 WITH SCORE 67607.69
AT ITER 8703 NEW BEST:: SOT 1181845 SOS 104660 HAS SOPS 104660 HAS SOUS 67449 HAS SOUPS 67449 WITH SCORE 67553.66
AT ITER 8711 NEW BEST:: SOT 1181837 SOS 104628 HAS SOPS 104628 HAS SOUS 67433 HAS SOUPS 67433 WITH SCORE 67537.628
AT ITER 8866 NEW BEST:: SOT 1181834 SOS 104616 HAS SOPS 104616 HAS SOUS 67427 HAS SOUPS 67427 WITH SCORE 67531.616
AT ITER 8947 NEW BEST:: SOT 1181826 SOS 104584 HAS SOPS 104584 HAS SOUS 67411 HAS SOUPS 67411 WITH SCORE 67515.584
AT ITER 9005 NEW BEST:: SOT 1181826 SOS 104584 HAS SOPS 104584 HAS SOUS 67404 HAS SOUPS 67404 WITH SCORE 67508.584
AT ITER 9302 NEW BEST:: SOT 1181795 SOS 104483 HAS SOPS 104483 HAS SOUS 67337 HAS SOUPS 67337 WITH SCORE 67441.483
AT ITER 9433 NEW BEST:: SOT 1181809 SOS 104499 HAS SOPS 104499 HAS SOUS 67335 HAS SOUPS 67335 WITH SCORE 67439.499
AT ITER 9652 NEW BEST:: SOT 1181788 SOS 104471 HAS SOPS 104471 HAS SOUS 67245 HAS SOUPS 67245 WITH SCORE 67349.471
BK_STOP 1679342879694
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${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="SquareGrid-PT-100510"
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 SquareGrid-PT-100510, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651200384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SquareGrid-PT-100510.tgz
mv SquareGrid-PT-100510 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 ;