About the Execution of Smart+red for PermAdmissibility-PT-02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16170.695 | 3600000.00 | 3620095.00 | 17030.00 | [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.r267-smll-167863541900520.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 PermAdmissibility-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541900520
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 9.8K Feb 26 01:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 01:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 26 01:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 227K Feb 26 01:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 01:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 26 01:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 56K Feb 26 01:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 275K Feb 26 01:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 336K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678905582771
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=PermAdmissibility-PT-02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 18:39:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 18:39:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 18:39:46] [INFO ] Load time of PNML (sax parser for PT used): 229 ms
[2023-03-15 18:39:46] [INFO ] Transformed 168 places.
[2023-03-15 18:39:46] [INFO ] Transformed 592 transitions.
[2023-03-15 18:39:46] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 396 ms.
[2023-03-15 18:39:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 592 transitions and 3456 arcs took 14 ms.
Total runtime 474 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 02
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25596.326
AT ITER 3 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25518 HAS SOUPS 25518 WITH SCORE 25561.326
AT ITER 5 NEW BEST:: SOT 69830 SOS 43379 HAS SOPS 43379 HAS SOUS 25439 HAS SOUPS 25439 WITH SCORE 25482.379
AT ITER 6 NEW BEST:: SOT 69830 SOS 43379 HAS SOPS 43379 HAS SOUS 25434 HAS SOUPS 25434 WITH SCORE 25477.379
AT ITER 10 NEW BEST:: SOT 69830 SOS 43379 HAS SOPS 43379 HAS SOUS 25421 HAS SOUPS 25421 WITH SCORE 25464.379
AT ITER 24 NEW BEST:: SOT 69824 SOS 44273 HAS SOPS 44273 HAS SOUS 25296 HAS SOUPS 25296 WITH SCORE 25340.273
AT ITER 26 NEW BEST:: SOT 69824 SOS 44408 HAS SOPS 44408 HAS SOUS 25242 HAS SOUPS 25242 WITH SCORE 25286.408
AT ITER 29 NEW BEST:: SOT 69824 SOS 44408 HAS SOPS 44408 HAS SOUS 25108 HAS SOUPS 25108 WITH SCORE 25152.408
AT ITER 31 NEW BEST:: SOT 69688 SOS 44317 HAS SOPS 44317 HAS SOUS 25090 HAS SOUPS 25090 WITH SCORE 25134.317
AT ITER 51 NEW BEST:: SOT 69596 SOS 44329 HAS SOPS 44329 HAS SOUS 24888 HAS SOUPS 24888 WITH SCORE 24932.329
AT ITER 57 NEW BEST:: SOT 69689 SOS 46254 HAS SOPS 46254 HAS SOUS 24877 HAS SOUPS 24877 WITH SCORE 24923.254
AT ITER 59 NEW BEST:: SOT 69691 SOS 48608 HAS SOPS 48608 HAS SOUS 24858 HAS SOUPS 24858 WITH SCORE 24906.608
AT ITER 62 NEW BEST:: SOT 69691 SOS 48608 HAS SOPS 48608 HAS SOUS 24843 HAS SOUPS 24843 WITH SCORE 24891.608
AT ITER 77 NEW BEST:: SOT 69691 SOS 48608 HAS SOPS 48608 HAS SOUS 24650 HAS SOUPS 24650 WITH SCORE 24698.608
AT ITER 81 NEW BEST:: SOT 69599 SOS 48471 HAS SOPS 48471 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24693.471
AT ITER 83 NEW BEST:: SOT 69599 SOS 48471 HAS SOPS 48471 HAS SOUS 24580 HAS SOUPS 24580 WITH SCORE 24628.471
AT ITER 84 NEW BEST:: SOT 69542 SOS 48557 HAS SOPS 48557 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24511.557
AT ITER 88 NEW BEST:: SOT 69476 SOS 48800 HAS SOPS 48800 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24492.8
AT ITER 96 NEW BEST:: SOT 69476 SOS 48800 HAS SOPS 48800 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24448.8
AT ITER 112 NEW BEST:: SOT 69388 SOS 48712 HAS SOPS 48712 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24418.712
AT ITER 116 NEW BEST:: SOT 69388 SOS 49640 HAS SOPS 49640 HAS SOUS 24352 HAS SOUPS 24352 WITH SCORE 24401.64
AT ITER 123 NEW BEST:: SOT 69210 SOS 49677 HAS SOPS 49677 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24153.677
AT ITER 128 NEW BEST:: SOT 69210 SOS 50037 HAS SOPS 50037 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24124.037
AT ITER 134 NEW BEST:: SOT 69072 SOS 49954 HAS SOPS 49954 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23950.954
AT ITER 143 NEW BEST:: SOT 69072 SOS 49954 HAS SOPS 49954 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23934.954
AT ITER 156 NEW BEST:: SOT 69064 SOS 49946 HAS SOPS 49946 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23855.946
AT ITER 167 NEW BEST:: SOT 69064 SOS 49946 HAS SOPS 49946 HAS SOUS 23804 HAS SOUPS 23804 WITH SCORE 23853.946
AT ITER 174 NEW BEST:: SOT 68880 SOS 49195 HAS SOPS 49195 HAS SOUS 23702 HAS SOUPS 23702 WITH SCORE 23751.195
AT ITER 176 NEW BEST:: SOT 68851 SOS 49557 HAS SOPS 49557 HAS SOUS 23504 HAS SOUPS 23504 WITH SCORE 23553.557
AT ITER 181 NEW BEST:: SOT 68701 SOS 49407 HAS SOPS 49407 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23361.407
AT ITER 191 NEW BEST:: SOT 68615 SOS 49486 HAS SOPS 49486 HAS SOUS 23182 HAS SOUPS 23182 WITH SCORE 23231.486
AT ITER 194 NEW BEST:: SOT 68615 SOS 49458 HAS SOPS 49458 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23184.458
AT ITER 198 NEW BEST:: SOT 68605 SOS 49448 HAS SOPS 49448 HAS SOUS 23128 HAS SOUPS 23128 WITH SCORE 23177.448
AT ITER 212 NEW BEST:: SOT 68601 SOS 49444 HAS SOPS 49444 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22965.444
AT ITER 214 NEW BEST:: SOT 68595 SOS 49441 HAS SOPS 49441 HAS SOUS 22911 HAS SOUPS 22911 WITH SCORE 22960.441
AT ITER 222 NEW BEST:: SOT 68395 SOS 50257 HAS SOPS 50257 HAS SOUS 22791 HAS SOUPS 22791 WITH SCORE 22841.257
AT ITER 234 NEW BEST:: SOT 68451 SOS 51161 HAS SOPS 51161 HAS SOUS 22772 HAS SOUPS 22772 WITH SCORE 22823.161
AT ITER 241 NEW BEST:: SOT 68441 SOS 51151 HAS SOPS 51151 HAS SOUS 22772 HAS SOUPS 22772 WITH SCORE 22823.151
AT ITER 246 NEW BEST:: SOT 68401 SOS 51228 HAS SOPS 51228 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22810.228
AT ITER 254 NEW BEST:: SOT 68401 SOS 51228 HAS SOPS 51228 HAS SOUS 22745 HAS SOUPS 22745 WITH SCORE 22796.228
AT ITER 256 NEW BEST:: SOT 68289 SOS 50957 HAS SOPS 50957 HAS SOUS 22689 HAS SOUPS 22689 WITH SCORE 22739.957
AT ITER 266 NEW BEST:: SOT 68289 SOS 50957 HAS SOPS 50957 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22722.957
AT ITER 279 NEW BEST:: SOT 68032 SOS 50259 HAS SOPS 50259 HAS SOUS 22567 HAS SOUPS 22567 WITH SCORE 22617.259
AT ITER 286 NEW BEST:: SOT 68032 SOS 50259 HAS SOPS 50259 HAS SOUS 22550 HAS SOUPS 22550 WITH SCORE 22600.259
AT ITER 290 NEW BEST:: SOT 67959 SOS 50572 HAS SOPS 50572 HAS SOUS 22490 HAS SOUPS 22490 WITH SCORE 22540.572
AT ITER 292 NEW BEST:: SOT 67875 SOS 50602 HAS SOPS 50602 HAS SOUS 22469 HAS SOUPS 22469 WITH SCORE 22519.602
AT ITER 298 NEW BEST:: SOT 67784 SOS 51111 HAS SOPS 51111 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22372.111
AT ITER 308 NEW BEST:: SOT 67784 SOS 51111 HAS SOPS 51111 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22326.111
AT ITER 321 NEW BEST:: SOT 67726 SOS 51053 HAS SOPS 51053 HAS SOUS 22223 HAS SOUPS 22223 WITH SCORE 22274.053
AT ITER 336 NEW BEST:: SOT 67718 SOS 51045 HAS SOPS 51045 HAS SOUS 22218 HAS SOUPS 22218 WITH SCORE 22269.045
AT ITER 338 NEW BEST:: SOT 67809 SOS 51584 HAS SOPS 51584 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22264.584
AT ITER 341 NEW BEST:: SOT 67733 SOS 51526 HAS SOPS 51526 HAS SOUS 22146 HAS SOUPS 22146 WITH SCORE 22197.526
AT ITER 347 NEW BEST:: SOT 67733 SOS 51526 HAS SOPS 51526 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22171.526
AT ITER 351 NEW BEST:: SOT 67701 SOS 51494 HAS SOPS 51494 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21928.494
AT ITER 357 NEW BEST:: SOT 67701 SOS 51494 HAS SOPS 51494 HAS SOUS 21867 HAS SOUPS 21867 WITH SCORE 21918.494
AT ITER 366 NEW BEST:: SOT 67701 SOS 51494 HAS SOPS 51494 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21893.494
AT ITER 376 NEW BEST:: SOT 67707 SOS 51500 HAS SOPS 51500 HAS SOUS 21819 HAS SOUPS 21819 WITH SCORE 21870.5
AT ITER 381 NEW BEST:: SOT 67693 SOS 51478 HAS SOPS 51478 HAS SOUS 21809 HAS SOUPS 21809 WITH SCORE 21860.478
AT ITER 384 NEW BEST:: SOT 67693 SOS 51478 HAS SOPS 51478 HAS SOUS 21787 HAS SOUPS 21787 WITH SCORE 21838.478
AT ITER 388 NEW BEST:: SOT 67613 SOS 51553 HAS SOPS 51553 HAS SOUS 21695 HAS SOUPS 21695 WITH SCORE 21746.553
AT ITER 389 NEW BEST:: SOT 67616 SOS 51556 HAS SOPS 51556 HAS SOUS 21686 HAS SOUPS 21686 WITH SCORE 21737.556
AT ITER 392 NEW BEST:: SOT 67502 SOS 51112 HAS SOPS 51112 HAS SOUS 21615 HAS SOUPS 21615 WITH SCORE 21666.112
AT ITER 397 NEW BEST:: SOT 67502 SOS 51112 HAS SOPS 51112 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21603.112
AT ITER 402 NEW BEST:: SOT 67502 SOS 51112 HAS SOPS 51112 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21591.112
AT ITER 406 NEW BEST:: SOT 67591 SOS 52609 HAS SOPS 52609 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21499.609
AT ITER 415 NEW BEST:: SOT 67478 SOS 52614 HAS SOPS 52614 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21416.614
AT ITER 443 NEW BEST:: SOT 67389 SOS 52513 HAS SOPS 52513 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21331.513
AT ITER 451 NEW BEST:: SOT 67202 SOS 52326 HAS SOPS 52326 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21195.326
AT ITER 456 NEW BEST:: SOT 67202 SOS 52326 HAS SOPS 52326 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21185.326
AT ITER 458 NEW BEST:: SOT 66972 SOS 52415 HAS SOPS 52415 HAS SOUS 20958 HAS SOUPS 20958 WITH SCORE 21010.415
AT ITER 482 NEW BEST:: SOT 66758 SOS 52201 HAS SOPS 52201 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20923.201
AT ITER 487 NEW BEST:: SOT 66627 SOS 52070 HAS SOPS 52070 HAS SOUS 20685 HAS SOUPS 20685 WITH SCORE 20737.07
AT ITER 497 NEW BEST:: SOT 66627 SOS 52075 HAS SOPS 52075 HAS SOUS 20680 HAS SOUPS 20680 WITH SCORE 20732.075
AT ITER 501 NEW BEST:: SOT 66627 SOS 51683 HAS SOPS 51683 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20730.683
AT ITER 506 NEW BEST:: SOT 66627 SOS 51683 HAS SOPS 51683 HAS SOUS 20648 HAS SOUPS 20648 WITH SCORE 20699.683
AT ITER 516 NEW BEST:: SOT 66627 SOS 51683 HAS SOPS 51683 HAS SOUS 20641 HAS SOUPS 20641 WITH SCORE 20692.683
AT ITER 520 NEW BEST:: SOT 66627 SOS 51683 HAS SOPS 51683 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20691.683
AT ITER 523 NEW BEST:: SOT 66721 SOS 51777 HAS SOPS 51777 HAS SOUS 20604 HAS SOUPS 20604 WITH SCORE 20655.777
AT ITER 524 NEW BEST:: SOT 66644 SOS 51700 HAS SOPS 51700 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20580.7
AT ITER 540 NEW BEST:: SOT 66570 SOS 51626 HAS SOPS 51626 HAS SOUS 20452 HAS SOUPS 20452 WITH SCORE 20503.626
AT ITER 574 NEW BEST:: SOT 66570 SOS 51626 HAS SOPS 51626 HAS SOUS 20436 HAS SOUPS 20436 WITH SCORE 20487.626
AT ITER 579 NEW BEST:: SOT 66555 SOS 51615 HAS SOPS 51615 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20484.615
AT ITER 585 NEW BEST:: SOT 66545 SOS 51605 HAS SOPS 51605 HAS SOUS 20405 HAS SOUPS 20405 WITH SCORE 20456.605
AT ITER 620 NEW BEST:: SOT 66507 SOS 51567 HAS SOPS 51567 HAS SOUS 20353 HAS SOUPS 20353 WITH SCORE 20404.567
AT ITER 629 NEW BEST:: SOT 66385 SOS 51445 HAS SOPS 51445 HAS SOUS 20262 HAS SOUPS 20262 WITH SCORE 20313.445
AT ITER 630 NEW BEST:: SOT 66039 SOS 51029 HAS SOPS 51029 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20072.029
AT ITER 640 NEW BEST:: SOT 66032 SOS 51021 HAS SOPS 51021 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20064.021
AT ITER 662 NEW BEST:: SOT 65964 SOS 50953 HAS SOPS 50953 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20038.953
AT ITER 665 NEW BEST:: SOT 65964 SOS 50953 HAS SOPS 50953 HAS SOUS 19960 HAS SOUPS 19960 WITH SCORE 20010.953
AT ITER 689 NEW BEST:: SOT 66056 SOS 52780 HAS SOPS 52780 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19857.78
AT ITER 713 NEW BEST:: SOT 66034 SOS 52758 HAS SOPS 52758 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19692.758
AT ITER 737 NEW BEST:: SOT 65935 SOS 52659 HAS SOPS 52659 HAS SOUS 19573 HAS SOUPS 19573 WITH SCORE 19625.659
AT ITER 745 NEW BEST:: SOT 65935 SOS 52659 HAS SOPS 52659 HAS SOUS 19555 HAS SOUPS 19555 WITH SCORE 19607.659
AT ITER 751 NEW BEST:: SOT 65972 SOS 52696 HAS SOPS 52696 HAS SOUS 19488 HAS SOUPS 19488 WITH SCORE 19540.696
AT ITER 763 NEW BEST:: SOT 65972 SOS 52696 HAS SOPS 52696 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19536.696
AT ITER 780 NEW BEST:: SOT 65999 SOS 52723 HAS SOPS 52723 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19511.723
AT ITER 825 NEW BEST:: SOT 66031 SOS 52755 HAS SOPS 52755 HAS SOUS 19455 HAS SOUPS 19455 WITH SCORE 19507.755
AT ITER 830 NEW BEST:: SOT 66014 SOS 52738 HAS SOPS 52738 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19438.738
AT ITER 834 NEW BEST:: SOT 65998 SOS 52722 HAS SOPS 52722 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19414.722
AT ITER 848 NEW BEST:: SOT 65975 SOS 52699 HAS SOPS 52699 HAS SOUS 19310 HAS SOUPS 19310 WITH SCORE 19362.699
AT ITER 857 NEW BEST:: SOT 65975 SOS 52699 HAS SOPS 52699 HAS SOUS 19300 HAS SOUPS 19300 WITH SCORE 19352.699
AT ITER 861 NEW BEST:: SOT 65983 SOS 52707 HAS SOPS 52707 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19319.707
AT ITER 864 NEW BEST:: SOT 65987 SOS 52696 HAS SOPS 52696 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19313.696
AT ITER 877 NEW BEST:: SOT 65987 SOS 52696 HAS SOPS 52696 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19283.696
AT ITER 879 NEW BEST:: SOT 65989 SOS 52698 HAS SOPS 52698 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19279.698
AT ITER 889 NEW BEST:: SOT 65974 SOS 52683 HAS SOPS 52683 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19272.683
AT ITER 912 NEW BEST:: SOT 65974 SOS 52683 HAS SOPS 52683 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19265.683
AT ITER 927 NEW BEST:: SOT 65974 SOS 52683 HAS SOPS 52683 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19259.683
AT ITER 941 NEW BEST:: SOT 65974 SOS 52683 HAS SOPS 52683 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19229.683
AT ITER 1003 NEW BEST:: SOT 65974 SOS 52683 HAS SOPS 52683 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19187.683
AT ITER 1045 NEW BEST:: SOT 65947 SOS 52656 HAS SOPS 52656 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19176.656
AT ITER 1109 NEW BEST:: SOT 65975 SOS 57528 HAS SOPS 57528 HAS SOUS 19064 HAS SOUPS 19064 WITH SCORE 19121.528
AT ITER 1137 NEW BEST:: SOT 65975 SOS 57528 HAS SOPS 57528 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19111.528
AT ITER 1141 NEW BEST:: SOT 65975 SOS 59803 HAS SOPS 59803 HAS SOUS 19050 HAS SOUPS 19050 WITH SCORE 19109.803
AT ITER 1172 NEW BEST:: SOT 65949 SOS 59777 HAS SOPS 59777 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19084.777
AT ITER 1206 NEW BEST:: SOT 65759 SOS 59587 HAS SOPS 59587 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19045.587
AT ITER 1211 NEW BEST:: SOT 65759 SOS 59587 HAS SOPS 59587 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19040.587
AT ITER 1215 NEW BEST:: SOT 65745 SOS 59573 HAS SOPS 59573 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 19031.573
AT ITER 1224 NEW BEST:: SOT 65977 SOS 59805 HAS SOPS 59805 HAS SOUS 18949 HAS SOUPS 18949 WITH SCORE 19008.805
AT ITER 1244 NEW BEST:: SOT 65977 SOS 59805 HAS SOPS 59805 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 19004.805
AT ITER 1265 NEW BEST:: SOT 65971 SOS 59799 HAS SOPS 59799 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18978.799
AT ITER 1275 NEW BEST:: SOT 65955 SOS 59783 HAS SOPS 59783 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18962.783
AT ITER 1281 NEW BEST:: SOT 65955 SOS 59783 HAS SOPS 59783 HAS SOUS 18861 HAS SOUPS 18861 WITH SCORE 18920.783
AT ITER 1348 NEW BEST:: SOT 65957 SOS 59785 HAS SOPS 59785 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18915.785
AT ITER 1351 NEW BEST:: SOT 65886 SOS 59714 HAS SOPS 59714 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18844.714
AT ITER 1382 NEW BEST:: SOT 65886 SOS 59674 HAS SOPS 59674 HAS SOUS 18734 HAS SOUPS 18734 WITH SCORE 18793.674
AT ITER 1414 NEW BEST:: SOT 65877 SOS 59665 HAS SOPS 59665 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18781.665
AT ITER 1440 NEW BEST:: SOT 65859 SOS 59647 HAS SOPS 59647 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18758.647
AT ITER 1446 NEW BEST:: SOT 65861 SOS 59649 HAS SOPS 59649 HAS SOUS 18693 HAS SOUPS 18693 WITH SCORE 18752.649
AT ITER 1472 NEW BEST:: SOT 65855 SOS 59643 HAS SOPS 59643 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18746.643
AT ITER 1475 NEW BEST:: SOT 65855 SOS 59643 HAS SOPS 59643 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18708.643
AT ITER 1489 NEW BEST:: SOT 65855 SOS 59643 HAS SOPS 59643 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18684.643
AT ITER 1490 NEW BEST:: SOT 65819 SOS 59607 HAS SOPS 59607 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18639.607
AT ITER 1499 NEW BEST:: SOT 65799 SOS 59587 HAS SOPS 59587 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18619.587
AT ITER 1534 NEW BEST:: SOT 65838 SOS 59626 HAS SOPS 59626 HAS SOUS 18537 HAS SOUPS 18537 WITH SCORE 18596.626
AT ITER 1547 NEW BEST:: SOT 65838 SOS 59626 HAS SOPS 59626 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18566.626
AT ITER 1559 NEW BEST:: SOT 65820 SOS 59608 HAS SOPS 59608 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18564.608
AT ITER 1561 NEW BEST:: SOT 65820 SOS 59608 HAS SOPS 59608 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18553.608
AT ITER 1586 NEW BEST:: SOT 65792 SOS 59580 HAS SOPS 59580 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18501.58
AT ITER 1594 NEW BEST:: SOT 65790 SOS 59578 HAS SOPS 59578 HAS SOUS 18426 HAS SOUPS 18426 WITH SCORE 18485.578
AT ITER 1641 NEW BEST:: SOT 65790 SOS 59578 HAS SOPS 59578 HAS SOUS 18410 HAS SOUPS 18410 WITH SCORE 18469.578
AT ITER 1662 NEW BEST:: SOT 65694 SOS 59482 HAS SOPS 59482 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18296.482
AT ITER 1669 NEW BEST:: SOT 65694 SOS 59491 HAS SOPS 59491 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18287.491
AT ITER 1682 NEW BEST:: SOT 65694 SOS 60195 HAS SOPS 60195 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18277.195
AT ITER 1705 NEW BEST:: SOT 65782 SOS 60283 HAS SOPS 60283 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18255.283
AT ITER 1718 NEW BEST:: SOT 65664 SOS 60165 HAS SOPS 60165 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18206.165
AT ITER 1722 NEW BEST:: SOT 65652 SOS 60153 HAS SOPS 60153 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18196.153
AT ITER 1736 NEW BEST:: SOT 65642 SOS 60143 HAS SOPS 60143 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18192.143
AT ITER 1775 NEW BEST:: SOT 65658 SOS 60159 HAS SOPS 60159 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18187.159
AT ITER 1776 NEW BEST:: SOT 65658 SOS 60159 HAS SOPS 60159 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18184.159
AT ITER 1798 NEW BEST:: SOT 65658 SOS 60159 HAS SOPS 60159 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18171.159
AT ITER 1842 NEW BEST:: SOT 65658 SOS 60159 HAS SOPS 60159 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18161.159
AT ITER 1872 NEW BEST:: SOT 65658 SOS 60159 HAS SOPS 60159 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18153.159
AT ITER 1916 NEW BEST:: SOT 65652 SOS 60153 HAS SOPS 60153 HAS SOUS 18077 HAS SOUPS 18077 WITH SCORE 18137.153
AT ITER 1922 NEW BEST:: SOT 65652 SOS 58268 HAS SOPS 58268 HAS SOUS 18077 HAS SOUPS 18077 WITH SCORE 18135.268
AT ITER 1948 NEW BEST:: SOT 65652 SOS 58388 HAS SOPS 58388 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18132.388
AT ITER 1968 NEW BEST:: SOT 65652 SOS 58388 HAS SOPS 58388 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18068.388
AT ITER 1999 NEW BEST:: SOT 65637 SOS 58373 HAS SOPS 58373 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 18038.373
AT ITER 2021 NEW BEST:: SOT 65637 SOS 58381 HAS SOPS 58381 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18037.381
AT ITER 2029 NEW BEST:: SOT 65637 SOS 57597 HAS SOPS 57597 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18036.597
AT ITER 2091 NEW BEST:: SOT 65622 SOS 57582 HAS SOPS 57582 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17964.582
AT ITER 2152 NEW BEST:: SOT 65622 SOS 57582 HAS SOPS 57582 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17956.582
AT ITER 2154 NEW BEST:: SOT 65577 SOS 57537 HAS SOPS 57537 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17932.537
AT ITER 2202 NEW BEST:: SOT 65577 SOS 57537 HAS SOPS 57537 HAS SOUS 17865 HAS SOUPS 17865 WITH SCORE 17922.537
AT ITER 2286 NEW BEST:: SOT 65577 SOS 57537 HAS SOPS 57537 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17918.537
AT ITER 2328 NEW BEST:: SOT 65550 SOS 57510 HAS SOPS 57510 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17855.51
AT ITER 2371 NEW BEST:: SOT 65550 SOS 57510 HAS SOPS 57510 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17844.51
AT ITER 2376 NEW BEST:: SOT 65518 SOS 57478 HAS SOPS 57478 HAS SOUS 17755 HAS SOUPS 17755 WITH SCORE 17812.478
AT ITER 2405 NEW BEST:: SOT 65518 SOS 57478 HAS SOPS 57478 HAS SOUS 17737 HAS SOUPS 17737 WITH SCORE 17794.478
AT ITER 2406 NEW BEST:: SOT 65518 SOS 57558 HAS SOPS 57558 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17789.558
AT ITER 2415 NEW BEST:: SOT 65482 SOS 57522 HAS SOPS 57522 HAS SOUS 17718 HAS SOUPS 17718 WITH SCORE 17775.522
AT ITER 2418 NEW BEST:: SOT 65482 SOS 57522 HAS SOPS 57522 HAS SOUS 17710 HAS SOUPS 17710 WITH SCORE 17767.522
AT ITER 2504 NEW BEST:: SOT 65482 SOS 57330 HAS SOPS 57330 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17763.33
AT ITER 2549 NEW BEST:: SOT 65430 SOS 57278 HAS SOPS 57278 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17727.278
AT ITER 2573 NEW BEST:: SOT 65430 SOS 56398 HAS SOPS 56398 HAS SOUS 17668 HAS SOUPS 17668 WITH SCORE 17724.398
AT ITER 2622 NEW BEST:: SOT 65430 SOS 56398 HAS SOPS 56398 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17718.398
AT ITER 2641 NEW BEST:: SOT 65433 SOS 57577 HAS SOPS 57577 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17696.577
AT ITER 2658 NEW BEST:: SOT 65440 SOS 57584 HAS SOPS 57584 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17693.584
AT ITER 2690 NEW BEST:: SOT 65440 SOS 57232 HAS SOPS 57232 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17690.232
AT ITER 2717 NEW BEST:: SOT 65444 SOS 57236 HAS SOPS 57236 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17680.236
AT ITER 2739 NEW BEST:: SOT 65444 SOS 56916 HAS SOPS 56916 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17665.916
AT ITER 2782 NEW BEST:: SOT 65444 SOS 56856 HAS SOPS 56856 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17657.856
AT ITER 2787 NEW BEST:: SOT 65442 SOS 56854 HAS SOPS 56854 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17655.854
AT ITER 2804 NEW BEST:: SOT 65442 SOS 56918 HAS SOPS 56918 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17646.918
AT ITER 2834 NEW BEST:: SOT 65413 SOS 56889 HAS SOPS 56889 HAS SOUS 17575 HAS SOUPS 17575 WITH SCORE 17631.889
AT ITER 2838 NEW BEST:: SOT 65413 SOS 56889 HAS SOPS 56889 HAS SOUS 17568 HAS SOUPS 17568 WITH SCORE 17624.889
AT ITER 2841 NEW BEST:: SOT 65409 SOS 56885 HAS SOPS 56885 HAS SOUS 17565 HAS SOUPS 17565 WITH SCORE 17621.885
AT ITER 2876 NEW BEST:: SOT 65338 SOS 56814 HAS SOPS 56814 HAS SOUS 17502 HAS SOUPS 17502 WITH SCORE 17558.814
AT ITER 2921 NEW BEST:: SOT 65338 SOS 56814 HAS SOPS 56814 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17544.814
AT ITER 2988 NEW BEST:: SOT 65342 SOS 56818 HAS SOPS 56818 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17541.818
AT ITER 3025 NEW BEST:: SOT 65342 SOS 56818 HAS SOPS 56818 HAS SOUS 17464 HAS SOUPS 17464 WITH SCORE 17520.818
AT ITER 3033 NEW BEST:: SOT 65332 SOS 56808 HAS SOPS 56808 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17495.808
AT ITER 3080 NEW BEST:: SOT 65288 SOS 56764 HAS SOPS 56764 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17462.764
AT ITER 3181 NEW BEST:: SOT 65288 SOS 56765 HAS SOPS 56765 HAS SOUS 17405 HAS SOUPS 17405 WITH SCORE 17461.765
AT ITER 3232 NEW BEST:: SOT 65211 SOS 56496 HAS SOPS 56496 HAS SOUS 17360 HAS SOUPS 17360 WITH SCORE 17416.496
AT ITER 3275 NEW BEST:: SOT 65129 SOS 56414 HAS SOPS 56414 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17358.414
AT ITER 3331 NEW BEST:: SOT 65125 SOS 56410 HAS SOPS 56410 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17352.41
AT ITER 3350 NEW BEST:: SOT 65122 SOS 56407 HAS SOPS 56407 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17352.407
AT ITER 3351 NEW BEST:: SOT 65086 SOS 56371 HAS SOPS 56371 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17273.371
AT ITER 3353 NEW BEST:: SOT 65086 SOS 56371 HAS SOPS 56371 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17269.371
AT ITER 3357 NEW BEST:: SOT 65036 SOS 56321 HAS SOPS 56321 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17191.321
AT ITER 3393 NEW BEST:: SOT 65028 SOS 56313 HAS SOPS 56313 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17190.313
AT ITER 3423 NEW BEST:: SOT 65020 SOS 56305 HAS SOPS 56305 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17182.305
AT ITER 3465 NEW BEST:: SOT 65016 SOS 56301 HAS SOPS 56301 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17182.301
AT ITER 3491 NEW BEST:: SOT 64996 SOS 56281 HAS SOPS 56281 HAS SOUS 17108 HAS SOUPS 17108 WITH SCORE 17164.281
AT ITER 3509 NEW BEST:: SOT 65004 SOS 56513 HAS SOPS 56513 HAS SOUS 17089 HAS SOUPS 17089 WITH SCORE 17145.513
AT ITER 3510 NEW BEST:: SOT 65004 SOS 56513 HAS SOPS 56513 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17132.513
AT ITER 3514 NEW BEST:: SOT 65004 SOS 56457 HAS SOPS 56457 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17132.457
AT ITER 3516 NEW BEST:: SOT 64996 SOS 56449 HAS SOPS 56449 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17124.449
AT ITER 3559 NEW BEST:: SOT 64996 SOS 56445 HAS SOPS 56445 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17124.445
AT ITER 3564 NEW BEST:: SOT 64910 SOS 56359 HAS SOPS 56359 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17072.359
AT ITER 3678 NEW BEST:: SOT 64910 SOS 56254 HAS SOPS 56254 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17072.254
AT ITER 3858 NEW BEST:: SOT 64910 SOS 56546 HAS SOPS 56546 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17067.546
AT ITER 3884 NEW BEST:: SOT 64900 SOS 56536 HAS SOPS 56536 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17046.536
AT ITER 3903 NEW BEST:: SOT 64894 SOS 56530 HAS SOPS 56530 HAS SOUS 16984 HAS SOUPS 16984 WITH SCORE 17040.53
AT ITER 4046 NEW BEST:: SOT 64894 SOS 57058 HAS SOPS 57058 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17038.058
AT ITER 4103 NEW BEST:: SOT 64886 SOS 57050 HAS SOPS 57050 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 17022.05
AT ITER 4168 NEW BEST:: SOT 64874 SOS 57038 HAS SOPS 57038 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 17008.038
AT ITER 4199 NEW BEST:: SOT 64874 SOS 56670 HAS SOPS 56670 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 17007.67
AT ITER 4277 NEW BEST:: SOT 64838 SOS 56634 HAS SOPS 56634 HAS SOUS 16877 HAS SOUPS 16877 WITH SCORE 16933.634
AT ITER 4379 NEW BEST:: SOT 64822 SOS 56618 HAS SOPS 56618 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16917.618
AT ITER 4384 NEW BEST:: SOT 64816 SOS 56612 HAS SOPS 56612 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16910.612
AT ITER 4471 NEW BEST:: SOT 64804 SOS 56600 HAS SOPS 56600 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16883.6
AT ITER 4491 NEW BEST:: SOT 64798 SOS 56594 HAS SOPS 56594 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16883.594
AT ITER 4569 NEW BEST:: SOT 64783 SOS 56579 HAS SOPS 56579 HAS SOUS 16808 HAS SOUPS 16808 WITH SCORE 16864.579
AT ITER 4632 NEW BEST:: SOT 64801 SOS 56597 HAS SOPS 56597 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16857.597
AT ITER 4731 NEW BEST:: SOT 64801 SOS 56517 HAS SOPS 56517 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16856.517
AT ITER 4736 NEW BEST:: SOT 64796 SOS 56512 HAS SOPS 56512 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16835.512
AT ITER 4738 NEW BEST:: SOT 64786 SOS 56502 HAS SOPS 56502 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16822.502
AT ITER 4753 NEW BEST:: SOT 64784 SOS 56500 HAS SOPS 56500 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16818.5
AT ITER 4820 NEW BEST:: SOT 64784 SOS 56500 HAS SOPS 56500 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16814.5
AT ITER 4854 NEW BEST:: SOT 64787 SOS 56503 HAS SOPS 56503 HAS SOUS 16757 HAS SOUPS 16757 WITH SCORE 16813.503
AT ITER 4922 NEW BEST:: SOT 64753 SOS 56469 HAS SOPS 56469 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16733.469
AT ITER 4924 NEW BEST:: SOT 64753 SOS 56469 HAS SOPS 56469 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16727.469
AT ITER 5041 NEW BEST:: SOT 64753 SOS 57765 HAS SOPS 57765 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16722.765
AT ITER 5075 NEW BEST:: SOT 64753 SOS 57725 HAS SOPS 57725 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16722.725
AT ITER 5177 NEW BEST:: SOT 64753 SOS 58141 HAS SOPS 58141 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16701.141
AT ITER 5282 NEW BEST:: SOT 64750 SOS 58138 HAS SOPS 58138 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16693.138
AT ITER 5361 NEW BEST:: SOT 64750 SOS 57898 HAS SOPS 57898 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16692.898
AT ITER 5435 NEW BEST:: SOT 64764 SOS 57912 HAS SOPS 57912 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16690.912
AT ITER 5450 NEW BEST:: SOT 64744 SOS 57892 HAS SOPS 57892 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16668.892
AT ITER 5474 NEW BEST:: SOT 64744 SOS 57892 HAS SOPS 57892 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16663.892
AT ITER 5664 NEW BEST:: SOT 64750 SOS 57898 HAS SOPS 57898 HAS SOUS 16601 HAS SOUPS 16601 WITH SCORE 16658.898
AT ITER 5668 NEW BEST:: SOT 64676 SOS 57824 HAS SOPS 57824 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16523.824
AT ITER 5694 NEW BEST:: SOT 64672 SOS 57820 HAS SOPS 57820 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16523.82
AT ITER 5729 NEW BEST:: SOT 64674 SOS 57822 HAS SOPS 57822 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16517.822
AT ITER 5775 NEW BEST:: SOT 64658 SOS 57806 HAS SOPS 57806 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16513.806
AT ITER 5993 NEW BEST:: SOT 64642 SOS 57790 HAS SOPS 57790 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16452.79
AT ITER 6065 NEW BEST:: SOT 64618 SOS 57766 HAS SOPS 57766 HAS SOUS 16393 HAS SOUPS 16393 WITH SCORE 16450.766
AT ITER 6076 NEW BEST:: SOT 64618 SOS 57630 HAS SOPS 57630 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16447.63
AT ITER 6177 NEW BEST:: SOT 64615 SOS 57627 HAS SOPS 57627 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16439.627
AT ITER 6234 NEW BEST:: SOT 64610 SOS 57622 HAS SOPS 57622 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16438.622
AT ITER 6267 NEW BEST:: SOT 64605 SOS 57617 HAS SOPS 57617 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16422.617
AT ITER 6286 NEW BEST:: SOT 64526 SOS 57538 HAS SOPS 57538 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16332.538
AT ITER 6398 NEW BEST:: SOT 64522 SOS 57534 HAS SOPS 57534 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16325.534
AT ITER 6412 NEW BEST:: SOT 64522 SOS 56670 HAS SOPS 56670 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16321.67
AT ITER 6467 NEW BEST:: SOT 64526 SOS 56674 HAS SOPS 56674 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16319.674
AT ITER 6613 NEW BEST:: SOT 64526 SOS 56674 HAS SOPS 56674 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16317.674
AT ITER 6844 NEW BEST:: SOT 64526 SOS 56674 HAS SOPS 56674 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16316.674
AT ITER 6889 NEW BEST:: SOT 64526 SOS 56674 HAS SOPS 56674 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16300.674
AT ITER 6901 NEW BEST:: SOT 64511 SOS 56659 HAS SOPS 56659 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16285.659
AT ITER 7073 NEW BEST:: SOT 64511 SOS 56659 HAS SOPS 56659 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16281.659
AT ITER 7098 NEW BEST:: SOT 64479 SOS 56615 HAS SOPS 56615 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16245.615
AT ITER 7120 NEW BEST:: SOT 64476 SOS 56612 HAS SOPS 56612 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16245.612
AT ITER 7418 NEW BEST:: SOT 64480 SOS 56616 HAS SOPS 56616 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16237.616
AT ITER 7603 NEW BEST:: SOT 64471 SOS 56607 HAS SOPS 56607 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16213.607
AT ITER 7619 NEW BEST:: SOT 64473 SOS 56609 HAS SOPS 56609 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16211.609
AT ITER 7679 NEW BEST:: SOT 64473 SOS 56609 HAS SOPS 56609 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16210.609
AT ITER 7728 NEW BEST:: SOT 64471 SOS 56607 HAS SOPS 56607 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16210.607
AT ITER 7751 NEW BEST:: SOT 64453 SOS 56589 HAS SOPS 56589 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16196.589
AT ITER 7794 NEW BEST:: SOT 64453 SOS 56589 HAS SOPS 56589 HAS SOUS 16137 HAS SOUPS 16137 WITH SCORE 16193.589
AT ITER 7796 NEW BEST:: SOT 64453 SOS 56589 HAS SOPS 56589 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16185.589
AT ITER 7980 NEW BEST:: SOT 64453 SOS 56581 HAS SOPS 56581 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16185.581
AT ITER 8020 NEW BEST:: SOT 64445 SOS 56573 HAS SOPS 56573 HAS SOUS 16121 HAS SOUPS 16121 WITH SCORE 16177.573
AT ITER 8093 NEW BEST:: SOT 64410 SOS 56538 HAS SOPS 56538 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16166.538
AT ITER 8105 NEW BEST:: SOT 64410 SOS 56090 HAS SOPS 56090 HAS SOUS 16108 HAS SOUPS 16108 WITH SCORE 16164.09
AT ITER 8130 NEW BEST:: SOT 64362 SOS 56042 HAS SOPS 56042 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16100.042
AT ITER 8136 NEW BEST:: SOT 64362 SOS 56042 HAS SOPS 56042 HAS SOUS 16036 HAS SOUPS 16036 WITH SCORE 16092.042
AT ITER 8286 NEW BEST:: SOT 64361 SOS 56041 HAS SOPS 56041 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16087.041
AT ITER 8345 NEW BEST:: SOT 64345 SOS 56025 HAS SOPS 56025 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16064.025
AT ITER 8468 NEW BEST:: SOT 64345 SOS 55969 HAS SOPS 55969 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16063.969
AT ITER 8671 NEW BEST:: SOT 64329 SOS 55953 HAS SOPS 55953 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16055.953
AT ITER 8714 NEW BEST:: SOT 64321 SOS 55945 HAS SOPS 55945 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16047.945
AT ITER 8770 NEW BEST:: SOT 64321 SOS 55817 HAS SOPS 55817 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16047.817
AT ITER 8810 NEW BEST:: SOT 64382 SOS 55878 HAS SOPS 55878 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 16024.878
AT ITER 8860 NEW BEST:: SOT 64390 SOS 55886 HAS SOPS 55886 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 16022.886
AT ITER 9199 NEW BEST:: SOT 64386 SOS 55882 HAS SOPS 55882 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 16022.882
AT ITER 9238 NEW BEST:: SOT 64386 SOS 55882 HAS SOPS 55882 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 16020.882
AT ITER 9290 NEW BEST:: SOT 64386 SOS 55162 HAS SOPS 55162 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 16020.162
AT ITER 9341 NEW BEST:: SOT 64363 SOS 55139 HAS SOPS 55139 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 15997.139
AT ITER 9393 NEW BEST:: SOT 64359 SOS 55135 HAS SOPS 55135 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 15997.135
AT ITER 9396 NEW BEST:: SOT 64359 SOS 55111 HAS SOPS 55111 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 15997.111
AT ITER 9405 NEW BEST:: SOT 64359 SOS 55111 HAS SOPS 55111 HAS SOUS 15940 HAS SOUPS 15940 WITH SCORE 15995.111
AT ITER 9423 NEW BEST:: SOT 64363 SOS 55115 HAS SOPS 55115 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15993.115
AT ITER 9437 NEW BEST:: SOT 64363 SOS 55115 HAS SOPS 55115 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15989.115
AT ITER 9536 NEW BEST:: SOT 64376 SOS 55128 HAS SOPS 55128 HAS SOUS 15925 HAS SOUPS 15925 WITH SCORE 15980.128
AT ITER 9552 NEW BEST:: SOT 64369 SOS 55121 HAS SOPS 55121 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15965.121
AT ITER 9655 NEW BEST:: SOT 64384 SOS 55136 HAS SOPS 55136 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15964.136
AT ITER 9662 NEW BEST:: SOT 64384 SOS 55136 HAS SOPS 55136 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15949.136
AT ITER 9889 NEW BEST:: SOT 64384 SOS 55016 HAS SOPS 55016 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15949.016
AT ITER 9909 NEW BEST:: SOT 64392 SOS 55024 HAS SOPS 55024 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15945.024
AT ITER 9978 NEW BEST:: SOT 64388 SOS 55020 HAS SOPS 55020 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15944.02
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 161840 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16277344 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
Caught signal 15, terminating.
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="PermAdmissibility-PT-02"
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 PermAdmissibility-PT-02, 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 r267-smll-167863541900520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-02.tgz
mv PermAdmissibility-PT-02 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 ;