About the Execution of Smart+red for GlobalResAllocation-PT-03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 523.527 | 1425747.00 | 1446594.00 | 4795.70 | 6320 116178 4 18 | normal |
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.r203-smll-167840349300224.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 GlobalResAllocation-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300224
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 17K Feb 25 17:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 17:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Feb 25 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.3M Feb 25 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 535K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.7M Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 18:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 18:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Feb 25 18:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.6M Feb 25 18:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 5.7M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678571343207
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=GlobalResAllocation-PT-03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 21:49:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 21:49:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 21:49:06] [INFO ] Load time of PNML (sax parser for PT used): 494 ms
[2023-03-11 21:49:06] [INFO ] Transformed 33 places.
[2023-03-11 21:49:06] [INFO ] Transformed 4791 transitions.
[2023-03-11 21:49:06] [INFO ] Parsed PT model containing 33 places and 4791 transitions and 38652 arcs in 679 ms.
[2023-03-11 21:49:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 33 places, 4791 transitions and 38652 arcs took 107 ms.
Total runtime 833 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GlobalResAllocation (PT), instance 03
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: 33 places, 4791 transitions, 38652 arcs.
AT ITER 0 NEW BEST:: SOT 124381 SOS 92683 HAS SOPS 92683 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8578.683
AT ITER 2 NEW BEST:: SOT 124377 SOS 92679 HAS SOPS 92679 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8392.679
AT ITER 3 NEW BEST:: SOT 124266 SOS 99306 HAS SOPS 99306 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7891.306
AT ITER 7 NEW BEST:: SOT 125838 SOS 117297 HAS SOPS 117297 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7704.297
AT ITER 13 NEW BEST:: SOT 128356 SOS 119931 HAS SOPS 119931 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7580.931
AT ITER 29 NEW BEST:: SOT 128337 SOS 119912 HAS SOPS 119912 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7401.912
AT ITER 34 NEW BEST:: SOT 128332 SOS 113680 HAS SOPS 113680 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7380.68
AT ITER 35 NEW BEST:: SOT 128312 SOS 113660 HAS SOPS 113660 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7373.66
AT ITER 39 NEW BEST:: SOT 128312 SOS 113580 HAS SOPS 113580 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7269.58
AT ITER 47 NEW BEST:: SOT 128312 SOS 111903 HAS SOPS 111903 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7254.903
AT ITER 61 NEW BEST:: SOT 128313 SOS 122484 HAS SOPS 122484 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7226.484
AT ITER 70 NEW BEST:: SOT 130909 SOS 125136 HAS SOPS 125136 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 7059.136
AT ITER 79 NEW BEST:: SOT 130909 SOS 125166 HAS SOPS 125166 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6994.166
AT ITER 98 NEW BEST:: SOT 130907 SOS 120842 HAS SOPS 120842 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6990.842
AT ITER 99 NEW BEST:: SOT 130906 SOS 120985 HAS SOPS 120985 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6940.985
AT ITER 110 NEW BEST:: SOT 130936 SOS 121007 HAS SOPS 121007 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6868.007
AT ITER 127 NEW BEST:: SOT 130912 SOS 120983 HAS SOPS 120983 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6715.983
AT ITER 132 NEW BEST:: SOT 129454 SOS 119437 HAS SOPS 119437 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6673.437
AT ITER 143 NEW BEST:: SOT 129082 SOS 119103 HAS SOPS 119103 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6362.103
AT ITER 156 NEW BEST:: SOT 128854 SOS 118881 HAS SOPS 118881 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6361.881
AT ITER 161 NEW BEST:: SOT 128848 SOS 118875 HAS SOPS 118875 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6331.875
AT ITER 196 NEW BEST:: SOT 128850 SOS 118727 HAS SOPS 118727 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6299.727
AT ITER 237 NEW BEST:: SOT 128790 SOS 118687 HAS SOPS 118687 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6299.687
AT ITER 272 NEW BEST:: SOT 128069 SOS 117966 HAS SOPS 117966 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6217.966
AT ITER 286 NEW BEST:: SOT 127298 SOS 117195 HAS SOPS 117195 HAS SOUS 6013 HAS SOUPS 6013 WITH SCORE 6130.195
AT ITER 301 NEW BEST:: SOT 127298 SOS 117205 HAS SOPS 117205 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6119.205
AT ITER 318 NEW BEST:: SOT 128420 SOS 118321 HAS SOPS 118321 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 6088.321
AT ITER 322 NEW BEST:: SOT 128905 SOS 118806 HAS SOPS 118806 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 6068.806
AT ITER 356 NEW BEST:: SOT 129005 SOS 118904 HAS SOPS 118904 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 6001.904
AT ITER 357 NEW BEST:: SOT 128975 SOS 118874 HAS SOPS 118874 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5926.874
AT ITER 374 NEW BEST:: SOT 128945 SOS 118844 HAS SOPS 118844 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5889.844
AT ITER 387 NEW BEST:: SOT 128951 SOS 118862 HAS SOPS 118862 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5888.862
AT ITER 441 NEW BEST:: SOT 128567 SOS 118494 HAS SOPS 118494 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5749.494
AT ITER 443 NEW BEST:: SOT 128952 SOS 118879 HAS SOPS 118879 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5724.879
AT ITER 481 NEW BEST:: SOT 128951 SOS 118898 HAS SOPS 118898 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5722.898
AT ITER 494 NEW BEST:: SOT 128951 SOS 118898 HAS SOPS 118898 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5706.898
AT ITER 516 NEW BEST:: SOT 128921 SOS 118878 HAS SOPS 118878 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5706.878
AT ITER 517 NEW BEST:: SOT 128729 SOS 118694 HAS SOPS 118694 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5620.694
AT ITER 597 NEW BEST:: SOT 128699 SOS 118664 HAS SOPS 118664 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5567.664
AT ITER 682 NEW BEST:: SOT 129149 SOS 119114 HAS SOPS 119114 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5539.114
AT ITER 739 NEW BEST:: SOT 128921 SOS 118886 HAS SOPS 118886 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5531.886
AT ITER 783 NEW BEST:: SOT 128885 SOS 118850 HAS SOPS 118850 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5512.85
AT ITER 846 NEW BEST:: SOT 128870 SOS 118835 HAS SOPS 118835 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5508.835
AT ITER 918 NEW BEST:: SOT 128869 SOS 118575 HAS SOPS 118575 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5508.575
AT ITER 937 NEW BEST:: SOT 128869 SOS 117020 HAS SOPS 117020 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5505.02
AT ITER 988 NEW BEST:: SOT 128869 SOS 117026 HAS SOPS 117026 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5363.026
AT ITER 1056 NEW BEST:: SOT 128869 SOS 117020 HAS SOPS 117020 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5323.02
AT ITER 1070 NEW BEST:: SOT 128863 SOS 117014 HAS SOPS 117014 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5293.014
AT ITER 1119 NEW BEST:: SOT 128863 SOS 117014 HAS SOPS 117014 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5231.014
AT ITER 1265 NEW BEST:: SOT 128635 SOS 116792 HAS SOPS 116792 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5230.792
AT ITER 1359 NEW BEST:: SOT 128605 SOS 116772 HAS SOPS 116772 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5230.772
AT ITER 1761 NEW BEST:: SOT 128509 SOS 116684 HAS SOPS 116684 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5230.684
AT ITER 1870 NEW BEST:: SOT 128509 SOS 116684 HAS SOPS 116684 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5168.684
STATE_SPACE STATES 6320 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 116178 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678572768954
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="GlobalResAllocation-PT-03"
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 GlobalResAllocation-PT-03, 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 r203-smll-167840349300224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-PT-03.tgz
mv GlobalResAllocation-PT-03 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 ;