About the Execution of Smart+red for TriangularGrid-PT-5046
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16216.279 | 1856433.00 | 1916830.00 | 12325.40 | [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.r491-tall-167912710900768.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 TriangularGrid-PT-5046, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710900768
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 6.0K Feb 26 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 01:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 01:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 17:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 02:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 02:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 02:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 185K 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 1679290691665
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=TriangularGrid-PT-5046
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 05:38:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 05:38:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 05:38:14] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-20 05:38:14] [INFO ] Transformed 280 places.
[2023-03-20 05:38:14] [INFO ] Transformed 240 transitions.
[2023-03-20 05:38:14] [INFO ] Parsed PT model containing 280 places and 240 transitions and 960 arcs in 150 ms.
[2023-03-20 05:38:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 280 places, 240 transitions and 960 arcs took 6 ms.
Total runtime 191 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TriangularGrid (PT), instance 5046
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: 280 places, 240 transitions, 960 arcs.
AT ITER 0 NEW BEST:: SOT 36928 SOS 6416 HAS SOPS 6416 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.416
AT ITER 60 NEW BEST:: SOT 36922 SOS 6392 HAS SOPS 6392 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4961.392
AT ITER 81 NEW BEST:: SOT 36922 SOS 6380 HAS SOPS 6380 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4953.38
AT ITER 102 NEW BEST:: SOT 36922 SOS 6362 HAS SOPS 6362 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4941.362
AT ITER 112 NEW BEST:: SOT 36922 SOS 6359 HAS SOPS 6359 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4939.359
AT ITER 153 NEW BEST:: SOT 36917 SOS 6354 HAS SOPS 6354 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4934.354
AT ITER 155 NEW BEST:: SOT 36907 SOS 6324 HAS SOPS 6324 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4914.324
AT ITER 198 NEW BEST:: SOT 36901 SOS 6306 HAS SOPS 6306 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4902.306
AT ITER 206 NEW BEST:: SOT 36892 SOS 6297 HAS SOPS 6297 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4893.297
AT ITER 269 NEW BEST:: SOT 36878 SOS 6255 HAS SOPS 6255 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4865.255
AT ITER 278 NEW BEST:: SOT 36878 SOS 6246 HAS SOPS 6246 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.246
AT ITER 307 NEW BEST:: SOT 36872 SOS 6234 HAS SOPS 6234 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4845.234
AT ITER 309 NEW BEST:: SOT 36872 SOS 6234 HAS SOPS 6234 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.234
AT ITER 319 NEW BEST:: SOT 36868 SOS 6231 HAS SOPS 6231 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4840.231
AT ITER 324 NEW BEST:: SOT 36864 SOS 6227 HAS SOPS 6227 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4836.227
AT ITER 344 NEW BEST:: SOT 36856 SOS 6233 HAS SOPS 6233 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4823.233
AT ITER 378 NEW BEST:: SOT 36845 SOS 6208 HAS SOPS 6208 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4795.208
AT ITER 410 NEW BEST:: SOT 36845 SOS 6208 HAS SOPS 6208 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4794.208
AT ITER 425 NEW BEST:: SOT 36833 SOS 6137 HAS SOPS 6137 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4769.137
AT ITER 428 NEW BEST:: SOT 36830 SOS 6128 HAS SOPS 6128 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4763.128
AT ITER 448 NEW BEST:: SOT 36821 SOS 6110 HAS SOPS 6110 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4745.11
AT ITER 455 NEW BEST:: SOT 36806 SOS 6065 HAS SOPS 6065 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4715.065
AT ITER 468 NEW BEST:: SOT 36806 SOS 6065 HAS SOPS 6065 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4711.065
AT ITER 481 NEW BEST:: SOT 36808 SOS 6043 HAS SOPS 6043 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.043
AT ITER 501 NEW BEST:: SOT 36803 SOS 6038 HAS SOPS 6038 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4697.038
AT ITER 525 NEW BEST:: SOT 36800 SOS 6029 HAS SOPS 6029 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4691.029
AT ITER 595 NEW BEST:: SOT 36786 SOS 6008 HAS SOPS 6008 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4668.008
AT ITER 596 NEW BEST:: SOT 36782 SOS 6000 HAS SOPS 6000 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4659.0
AT ITER 644 NEW BEST:: SOT 36780 SOS 5994 HAS SOPS 5994 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.994
AT ITER 727 NEW BEST:: SOT 36779 SOS 5992 HAS SOPS 5992 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4652.992
AT ITER 728 NEW BEST:: SOT 36775 SOS 5982 HAS SOPS 5982 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.982
AT ITER 731 NEW BEST:: SOT 36774 SOS 5979 HAS SOPS 5979 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.979
AT ITER 891 NEW BEST:: SOT 36765 SOS 5961 HAS SOPS 5961 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4624.961
AT ITER 941 NEW BEST:: SOT 36751 SOS 5926 HAS SOPS 5926 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4603.926
AT ITER 1066 NEW BEST:: SOT 36742 SOS 5899 HAS SOPS 5899 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4585.899
AT ITER 1085 NEW BEST:: SOT 36741 SOS 5895 HAS SOPS 5895 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4580.895
AT ITER 1102 NEW BEST:: SOT 36711 SOS 5831 HAS SOPS 5831 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.831
AT ITER 1110 NEW BEST:: SOT 36711 SOS 5831 HAS SOPS 5831 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4534.831
AT ITER 1143 NEW BEST:: SOT 36709 SOS 5825 HAS SOPS 5825 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4530.825
AT ITER 1185 NEW BEST:: SOT 36705 SOS 5813 HAS SOPS 5813 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4524.813
AT ITER 1201 NEW BEST:: SOT 36699 SOS 5803 HAS SOPS 5803 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4516.803
AT ITER 1227 NEW BEST:: SOT 36690 SOS 5794 HAS SOPS 5794 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.794
AT ITER 1236 NEW BEST:: SOT 36688 SOS 5791 HAS SOPS 5791 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.791
AT ITER 1251 NEW BEST:: SOT 36682 SOS 5764 HAS SOPS 5764 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4494.764
AT ITER 1380 NEW BEST:: SOT 36676 SOS 5747 HAS SOPS 5747 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.747
AT ITER 1462 NEW BEST:: SOT 36668 SOS 5735 HAS SOPS 5735 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4473.735
AT ITER 1535 NEW BEST:: SOT 36662 SOS 5729 HAS SOPS 5729 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4467.729
AT ITER 1566 NEW BEST:: SOT 36662 SOS 5728 HAS SOPS 5728 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4467.728
AT ITER 1601 NEW BEST:: SOT 36651 SOS 5709 HAS SOPS 5709 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4452.709
AT ITER 1605 NEW BEST:: SOT 36649 SOS 5705 HAS SOPS 5705 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4448.705
AT ITER 1624 NEW BEST:: SOT 36648 SOS 5703 HAS SOPS 5703 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4446.703
AT ITER 1664 NEW BEST:: SOT 36644 SOS 5697 HAS SOPS 5697 HAS SOUS 4435 HAS SOUPS 4435 WITH SCORE 4440.697
AT ITER 1792 NEW BEST:: SOT 36631 SOS 5680 HAS SOPS 5680 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4425.68
AT ITER 1822 NEW BEST:: SOT 36623 SOS 5654 HAS SOPS 5654 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4408.654
AT ITER 1983 NEW BEST:: SOT 36623 SOS 5648 HAS SOPS 5648 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.648
AT ITER 2056 NEW BEST:: SOT 36616 SOS 5641 HAS SOPS 5641 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4393.641
AT ITER 2099 NEW BEST:: SOT 36614 SOS 5638 HAS SOPS 5638 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4390.638
AT ITER 2105 NEW BEST:: SOT 36608 SOS 5623 HAS SOPS 5623 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.623
AT ITER 2106 NEW BEST:: SOT 36608 SOS 5623 HAS SOPS 5623 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4372.623
AT ITER 2108 NEW BEST:: SOT 36608 SOS 5623 HAS SOPS 5623 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.623
AT ITER 2231 NEW BEST:: SOT 36603 SOS 5613 HAS SOPS 5613 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4361.613
AT ITER 2293 NEW BEST:: SOT 36603 SOS 5605 HAS SOPS 5605 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4361.605
AT ITER 2489 NEW BEST:: SOT 36597 SOS 5596 HAS SOPS 5596 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4349.596
AT ITER 2643 NEW BEST:: SOT 36593 SOS 5590 HAS SOPS 5590 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4343.59
AT ITER 2722 NEW BEST:: SOT 36592 SOS 5589 HAS SOPS 5589 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4342.589
AT ITER 2771 NEW BEST:: SOT 36590 SOS 5586 HAS SOPS 5586 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4335.586
AT ITER 2912 NEW BEST:: SOT 36590 SOS 5582 HAS SOPS 5582 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4335.582
AT ITER 2975 NEW BEST:: SOT 36574 SOS 5558 HAS SOPS 5558 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4311.558
AT ITER 2992 NEW BEST:: SOT 36574 SOS 5557 HAS SOPS 5557 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4309.557
AT ITER 3163 NEW BEST:: SOT 36570 SOS 5551 HAS SOPS 5551 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.551
AT ITER 3196 NEW BEST:: SOT 36563 SOS 5544 HAS SOPS 5544 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4296.544
AT ITER 3200 NEW BEST:: SOT 36559 SOS 5541 HAS SOPS 5541 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4293.541
AT ITER 3215 NEW BEST:: SOT 36553 SOS 5533 HAS SOPS 5533 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4288.533
AT ITER 3235 NEW BEST:: SOT 36539 SOS 5477 HAS SOPS 5477 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4274.477
AT ITER 3299 NEW BEST:: SOT 36523 SOS 5453 HAS SOPS 5453 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4250.453
AT ITER 3479 NEW BEST:: SOT 36523 SOS 5453 HAS SOPS 5453 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4238.453
AT ITER 3508 NEW BEST:: SOT 36522 SOS 5427 HAS SOPS 5427 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4224.427
AT ITER 3530 NEW BEST:: SOT 36515 SOS 5406 HAS SOPS 5406 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4210.406
AT ITER 3538 NEW BEST:: SOT 36515 SOS 5408 HAS SOPS 5408 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4209.408
AT ITER 3671 NEW BEST:: SOT 36511 SOS 5404 HAS SOPS 5404 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4202.404
AT ITER 3673 NEW BEST:: SOT 36510 SOS 5389 HAS SOPS 5389 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4194.389
AT ITER 3722 NEW BEST:: SOT 36498 SOS 5371 HAS SOPS 5371 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4176.371
AT ITER 3774 NEW BEST:: SOT 36498 SOS 5371 HAS SOPS 5371 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4174.371
AT ITER 3785 NEW BEST:: SOT 36497 SOS 5368 HAS SOPS 5368 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4172.368
AT ITER 3863 NEW BEST:: SOT 36485 SOS 5344 HAS SOPS 5344 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.344
AT ITER 3899 NEW BEST:: SOT 36474 SOS 5334 HAS SOPS 5334 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.334
AT ITER 4008 NEW BEST:: SOT 36474 SOS 5334 HAS SOPS 5334 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4150.334
AT ITER 4053 NEW BEST:: SOT 36474 SOS 5331 HAS SOPS 5331 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4150.331
AT ITER 4144 NEW BEST:: SOT 36474 SOS 5329 HAS SOPS 5329 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4149.329
AT ITER 4191 NEW BEST:: SOT 36469 SOS 5314 HAS SOPS 5314 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4148.314
AT ITER 4268 NEW BEST:: SOT 36463 SOS 5299 HAS SOPS 5299 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4139.299
AT ITER 4407 NEW BEST:: SOT 36457 SOS 5289 HAS SOPS 5289 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4113.289
AT ITER 4428 NEW BEST:: SOT 36454 SOS 5283 HAS SOPS 5283 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4108.283
AT ITER 4602 NEW BEST:: SOT 36448 SOS 5274 HAS SOPS 5274 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4099.274
AT ITER 4698 NEW BEST:: SOT 36447 SOS 5273 HAS SOPS 5273 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4097.273
AT ITER 4700 NEW BEST:: SOT 36443 SOS 5271 HAS SOPS 5271 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4097.271
AT ITER 4955 NEW BEST:: SOT 36439 SOS 5265 HAS SOPS 5265 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4086.265
AT ITER 4957 NEW BEST:: SOT 36437 SOS 5261 HAS SOPS 5261 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4083.261
AT ITER 5063 NEW BEST:: SOT 36441 SOS 5273 HAS SOPS 5273 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4080.273
AT ITER 5096 NEW BEST:: SOT 36440 SOS 5271 HAS SOPS 5271 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4078.271
AT ITER 5122 NEW BEST:: SOT 36444 SOS 5277 HAS SOPS 5277 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4074.277
AT ITER 5236 NEW BEST:: SOT 36444 SOS 5278 HAS SOPS 5278 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4073.278
AT ITER 5286 NEW BEST:: SOT 36444 SOS 5280 HAS SOPS 5280 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4071.28
AT ITER 5342 NEW BEST:: SOT 36444 SOS 5273 HAS SOPS 5273 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4070.273
AT ITER 5368 NEW BEST:: SOT 36438 SOS 5258 HAS SOPS 5258 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4067.258
AT ITER 5406 NEW BEST:: SOT 36436 SOS 5255 HAS SOPS 5255 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4064.255
AT ITER 5509 NEW BEST:: SOT 36434 SOS 5249 HAS SOPS 5249 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4060.249
AT ITER 5510 NEW BEST:: SOT 36434 SOS 5249 HAS SOPS 5249 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4057.249
AT ITER 5533 NEW BEST:: SOT 36435 SOS 5243 HAS SOPS 5243 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4055.243
AT ITER 5766 NEW BEST:: SOT 36426 SOS 5192 HAS SOPS 5192 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4038.192
AT ITER 5811 NEW BEST:: SOT 36426 SOS 5191 HAS SOPS 5191 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4037.191
AT ITER 5917 NEW BEST:: SOT 36423 SOS 5188 HAS SOPS 5188 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4034.188
AT ITER 5928 NEW BEST:: SOT 36423 SOS 5188 HAS SOPS 5188 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4032.188
AT ITER 6083 NEW BEST:: SOT 36422 SOS 5187 HAS SOPS 5187 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4030.187
AT ITER 6283 NEW BEST:: SOT 36418 SOS 5181 HAS SOPS 5181 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4019.181
AT ITER 6297 NEW BEST:: SOT 36414 SOS 5168 HAS SOPS 5168 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4013.168
AT ITER 6328 NEW BEST:: SOT 36414 SOS 5162 HAS SOPS 5162 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4009.162
AT ITER 6488 NEW BEST:: SOT 36412 SOS 5155 HAS SOPS 5155 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4006.155
AT ITER 6739 NEW BEST:: SOT 36410 SOS 5151 HAS SOPS 5151 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4002.151
AT ITER 6758 NEW BEST:: SOT 36400 SOS 5143 HAS SOPS 5143 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4001.143
AT ITER 6792 NEW BEST:: SOT 36398 SOS 5137 HAS SOPS 5137 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3998.137
AT ITER 6873 NEW BEST:: SOT 36398 SOS 5137 HAS SOPS 5137 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3995.137
AT ITER 6875 NEW BEST:: SOT 36398 SOS 5126 HAS SOPS 5126 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3990.126
AT ITER 7097 NEW BEST:: SOT 36392 SOS 5118 HAS SOPS 5118 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3983.118
AT ITER 7119 NEW BEST:: SOT 36395 SOS 5126 HAS SOPS 5126 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3980.126
AT ITER 7142 NEW BEST:: SOT 36398 SOS 5137 HAS SOPS 5137 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3978.137
AT ITER 7198 NEW BEST:: SOT 36398 SOS 5125 HAS SOPS 5125 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3975.125
AT ITER 7409 NEW BEST:: SOT 36394 SOS 5093 HAS SOPS 5093 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3970.093
AT ITER 7570 NEW BEST:: SOT 36393 SOS 5092 HAS SOPS 5092 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3969.092
AT ITER 7585 NEW BEST:: SOT 36390 SOS 5080 HAS SOPS 5080 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3960.08
AT ITER 7625 NEW BEST:: SOT 36378 SOS 5062 HAS SOPS 5062 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3948.062
AT ITER 7802 NEW BEST:: SOT 36374 SOS 5054 HAS SOPS 5054 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3942.054
AT ITER 7956 NEW BEST:: SOT 36371 SOS 5052 HAS SOPS 5052 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3941.052
AT ITER 8241 NEW BEST:: SOT 36371 SOS 5048 HAS SOPS 5048 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3940.048
AT ITER 8372 NEW BEST:: SOT 36363 SOS 5032 HAS SOPS 5032 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3931.032
AT ITER 8592 NEW BEST:: SOT 36361 SOS 5030 HAS SOPS 5030 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3929.03
AT ITER 8675 NEW BEST:: SOT 36359 SOS 5036 HAS SOPS 5036 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3924.036
AT ITER 8874 NEW BEST:: SOT 36363 SOS 5045 HAS SOPS 5045 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3920.045
AT ITER 9047 NEW BEST:: SOT 36362 SOS 5043 HAS SOPS 5043 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3920.043
AT ITER 9074 NEW BEST:: SOT 36351 SOS 5032 HAS SOPS 5032 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3909.032
AT ITER 9081 NEW BEST:: SOT 36349 SOS 5028 HAS SOPS 5028 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3906.028
AT ITER 9142 NEW BEST:: SOT 36353 SOS 5021 HAS SOPS 5021 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3906.021
AT ITER 9248 NEW BEST:: SOT 36352 SOS 5019 HAS SOPS 5019 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3904.019
AT ITER 9283 NEW BEST:: SOT 36352 SOS 5015 HAS SOPS 5015 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3904.015
AT ITER 9305 NEW BEST:: SOT 36347 SOS 5008 HAS SOPS 5008 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3894.008
AT ITER 9411 NEW BEST:: SOT 36347 SOS 5002 HAS SOPS 5002 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3890.002
AT ITER 9512 NEW BEST:: SOT 36347 SOS 5002 HAS SOPS 5002 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3888.002
AT ITER 9578 NEW BEST:: SOT 36347 SOS 5002 HAS SOPS 5002 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3887.002
AT ITER 9585 NEW BEST:: SOT 36347 SOS 5000 HAS SOPS 5000 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3887.0
AT ITER 9637 NEW BEST:: SOT 36339 SOS 4983 HAS SOPS 4983 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.983
AT ITER 9663 NEW BEST:: SOT 36349 SOS 4973 HAS SOPS 4973 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.973
AT ITER 9693 NEW BEST:: SOT 36348 SOS 4967 HAS SOPS 4967 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.967
BK_STOP 1679292548098
--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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: 483 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="TriangularGrid-PT-5046"
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 TriangularGrid-PT-5046, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912710900768"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TriangularGrid-PT-5046.tgz
mv TriangularGrid-PT-5046 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 ;