About the Execution of Smart+red for CloudDeployment-PT-7b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1420.439 | 3600000.00 | 3778949.00 | 8959.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r075-smll-167814401100456.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 CloudDeployment-PT-7b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401100456
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 14:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 20M 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 1678358862970
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=CloudDeployment-PT-7b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 10:47:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 10:47:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 10:47:47] [INFO ] Load time of PNML (sax parser for PT used): 1436 ms
[2023-03-09 10:47:47] [INFO ] Transformed 2271 places.
[2023-03-09 10:47:48] [INFO ] Transformed 19752 transitions.
[2023-03-09 10:47:48] [INFO ] Found NUPN structural information;
[2023-03-09 10:47:48] [INFO ] Parsed PT model containing 2271 places and 19752 transitions and 389666 arcs in 1860 ms.
[2023-03-09 10:47:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2271 places, 19752 transitions and 389666 arcs took 319 ms.
Total runtime 2263 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7b
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: 2271 places, 19752 transitions, 389666 arcs.
AT ITER 0 NEW BEST:: SOT 35950159 SOS 13093579 HAS SOPS 13093579 HAS SOUS 3940296 HAS SOUPS 3940296 WITH SCORE 3953389.579
AT ITER 5 NEW BEST:: SOT 35950009 SOS 13093661 HAS SOPS 13093661 HAS SOUS 3939874 HAS SOUPS 3939874 WITH SCORE 3952967.661
AT ITER 6 NEW BEST:: SOT 35949940 SOS 13093523 HAS SOPS 13093523 HAS SOUS 3939804 HAS SOUPS 3939804 WITH SCORE 3952897.523
AT ITER 15 NEW BEST:: SOT 35949940 SOS 13093215 HAS SOPS 13093215 HAS SOUS 3939804 HAS SOUPS 3939804 WITH SCORE 3952897.215
AT ITER 22 NEW BEST:: SOT 35949971 SOS 13090685 HAS SOPS 13090685 HAS SOUS 3939389 HAS SOUPS 3939389 WITH SCORE 3952479.685
AT ITER 26 NEW BEST:: SOT 35949793 SOS 13090329 HAS SOPS 13090329 HAS SOUS 3939033 HAS SOUPS 3939033 WITH SCORE 3952123.329
AT ITER 32 NEW BEST:: SOT 35949716 SOS 13090256 HAS SOPS 13090256 HAS SOUS 3938774 HAS SOUPS 3938774 WITH SCORE 3951864.256
AT ITER 47 NEW BEST:: SOT 35949716 SOS 13090632 HAS SOPS 13090632 HAS SOUS 3938744 HAS SOUPS 3938744 WITH SCORE 3951834.632
AT ITER 60 NEW BEST:: SOT 35949542 SOS 13090284 HAS SOPS 13090284 HAS SOUS 3938396 HAS SOUPS 3938396 WITH SCORE 3951486.284
AT ITER 75 NEW BEST:: SOT 35947910 SOS 13089972 HAS SOPS 13089972 HAS SOUS 3937622 HAS SOUPS 3937622 WITH SCORE 3950711.972
AT ITER 94 NEW BEST:: SOT 35947909 SOS 13089970 HAS SOPS 13089970 HAS SOUS 3937620 HAS SOUPS 3937620 WITH SCORE 3950709.97
AT ITER 98 NEW BEST:: SOT 35947737 SOS 13089969 HAS SOPS 13089969 HAS SOUS 3937619 HAS SOUPS 3937619 WITH SCORE 3950708.969
AT ITER 99 NEW BEST:: SOT 35947614 SOS 13089723 HAS SOPS 13089723 HAS SOUS 3937496 HAS SOUPS 3937496 WITH SCORE 3950585.723
AT ITER 121 NEW BEST:: SOT 35947069 SOS 13089505 HAS SOPS 13089505 HAS SOUS 3937060 HAS SOUPS 3937060 WITH SCORE 3950149.505
AT ITER 133 NEW BEST:: SOT 35946576 SOS 13088949 HAS SOPS 13088949 HAS SOUS 3936263 HAS SOUPS 3936263 WITH SCORE 3949351.949
AT ITER 138 NEW BEST:: SOT 35946576 SOS 13088949 HAS SOPS 13088949 HAS SOUS 3936262 HAS SOUPS 3936262 WITH SCORE 3949350.949
AT ITER 156 NEW BEST:: SOT 35946568 SOS 13093407 HAS SOPS 13093407 HAS SOUS 3936207 HAS SOUPS 3936207 WITH SCORE 3949300.407
AT ITER 172 NEW BEST:: SOT 35946459 SOS 13093189 HAS SOPS 13093189 HAS SOUS 3935989 HAS SOUPS 3935989 WITH SCORE 3949082.189
AT ITER 174 NEW BEST:: SOT 35938724 SOS 13118444 HAS SOPS 13118444 HAS SOUS 3931258 HAS SOUPS 3931258 WITH SCORE 3944376.444
AT ITER 184 NEW BEST:: SOT 35938380 SOS 13118025 HAS SOPS 13118025 HAS SOUS 3930645 HAS SOUPS 3930645 WITH SCORE 3943763.025
AT ITER 193 NEW BEST:: SOT 35938380 SOS 13117717 HAS SOPS 13117717 HAS SOUS 3930331 HAS SOUPS 3930331 WITH SCORE 3943448.717
AT ITER 196 NEW BEST:: SOT 35937956 SOS 13117505 HAS SOPS 13117505 HAS SOUS 3929695 HAS SOUPS 3929695 WITH SCORE 3942812.505
AT ITER 199 NEW BEST:: SOT 35937956 SOS 13118400 HAS SOPS 13118400 HAS SOUS 3929618 HAS SOUPS 3929618 WITH SCORE 3942736.4
AT ITER 203 NEW BEST:: SOT 35934336 SOS 13152140 HAS SOPS 13152140 HAS SOUS 3926803 HAS SOUPS 3926803 WITH SCORE 3939955.14
AT ITER 208 NEW BEST:: SOT 35934240 SOS 13151948 HAS SOPS 13151948 HAS SOUS 3926611 HAS SOUPS 3926611 WITH SCORE 3939762.948
AT ITER 214 NEW BEST:: SOT 35934204 SOS 13151876 HAS SOPS 13151876 HAS SOUS 3926534 HAS SOUPS 3926534 WITH SCORE 3939685.876
AT ITER 215 NEW BEST:: SOT 35933978 SOS 13151424 HAS SOPS 13151424 HAS SOUS 3925874 HAS SOUPS 3925874 WITH SCORE 3939025.424
AT ITER 220 NEW BEST:: SOT 35933885 SOS 13151330 HAS SOPS 13151330 HAS SOUS 3925780 HAS SOUPS 3925780 WITH SCORE 3938931.33
AT ITER 234 NEW BEST:: SOT 35933884 SOS 13151328 HAS SOPS 13151328 HAS SOUS 3925778 HAS SOUPS 3925778 WITH SCORE 3938929.328
AT ITER 242 NEW BEST:: SOT 35933884 SOS 13151314 HAS SOPS 13151314 HAS SOUS 3925646 HAS SOUPS 3925646 WITH SCORE 3938797.314
AT ITER 258 NEW BEST:: SOT 35933806 SOS 13151158 HAS SOPS 13151158 HAS SOUS 3925490 HAS SOUPS 3925490 WITH SCORE 3938641.158
AT ITER 264 NEW BEST:: SOT 35934259 SOS 13152064 HAS SOPS 13152064 HAS SOUS 3925300 HAS SOUPS 3925300 WITH SCORE 3938452.064
AT ITER 277 NEW BEST:: SOT 35934162 SOS 13151967 HAS SOPS 13151967 HAS SOUS 3925300 HAS SOUPS 3925300 WITH SCORE 3938451.967
AT ITER 280 NEW BEST:: SOT 35934075 SOS 13152249 HAS SOPS 13152249 HAS SOUS 3925212 HAS SOUPS 3925212 WITH SCORE 3938364.249
AT ITER 282 NEW BEST:: SOT 35933479 SOS 13151415 HAS SOPS 13151415 HAS SOUS 3924258 HAS SOUPS 3924258 WITH SCORE 3937409.415
AT ITER 284 NEW BEST:: SOT 35933668 SOS 13151734 HAS SOPS 13151734 HAS SOUS 3924049 HAS SOUPS 3924049 WITH SCORE 3937200.734
AT ITER 293 NEW BEST:: SOT 35933296 SOS 13153049 HAS SOPS 13153049 HAS SOUS 3923967 HAS SOUPS 3923967 WITH SCORE 3937120.049
AT ITER 295 NEW BEST:: SOT 35933296 SOS 13152751 HAS SOPS 13152751 HAS SOUS 3923967 HAS SOUPS 3923967 WITH SCORE 3937119.751
AT ITER 297 NEW BEST:: SOT 35933296 SOS 13153499 HAS SOPS 13153499 HAS SOUS 3923891 HAS SOUPS 3923891 WITH SCORE 3937044.499
AT ITER 302 NEW BEST:: SOT 35933289 SOS 13153716 HAS SOPS 13153716 HAS SOUS 3923775 HAS SOUPS 3923775 WITH SCORE 3936928.716
AT ITER 305 NEW BEST:: SOT 35933289 SOS 13153716 HAS SOPS 13153716 HAS SOUS 3923718 HAS SOUPS 3923718 WITH SCORE 3936871.716
AT ITER 317 NEW BEST:: SOT 35933255 SOS 13154095 HAS SOPS 13154095 HAS SOUS 3923684 HAS SOUPS 3923684 WITH SCORE 3936838.095
AT ITER 319 NEW BEST:: SOT 35933255 SOS 13154094 HAS SOPS 13154094 HAS SOUS 3923684 HAS SOUPS 3923684 WITH SCORE 3936838.094
AT ITER 327 NEW BEST:: SOT 35933255 SOS 13154094 HAS SOPS 13154094 HAS SOUS 3923652 HAS SOUPS 3923652 WITH SCORE 3936806.094
AT ITER 362 NEW BEST:: SOT 35933077 SOS 13154070 HAS SOPS 13154070 HAS SOUS 3923308 HAS SOUPS 3923308 WITH SCORE 3936462.07
AT ITER 364 NEW BEST:: SOT 35932948 SOS 13153941 HAS SOPS 13153941 HAS SOUS 3923271 HAS SOUPS 3923271 WITH SCORE 3936424.941
AT ITER 372 NEW BEST:: SOT 35932850 SOS 13153829 HAS SOPS 13153829 HAS SOUS 3923159 HAS SOUPS 3923159 WITH SCORE 3936312.829
AT ITER 404 NEW BEST:: SOT 35932618 SOS 13153597 HAS SOPS 13153597 HAS SOUS 3923159 HAS SOUPS 3923159 WITH SCORE 3936312.597
AT ITER 431 NEW BEST:: SOT 35932618 SOS 13154007 HAS SOPS 13154007 HAS SOUS 3923133 HAS SOUPS 3923133 WITH SCORE 3936287.007
AT ITER 432 NEW BEST:: SOT 35932603 SOS 13153977 HAS SOPS 13153977 HAS SOUS 3923103 HAS SOUPS 3923103 WITH SCORE 3936256.977
AT ITER 464 NEW BEST:: SOT 35932603 SOS 13154445 HAS SOPS 13154445 HAS SOUS 3923073 HAS SOUPS 3923073 WITH SCORE 3936227.445
AT ITER 475 NEW BEST:: SOT 35932631 SOS 13154408 HAS SOPS 13154408 HAS SOUS 3923008 HAS SOUPS 3923008 WITH SCORE 3936162.408
AT ITER 486 NEW BEST:: SOT 35932631 SOS 13154276 HAS SOPS 13154276 HAS SOUS 3923008 HAS SOUPS 3923008 WITH SCORE 3936162.276
AT ITER 502 NEW BEST:: SOT 35932038 SOS 13154629 HAS SOPS 13154629 HAS SOUS 3922525 HAS SOUPS 3922525 WITH SCORE 3935679.629
AT ITER 507 NEW BEST:: SOT 35931706 SOS 13155897 HAS SOPS 13155897 HAS SOUS 3922192 HAS SOUPS 3922192 WITH SCORE 3935347.897
AT ITER 548 NEW BEST:: SOT 35931427 SOS 13156284 HAS SOPS 13156284 HAS SOUS 3922063 HAS SOUPS 3922063 WITH SCORE 3935219.284
AT ITER 554 NEW BEST:: SOT 35931427 SOS 13156448 HAS SOPS 13156448 HAS SOUS 3921986 HAS SOUPS 3921986 WITH SCORE 3935142.448
AT ITER 566 NEW BEST:: SOT 35931505 SOS 13156604 HAS SOPS 13156604 HAS SOUS 3921835 HAS SOUPS 3921835 WITH SCORE 3934991.604
AT ITER 568 NEW BEST:: SOT 35931372 SOS 13156700 HAS SOPS 13156700 HAS SOUS 3921750 HAS SOUPS 3921750 WITH SCORE 3934906.7
AT ITER 573 NEW BEST:: SOT 35931270 SOS 13156093 HAS SOPS 13156093 HAS SOUS 3921648 HAS SOUPS 3921648 WITH SCORE 3934804.093
AT ITER 578 NEW BEST:: SOT 35931038 SOS 13156112 HAS SOPS 13156112 HAS SOUS 3921412 HAS SOUPS 3921412 WITH SCORE 3934568.112
AT ITER 581 NEW BEST:: SOT 35929429 SOS 13155984 HAS SOPS 13155984 HAS SOUS 3920348 HAS SOUPS 3920348 WITH SCORE 3933503.984
AT ITER 593 NEW BEST:: SOT 35929128 SOS 13155683 HAS SOPS 13155683 HAS SOUS 3920047 HAS SOUPS 3920047 WITH SCORE 3933202.683
AT ITER 602 NEW BEST:: SOT 35928896 SOS 13155455 HAS SOPS 13155455 HAS SOUS 3919817 HAS SOUPS 3919817 WITH SCORE 3932972.455
AT ITER 622 NEW BEST:: SOT 35928896 SOS 13155405 HAS SOPS 13155405 HAS SOUS 3919816 HAS SOUPS 3919816 WITH SCORE 3932971.405
AT ITER 625 NEW BEST:: SOT 35928772 SOS 13155157 HAS SOPS 13155157 HAS SOUS 3919568 HAS SOUPS 3919568 WITH SCORE 3932723.157
AT ITER 637 NEW BEST:: SOT 35928654 SOS 13156362 HAS SOPS 13156362 HAS SOUS 3919319 HAS SOUPS 3919319 WITH SCORE 3932475.362
AT ITER 650 NEW BEST:: SOT 35928190 SOS 13162540 HAS SOPS 13162540 HAS SOUS 3918855 HAS SOUPS 3918855 WITH SCORE 3932017.54
AT ITER 665 NEW BEST:: SOT 35927886 SOS 13162388 HAS SOPS 13162388 HAS SOUS 3918551 HAS SOUPS 3918551 WITH SCORE 3931713.388
AT ITER 672 NEW BEST:: SOT 35927739 SOS 13162094 HAS SOPS 13162094 HAS SOUS 3918257 HAS SOUPS 3918257 WITH SCORE 3931419.094
AT ITER 675 NEW BEST:: SOT 35927739 SOS 13162448 HAS SOPS 13162448 HAS SOUS 3918177 HAS SOUPS 3918177 WITH SCORE 3931339.448
AT ITER 699 NEW BEST:: SOT 35927714 SOS 13162729 HAS SOPS 13162729 HAS SOUS 3918023 HAS SOUPS 3918023 WITH SCORE 3931185.729
AT ITER 700 NEW BEST:: SOT 35927654 SOS 13162683 HAS SOPS 13162683 HAS SOUS 3917963 HAS SOUPS 3917963 WITH SCORE 3931125.683
AT ITER 712 NEW BEST:: SOT 35927442 SOS 13162683 HAS SOPS 13162683 HAS SOUS 3917954 HAS SOUPS 3917954 WITH SCORE 3931116.683
AT ITER 737 NEW BEST:: SOT 35926732 SOS 13162625 HAS SOPS 13162625 HAS SOUS 3917244 HAS SOUPS 3917244 WITH SCORE 3930406.625
AT ITER 764 NEW BEST:: SOT 35926660 SOS 13162866 HAS SOPS 13162866 HAS SOUS 3916864 HAS SOUPS 3916864 WITH SCORE 3930026.866
AT ITER 766 NEW BEST:: SOT 35926040 SOS 13162246 HAS SOPS 13162246 HAS SOUS 2651456 HAS SOUPS 2651456 WITH SCORE 2664618.246
AT ITER 767 NEW BEST:: SOT 35925033 SOS 13161194 HAS SOPS 13161194 HAS SOUS 2650404 HAS SOUPS 2650404 WITH SCORE 2663565.194
AT ITER 781 NEW BEST:: SOT 35924779 SOS 13160940 HAS SOPS 13160940 HAS SOUS 2650358 HAS SOUPS 2650358 WITH SCORE 2663518.94
AT ITER 783 NEW BEST:: SOT 35924779 SOS 13160902 HAS SOPS 13160902 HAS SOUS 2650326 HAS SOUPS 2650326 WITH SCORE 2663486.902
AT ITER 789 NEW BEST:: SOT 35924416 SOS 13161653 HAS SOPS 13161653 HAS SOUS 2649811 HAS SOUPS 2649811 WITH SCORE 2662972.653
AT ITER 836 NEW BEST:: SOT 35924653 SOS 13162127 HAS SOPS 13162127 HAS SOUS 2649721 HAS SOUPS 2649721 WITH SCORE 2662883.127
AT ITER 840 NEW BEST:: SOT 35924653 SOS 13162428 HAS SOPS 13162428 HAS SOUS 2649691 HAS SOUPS 2649691 WITH SCORE 2662853.428
AT ITER 857 NEW BEST:: SOT 35924553 SOS 13163464 HAS SOPS 13163464 HAS SOUS 2649354 HAS SOUPS 2649354 WITH SCORE 2662517.464
AT ITER 862 NEW BEST:: SOT 35924558 SOS 13168752 HAS SOPS 13168752 HAS SOUS 2648830 HAS SOUPS 2648830 WITH SCORE 2661998.752
AT ITER 863 NEW BEST:: SOT 35924387 SOS 13169964 HAS SOPS 13169964 HAS SOUS 2648738 HAS SOUPS 2648738 WITH SCORE 2661907.964
AT ITER 878 NEW BEST:: SOT 35924321 SOS 13170135 HAS SOPS 13170135 HAS SOUS 2648706 HAS SOUPS 2648706 WITH SCORE 2661876.135
AT ITER 888 NEW BEST:: SOT 35924171 SOS 13176289 HAS SOPS 13176289 HAS SOUS 2648315 HAS SOUPS 2648315 WITH SCORE 2661491.289
AT ITER 891 NEW BEST:: SOT 35924171 SOS 13176489 HAS SOPS 13176489 HAS SOUS 2648268 HAS SOUPS 2648268 WITH SCORE 2661444.489
AT ITER 898 NEW BEST:: SOT 35924171 SOS 13176489 HAS SOPS 13176489 HAS SOUS 2648267 HAS SOUPS 2648267 WITH SCORE 2661443.489
AT ITER 906 NEW BEST:: SOT 35924171 SOS 13176499 HAS SOPS 13176499 HAS SOUS 2647880 HAS SOUPS 2647880 WITH SCORE 2661056.499
AT ITER 913 NEW BEST:: SOT 35924170 SOS 13176497 HAS SOPS 13176497 HAS SOUS 2647878 HAS SOUPS 2647878 WITH SCORE 2661054.497
AT ITER 917 NEW BEST:: SOT 35924057 SOS 13175932 HAS SOPS 13175932 HAS SOUS 2647652 HAS SOUPS 2647652 WITH SCORE 2660827.932
AT ITER 922 NEW BEST:: SOT 35924057 SOS 13176247 HAS SOPS 13176247 HAS SOUS 2647529 HAS SOUPS 2647529 WITH SCORE 2660705.247
AT ITER 938 NEW BEST:: SOT 35924352 SOS 13176819 HAS SOPS 13176819 HAS SOUS 2647523 HAS SOUPS 2647523 WITH SCORE 2660699.819
AT ITER 941 NEW BEST:: SOT 35924333 SOS 13176821 HAS SOPS 13176821 HAS SOUS 2647514 HAS SOUPS 2647514 WITH SCORE 2660690.821
AT ITER 965 NEW BEST:: SOT 35923088 SOS 13176781 HAS SOPS 13176781 HAS SOUS 2646367 HAS SOUPS 2646367 WITH SCORE 2659543.781
AT ITER 977 NEW BEST:: SOT 35923058 SOS 13176721 HAS SOPS 13176721 HAS SOUS 2646333 HAS SOUPS 2646333 WITH SCORE 2659509.721
AT ITER 980 NEW BEST:: SOT 35923058 SOS 13176580 HAS SOPS 13176580 HAS SOUS 2646302 HAS SOUPS 2646302 WITH SCORE 2659478.58
AT ITER 995 NEW BEST:: SOT 35921266 SOS 13206523 HAS SOPS 13206523 HAS SOUS 2645971 HAS SOUPS 2645971 WITH SCORE 2659177.523
AT ITER 997 NEW BEST:: SOT 35921266 SOS 13206691 HAS SOPS 13206691 HAS SOUS 2645729 HAS SOUPS 2645729 WITH SCORE 2658935.691
AT ITER 1017 NEW BEST:: SOT 35921235 SOS 13206660 HAS SOPS 13206660 HAS SOUS 2645698 HAS SOUPS 2645698 WITH SCORE 2658904.66
AT ITER 1018 NEW BEST:: SOT 35921235 SOS 13207440 HAS SOPS 13207440 HAS SOUS 2645621 HAS SOUPS 2645621 WITH SCORE 2658828.44
AT ITER 1025 NEW BEST:: SOT 35921174 SOS 13207379 HAS SOPS 13207379 HAS SOUS 2645621 HAS SOUPS 2645621 WITH SCORE 2658828.379
AT ITER 1028 NEW BEST:: SOT 35921045 SOS 13207250 HAS SOPS 13207250 HAS SOUS 2645579 HAS SOUPS 2645579 WITH SCORE 2658786.25
AT ITER 1037 NEW BEST:: SOT 35919657 SOS 13206954 HAS SOPS 13206954 HAS SOUS 2644501 HAS SOUPS 2644501 WITH SCORE 2657707.954
AT ITER 1041 NEW BEST:: SOT 35919645 SOS 13206930 HAS SOPS 13206930 HAS SOUS 2644477 HAS SOUPS 2644477 WITH SCORE 2657683.93
AT ITER 1051 NEW BEST:: SOT 35919673 SOS 13206986 HAS SOPS 13206986 HAS SOUS 2644428 HAS SOUPS 2644428 WITH SCORE 2657634.986
AT ITER 1064 NEW BEST:: SOT 35919605 SOS 13206918 HAS SOPS 13206918 HAS SOUS 2644292 HAS SOUPS 2644292 WITH SCORE 2657498.918
AT ITER 1077 NEW BEST:: SOT 35919604 SOS 13206916 HAS SOPS 13206916 HAS SOUS 2644290 HAS SOUPS 2644290 WITH SCORE 2657496.916
AT ITER 1079 NEW BEST:: SOT 35919557 SOS 13207357 HAS SOPS 13207357 HAS SOUS 2644275 HAS SOUPS 2644275 WITH SCORE 2657482.357
AT ITER 1088 NEW BEST:: SOT 35919342 SOS 13206927 HAS SOPS 13206927 HAS SOUS 2644060 HAS SOUPS 2644060 WITH SCORE 2657266.927
AT ITER 1105 NEW BEST:: SOT 35919342 SOS 13206901 HAS SOPS 13206901 HAS SOUS 2644034 HAS SOUPS 2644034 WITH SCORE 2657240.901
AT ITER 1110 NEW BEST:: SOT 35919396 SOS 13207009 HAS SOPS 13207009 HAS SOUS 2643923 HAS SOUPS 2643923 WITH SCORE 2657130.009
AT ITER 1123 NEW BEST:: SOT 35919357 SOS 13206970 HAS SOPS 13206970 HAS SOUS 2643882 HAS SOUPS 2643882 WITH SCORE 2657088.97
AT ITER 1141 NEW BEST:: SOT 35919088 SOS 13206700 HAS SOPS 13206700 HAS SOUS 2643803 HAS SOUPS 2643803 WITH SCORE 2657009.7
AT ITER 1155 NEW BEST:: SOT 35918591 SOS 13206010 HAS SOPS 13206010 HAS SOUS 2643717 HAS SOUPS 2643717 WITH SCORE 2656923.01
AT ITER 1185 NEW BEST:: SOT 35918432 SOS 13205722 HAS SOPS 13205722 HAS SOUS 2643523 HAS SOUPS 2643523 WITH SCORE 2656728.722
AT ITER 1192 NEW BEST:: SOT 35918432 SOS 13206073 HAS SOPS 13206073 HAS SOUS 2643493 HAS SOUPS 2643493 WITH SCORE 2656699.073
AT ITER 1194 NEW BEST:: SOT 35918333 SOS 13205875 HAS SOPS 13205875 HAS SOUS 2643295 HAS SOUPS 2643295 WITH SCORE 2656500.875
AT ITER 1215 NEW BEST:: SOT 35918205 SOS 13205547 HAS SOPS 13205547 HAS SOUS 2643167 HAS SOUPS 2643167 WITH SCORE 2656372.547
AT ITER 1221 NEW BEST:: SOT 35918201 SOS 13205537 HAS SOPS 13205537 HAS SOUS 2643159 HAS SOUPS 2643159 WITH SCORE 2656364.537
AT ITER 1234 NEW BEST:: SOT 35914888 SOS 13226511 HAS SOPS 13226511 HAS SOUS 2641603 HAS SOUPS 2641603 WITH SCORE 2654829.511
AT ITER 1289 NEW BEST:: SOT 35914587 SOS 13225906 HAS SOPS 13225906 HAS SOUS 2641303 HAS SOUPS 2641303 WITH SCORE 2654528.906
AT ITER 1292 NEW BEST:: SOT 35914379 SOS 13226841 HAS SOPS 13226841 HAS SOUS 2641095 HAS SOUPS 2641095 WITH SCORE 2654321.841
AT ITER 1303 NEW BEST:: SOT 35914379 SOS 13226670 HAS SOPS 13226670 HAS SOUS 2641095 HAS SOUPS 2641095 WITH SCORE 2654321.67
AT ITER 1336 NEW BEST:: SOT 35913664 SOS 13225240 HAS SOPS 13225240 HAS SOUS 2638918 HAS SOUPS 2638918 WITH SCORE 2652143.24
AT ITER 1350 NEW BEST:: SOT 35913581 SOS 13225074 HAS SOPS 13225074 HAS SOUS 2638752 HAS SOUPS 2638752 WITH SCORE 2651977.074
AT ITER 1359 NEW BEST:: SOT 35913581 SOS 13225017 HAS SOPS 13225017 HAS SOUS 2638695 HAS SOUPS 2638695 WITH SCORE 2651920.017
AT ITER 1396 NEW BEST:: SOT 35913603 SOS 13225061 HAS SOPS 13225061 HAS SOUS 2638677 HAS SOUPS 2638677 WITH SCORE 2651902.061
AT ITER 1414 NEW BEST:: SOT 35913439 SOS 13225183 HAS SOPS 13225183 HAS SOUS 2302749 HAS SOUPS 2302749 WITH SCORE 2315974.183
AT ITER 1417 NEW BEST:: SOT 35913438 SOS 13225182 HAS SOPS 13225182 HAS SOUS 2302748 HAS SOUPS 2302748 WITH SCORE 2315973.182
AT ITER 1418 NEW BEST:: SOT 35912565 SOS 13280421 HAS SOPS 13280421 HAS SOUS 2302633 HAS SOUPS 2302633 WITH SCORE 2315913.421
AT ITER 1428 NEW BEST:: SOT 35912565 SOS 13280354 HAS SOPS 13280354 HAS SOUS 2302566 HAS SOUPS 2302566 WITH SCORE 2315846.354
AT ITER 1439 NEW BEST:: SOT 35908751 SOS 13276473 HAS SOPS 13276473 HAS SOUS 2298684 HAS SOUPS 2298684 WITH SCORE 2311960.473
AT ITER 1449 NEW BEST:: SOT 35908599 SOS 13276169 HAS SOPS 13276169 HAS SOUS 2298380 HAS SOUPS 2298380 WITH SCORE 2311656.169
AT ITER 1452 NEW BEST:: SOT 35907979 SOS 13275859 HAS SOPS 13275859 HAS SOUS 2297915 HAS SOUPS 2297915 WITH SCORE 2311190.859
AT ITER 1459 NEW BEST:: SOT 35907978 SOS 13275857 HAS SOPS 13275857 HAS SOUS 2297913 HAS SOUPS 2297913 WITH SCORE 2311188.857
AT ITER 1476 NEW BEST:: SOT 35907978 SOS 13275756 HAS SOPS 13275756 HAS SOUS 2297859 HAS SOUPS 2297859 WITH SCORE 2311134.756
AT ITER 1484 NEW BEST:: SOT 35907884 SOS 13275662 HAS SOPS 13275662 HAS SOUS 2297765 HAS SOUPS 2297765 WITH SCORE 2311040.662
AT ITER 1497 NEW BEST:: SOT 35907884 SOS 13275597 HAS SOPS 13275597 HAS SOUS 2297710 HAS SOUPS 2297710 WITH SCORE 2310985.597
AT ITER 1510 NEW BEST:: SOT 35907848 SOS 13275885 HAS SOPS 13275885 HAS SOUS 2292000 HAS SOUPS 2292000 WITH SCORE 2305275.885
AT ITER 1515 NEW BEST:: SOT 35905103 SOS 13274318 HAS SOPS 13274318 HAS SOUS 2291253 HAS SOUPS 2291253 WITH SCORE 2304527.318
AT ITER 1532 NEW BEST:: SOT 35904763 SOS 13274520 HAS SOPS 13274520 HAS SOUS 2290699 HAS SOUPS 2290699 WITH SCORE 2303973.52
AT ITER 1552 NEW BEST:: SOT 35904743 SOS 13275154 HAS SOPS 13275154 HAS SOUS 1714075 HAS SOUPS 1714075 WITH SCORE 1727350.154
AT ITER 1574 NEW BEST:: SOT 35905350 SOS 13275409 HAS SOPS 13275409 HAS SOUS 1713723 HAS SOUPS 1713723 WITH SCORE 1726998.409
AT ITER 1602 NEW BEST:: SOT 35905271 SOS 13275488 HAS SOPS 13275488 HAS SOUS 1713639 HAS SOUPS 1713639 WITH SCORE 1726914.488
AT ITER 1628 NEW BEST:: SOT 35905027 SOS 13275244 HAS SOPS 13275244 HAS SOUS 1713273 HAS SOUPS 1713273 WITH SCORE 1726548.244
AT ITER 1645 NEW BEST:: SOT 35905027 SOS 13274940 HAS SOPS 13274940 HAS SOUS 1712969 HAS SOUPS 1712969 WITH SCORE 1726243.94
AT ITER 1650 NEW BEST:: SOT 35905027 SOS 13274940 HAS SOPS 13274940 HAS SOUS 1712850 HAS SOUPS 1712850 WITH SCORE 1726124.94
AT ITER 1658 NEW BEST:: SOT 35904892 SOS 13274810 HAS SOPS 13274810 HAS SOUS 1712720 HAS SOUPS 1712720 WITH SCORE 1725994.81
AT ITER 1659 NEW BEST:: SOT 35905001 SOS 13274577 HAS SOPS 13274577 HAS SOUS 1712487 HAS SOUPS 1712487 WITH SCORE 1725761.577
AT ITER 1660 NEW BEST:: SOT 35905083 SOS 13274741 HAS SOPS 13274741 HAS SOUS 1712340 HAS SOUPS 1712340 WITH SCORE 1725614.741
AT ITER 1687 NEW BEST:: SOT 35905083 SOS 13274731 HAS SOPS 13274731 HAS SOUS 1712335 HAS SOUPS 1712335 WITH SCORE 1725609.731
AT ITER 1688 NEW BEST:: SOT 35904415 SOS 13273850 HAS SOPS 13273850 HAS SOUS 1711667 HAS SOUPS 1711667 WITH SCORE 1724940.85
AT ITER 1699 NEW BEST:: SOT 35904415 SOS 13273850 HAS SOPS 13273850 HAS SOUS 1711425 HAS SOUPS 1711425 WITH SCORE 1724698.85
AT ITER 1700 NEW BEST:: SOT 35903804 SOS 13247708 HAS SOPS 13247708 HAS SOUS 1710663 HAS SOUPS 1710663 WITH SCORE 1723910.708
AT ITER 1709 NEW BEST:: SOT 35903430 SOS 13246960 HAS SOPS 13246960 HAS SOUS 1710243 HAS SOUPS 1710243 WITH SCORE 1723489.96
AT ITER 1711 NEW BEST:: SOT 35902757 SOS 13246671 HAS SOPS 13246671 HAS SOUS 1709187 HAS SOUPS 1709187 WITH SCORE 1722433.671
AT ITER 1717 NEW BEST:: SOT 35902658 SOS 13246419 HAS SOPS 13246419 HAS SOUS 1708930 HAS SOUPS 1708930 WITH SCORE 1722176.419
AT ITER 1731 NEW BEST:: SOT 35898629 SOS 13242075 HAS SOPS 13242075 HAS SOUS 1704586 HAS SOUPS 1704586 WITH SCORE 1717828.075
AT ITER 1740 NEW BEST:: SOT 35898629 SOS 13242075 HAS SOPS 13242075 HAS SOUS 1704499 HAS SOUPS 1704499 WITH SCORE 1717741.075
AT ITER 1744 NEW BEST:: SOT 35898642 SOS 13242101 HAS SOPS 13242101 HAS SOUS 1704492 HAS SOUPS 1704492 WITH SCORE 1717734.101
AT ITER 1763 NEW BEST:: SOT 35898648 SOS 13241805 HAS SOPS 13241805 HAS SOUS 1703888 HAS SOUPS 1703888 WITH SCORE 1717129.805
AT ITER 1770 NEW BEST:: SOT 35898621 SOS 13241751 HAS SOPS 13241751 HAS SOUS 1703697 HAS SOUPS 1703697 WITH SCORE 1716938.751
AT ITER 1773 NEW BEST:: SOT 35898621 SOS 13241806 HAS SOPS 13241806 HAS SOUS 1703420 HAS SOUPS 1703420 WITH SCORE 1716661.806
AT ITER 1777 NEW BEST:: SOT 35896808 SOS 13240902 HAS SOPS 13240902 HAS SOUS 1702023 HAS SOUPS 1702023 WITH SCORE 1715263.902
AT ITER 1791 NEW BEST:: SOT 35896780 SOS 13240846 HAS SOPS 13240846 HAS SOUS 1701967 HAS SOUPS 1701967 WITH SCORE 1715207.846
AT ITER 1798 NEW BEST:: SOT 35895130 SOS 13240782 HAS SOPS 13240782 HAS SOUS 1700836 HAS SOUPS 1700836 WITH SCORE 1714076.782
AT ITER 1818 NEW BEST:: SOT 35895033 SOS 13240588 HAS SOPS 13240588 HAS SOUS 1700642 HAS SOUPS 1700642 WITH SCORE 1713882.588
AT ITER 1821 NEW BEST:: SOT 35894868 SOS 13240460 HAS SOPS 13240460 HAS SOUS 1700502 HAS SOUPS 1700502 WITH SCORE 1713742.46
AT ITER 1823 NEW BEST:: SOT 35894868 SOS 13240460 HAS SOPS 13240460 HAS SOUS 1700494 HAS SOUPS 1700494 WITH SCORE 1713734.46
AT ITER 1831 NEW BEST:: SOT 35891547 SOS 13250132 HAS SOPS 13250132 HAS SOUS 1697739 HAS SOUPS 1697739 WITH SCORE 1710989.132
AT ITER 1833 NEW BEST:: SOT 35889962 SOS 13252891 HAS SOPS 13252891 HAS SOUS 1696289 HAS SOUPS 1696289 WITH SCORE 1709541.891
AT ITER 1836 NEW BEST:: SOT 35889848 SOS 13252663 HAS SOPS 13252663 HAS SOUS 1696175 HAS SOUPS 1696175 WITH SCORE 1709427.663
AT ITER 1842 NEW BEST:: SOT 35889101 SOS 13255321 HAS SOPS 13255321 HAS SOUS 1695947 HAS SOUPS 1695947 WITH SCORE 1709202.321
AT ITER 1847 NEW BEST:: SOT 35888953 SOS 13255025 HAS SOPS 13255025 HAS SOUS 1695764 HAS SOUPS 1695764 WITH SCORE 1709019.025
AT ITER 1850 NEW BEST:: SOT 35888917 SOS 13254953 HAS SOPS 13254953 HAS SOUS 1695692 HAS SOUPS 1695692 WITH SCORE 1708946.953
AT ITER 1868 NEW BEST:: SOT 35888882 SOS 13254918 HAS SOPS 13254918 HAS SOUS 1695651 HAS SOUPS 1695651 WITH SCORE 1708905.918
AT ITER 1873 NEW BEST:: SOT 35888932 SOS 13256444 HAS SOPS 13256444 HAS SOUS 1695631 HAS SOUPS 1695631 WITH SCORE 1708887.444
AT ITER 1883 NEW BEST:: SOT 35888932 SOS 13256444 HAS SOPS 13256444 HAS SOUS 1695483 HAS SOUPS 1695483 WITH SCORE 1708739.444
AT ITER 1887 NEW BEST:: SOT 35888932 SOS 13256436 HAS SOPS 13256436 HAS SOUS 1695475 HAS SOUPS 1695475 WITH SCORE 1708731.436
AT ITER 1900 NEW BEST:: SOT 35888932 SOS 13256342 HAS SOPS 13256342 HAS SOUS 1695381 HAS SOUPS 1695381 WITH SCORE 1708637.342
AT ITER 1924 NEW BEST:: SOT 35888904 SOS 13257636 HAS SOPS 13257636 HAS SOUS 1695276 HAS SOUPS 1695276 WITH SCORE 1708533.636
AT ITER 1934 NEW BEST:: SOT 35887488 SOS 13256965 HAS SOPS 13256965 HAS SOUS 1695090 HAS SOUPS 1695090 WITH SCORE 1708346.965
AT ITER 1936 NEW BEST:: SOT 35887488 SOS 13256965 HAS SOPS 13256965 HAS SOUS 1695036 HAS SOUPS 1695036 WITH SCORE 1708292.965
AT ITER 1948 NEW BEST:: SOT 35887286 SOS 13256693 HAS SOPS 13256693 HAS SOUS 1694740 HAS SOUPS 1694740 WITH SCORE 1707996.693
AT ITER 1954 NEW BEST:: SOT 35887286 SOS 13256693 HAS SOPS 13256693 HAS SOUS 1694733 HAS SOUPS 1694733 WITH SCORE 1707989.693
AT ITER 1955 NEW BEST:: SOT 35887140 SOS 13256401 HAS SOPS 13256401 HAS SOUS 1694586 HAS SOUPS 1694586 WITH SCORE 1707842.401
AT ITER 1957 NEW BEST:: SOT 35887140 SOS 13256223 HAS SOPS 13256223 HAS SOUS 1694497 HAS SOUPS 1694497 WITH SCORE 1707753.223
AT ITER 1963 NEW BEST:: SOT 35887139 SOS 13256221 HAS SOPS 13256221 HAS SOUS 1694495 HAS SOUPS 1694495 WITH SCORE 1707751.221
AT ITER 1973 NEW BEST:: SOT 35885422 SOS 13260956 HAS SOPS 13260956 HAS SOUS 1693167 HAS SOUPS 1693167 WITH SCORE 1706427.956
AT ITER 1977 NEW BEST:: SOT 35885257 SOS 13260826 HAS SOPS 13260826 HAS SOUS 1693036 HAS SOUPS 1693036 WITH SCORE 1706296.826
AT ITER 1979 NEW BEST:: SOT 35883865 SOS 13258740 HAS SOPS 13258740 HAS SOUS 1691297 HAS SOUPS 1691297 WITH SCORE 1704555.74
AT ITER 1991 NEW BEST:: SOT 35883748 SOS 13258812 HAS SOPS 13258812 HAS SOUS 1691267 HAS SOUPS 1691267 WITH SCORE 1704525.812
AT ITER 2000 NEW BEST:: SOT 35883551 SOS 13258418 HAS SOPS 13258418 HAS SOUS 1690873 HAS SOUPS 1690873 WITH SCORE 1704131.418
AT ITER 2008 NEW BEST:: SOT 35883711 SOS 13258738 HAS SOPS 13258738 HAS SOUS 1690662 HAS SOUPS 1690662 WITH SCORE 1703920.738
AT ITER 2016 NEW BEST:: SOT 35883465 SOS 13258246 HAS SOPS 13258246 HAS SOUS 1690536 HAS SOUPS 1690536 WITH SCORE 1703794.246
AT ITER 2026 NEW BEST:: SOT 35882773 SOS 13294873 HAS SOPS 13294873 HAS SOUS 1690132 HAS SOUPS 1690132 WITH SCORE 1703426.873
AT ITER 2033 NEW BEST:: SOT 35882773 SOS 13294730 HAS SOPS 13294730 HAS SOUS 1689989 HAS SOUPS 1689989 WITH SCORE 1703283.73
AT ITER 2034 NEW BEST:: SOT 35882670 SOS 13295004 HAS SOPS 13295004 HAS SOUS 1689982 HAS SOUPS 1689982 WITH SCORE 1703277.004
AT ITER 2051 NEW BEST:: SOT 35882670 SOS 13294843 HAS SOPS 13294843 HAS SOUS 1689906 HAS SOUPS 1689906 WITH SCORE 1703200.843
AT ITER 2060 NEW BEST:: SOT 35882628 SOS 13294843 HAS SOPS 13294843 HAS SOUS 1689822 HAS SOUPS 1689822 WITH SCORE 1703116.843
AT ITER 2083 NEW BEST:: SOT 35876155 SOS 13378763 HAS SOPS 13378763 HAS SOUS 1688660 HAS SOUPS 1688660 WITH SCORE 1702038.763
AT ITER 2088 NEW BEST:: SOT 35874100 SOS 13402358 HAS SOPS 13402358 HAS SOUS 1688335 HAS SOUPS 1688335 WITH SCORE 1701737.358
AT ITER 2095 NEW BEST:: SOT 35874059 SOS 13402276 HAS SOPS 13402276 HAS SOUS 1688253 HAS SOUPS 1688253 WITH SCORE 1701655.276
AT ITER 2097 NEW BEST:: SOT 35874059 SOS 13402276 HAS SOPS 13402276 HAS SOUS 1688252 HAS SOUPS 1688252 WITH SCORE 1701654.276
AT ITER 2098 NEW BEST:: SOT 35873893 SOS 13401944 HAS SOPS 13401944 HAS SOUS 1687820 HAS SOUPS 1687820 WITH SCORE 1701221.944
AT ITER 2122 NEW BEST:: SOT 35873185 SOS 13401630 HAS SOPS 13401630 HAS SOUS 1687481 HAS SOUPS 1687481 WITH SCORE 1700882.63
AT ITER 2128 NEW BEST:: SOT 35873032 SOS 13401535 HAS SOPS 13401535 HAS SOUS 1687386 HAS SOUPS 1687386 WITH SCORE 1700787.535
AT ITER 2130 NEW BEST:: SOT 35872401 SOS 13400295 HAS SOPS 13400295 HAS SOUS 1572962 HAS SOUPS 1572962 WITH SCORE 1586362.295
AT ITER 2139 NEW BEST:: SOT 35872125 SOS 13402705 HAS SOPS 13402705 HAS SOUS 1572819 HAS SOUPS 1572819 WITH SCORE 1586221.705
AT ITER 2142 NEW BEST:: SOT 35871841 SOS 13402421 HAS SOPS 13402421 HAS SOUS 1572672 HAS SOUPS 1572672 WITH SCORE 1586074.421
AT ITER 2180 NEW BEST:: SOT 35871841 SOS 13402494 HAS SOPS 13402494 HAS SOUS 1572625 HAS SOUPS 1572625 WITH SCORE 1586027.494
AT ITER 2181 NEW BEST:: SOT 35871646 SOS 13401966 HAS SOPS 13401966 HAS SOUS 1572509 HAS SOUPS 1572509 WITH SCORE 1585910.966
AT ITER 2186 NEW BEST:: SOT 35871617 SOS 13401937 HAS SOPS 13401937 HAS SOUS 1572451 HAS SOUPS 1572451 WITH SCORE 1585852.937
AT ITER 2191 NEW BEST:: SOT 35871617 SOS 13401937 HAS SOPS 13401937 HAS SOUS 1572415 HAS SOUPS 1572415 WITH SCORE 1585816.937
AT ITER 2197 NEW BEST:: SOT 35871251 SOS 13401205 HAS SOPS 13401205 HAS SOUS 1571683 HAS SOUPS 1571683 WITH SCORE 1585084.205
AT ITER 2201 NEW BEST:: SOT 35870577 SOS 13401585 HAS SOPS 13401585 HAS SOUS 1571297 HAS SOUPS 1571297 WITH SCORE 1584698.585
AT ITER 2204 NEW BEST:: SOT 35870411 SOS 13401605 HAS SOPS 13401605 HAS SOUS 1571053 HAS SOUPS 1571053 WITH SCORE 1584454.605
AT ITER 2212 NEW BEST:: SOT 35870384 SOS 13401551 HAS SOPS 13401551 HAS SOUS 1571026 HAS SOUPS 1571026 WITH SCORE 1584427.551
AT ITER 2223 NEW BEST:: SOT 35870372 SOS 13401384 HAS SOPS 13401384 HAS SOUS 1570698 HAS SOUPS 1570698 WITH SCORE 1584099.384
AT ITER 2229 NEW BEST:: SOT 35870371 SOS 13401382 HAS SOPS 13401382 HAS SOUS 1570696 HAS SOUPS 1570696 WITH SCORE 1584097.382
AT ITER 2237 NEW BEST:: SOT 35870371 SOS 13401382 HAS SOPS 13401382 HAS SOUS 1570526 HAS SOUPS 1570526 WITH SCORE 1583927.382
AT ITER 2256 NEW BEST:: SOT 35870358 SOS 13401381 HAS SOPS 13401381 HAS SOUS 1570525 HAS SOUPS 1570525 WITH SCORE 1583926.381
AT ITER 2297 NEW BEST:: SOT 35870229 SOS 13401888 HAS SOPS 13401888 HAS SOUS 1570493 HAS SOUPS 1570493 WITH SCORE 1583894.888
AT ITER 2317 NEW BEST:: SOT 35869433 SOS 13401494 HAS SOPS 13401494 HAS SOUS 1570144 HAS SOUPS 1570144 WITH SCORE 1583545.494
AT ITER 2331 NEW BEST:: SOT 35869406 SOS 13401440 HAS SOPS 13401440 HAS SOUS 1570090 HAS SOUPS 1570090 WITH SCORE 1583491.44
AT ITER 2335 NEW BEST:: SOT 35869406 SOS 13401235 HAS SOPS 13401235 HAS SOUS 1569928 HAS SOUPS 1569928 WITH SCORE 1583329.235
AT ITER 2337 NEW BEST:: SOT 35869351 SOS 13401319 HAS SOPS 13401319 HAS SOUS 1569783 HAS SOUPS 1569783 WITH SCORE 1583184.319
AT ITER 2349 NEW BEST:: SOT 35869349 SOS 13401315 HAS SOPS 13401315 HAS SOUS 1569779 HAS SOUPS 1569779 WITH SCORE 1583180.315
AT ITER 2351 NEW BEST:: SOT 35869349 SOS 13401298 HAS SOPS 13401298 HAS SOUS 1569277 HAS SOUPS 1569277 WITH SCORE 1582678.298
AT ITER 2358 NEW BEST:: SOT 35869349 SOS 13401187 HAS SOPS 13401187 HAS SOUS 1569277 HAS SOUPS 1569277 WITH SCORE 1582678.187
AT ITER 2360 NEW BEST:: SOT 35869102 SOS 13401523 HAS SOPS 13401523 HAS SOUS 1569092 HAS SOUPS 1569092 WITH SCORE 1582493.523
AT ITER 2374 NEW BEST:: SOT 35868869 SOS 13401068 HAS SOPS 13401068 HAS SOUS 1569046 HAS SOUPS 1569046 WITH SCORE 1582447.068
AT ITER 2377 NEW BEST:: SOT 35867227 SOS 13399100 HAS SOPS 13399100 HAS SOUS 1567078 HAS SOUPS 1567078 WITH SCORE 1580477.1
AT ITER 2389 NEW BEST:: SOT 35866312 SOS 13398005 HAS SOPS 13398005 HAS SOUS 1566163 HAS SOUPS 1566163 WITH SCORE 1579561.005
AT ITER 2394 NEW BEST:: SOT 35866264 SOS 13397909 HAS SOPS 13397909 HAS SOUS 1566115 HAS SOUPS 1566115 WITH SCORE 1579512.909
AT ITER 2406 NEW BEST:: SOT 35866522 SOS 13398425 HAS SOPS 13398425 HAS SOUS 1566046 HAS SOUPS 1566046 WITH SCORE 1579444.425
AT ITER 2426 NEW BEST:: SOT 35866509 SOS 13398608 HAS SOPS 13398608 HAS SOUS 1566033 HAS SOUPS 1566033 WITH SCORE 1579431.608
AT ITER 2429 NEW BEST:: SOT 35866368 SOS 13377826 HAS SOPS 13377826 HAS SOUS 1565892 HAS SOUPS 1565892 WITH SCORE 1579269.826
AT ITER 2438 NEW BEST:: SOT 35866256 SOS 13377602 HAS SOPS 13377602 HAS SOUS 1565668 HAS SOUPS 1565668 WITH SCORE 1579045.602
AT ITER 2446 NEW BEST:: SOT 35865698 SOS 13376672 HAS SOPS 13376672 HAS SOUS 1564924 HAS SOUPS 1564924 WITH SCORE 1578300.672
AT ITER 2447 NEW BEST:: SOT 35865899 SOS 13376471 HAS SOPS 13376471 HAS SOUS 1564924 HAS SOUPS 1564924 WITH SCORE 1578300.471
AT ITER 2456 NEW BEST:: SOT 35865625 SOS 13377163 HAS SOPS 13377163 HAS SOUS 1564357 HAS SOUPS 1564357 WITH SCORE 1577734.163
AT ITER 2457 NEW BEST:: SOT 35865332 SOS 13376791 HAS SOPS 13376791 HAS SOUS 1564005 HAS SOUPS 1564005 WITH SCORE 1577381.791
AT ITER 2460 NEW BEST:: SOT 35863680 SOS 13375139 HAS SOPS 13375139 HAS SOUS 1562353 HAS SOUPS 1562353 WITH SCORE 1575728.139
AT ITER 2465 NEW BEST:: SOT 35863675 SOS 13375129 HAS SOPS 13375129 HAS SOUS 1562228 HAS SOUPS 1562228 WITH SCORE 1575603.129
AT ITER 2471 NEW BEST:: SOT 35863674 SOS 13375127 HAS SOPS 13375127 HAS SOUS 1562226 HAS SOUPS 1562226 WITH SCORE 1575601.127
AT ITER 2474 NEW BEST:: SOT 35863638 SOS 13375055 HAS SOPS 13375055 HAS SOUS 1562154 HAS SOUPS 1562154 WITH SCORE 1575529.055
AT ITER 2489 NEW BEST:: SOT 35862461 SOS 13373646 HAS SOPS 13373646 HAS SOUS 1560977 HAS SOUPS 1560977 WITH SCORE 1574350.646
AT ITER 2500 NEW BEST:: SOT 35862344 SOS 13374692 HAS SOPS 13374692 HAS SOUS 1560798 HAS SOUPS 1560798 WITH SCORE 1574172.692
AT ITER 2505 NEW BEST:: SOT 35861978 SOS 13374533 HAS SOPS 13374533 HAS SOUS 1560439 HAS SOUPS 1560439 WITH SCORE 1573813.533
AT ITER 2510 NEW BEST:: SOT 35861907 SOS 13375057 HAS SOPS 13375057 HAS SOUS 1560368 HAS SOUPS 1560368 WITH SCORE 1573743.057
AT ITER 2518 NEW BEST:: SOT 35860365 SOS 13374814 HAS SOPS 13374814 HAS SOUS 1559263 HAS SOUPS 1559263 WITH SCORE 1572637.814
AT ITER 2520 NEW BEST:: SOT 35859842 SOS 13374833 HAS SOPS 13374833 HAS SOUS 1558479 HAS SOUPS 1558479 WITH SCORE 1571853.833
AT ITER 2524 NEW BEST:: SOT 35858556 SOS 13375255 HAS SOPS 13375255 HAS SOUS 1557358 HAS SOUPS 1557358 WITH SCORE 1570733.255
AT ITER 2547 NEW BEST:: SOT 35851471 SOS 13455856 HAS SOPS 13455856 HAS SOUS 1553832 HAS SOUPS 1553832 WITH SCORE 1567287.856
AT ITER 2561 NEW BEST:: SOT 35851258 SOS 13455653 HAS SOPS 13455653 HAS SOUS 1552379 HAS SOUPS 1552379 WITH SCORE 1565834.653
AT ITER 2568 NEW BEST:: SOT 35848719 SOS 13453450 HAS SOPS 13453450 HAS SOUS 1549732 HAS SOUPS 1549732 WITH SCORE 1563185.45
AT ITER 2569 NEW BEST:: SOT 35848719 SOS 13453635 HAS SOPS 13453635 HAS SOUS 1549702 HAS SOUPS 1549702 WITH SCORE 1563155.635
AT ITER 2576 NEW BEST:: SOT 35848632 SOS 13453159 HAS SOPS 13453159 HAS SOUS 1549614 HAS SOUPS 1549614 WITH SCORE 1563067.159
AT ITER 2585 NEW BEST:: SOT 35848741 SOS 13453177 HAS SOPS 13453177 HAS SOUS 1549523 HAS SOUPS 1549523 WITH SCORE 1562976.177
AT ITER 2588 NEW BEST:: SOT 35848741 SOS 13452961 HAS SOPS 13452961 HAS SOUS 1549520 HAS SOUPS 1549520 WITH SCORE 1562972.961
AT ITER 2600 NEW BEST:: SOT 35848695 SOS 13452973 HAS SOPS 13452973 HAS SOUS 1549474 HAS SOUPS 1549474 WITH SCORE 1562926.973
AT ITER 2601 NEW BEST:: SOT 35848588 SOS 13452886 HAS SOPS 13452886 HAS SOUS 1549190 HAS SOUPS 1549190 WITH SCORE 1562642.886
AT ITER 2603 NEW BEST:: SOT 35848197 SOS 13452462 HAS SOPS 13452462 HAS SOUS 1549029 HAS SOUPS 1549029 WITH SCORE 1562481.462
AT ITER 2652 NEW BEST:: SOT 35848197 SOS 13452721 HAS SOPS 13452721 HAS SOUS 1548999 HAS SOUPS 1548999 WITH SCORE 1562451.721
AT ITER 2660 NEW BEST:: SOT 35848128 SOS 13452652 HAS SOPS 13452652 HAS SOUS 1548861 HAS SOUPS 1548861 WITH SCORE 1562313.652
AT ITER 2677 NEW BEST:: SOT 35848127 SOS 13452650 HAS SOPS 13452650 HAS SOUS 1548853 HAS SOUPS 1548853 WITH SCORE 1562305.65
AT ITER 2678 NEW BEST:: SOT 35848127 SOS 13452650 HAS SOPS 13452650 HAS SOUS 1548665 HAS SOUPS 1548665 WITH SCORE 1562117.65
AT ITER 2685 NEW BEST:: SOT 35848097 SOS 13452620 HAS SOPS 13452620 HAS SOUS 1548665 HAS SOUPS 1548665 WITH SCORE 1562117.62
AT ITER 2686 NEW BEST:: SOT 35848109 SOS 13452632 HAS SOPS 13452632 HAS SOUS 1548653 HAS SOUPS 1548653 WITH SCORE 1562105.632
AT ITER 2703 NEW BEST:: SOT 35847926 SOS 13452266 HAS SOPS 13452266 HAS SOUS 1548482 HAS SOUPS 1548482 WITH SCORE 1561934.266
AT ITER 2726 NEW BEST:: SOT 35847926 SOS 13452251 HAS SOPS 13452251 HAS SOUS 1548482 HAS SOUPS 1548482 WITH SCORE 1561934.251
AT ITER 2729 NEW BEST:: SOT 35847951 SOS 13451976 HAS SOPS 13451976 HAS SOUS 1548207 HAS SOUPS 1548207 WITH SCORE 1561658.976
AT ITER 2733 NEW BEST:: SOT 35847154 SOS 13451402 HAS SOPS 13451402 HAS SOUS 1547653 HAS SOUPS 1547653 WITH SCORE 1561104.402
AT ITER 2735 NEW BEST:: SOT 35847074 SOS 13451322 HAS SOPS 13451322 HAS SOUS 1547605 HAS SOUPS 1547605 WITH SCORE 1561056.322
AT ITER 2751 NEW BEST:: SOT 35846722 SOS 13451562 HAS SOPS 13451562 HAS SOUS 1547032 HAS SOUPS 1547032 WITH SCORE 1560483.562
AT ITER 2755 NEW BEST:: SOT 35846722 SOS 13451520 HAS SOPS 13451520 HAS SOUS 1547032 HAS SOUPS 1547032 WITH SCORE 1560483.52
AT ITER 2768 NEW BEST:: SOT 35846783 SOS 13451520 HAS SOPS 13451520 HAS SOUS 1546910 HAS SOUPS 1546910 WITH SCORE 1560361.52
AT ITER 2792 NEW BEST:: SOT 35846781 SOS 13451514 HAS SOPS 13451514 HAS SOUS 1546906 HAS SOUPS 1546906 WITH SCORE 1560357.514
AT ITER 2806 NEW BEST:: SOT 35846599 SOS 13451150 HAS SOPS 13451150 HAS SOUS 1546542 HAS SOUPS 1546542 WITH SCORE 1559993.15
AT ITER 2807 NEW BEST:: SOT 35846574 SOS 13451100 HAS SOPS 13451100 HAS SOUS 1546542 HAS SOUPS 1546542 WITH SCORE 1559993.1
AT ITER 2817 NEW BEST:: SOT 35846607 SOS 13451084 HAS SOPS 13451084 HAS SOUS 1545934 HAS SOUPS 1545934 WITH SCORE 1559385.084
AT ITER 2819 NEW BEST:: SOT 35846771 SOS 13450957 HAS SOPS 13450957 HAS SOUS 1545807 HAS SOUPS 1545807 WITH SCORE 1559257.957
AT ITER 2820 NEW BEST:: SOT 35846582 SOS 13450012 HAS SOPS 13450012 HAS SOUS 1545087 HAS SOUPS 1545087 WITH SCORE 1558537.012
AT ITER 2852 NEW BEST:: SOT 35846311 SOS 13449986 HAS SOPS 13449986 HAS SOUS 1544816 HAS SOUPS 1544816 WITH SCORE 1558265.986
AT ITER 2853 NEW BEST:: SOT 35845923 SOS 13449210 HAS SOPS 13449210 HAS SOUS 1544698 HAS SOUPS 1544698 WITH SCORE 1558147.21
AT ITER 2861 NEW BEST:: SOT 35845698 SOS 13448760 HAS SOPS 13448760 HAS SOUS 1544447 HAS SOUPS 1544447 WITH SCORE 1557895.76
AT ITER 2870 NEW BEST:: SOT 35845609 SOS 13448356 HAS SOPS 13448356 HAS SOUS 1544043 HAS SOUPS 1544043 WITH SCORE 1557491.356
AT ITER 2878 NEW BEST:: SOT 35845416 SOS 13447970 HAS SOPS 13447970 HAS SOUS 1543657 HAS SOUPS 1543657 WITH SCORE 1557104.97
AT ITER 2880 NEW BEST:: SOT 35844865 SOS 13448593 HAS SOPS 13448593 HAS SOUS 1543652 HAS SOUPS 1543652 WITH SCORE 1557100.593
AT ITER 2936 NEW BEST:: SOT 35844788 SOS 13448682 HAS SOPS 13448682 HAS SOUS 1543575 HAS SOUPS 1543575 WITH SCORE 1557023.682
AT ITER 2944 NEW BEST:: SOT 35844846 SOS 13448621 HAS SOPS 13448621 HAS SOUS 1543464 HAS SOUPS 1543464 WITH SCORE 1556912.621
AT ITER 2947 NEW BEST:: SOT 35844623 SOS 13448565 HAS SOPS 13448565 HAS SOUS 1543436 HAS SOUPS 1543436 WITH SCORE 1556884.565
AT ITER 2950 NEW BEST:: SOT 35844631 SOS 13448542 HAS SOPS 13448542 HAS SOUS 1543413 HAS SOUPS 1543413 WITH SCORE 1556861.542
AT ITER 2972 NEW BEST:: SOT 35844547 SOS 13448374 HAS SOPS 13448374 HAS SOUS 1543244 HAS SOUPS 1543244 WITH SCORE 1556692.374
AT ITER 2980 NEW BEST:: SOT 35844547 SOS 13448374 HAS SOPS 13448374 HAS SOUS 1543232 HAS SOUPS 1543232 WITH SCORE 1556680.374
AT ITER 2988 NEW BEST:: SOT 35841364 SOS 13448457 HAS SOPS 13448457 HAS SOUS 1541448 HAS SOUPS 1541448 WITH SCORE 1554896.457
AT ITER 3005 NEW BEST:: SOT 35841363 SOS 13448455 HAS SOPS 13448455 HAS SOUS 1541446 HAS SOUPS 1541446 WITH SCORE 1554894.455
AT ITER 3030 NEW BEST:: SOT 35841363 SOS 13448455 HAS SOPS 13448455 HAS SOUS 1541336 HAS SOUPS 1541336 WITH SCORE 1554784.455
AT ITER 3053 NEW BEST:: SOT 35841428 SOS 13448417 HAS SOPS 13448417 HAS SOUS 1541298 HAS SOUPS 1541298 WITH SCORE 1554746.417
AT ITER 3057 NEW BEST:: SOT 35841291 SOS 13448280 HAS SOPS 13448280 HAS SOUS 1541161 HAS SOUPS 1541161 WITH SCORE 1554609.28
AT ITER 3074 NEW BEST:: SOT 35841291 SOS 13448280 HAS SOPS 13448280 HAS SOUS 1540921 HAS SOUPS 1540921 WITH SCORE 1554369.28
AT ITER 3082 NEW BEST:: SOT 35841258 SOS 13448247 HAS SOPS 13448247 HAS SOUS 1540888 HAS SOUPS 1540888 WITH SCORE 1554336.247
AT ITER 3087 NEW BEST:: SOT 35841303 SOS 13449821 HAS SOPS 13449821 HAS SOUS 1540851 HAS SOUPS 1540851 WITH SCORE 1554300.821
AT ITER 3099 NEW BEST:: SOT 35841232 SOS 13449750 HAS SOPS 13449750 HAS SOUS 1540753 HAS SOUPS 1540753 WITH SCORE 1554202.75
AT ITER 3158 NEW BEST:: SOT 35839553 SOS 13452371 HAS SOPS 13452371 HAS SOUS 1539111 HAS SOUPS 1539111 WITH SCORE 1552563.371
AT ITER 3168 NEW BEST:: SOT 35839481 SOS 13452203 HAS SOPS 13452203 HAS SOUS 1539039 HAS SOUPS 1539039 WITH SCORE 1552491.203
AT ITER 3184 NEW BEST:: SOT 35839449 SOS 13452139 HAS SOPS 13452139 HAS SOUS 1538965 HAS SOUPS 1538965 WITH SCORE 1552417.139
AT ITER 3185 NEW BEST:: SOT 35839449 SOS 13451870 HAS SOPS 13451870 HAS SOUS 1538888 HAS SOUPS 1538888 WITH SCORE 1552339.87
AT ITER 3201 NEW BEST:: SOT 35839361 SOS 13451694 HAS SOPS 13451694 HAS SOUS 1538840 HAS SOUPS 1538840 WITH SCORE 1552291.694
AT ITER 3228 NEW BEST:: SOT 35838544 SOS 13451228 HAS SOPS 13451228 HAS SOUS 1538024 HAS SOUPS 1538024 WITH SCORE 1551475.228
AT ITER 3231 NEW BEST:: SOT 35838272 SOS 13450641 HAS SOPS 13450641 HAS SOUS 1536965 HAS SOUPS 1536965 WITH SCORE 1550415.641
AT ITER 3245 NEW BEST:: SOT 35838201 SOS 13450499 HAS SOPS 13450499 HAS SOUS 1536894 HAS SOUPS 1536894 WITH SCORE 1550344.499
AT ITER 3294 NEW BEST:: SOT 35838112 SOS 13450410 HAS SOPS 13450410 HAS SOUS 1536893 HAS SOUPS 1536893 WITH SCORE 1550343.41
AT ITER 3310 NEW BEST:: SOT 35838112 SOS 13450410 HAS SOPS 13450410 HAS SOUS 1536813 HAS SOUPS 1536813 WITH SCORE 1550263.41
AT ITER 3315 NEW BEST:: SOT 35838110 SOS 13450408 HAS SOPS 13450408 HAS SOUS 1536813 HAS SOUPS 1536813 WITH SCORE 1550263.408
AT ITER 3317 NEW BEST:: SOT 35838170 SOS 13450629 HAS SOPS 13450629 HAS SOUS 1498124 HAS SOUPS 1498124 WITH SCORE 1511574.629
AT ITER 3323 NEW BEST:: SOT 35838620 SOS 13451529 HAS SOPS 13451529 HAS SOUS 1497944 HAS SOUPS 1497944 WITH SCORE 1511395.529
AT ITER 3357 NEW BEST:: SOT 35838620 SOS 13451981 HAS SOPS 13451981 HAS SOUS 1497925 HAS SOUPS 1497925 WITH SCORE 1511376.981
AT ITER 3362 NEW BEST:: SOT 35838491 SOS 13451723 HAS SOPS 13451723 HAS SOUS 1497667 HAS SOUPS 1497667 WITH SCORE 1511118.723
AT ITER 3369 NEW BEST:: SOT 35838491 SOS 13451932 HAS SOPS 13451932 HAS SOUS 1497666 HAS SOUPS 1497666 WITH SCORE 1511117.932
AT ITER 3370 NEW BEST:: SOT 35838491 SOS 13451932 HAS SOPS 13451932 HAS SOUS 1497364 HAS SOUPS 1497364 WITH SCORE 1510815.932
AT ITER 3373 NEW BEST:: SOT 35838413 SOS 13451854 HAS SOPS 13451854 HAS SOUS 1497286 HAS SOUPS 1497286 WITH SCORE 1510737.854
AT ITER 3380 NEW BEST:: SOT 35838406 SOS 13451839 HAS SOPS 13451839 HAS SOUS 1497219 HAS SOUPS 1497219 WITH SCORE 1510670.839
AT ITER 3388 NEW BEST:: SOT 35838318 SOS 13451751 HAS SOPS 13451751 HAS SOUS 1496907 HAS SOUPS 1496907 WITH SCORE 1510358.751
AT ITER 3399 NEW BEST:: SOT 35837959 SOS 13451375 HAS SOPS 13451375 HAS SOUS 1474002 HAS SOUPS 1474002 WITH SCORE 1487453.375
AT ITER 3411 NEW BEST:: SOT 35837573 SOS 13450603 HAS SOPS 13450603 HAS SOUS 1473365 HAS SOUPS 1473365 WITH SCORE 1486815.603
AT ITER 3415 NEW BEST:: SOT 35837091 SOS 13450275 HAS SOPS 13450275 HAS SOUS 1472671 HAS SOUPS 1472671 WITH SCORE 1486121.275
AT ITER 3421 NEW BEST:: SOT 35837178 SOS 13450369 HAS SOPS 13450369 HAS SOUS 1472655 HAS SOUPS 1472655 WITH SCORE 1486105.369
AT ITER 3428 NEW BEST:: SOT 35836939 SOS 13449891 HAS SOPS 13449891 HAS SOUS 1472353 HAS SOUPS 1472353 WITH SCORE 1485802.891
AT ITER 3441 NEW BEST:: SOT 35837032 SOS 13449815 HAS SOPS 13449815 HAS SOUS 1471997 HAS SOUPS 1471997 WITH SCORE 1485446.815
AT ITER 3446 NEW BEST:: SOT 35834860 SOS 13447235 HAS SOPS 13447235 HAS SOUS 1469585 HAS SOUPS 1469585 WITH SCORE 1483032.235
AT ITER 3463 NEW BEST:: SOT 35834587 SOS 13446753 HAS SOPS 13446753 HAS SOUS 1469111 HAS SOUPS 1469111 WITH SCORE 1482557.753
AT ITER 3467 NEW BEST:: SOT 35834437 SOS 13444591 HAS SOPS 13444591 HAS SOUS 1468515 HAS SOUPS 1468515 WITH SCORE 1481959.591
AT ITER 3502 NEW BEST:: SOT 35834296 SOS 13444309 HAS SOPS 13444309 HAS SOUS 1468373 HAS SOUPS 1468373 WITH SCORE 1481817.309
AT ITER 3516 NEW BEST:: SOT 35834184 SOS 13444141 HAS SOPS 13444141 HAS SOUS 1468205 HAS SOUPS 1468205 WITH SCORE 1481649.141
AT ITER 3527 NEW BEST:: SOT 35833671 SOS 13443799 HAS SOPS 13443799 HAS SOUS 1467863 HAS SOUPS 1467863 WITH SCORE 1481306.799
AT ITER 3531 NEW BEST:: SOT 35833576 SOS 13443746 HAS SOPS 13443746 HAS SOUS 1467833 HAS SOUPS 1467833 WITH SCORE 1481276.746
AT ITER 3540 NEW BEST:: SOT 35833229 SOS 13443052 HAS SOPS 13443052 HAS SOUS 1467627 HAS SOUPS 1467627 WITH SCORE 1481070.052
AT ITER 3552 NEW BEST:: SOT 35833079 SOS 13442752 HAS SOPS 13442752 HAS SOUS 1467327 HAS SOUPS 1467327 WITH SCORE 1480769.752
AT ITER 3578 NEW BEST:: SOT 35833059 SOS 13442712 HAS SOPS 13442712 HAS SOUS 1467287 HAS SOUPS 1467287 WITH SCORE 1480729.712
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14688168 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16058856 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="CloudDeployment-PT-7b"
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 CloudDeployment-PT-7b, 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 r075-smll-167814401100456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-7b.tgz
mv CloudDeployment-PT-7b 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 ;