About the Execution of Smart+red for QuasiCertifProtocol-PT-18
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8794.399 | 3600000.00 | 3629838.00 | 14188.20 | [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.r299-tall-167873953600888.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 QuasiCertifProtocol-PT-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953600888
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 42K Feb 26 01:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 289K Feb 26 01:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 26 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 89K Feb 26 01:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 593K Feb 26 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 01:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 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 360K 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 1679561432734
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=QuasiCertifProtocol-PT-18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:50:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:50:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:50:34] [INFO ] Load time of PNML (sax parser for PT used): 81 ms
[2023-03-23 08:50:34] [INFO ] Transformed 1398 places.
[2023-03-23 08:50:34] [INFO ] Transformed 296 transitions.
[2023-03-23 08:50:34] [INFO ] Parsed PT model containing 1398 places and 296 transitions and 3119 arcs in 143 ms.
[2023-03-23 08:50:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1398 places, 296 transitions and 3119 arcs took 10 ms.
Total runtime 180 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 18
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: 1398 places, 296 transitions, 3119 arcs.
AT ITER 0 NEW BEST:: SOT 249103 SOS 184719 HAS SOPS 184719 HAS SOUS 154337 HAS SOUPS 154337 WITH SCORE 154521.719
AT ITER 34 NEW BEST:: SOT 249103 SOS 184443 HAS SOPS 184443 HAS SOUS 153922 HAS SOUPS 153922 WITH SCORE 154106.443
AT ITER 36 NEW BEST:: SOT 249103 SOS 184052 HAS SOPS 184052 HAS SOUS 153386 HAS SOUPS 153386 WITH SCORE 153570.052
AT ITER 62 NEW BEST:: SOT 249103 SOS 183340 HAS SOPS 183340 HAS SOUS 153114 HAS SOUPS 153114 WITH SCORE 153297.34
AT ITER 66 NEW BEST:: SOT 249256 SOS 183151 HAS SOPS 183151 HAS SOUS 152768 HAS SOUPS 152768 WITH SCORE 152951.151
AT ITER 75 NEW BEST:: SOT 249458 SOS 182839 HAS SOPS 182839 HAS SOUS 152328 HAS SOUPS 152328 WITH SCORE 152510.839
AT ITER 78 NEW BEST:: SOT 249444 SOS 182825 HAS SOPS 182825 HAS SOUS 152314 HAS SOUPS 152314 WITH SCORE 152496.825
AT ITER 83 NEW BEST:: SOT 249443 SOS 182824 HAS SOPS 182824 HAS SOUS 152313 HAS SOUPS 152313 WITH SCORE 152495.824
AT ITER 112 NEW BEST:: SOT 249405 SOS 182786 HAS SOPS 182786 HAS SOUS 152275 HAS SOUPS 152275 WITH SCORE 152457.786
AT ITER 115 NEW BEST:: SOT 249393 SOS 182774 HAS SOPS 182774 HAS SOUS 152263 HAS SOUPS 152263 WITH SCORE 152445.774
AT ITER 123 NEW BEST:: SOT 249378 SOS 182759 HAS SOPS 182759 HAS SOUS 152248 HAS SOUPS 152248 WITH SCORE 152430.759
AT ITER 124 NEW BEST:: SOT 249580 SOS 182538 HAS SOPS 182538 HAS SOUS 151883 HAS SOUPS 151883 WITH SCORE 152065.538
AT ITER 147 NEW BEST:: SOT 249590 SOS 182248 HAS SOPS 182248 HAS SOUS 151447 HAS SOUPS 151447 WITH SCORE 151629.248
AT ITER 152 NEW BEST:: SOT 249586 SOS 182244 HAS SOPS 182244 HAS SOUS 151443 HAS SOUPS 151443 WITH SCORE 151625.244
AT ITER 161 NEW BEST:: SOT 249599 SOS 182244 HAS SOPS 182244 HAS SOUS 151436 HAS SOUPS 151436 WITH SCORE 151618.244
AT ITER 165 NEW BEST:: SOT 249582 SOS 182227 HAS SOPS 182227 HAS SOUS 151419 HAS SOUPS 151419 WITH SCORE 151601.227
AT ITER 180 NEW BEST:: SOT 249546 SOS 182172 HAS SOPS 182172 HAS SOUS 151347 HAS SOUPS 151347 WITH SCORE 151529.172
AT ITER 205 NEW BEST:: SOT 249589 SOS 182009 HAS SOPS 182009 HAS SOUS 151025 HAS SOUPS 151025 WITH SCORE 151207.009
AT ITER 208 NEW BEST:: SOT 249589 SOS 182009 HAS SOPS 182009 HAS SOUS 151023 HAS SOUPS 151023 WITH SCORE 151205.009
AT ITER 217 NEW BEST:: SOT 249592 SOS 181992 HAS SOPS 181992 HAS SOUS 151006 HAS SOUPS 151006 WITH SCORE 151187.992
AT ITER 241 NEW BEST:: SOT 249666 SOS 181710 HAS SOPS 181710 HAS SOUS 150595 HAS SOUPS 150595 WITH SCORE 150776.71
AT ITER 268 NEW BEST:: SOT 249694 SOS 181710 HAS SOPS 181710 HAS SOUS 150587 HAS SOUPS 150587 WITH SCORE 150768.71
AT ITER 318 NEW BEST:: SOT 249694 SOS 181710 HAS SOPS 181710 HAS SOUS 150575 HAS SOUPS 150575 WITH SCORE 150756.71
AT ITER 322 NEW BEST:: SOT 249478 SOS 181494 HAS SOPS 181494 HAS SOUS 150359 HAS SOUPS 150359 WITH SCORE 150540.494
AT ITER 383 NEW BEST:: SOT 249478 SOS 181493 HAS SOPS 181493 HAS SOUS 150358 HAS SOUPS 150358 WITH SCORE 150539.493
AT ITER 394 NEW BEST:: SOT 249478 SOS 180412 HAS SOPS 180412 HAS SOUS 149869 HAS SOUPS 149869 WITH SCORE 150049.412
AT ITER 457 NEW BEST:: SOT 249460 SOS 180391 HAS SOPS 180391 HAS SOUS 149827 HAS SOUPS 149827 WITH SCORE 150007.391
AT ITER 459 NEW BEST:: SOT 249459 SOS 180390 HAS SOPS 180390 HAS SOUS 149826 HAS SOUPS 149826 WITH SCORE 150006.39
AT ITER 471 NEW BEST:: SOT 249444 SOS 180375 HAS SOPS 180375 HAS SOUS 149811 HAS SOUPS 149811 WITH SCORE 149991.375
AT ITER 479 NEW BEST:: SOT 249444 SOS 179288 HAS SOPS 179288 HAS SOUS 149227 HAS SOUPS 149227 WITH SCORE 149406.288
AT ITER 488 NEW BEST:: SOT 249444 SOS 178675 HAS SOPS 178675 HAS SOUS 149040 HAS SOUPS 149040 WITH SCORE 149218.675
AT ITER 524 NEW BEST:: SOT 249444 SOS 178178 HAS SOPS 178178 HAS SOUS 148920 HAS SOUPS 148920 WITH SCORE 149098.178
AT ITER 536 NEW BEST:: SOT 249564 SOS 178193 HAS SOPS 178193 HAS SOUS 148890 HAS SOUPS 148890 WITH SCORE 149068.193
AT ITER 579 NEW BEST:: SOT 249564 SOS 177177 HAS SOPS 177177 HAS SOUS 148441 HAS SOUPS 148441 WITH SCORE 148618.177
AT ITER 591 NEW BEST:: SOT 249679 SOS 177184 HAS SOPS 177184 HAS SOUS 148346 HAS SOUPS 148346 WITH SCORE 148523.184
AT ITER 605 NEW BEST:: SOT 249658 SOS 177164 HAS SOPS 177164 HAS SOUS 148297 HAS SOUPS 148297 WITH SCORE 148474.164
AT ITER 611 NEW BEST:: SOT 249658 SOS 177157 HAS SOPS 177157 HAS SOUS 148290 HAS SOUPS 148290 WITH SCORE 148467.157
AT ITER 637 NEW BEST:: SOT 249624 SOS 177123 HAS SOPS 177123 HAS SOUS 148256 HAS SOUPS 148256 WITH SCORE 148433.123
AT ITER 638 NEW BEST:: SOT 249624 SOS 177119 HAS SOPS 177119 HAS SOUS 148252 HAS SOUPS 148252 WITH SCORE 148429.119
AT ITER 655 NEW BEST:: SOT 249441 SOS 176936 HAS SOPS 176936 HAS SOUS 148069 HAS SOUPS 148069 WITH SCORE 148245.936
AT ITER 705 NEW BEST:: SOT 249441 SOS 175922 HAS SOPS 175922 HAS SOUS 147562 HAS SOUPS 147562 WITH SCORE 147737.922
AT ITER 709 NEW BEST:: SOT 249961 SOS 175904 HAS SOPS 175904 HAS SOUS 147544 HAS SOUPS 147544 WITH SCORE 147719.904
AT ITER 722 NEW BEST:: SOT 249961 SOS 170841 HAS SOPS 170841 HAS SOUS 147397 HAS SOUPS 147397 WITH SCORE 147567.841
AT ITER 731 NEW BEST:: SOT 249920 SOS 170840 HAS SOPS 170840 HAS SOUS 147396 HAS SOUPS 147396 WITH SCORE 147566.84
AT ITER 750 NEW BEST:: SOT 249904 SOS 170824 HAS SOPS 170824 HAS SOUS 147380 HAS SOUPS 147380 WITH SCORE 147550.824
AT ITER 756 NEW BEST:: SOT 249873 SOS 170793 HAS SOPS 170793 HAS SOUS 147349 HAS SOUPS 147349 WITH SCORE 147519.793
AT ITER 785 NEW BEST:: SOT 249873 SOS 170781 HAS SOPS 170781 HAS SOUS 147337 HAS SOUPS 147337 WITH SCORE 147507.781
AT ITER 790 NEW BEST:: SOT 249873 SOS 170711 HAS SOPS 170711 HAS SOUS 147161 HAS SOUPS 147161 WITH SCORE 147331.711
AT ITER 805 NEW BEST:: SOT 249873 SOS 170651 HAS SOPS 170651 HAS SOUS 147101 HAS SOUPS 147101 WITH SCORE 147271.651
AT ITER 813 NEW BEST:: SOT 249872 SOS 170650 HAS SOPS 170650 HAS SOUS 147100 HAS SOUPS 147100 WITH SCORE 147270.65
AT ITER 819 NEW BEST:: SOT 249872 SOS 169911 HAS SOPS 169911 HAS SOUS 146893 HAS SOUPS 146893 WITH SCORE 147062.911
AT ITER 823 NEW BEST:: SOT 249872 SOS 169535 HAS SOPS 169535 HAS SOUS 146443 HAS SOUPS 146443 WITH SCORE 146612.535
AT ITER 854 NEW BEST:: SOT 249837 SOS 169500 HAS SOPS 169500 HAS SOUS 146408 HAS SOUPS 146408 WITH SCORE 146577.5
AT ITER 876 NEW BEST:: SOT 249837 SOS 168852 HAS SOPS 168852 HAS SOUS 146192 HAS SOUPS 146192 WITH SCORE 146360.852
AT ITER 877 NEW BEST:: SOT 250112 SOS 168635 HAS SOPS 168635 HAS SOUS 145937 HAS SOUPS 145937 WITH SCORE 146105.635
AT ITER 879 NEW BEST:: SOT 250335 SOS 168178 HAS SOPS 168178 HAS SOUS 145398 HAS SOUPS 145398 WITH SCORE 145566.178
AT ITER 899 NEW BEST:: SOT 250296 SOS 168139 HAS SOPS 168139 HAS SOUS 145359 HAS SOUPS 145359 WITH SCORE 145527.139
AT ITER 909 NEW BEST:: SOT 250289 SOS 168132 HAS SOPS 168132 HAS SOUS 145352 HAS SOUPS 145352 WITH SCORE 145520.132
AT ITER 973 NEW BEST:: SOT 250254 SOS 168097 HAS SOPS 168097 HAS SOUS 145317 HAS SOUPS 145317 WITH SCORE 145485.097
AT ITER 1021 NEW BEST:: SOT 250459 SOS 168216 HAS SOPS 168216 HAS SOUS 145304 HAS SOUPS 145304 WITH SCORE 145472.216
AT ITER 1047 NEW BEST:: SOT 250370 SOS 168127 HAS SOPS 168127 HAS SOUS 145215 HAS SOUPS 145215 WITH SCORE 145383.127
AT ITER 1091 NEW BEST:: SOT 250370 SOS 168127 HAS SOPS 168127 HAS SOUS 145172 HAS SOUPS 145172 WITH SCORE 145340.127
AT ITER 1105 NEW BEST:: SOT 250370 SOS 168123 HAS SOPS 168123 HAS SOUS 145168 HAS SOUPS 145168 WITH SCORE 145336.123
AT ITER 1121 NEW BEST:: SOT 250370 SOS 167995 HAS SOPS 167995 HAS SOUS 145104 HAS SOUPS 145104 WITH SCORE 145271.995
AT ITER 1134 NEW BEST:: SOT 250363 SOS 167988 HAS SOPS 167988 HAS SOUS 145097 HAS SOUPS 145097 WITH SCORE 145264.988
AT ITER 1150 NEW BEST:: SOT 250244 SOS 167869 HAS SOPS 167869 HAS SOUS 144978 HAS SOUPS 144978 WITH SCORE 145145.869
AT ITER 1152 NEW BEST:: SOT 250028 SOS 167653 HAS SOPS 167653 HAS SOUS 144762 HAS SOUPS 144762 WITH SCORE 144929.653
AT ITER 1166 NEW BEST:: SOT 250028 SOS 167652 HAS SOPS 167652 HAS SOUS 144761 HAS SOUPS 144761 WITH SCORE 144928.652
AT ITER 1210 NEW BEST:: SOT 250026 SOS 167650 HAS SOPS 167650 HAS SOUS 144759 HAS SOUPS 144759 WITH SCORE 144926.65
AT ITER 1213 NEW BEST:: SOT 250030 SOS 167639 HAS SOPS 167639 HAS SOUS 144748 HAS SOUPS 144748 WITH SCORE 144915.639
AT ITER 1214 NEW BEST:: SOT 250030 SOS 167625 HAS SOPS 167625 HAS SOUS 144734 HAS SOUPS 144734 WITH SCORE 144901.625
AT ITER 1235 NEW BEST:: SOT 250052 SOS 166209 HAS SOPS 166209 HAS SOUS 144024 HAS SOUPS 144024 WITH SCORE 144190.209
AT ITER 1240 NEW BEST:: SOT 250052 SOS 166206 HAS SOPS 166206 HAS SOUS 144021 HAS SOUPS 144021 WITH SCORE 144187.206
AT ITER 1247 NEW BEST:: SOT 250052 SOS 165888 HAS SOPS 165888 HAS SOUS 143862 HAS SOUPS 143862 WITH SCORE 144027.888
AT ITER 1306 NEW BEST:: SOT 250047 SOS 165883 HAS SOPS 165883 HAS SOUS 143857 HAS SOUPS 143857 WITH SCORE 144022.883
AT ITER 1347 NEW BEST:: SOT 250047 SOS 165986 HAS SOPS 165986 HAS SOUS 143853 HAS SOUPS 143853 WITH SCORE 144018.986
AT ITER 1354 NEW BEST:: SOT 250008 SOS 165944 HAS SOPS 165944 HAS SOUS 143814 HAS SOUPS 143814 WITH SCORE 143979.944
AT ITER 1370 NEW BEST:: SOT 250008 SOS 165826 HAS SOPS 165826 HAS SOUS 143696 HAS SOUPS 143696 WITH SCORE 143861.826
AT ITER 1398 NEW BEST:: SOT 250008 SOS 165720 HAS SOPS 165720 HAS SOUS 143643 HAS SOUPS 143643 WITH SCORE 143808.72
AT ITER 1404 NEW BEST:: SOT 249920 SOS 165632 HAS SOPS 165632 HAS SOUS 143555 HAS SOUPS 143555 WITH SCORE 143720.632
AT ITER 1420 NEW BEST:: SOT 249920 SOS 165631 HAS SOPS 165631 HAS SOUS 143554 HAS SOUPS 143554 WITH SCORE 143719.631
AT ITER 1445 NEW BEST:: SOT 249906 SOS 165617 HAS SOPS 165617 HAS SOUS 143540 HAS SOUPS 143540 WITH SCORE 143705.617
AT ITER 1463 NEW BEST:: SOT 249921 SOS 165587 HAS SOPS 165587 HAS SOUS 143510 HAS SOUPS 143510 WITH SCORE 143675.587
AT ITER 1482 NEW BEST:: SOT 249921 SOS 165576 HAS SOPS 165576 HAS SOUS 143499 HAS SOUPS 143499 WITH SCORE 143664.576
AT ITER 1535 NEW BEST:: SOT 249921 SOS 165287 HAS SOPS 165287 HAS SOUS 143389 HAS SOUPS 143389 WITH SCORE 143554.287
AT ITER 1546 NEW BEST:: SOT 249951 SOS 165300 HAS SOPS 165300 HAS SOUS 143385 HAS SOUPS 143385 WITH SCORE 143550.3
AT ITER 1563 NEW BEST:: SOT 249966 SOS 164593 HAS SOPS 164593 HAS SOUS 143039 HAS SOUPS 143039 WITH SCORE 143203.593
AT ITER 1593 NEW BEST:: SOT 249946 SOS 164573 HAS SOPS 164573 HAS SOUS 143019 HAS SOUPS 143019 WITH SCORE 143183.573
AT ITER 1637 NEW BEST:: SOT 249946 SOS 164573 HAS SOPS 164573 HAS SOUS 143009 HAS SOUPS 143009 WITH SCORE 143173.573
AT ITER 1638 NEW BEST:: SOT 249748 SOS 164406 HAS SOPS 164406 HAS SOUS 142842 HAS SOUPS 142842 WITH SCORE 143006.406
AT ITER 1660 NEW BEST:: SOT 249748 SOS 164058 HAS SOPS 164058 HAS SOUS 142668 HAS SOUPS 142668 WITH SCORE 142832.058
AT ITER 1683 NEW BEST:: SOT 249746 SOS 164056 HAS SOPS 164056 HAS SOUS 142666 HAS SOUPS 142666 WITH SCORE 142830.056
AT ITER 1684 NEW BEST:: SOT 249734 SOS 164044 HAS SOPS 164044 HAS SOUS 142654 HAS SOUPS 142654 WITH SCORE 142818.044
AT ITER 1690 NEW BEST:: SOT 249734 SOS 164035 HAS SOPS 164035 HAS SOUS 142645 HAS SOUPS 142645 WITH SCORE 142809.035
AT ITER 1712 NEW BEST:: SOT 249749 SOS 164027 HAS SOPS 164027 HAS SOUS 142637 HAS SOUPS 142637 WITH SCORE 142801.027
AT ITER 1722 NEW BEST:: SOT 249749 SOS 163602 HAS SOPS 163602 HAS SOUS 142573 HAS SOUPS 142573 WITH SCORE 142736.602
AT ITER 1727 NEW BEST:: SOT 249749 SOS 162781 HAS SOPS 162781 HAS SOUS 142345 HAS SOUPS 142345 WITH SCORE 142507.781
AT ITER 1731 NEW BEST:: SOT 249749 SOS 162738 HAS SOPS 162738 HAS SOUS 142241 HAS SOUPS 142241 WITH SCORE 142403.738
AT ITER 1752 NEW BEST:: SOT 249683 SOS 162709 HAS SOPS 162709 HAS SOUS 142212 HAS SOUPS 142212 WITH SCORE 142374.709
AT ITER 1837 NEW BEST:: SOT 249683 SOS 162258 HAS SOPS 162258 HAS SOUS 141974 HAS SOUPS 141974 WITH SCORE 142136.258
AT ITER 1855 NEW BEST:: SOT 249683 SOS 161874 HAS SOPS 161874 HAS SOUS 141813 HAS SOUPS 141813 WITH SCORE 141974.874
AT ITER 1866 NEW BEST:: SOT 249662 SOS 161853 HAS SOPS 161853 HAS SOUS 141792 HAS SOUPS 141792 WITH SCORE 141953.853
AT ITER 1902 NEW BEST:: SOT 249662 SOS 159440 HAS SOPS 159440 HAS SOUS 141665 HAS SOUPS 141665 WITH SCORE 141824.44
AT ITER 1914 NEW BEST:: SOT 249662 SOS 159239 HAS SOPS 159239 HAS SOUS 141464 HAS SOUPS 141464 WITH SCORE 141623.239
AT ITER 1946 NEW BEST:: SOT 249658 SOS 159235 HAS SOPS 159235 HAS SOUS 141460 HAS SOUPS 141460 WITH SCORE 141619.235
AT ITER 1977 NEW BEST:: SOT 249658 SOS 159223 HAS SOPS 159223 HAS SOUS 141448 HAS SOUPS 141448 WITH SCORE 141607.223
AT ITER 1979 NEW BEST:: SOT 249658 SOS 159230 HAS SOPS 159230 HAS SOUS 141315 HAS SOUPS 141315 WITH SCORE 141474.23
AT ITER 1985 NEW BEST:: SOT 249658 SOS 159182 HAS SOPS 159182 HAS SOUS 141267 HAS SOUPS 141267 WITH SCORE 141426.182
AT ITER 1991 NEW BEST:: SOT 249658 SOS 152760 HAS SOPS 152760 HAS SOUS 140929 HAS SOUPS 140929 WITH SCORE 141081.76
AT ITER 2026 NEW BEST:: SOT 249658 SOS 152350 HAS SOPS 152350 HAS SOUS 140724 HAS SOUPS 140724 WITH SCORE 140876.35
AT ITER 2047 NEW BEST:: SOT 249654 SOS 152346 HAS SOPS 152346 HAS SOUS 140720 HAS SOUPS 140720 WITH SCORE 140872.346
AT ITER 2048 NEW BEST:: SOT 249654 SOS 151970 HAS SOPS 151970 HAS SOUS 140486 HAS SOUPS 140486 WITH SCORE 140637.97
AT ITER 2049 NEW BEST:: SOT 249713 SOS 151992 HAS SOPS 151992 HAS SOUS 140471 HAS SOUPS 140471 WITH SCORE 140622.992
AT ITER 2068 NEW BEST:: SOT 249641 SOS 151920 HAS SOPS 151920 HAS SOUS 140399 HAS SOUPS 140399 WITH SCORE 140550.92
AT ITER 2118 NEW BEST:: SOT 249630 SOS 151909 HAS SOPS 151909 HAS SOUS 140388 HAS SOUPS 140388 WITH SCORE 140539.909
AT ITER 2125 NEW BEST:: SOT 249621 SOS 151900 HAS SOPS 151900 HAS SOUS 140379 HAS SOUPS 140379 WITH SCORE 140530.9
AT ITER 2136 NEW BEST:: SOT 249621 SOS 151086 HAS SOPS 151086 HAS SOUS 140124 HAS SOUPS 140124 WITH SCORE 140275.086
AT ITER 2182 NEW BEST:: SOT 249628 SOS 151077 HAS SOPS 151077 HAS SOUS 140115 HAS SOUPS 140115 WITH SCORE 140266.077
AT ITER 2198 NEW BEST:: SOT 249688 SOS 151101 HAS SOPS 151101 HAS SOUS 140079 HAS SOUPS 140079 WITH SCORE 140230.101
AT ITER 2219 NEW BEST:: SOT 249925 SOS 151243 HAS SOPS 151243 HAS SOUS 140050 HAS SOUPS 140050 WITH SCORE 140201.243
AT ITER 2232 NEW BEST:: SOT 249911 SOS 151229 HAS SOPS 151229 HAS SOUS 140036 HAS SOUPS 140036 WITH SCORE 140187.229
AT ITER 2236 NEW BEST:: SOT 249896 SOS 151214 HAS SOPS 151214 HAS SOUS 140021 HAS SOUPS 140021 WITH SCORE 140172.214
AT ITER 2255 NEW BEST:: SOT 249896 SOS 151223 HAS SOPS 151223 HAS SOUS 139883 HAS SOUPS 139883 WITH SCORE 140034.223
AT ITER 2281 NEW BEST:: SOT 249882 SOS 151209 HAS SOPS 151209 HAS SOUS 139869 HAS SOUPS 139869 WITH SCORE 140020.209
AT ITER 2286 NEW BEST:: SOT 249880 SOS 151207 HAS SOPS 151207 HAS SOUS 139867 HAS SOUPS 139867 WITH SCORE 140018.207
AT ITER 2289 NEW BEST:: SOT 249866 SOS 151170 HAS SOPS 151170 HAS SOUS 139830 HAS SOUPS 139830 WITH SCORE 139981.17
AT ITER 2307 NEW BEST:: SOT 249866 SOS 151028 HAS SOPS 151028 HAS SOUS 139700 HAS SOUPS 139700 WITH SCORE 139851.028
AT ITER 2328 NEW BEST:: SOT 249854 SOS 151016 HAS SOPS 151016 HAS SOUS 139688 HAS SOUPS 139688 WITH SCORE 139839.016
AT ITER 2342 NEW BEST:: SOT 249854 SOS 150947 HAS SOPS 150947 HAS SOUS 139629 HAS SOUPS 139629 WITH SCORE 139779.947
AT ITER 2350 NEW BEST:: SOT 249827 SOS 150920 HAS SOPS 150920 HAS SOUS 139602 HAS SOUPS 139602 WITH SCORE 139752.92
AT ITER 2365 NEW BEST:: SOT 250507 SOS 150903 HAS SOPS 150903 HAS SOUS 139585 HAS SOUPS 139585 WITH SCORE 139735.903
AT ITER 2377 NEW BEST:: SOT 250507 SOS 150867 HAS SOPS 150867 HAS SOUS 139549 HAS SOUPS 139549 WITH SCORE 139699.867
AT ITER 2378 NEW BEST:: SOT 250505 SOS 150865 HAS SOPS 150865 HAS SOUS 139547 HAS SOUPS 139547 WITH SCORE 139697.865
AT ITER 2390 NEW BEST:: SOT 250505 SOS 150854 HAS SOPS 150854 HAS SOUS 139536 HAS SOUPS 139536 WITH SCORE 139686.854
AT ITER 2404 NEW BEST:: SOT 250505 SOS 149893 HAS SOPS 149893 HAS SOUS 139047 HAS SOUPS 139047 WITH SCORE 139196.893
AT ITER 2427 NEW BEST:: SOT 250505 SOS 149364 HAS SOPS 149364 HAS SOUS 138681 HAS SOUPS 138681 WITH SCORE 138830.364
AT ITER 2482 NEW BEST:: SOT 250505 SOS 149351 HAS SOPS 149351 HAS SOUS 138668 HAS SOUPS 138668 WITH SCORE 138817.351
AT ITER 2507 NEW BEST:: SOT 250505 SOS 148931 HAS SOPS 148931 HAS SOUS 138234 HAS SOUPS 138234 WITH SCORE 138382.931
AT ITER 2519 NEW BEST:: SOT 250505 SOS 148149 HAS SOPS 148149 HAS SOUS 137843 HAS SOUPS 137843 WITH SCORE 137991.149
AT ITER 2550 NEW BEST:: SOT 250505 SOS 148135 HAS SOPS 148135 HAS SOUS 137829 HAS SOUPS 137829 WITH SCORE 137977.135
AT ITER 2562 NEW BEST:: SOT 250505 SOS 148075 HAS SOPS 148075 HAS SOUS 137769 HAS SOUPS 137769 WITH SCORE 137917.075
AT ITER 2568 NEW BEST:: SOT 250645 SOS 148181 HAS SOPS 148181 HAS SOUS 137735 HAS SOUPS 137735 WITH SCORE 137883.181
AT ITER 2617 NEW BEST:: SOT 250645 SOS 148014 HAS SOPS 148014 HAS SOUS 137568 HAS SOUPS 137568 WITH SCORE 137716.014
AT ITER 2637 NEW BEST:: SOT 250629 SOS 147998 HAS SOPS 147998 HAS SOUS 137552 HAS SOUPS 137552 WITH SCORE 137699.998
AT ITER 2647 NEW BEST:: SOT 250939 SOS 147933 HAS SOPS 147933 HAS SOUS 137535 HAS SOUPS 137535 WITH SCORE 137682.933
AT ITER 2652 NEW BEST:: SOT 250939 SOS 146936 HAS SOPS 146936 HAS SOUS 137044 HAS SOUPS 137044 WITH SCORE 137190.936
AT ITER 2683 NEW BEST:: SOT 250806 SOS 146803 HAS SOPS 146803 HAS SOUS 136911 HAS SOUPS 136911 WITH SCORE 137057.803
AT ITER 2712 NEW BEST:: SOT 250806 SOS 146813 HAS SOPS 146813 HAS SOUS 136909 HAS SOUPS 136909 WITH SCORE 137055.813
AT ITER 2754 NEW BEST:: SOT 250783 SOS 146790 HAS SOPS 146790 HAS SOUS 136886 HAS SOUPS 136886 WITH SCORE 137032.79
AT ITER 2786 NEW BEST:: SOT 250972 SOS 146545 HAS SOPS 146545 HAS SOUS 136641 HAS SOUPS 136641 WITH SCORE 136787.545
AT ITER 2844 NEW BEST:: SOT 250892 SOS 146465 HAS SOPS 146465 HAS SOUS 136561 HAS SOUPS 136561 WITH SCORE 136707.465
AT ITER 2849 NEW BEST:: SOT 250892 SOS 145875 HAS SOPS 145875 HAS SOUS 136266 HAS SOUPS 136266 WITH SCORE 136411.875
AT ITER 2855 NEW BEST:: SOT 250892 SOS 145439 HAS SOPS 145439 HAS SOUS 136048 HAS SOUPS 136048 WITH SCORE 136193.439
AT ITER 2872 NEW BEST:: SOT 250872 SOS 145419 HAS SOPS 145419 HAS SOUS 136028 HAS SOUPS 136028 WITH SCORE 136173.419
AT ITER 2895 NEW BEST:: SOT 250872 SOS 145419 HAS SOPS 145419 HAS SOUS 136008 HAS SOUPS 136008 WITH SCORE 136153.419
AT ITER 2969 NEW BEST:: SOT 250875 SOS 145398 HAS SOPS 145398 HAS SOUS 135987 HAS SOUPS 135987 WITH SCORE 136132.398
AT ITER 2992 NEW BEST:: SOT 250875 SOS 145399 HAS SOPS 145399 HAS SOUS 135977 HAS SOUPS 135977 WITH SCORE 136122.399
AT ITER 3010 NEW BEST:: SOT 250875 SOS 145393 HAS SOPS 145393 HAS SOUS 135971 HAS SOUPS 135971 WITH SCORE 136116.393
AT ITER 3017 NEW BEST:: SOT 250875 SOS 145393 HAS SOPS 145393 HAS SOUS 135953 HAS SOUPS 135953 WITH SCORE 136098.393
AT ITER 3045 NEW BEST:: SOT 250902 SOS 145359 HAS SOPS 145359 HAS SOUS 135919 HAS SOUPS 135919 WITH SCORE 136064.359
AT ITER 3054 NEW BEST:: SOT 250902 SOS 145309 HAS SOPS 145309 HAS SOUS 135907 HAS SOUPS 135907 WITH SCORE 136052.309
AT ITER 3070 NEW BEST:: SOT 250902 SOS 144312 HAS SOPS 144312 HAS SOUS 135451 HAS SOUPS 135451 WITH SCORE 135595.312
AT ITER 3079 NEW BEST:: SOT 250902 SOS 144242 HAS SOPS 144242 HAS SOUS 135416 HAS SOUPS 135416 WITH SCORE 135560.242
AT ITER 3101 NEW BEST:: SOT 250902 SOS 144213 HAS SOPS 144213 HAS SOUS 135387 HAS SOUPS 135387 WITH SCORE 135531.213
AT ITER 3168 NEW BEST:: SOT 250902 SOS 144202 HAS SOPS 144202 HAS SOUS 135376 HAS SOUPS 135376 WITH SCORE 135520.202
AT ITER 3203 NEW BEST:: SOT 250896 SOS 144196 HAS SOPS 144196 HAS SOUS 135370 HAS SOUPS 135370 WITH SCORE 135514.196
AT ITER 3228 NEW BEST:: SOT 250896 SOS 144122 HAS SOPS 144122 HAS SOUS 135370 HAS SOUPS 135370 WITH SCORE 135514.122
AT ITER 3293 NEW BEST:: SOT 250896 SOS 144117 HAS SOPS 144117 HAS SOUS 135365 HAS SOUPS 135365 WITH SCORE 135509.117
AT ITER 3339 NEW BEST:: SOT 250896 SOS 144099 HAS SOPS 144099 HAS SOUS 135344 HAS SOUPS 135344 WITH SCORE 135488.099
AT ITER 3376 NEW BEST:: SOT 250916 SOS 143999 HAS SOPS 143999 HAS SOUS 135304 HAS SOUPS 135304 WITH SCORE 135447.999
AT ITER 3422 NEW BEST:: SOT 250916 SOS 143998 HAS SOPS 143998 HAS SOUS 135283 HAS SOUPS 135283 WITH SCORE 135426.998
AT ITER 3462 NEW BEST:: SOT 250672 SOS 143754 HAS SOPS 143754 HAS SOUS 135039 HAS SOUPS 135039 WITH SCORE 135182.754
AT ITER 3498 NEW BEST:: SOT 250655 SOS 143752 HAS SOPS 143752 HAS SOUS 135037 HAS SOUPS 135037 WITH SCORE 135180.752
AT ITER 3526 NEW BEST:: SOT 250628 SOS 143725 HAS SOPS 143725 HAS SOUS 135000 HAS SOUPS 135000 WITH SCORE 135143.725
AT ITER 3547 NEW BEST:: SOT 250628 SOS 143555 HAS SOPS 143555 HAS SOUS 134915 HAS SOUPS 134915 WITH SCORE 135058.555
AT ITER 3573 NEW BEST:: SOT 250619 SOS 143546 HAS SOPS 143546 HAS SOUS 134906 HAS SOUPS 134906 WITH SCORE 135049.546
AT ITER 3599 NEW BEST:: SOT 250619 SOS 143316 HAS SOPS 143316 HAS SOUS 134676 HAS SOUPS 134676 WITH SCORE 134819.316
AT ITER 3611 NEW BEST:: SOT 251032 SOS 143468 HAS SOPS 143468 HAS SOUS 134629 HAS SOUPS 134629 WITH SCORE 134772.468
AT ITER 3725 NEW BEST:: SOT 250943 SOS 143457 HAS SOPS 143457 HAS SOUS 134618 HAS SOUPS 134618 WITH SCORE 134761.457
AT ITER 3786 NEW BEST:: SOT 250943 SOS 143405 HAS SOPS 143405 HAS SOUS 134601 HAS SOUPS 134601 WITH SCORE 134744.405
AT ITER 3800 NEW BEST:: SOT 250942 SOS 142944 HAS SOPS 142944 HAS SOUS 134370 HAS SOUPS 134370 WITH SCORE 134512.944
AT ITER 3839 NEW BEST:: SOT 250938 SOS 142940 HAS SOPS 142940 HAS SOUS 134366 HAS SOUPS 134366 WITH SCORE 134508.94
AT ITER 3900 NEW BEST:: SOT 250968 SOS 142925 HAS SOPS 142925 HAS SOUS 134351 HAS SOUPS 134351 WITH SCORE 134493.925
AT ITER 3909 NEW BEST:: SOT 250968 SOS 142293 HAS SOPS 142293 HAS SOUS 134035 HAS SOUPS 134035 WITH SCORE 134177.293
AT ITER 3917 NEW BEST:: SOT 250965 SOS 142290 HAS SOPS 142290 HAS SOUS 134032 HAS SOUPS 134032 WITH SCORE 134174.29
AT ITER 4005 NEW BEST:: SOT 250965 SOS 142048 HAS SOPS 142048 HAS SOUS 133911 HAS SOUPS 133911 WITH SCORE 134053.048
AT ITER 4044 NEW BEST:: SOT 250962 SOS 142045 HAS SOPS 142045 HAS SOUS 133908 HAS SOUPS 133908 WITH SCORE 134050.045
AT ITER 4053 NEW BEST:: SOT 250962 SOS 142037 HAS SOPS 142037 HAS SOUS 133908 HAS SOUPS 133908 WITH SCORE 134050.037
AT ITER 4056 NEW BEST:: SOT 250962 SOS 142006 HAS SOPS 142006 HAS SOUS 133877 HAS SOUPS 133877 WITH SCORE 134019.006
AT ITER 4066 NEW BEST:: SOT 251021 SOS 141889 HAS SOPS 141889 HAS SOUS 133760 HAS SOUPS 133760 WITH SCORE 133901.889
AT ITER 4069 NEW BEST:: SOT 250962 SOS 141830 HAS SOPS 141830 HAS SOUS 133701 HAS SOUPS 133701 WITH SCORE 133842.83
AT ITER 4110 NEW BEST:: SOT 250962 SOS 141800 HAS SOPS 141800 HAS SOUS 133671 HAS SOUPS 133671 WITH SCORE 133812.8
AT ITER 4119 NEW BEST:: SOT 250962 SOS 141788 HAS SOPS 141788 HAS SOUS 133659 HAS SOUPS 133659 WITH SCORE 133800.788
AT ITER 4145 NEW BEST:: SOT 251020 SOS 141721 HAS SOPS 141721 HAS SOUS 133592 HAS SOUPS 133592 WITH SCORE 133733.721
AT ITER 4168 NEW BEST:: SOT 251242 SOS 141905 HAS SOPS 141905 HAS SOUS 133572 HAS SOUPS 133572 WITH SCORE 133713.905
AT ITER 4192 NEW BEST:: SOT 251242 SOS 141905 HAS SOPS 141905 HAS SOUS 133562 HAS SOUPS 133562 WITH SCORE 133703.905
AT ITER 4288 NEW BEST:: SOT 251266 SOS 141875 HAS SOPS 141875 HAS SOUS 133532 HAS SOUPS 133532 WITH SCORE 133673.875
AT ITER 4411 NEW BEST:: SOT 251242 SOS 141851 HAS SOPS 141851 HAS SOUS 133508 HAS SOUPS 133508 WITH SCORE 133649.851
AT ITER 4428 NEW BEST:: SOT 251239 SOS 141848 HAS SOPS 141848 HAS SOUS 133505 HAS SOUPS 133505 WITH SCORE 133646.848
AT ITER 4448 NEW BEST:: SOT 251239 SOS 141847 HAS SOPS 141847 HAS SOUS 133504 HAS SOUPS 133504 WITH SCORE 133645.847
AT ITER 4449 NEW BEST:: SOT 251239 SOS 141847 HAS SOPS 141847 HAS SOUS 133499 HAS SOUPS 133499 WITH SCORE 133640.847
AT ITER 4481 NEW BEST:: SOT 251239 SOS 141896 HAS SOPS 141896 HAS SOUS 133492 HAS SOUPS 133492 WITH SCORE 133633.896
AT ITER 4549 NEW BEST:: SOT 251237 SOS 141894 HAS SOPS 141894 HAS SOUS 133490 HAS SOUPS 133490 WITH SCORE 133631.894
AT ITER 4558 NEW BEST:: SOT 251703 SOS 141850 HAS SOPS 141850 HAS SOUS 133489 HAS SOUPS 133489 WITH SCORE 133630.85
AT ITER 4607 NEW BEST:: SOT 251703 SOS 141818 HAS SOPS 141818 HAS SOUS 133457 HAS SOUPS 133457 WITH SCORE 133598.818
AT ITER 4608 NEW BEST:: SOT 252066 SOS 141692 HAS SOPS 141692 HAS SOUS 133457 HAS SOUPS 133457 WITH SCORE 133598.692
AT ITER 4687 NEW BEST:: SOT 252066 SOS 141689 HAS SOPS 141689 HAS SOUS 133454 HAS SOUPS 133454 WITH SCORE 133595.689
AT ITER 4703 NEW BEST:: SOT 252056 SOS 141679 HAS SOPS 141679 HAS SOUS 133444 HAS SOUPS 133444 WITH SCORE 133585.679
AT ITER 4720 NEW BEST:: SOT 252047 SOS 141670 HAS SOPS 141670 HAS SOUS 133435 HAS SOUPS 133435 WITH SCORE 133576.67
AT ITER 4731 NEW BEST:: SOT 252047 SOS 141668 HAS SOPS 141668 HAS SOUS 133433 HAS SOUPS 133433 WITH SCORE 133574.668
AT ITER 4737 NEW BEST:: SOT 252041 SOS 141662 HAS SOPS 141662 HAS SOUS 133427 HAS SOUPS 133427 WITH SCORE 133568.662
AT ITER 4740 NEW BEST:: SOT 252041 SOS 141659 HAS SOPS 141659 HAS SOUS 133424 HAS SOUPS 133424 WITH SCORE 133565.659
AT ITER 4750 NEW BEST:: SOT 252041 SOS 141659 HAS SOPS 141659 HAS SOUS 133405 HAS SOUPS 133405 WITH SCORE 133546.659
AT ITER 4792 NEW BEST:: SOT 252041 SOS 141644 HAS SOPS 141644 HAS SOUS 133390 HAS SOUPS 133390 WITH SCORE 133531.644
AT ITER 4808 NEW BEST:: SOT 252041 SOS 141542 HAS SOPS 141542 HAS SOUS 133339 HAS SOUPS 133339 WITH SCORE 133480.542
AT ITER 4810 NEW BEST:: SOT 252041 SOS 141524 HAS SOPS 141524 HAS SOUS 133321 HAS SOUPS 133321 WITH SCORE 133462.524
AT ITER 4815 NEW BEST:: SOT 252041 SOS 141510 HAS SOPS 141510 HAS SOUS 133307 HAS SOUPS 133307 WITH SCORE 133448.51
AT ITER 4823 NEW BEST:: SOT 252041 SOS 141509 HAS SOPS 141509 HAS SOUS 133306 HAS SOUPS 133306 WITH SCORE 133447.509
AT ITER 4848 NEW BEST:: SOT 252041 SOS 141509 HAS SOPS 141509 HAS SOUS 133305 HAS SOUPS 133305 WITH SCORE 133446.509
AT ITER 4890 NEW BEST:: SOT 251998 SOS 141466 HAS SOPS 141466 HAS SOUS 133262 HAS SOUPS 133262 WITH SCORE 133403.466
AT ITER 4905 NEW BEST:: SOT 251581 SOS 141636 HAS SOPS 141636 HAS SOUS 133252 HAS SOUPS 133252 WITH SCORE 133393.636
AT ITER 4938 NEW BEST:: SOT 251581 SOS 141636 HAS SOPS 141636 HAS SOUS 133249 HAS SOUPS 133249 WITH SCORE 133390.636
AT ITER 4964 NEW BEST:: SOT 251581 SOS 141635 HAS SOPS 141635 HAS SOUS 133248 HAS SOUPS 133248 WITH SCORE 133389.635
AT ITER 5000 NEW BEST:: SOT 251561 SOS 141615 HAS SOPS 141615 HAS SOUS 133228 HAS SOUPS 133228 WITH SCORE 133369.615
AT ITER 5015 NEW BEST:: SOT 251561 SOS 141451 HAS SOPS 141451 HAS SOUS 133212 HAS SOUPS 133212 WITH SCORE 133353.451
AT ITER 5045 NEW BEST:: SOT 251561 SOS 141450 HAS SOPS 141450 HAS SOUS 133211 HAS SOUPS 133211 WITH SCORE 133352.45
AT ITER 5049 NEW BEST:: SOT 251561 SOS 141411 HAS SOPS 141411 HAS SOUS 133172 HAS SOUPS 133172 WITH SCORE 133313.411
AT ITER 5076 NEW BEST:: SOT 251561 SOS 141411 HAS SOPS 141411 HAS SOUS 133024 HAS SOUPS 133024 WITH SCORE 133165.411
AT ITER 5094 NEW BEST:: SOT 251561 SOS 141411 HAS SOPS 141411 HAS SOUS 133010 HAS SOUPS 133010 WITH SCORE 133151.411
AT ITER 5097 NEW BEST:: SOT 251525 SOS 141375 HAS SOPS 141375 HAS SOUS 132974 HAS SOUPS 132974 WITH SCORE 133115.375
AT ITER 5155 NEW BEST:: SOT 252174 SOS 141365 HAS SOPS 141365 HAS SOUS 132964 HAS SOUPS 132964 WITH SCORE 133105.365
AT ITER 5191 NEW BEST:: SOT 252169 SOS 141360 HAS SOPS 141360 HAS SOUS 132959 HAS SOUPS 132959 WITH SCORE 133100.36
AT ITER 5245 NEW BEST:: SOT 251788 SOS 141427 HAS SOPS 141427 HAS SOUS 132945 HAS SOUPS 132945 WITH SCORE 133086.427
AT ITER 5273 NEW BEST:: SOT 251779 SOS 141418 HAS SOPS 141418 HAS SOUS 132936 HAS SOUPS 132936 WITH SCORE 133077.418
AT ITER 5278 NEW BEST:: SOT 251779 SOS 140430 HAS SOPS 140430 HAS SOUS 132884 HAS SOUPS 132884 WITH SCORE 133024.43
AT ITER 5311 NEW BEST:: SOT 251773 SOS 140424 HAS SOPS 140424 HAS SOUS 132878 HAS SOUPS 132878 WITH SCORE 133018.424
AT ITER 5339 NEW BEST:: SOT 251760 SOS 140411 HAS SOPS 140411 HAS SOUS 132865 HAS SOUPS 132865 WITH SCORE 133005.411
AT ITER 5429 NEW BEST:: SOT 251661 SOS 140312 HAS SOPS 140312 HAS SOUS 132843 HAS SOUPS 132843 WITH SCORE 132983.312
AT ITER 5494 NEW BEST:: SOT 251659 SOS 140310 HAS SOPS 140310 HAS SOUS 132841 HAS SOUPS 132841 WITH SCORE 132981.31
AT ITER 5525 NEW BEST:: SOT 251659 SOS 140008 HAS SOPS 140008 HAS SOUS 132690 HAS SOUPS 132690 WITH SCORE 132830.008
AT ITER 5530 NEW BEST:: SOT 251659 SOS 139984 HAS SOPS 139984 HAS SOUS 132666 HAS SOUPS 132666 WITH SCORE 132805.984
AT ITER 5532 NEW BEST:: SOT 251718 SOS 139979 HAS SOPS 139979 HAS SOUS 132661 HAS SOUPS 132661 WITH SCORE 132800.979
AT ITER 5620 NEW BEST:: SOT 251718 SOS 139969 HAS SOPS 139969 HAS SOUS 132651 HAS SOUPS 132651 WITH SCORE 132790.969
AT ITER 5621 NEW BEST:: SOT 252113 SOS 139948 HAS SOPS 139948 HAS SOUS 132630 HAS SOUPS 132630 WITH SCORE 132769.948
AT ITER 5702 NEW BEST:: SOT 252113 SOS 139957 HAS SOPS 139957 HAS SOUS 132592 HAS SOUPS 132592 WITH SCORE 132731.957
AT ITER 5771 NEW BEST:: SOT 252113 SOS 139954 HAS SOPS 139954 HAS SOUS 132573 HAS SOUPS 132573 WITH SCORE 132712.954
AT ITER 5785 NEW BEST:: SOT 252069 SOS 139910 HAS SOPS 139910 HAS SOUS 132529 HAS SOUPS 132529 WITH SCORE 132668.91
AT ITER 5845 NEW BEST:: SOT 252068 SOS 139909 HAS SOPS 139909 HAS SOUS 132528 HAS SOUPS 132528 WITH SCORE 132667.909
AT ITER 5919 NEW BEST:: SOT 252057 SOS 139898 HAS SOPS 139898 HAS SOUS 132517 HAS SOUPS 132517 WITH SCORE 132656.898
AT ITER 5929 NEW BEST:: SOT 252043 SOS 139887 HAS SOPS 139887 HAS SOUS 132509 HAS SOUPS 132509 WITH SCORE 132648.887
AT ITER 5977 NEW BEST:: SOT 252043 SOS 139887 HAS SOPS 139887 HAS SOUS 132489 HAS SOUPS 132489 WITH SCORE 132628.887
AT ITER 6001 NEW BEST:: SOT 252043 SOS 139886 HAS SOPS 139886 HAS SOUS 132488 HAS SOUPS 132488 WITH SCORE 132627.886
AT ITER 6041 NEW BEST:: SOT 252043 SOS 139886 HAS SOPS 139886 HAS SOUS 132484 HAS SOUPS 132484 WITH SCORE 132623.886
AT ITER 6043 NEW BEST:: SOT 252042 SOS 139885 HAS SOPS 139885 HAS SOUS 132483 HAS SOUPS 132483 WITH SCORE 132622.885
AT ITER 6052 NEW BEST:: SOT 252058 SOS 138841 HAS SOPS 138841 HAS SOUS 131969 HAS SOUPS 131969 WITH SCORE 132107.841
AT ITER 6062 NEW BEST:: SOT 252058 SOS 138617 HAS SOPS 138617 HAS SOUS 131857 HAS SOUPS 131857 WITH SCORE 131995.617
AT ITER 6244 NEW BEST:: SOT 252058 SOS 138604 HAS SOPS 138604 HAS SOUS 131844 HAS SOUPS 131844 WITH SCORE 131982.604
AT ITER 6288 NEW BEST:: SOT 252118 SOS 138470 HAS SOPS 138470 HAS SOUS 131807 HAS SOUPS 131807 WITH SCORE 131945.47
AT ITER 6308 NEW BEST:: SOT 252118 SOS 138469 HAS SOPS 138469 HAS SOUS 131806 HAS SOUPS 131806 WITH SCORE 131944.469
AT ITER 6314 NEW BEST:: SOT 252118 SOS 138468 HAS SOPS 138468 HAS SOUS 131805 HAS SOUPS 131805 WITH SCORE 131943.468
AT ITER 6374 NEW BEST:: SOT 252023 SOS 138373 HAS SOPS 138373 HAS SOUS 131710 HAS SOUPS 131710 WITH SCORE 131848.373
AT ITER 6444 NEW BEST:: SOT 252001 SOS 138351 HAS SOPS 138351 HAS SOUS 131688 HAS SOUPS 131688 WITH SCORE 131826.351
AT ITER 6477 NEW BEST:: SOT 252001 SOS 138321 HAS SOPS 138321 HAS SOUS 131658 HAS SOUPS 131658 WITH SCORE 131796.321
AT ITER 6513 NEW BEST:: SOT 251967 SOS 138287 HAS SOPS 138287 HAS SOUS 131624 HAS SOUPS 131624 WITH SCORE 131762.287
AT ITER 6514 NEW BEST:: SOT 251967 SOS 138287 HAS SOPS 138287 HAS SOUS 131612 HAS SOUPS 131612 WITH SCORE 131750.287
AT ITER 6547 NEW BEST:: SOT 251967 SOS 138284 HAS SOPS 138284 HAS SOUS 131605 HAS SOUPS 131605 WITH SCORE 131743.284
AT ITER 6548 NEW BEST:: SOT 251967 SOS 138273 HAS SOPS 138273 HAS SOUS 131594 HAS SOUPS 131594 WITH SCORE 131732.273
AT ITER 6582 NEW BEST:: SOT 251967 SOS 138226 HAS SOPS 138226 HAS SOUS 131594 HAS SOUPS 131594 WITH SCORE 131732.226
AT ITER 6617 NEW BEST:: SOT 251967 SOS 138187 HAS SOPS 138187 HAS SOUS 131555 HAS SOUPS 131555 WITH SCORE 131693.187
AT ITER 6628 NEW BEST:: SOT 251967 SOS 138184 HAS SOPS 138184 HAS SOUS 131552 HAS SOUPS 131552 WITH SCORE 131690.184
AT ITER 6635 NEW BEST:: SOT 251927 SOS 138144 HAS SOPS 138144 HAS SOUS 131512 HAS SOUPS 131512 WITH SCORE 131650.144
AT ITER 6712 NEW BEST:: SOT 251927 SOS 138132 HAS SOPS 138132 HAS SOUS 131500 HAS SOUPS 131500 WITH SCORE 131638.132
AT ITER 6754 NEW BEST:: SOT 252236 SOS 138110 HAS SOPS 138110 HAS SOUS 131478 HAS SOUPS 131478 WITH SCORE 131616.11
AT ITER 6809 NEW BEST:: SOT 252237 SOS 138109 HAS SOPS 138109 HAS SOUS 131478 HAS SOUPS 131478 WITH SCORE 131616.109
AT ITER 6881 NEW BEST:: SOT 252237 SOS 138073 HAS SOPS 138073 HAS SOUS 131442 HAS SOUPS 131442 WITH SCORE 131580.073
AT ITER 6910 NEW BEST:: SOT 252237 SOS 138059 HAS SOPS 138059 HAS SOUS 131428 HAS SOUPS 131428 WITH SCORE 131566.059
AT ITER 6957 NEW BEST:: SOT 252259 SOS 138047 HAS SOPS 138047 HAS SOUS 131416 HAS SOUPS 131416 WITH SCORE 131554.047
AT ITER 6991 NEW BEST:: SOT 252259 SOS 138024 HAS SOPS 138024 HAS SOUS 131393 HAS SOUPS 131393 WITH SCORE 131531.024
AT ITER 6992 NEW BEST:: SOT 252259 SOS 137950 HAS SOPS 137950 HAS SOUS 131356 HAS SOUPS 131356 WITH SCORE 131493.95
AT ITER 7020 NEW BEST:: SOT 252269 SOS 137464 HAS SOPS 137464 HAS SOUS 131118 HAS SOUPS 131118 WITH SCORE 131255.464
AT ITER 7022 NEW BEST:: SOT 251749 SOS 137462 HAS SOPS 137462 HAS SOUS 131116 HAS SOUPS 131116 WITH SCORE 131253.462
AT ITER 7095 NEW BEST:: SOT 252127 SOS 137444 HAS SOPS 137444 HAS SOUS 131116 HAS SOUPS 131116 WITH SCORE 131253.444
AT ITER 7109 NEW BEST:: SOT 252134 SOS 136957 HAS SOPS 136957 HAS SOUS 130876 HAS SOUPS 130876 WITH SCORE 131012.957
AT ITER 7113 NEW BEST:: SOT 252137 SOS 136954 HAS SOPS 136954 HAS SOUS 130876 HAS SOUPS 130876 WITH SCORE 131012.954
AT ITER 7132 NEW BEST:: SOT 252125 SOS 136942 HAS SOPS 136942 HAS SOUS 130864 HAS SOUPS 130864 WITH SCORE 131000.942
AT ITER 7214 NEW BEST:: SOT 252125 SOS 136883 HAS SOPS 136883 HAS SOUS 130825 HAS SOUPS 130825 WITH SCORE 130961.883
AT ITER 7218 NEW BEST:: SOT 252125 SOS 136880 HAS SOPS 136880 HAS SOUS 130822 HAS SOUPS 130822 WITH SCORE 130958.88
AT ITER 7280 NEW BEST:: SOT 252125 SOS 136871 HAS SOPS 136871 HAS SOUS 130665 HAS SOUPS 130665 WITH SCORE 130801.871
AT ITER 7296 NEW BEST:: SOT 252109 SOS 136855 HAS SOPS 136855 HAS SOUS 130649 HAS SOUPS 130649 WITH SCORE 130785.855
AT ITER 7326 NEW BEST:: SOT 252109 SOS 136839 HAS SOPS 136839 HAS SOUS 130641 HAS SOUPS 130641 WITH SCORE 130777.839
AT ITER 7342 NEW BEST:: SOT 252079 SOS 136809 HAS SOPS 136809 HAS SOUS 130611 HAS SOUPS 130611 WITH SCORE 130747.809
AT ITER 7351 NEW BEST:: SOT 252067 SOS 136797 HAS SOPS 136797 HAS SOUS 130599 HAS SOUPS 130599 WITH SCORE 130735.797
AT ITER 7425 NEW BEST:: SOT 252033 SOS 136796 HAS SOPS 136796 HAS SOUS 130598 HAS SOUPS 130598 WITH SCORE 130734.796
AT ITER 7430 NEW BEST:: SOT 251995 SOS 136758 HAS SOPS 136758 HAS SOUS 130560 HAS SOUPS 130560 WITH SCORE 130696.758
AT ITER 7472 NEW BEST:: SOT 251995 SOS 136757 HAS SOPS 136757 HAS SOUS 130559 HAS SOUPS 130559 WITH SCORE 130695.757
AT ITER 7477 NEW BEST:: SOT 251995 SOS 136757 HAS SOPS 136757 HAS SOUS 130524 HAS SOUPS 130524 WITH SCORE 130660.757
AT ITER 7492 NEW BEST:: SOT 251987 SOS 136749 HAS SOPS 136749 HAS SOUS 130516 HAS SOUPS 130516 WITH SCORE 130652.749
AT ITER 7545 NEW BEST:: SOT 251987 SOS 136735 HAS SOPS 136735 HAS SOUS 130502 HAS SOUPS 130502 WITH SCORE 130638.735
AT ITER 7577 NEW BEST:: SOT 251987 SOS 136656 HAS SOPS 136656 HAS SOUS 130423 HAS SOUPS 130423 WITH SCORE 130559.656
AT ITER 7631 NEW BEST:: SOT 251987 SOS 136635 HAS SOPS 136635 HAS SOUS 130411 HAS SOUPS 130411 WITH SCORE 130547.635
AT ITER 7697 NEW BEST:: SOT 252082 SOS 136554 HAS SOPS 136554 HAS SOUS 130411 HAS SOUPS 130411 WITH SCORE 130547.554
AT ITER 7722 NEW BEST:: SOT 252082 SOS 136547 HAS SOPS 136547 HAS SOUS 130404 HAS SOUPS 130404 WITH SCORE 130540.547
AT ITER 7734 NEW BEST:: SOT 252082 SOS 136419 HAS SOPS 136419 HAS SOUS 130340 HAS SOUPS 130340 WITH SCORE 130476.419
AT ITER 7745 NEW BEST:: SOT 252080 SOS 136417 HAS SOPS 136417 HAS SOUS 130338 HAS SOUPS 130338 WITH SCORE 130474.417
AT ITER 7827 NEW BEST:: SOT 252080 SOS 136410 HAS SOPS 136410 HAS SOUS 130331 HAS SOUPS 130331 WITH SCORE 130467.41
AT ITER 7833 NEW BEST:: SOT 252090 SOS 136358 HAS SOPS 136358 HAS SOUS 130279 HAS SOUPS 130279 WITH SCORE 130415.358
AT ITER 7834 NEW BEST:: SOT 252066 SOS 136334 HAS SOPS 136334 HAS SOUS 130255 HAS SOUPS 130255 WITH SCORE 130391.334
AT ITER 7858 NEW BEST:: SOT 252066 SOS 136332 HAS SOPS 136332 HAS SOUS 130253 HAS SOUPS 130253 WITH SCORE 130389.332
AT ITER 7875 NEW BEST:: SOT 252034 SOS 136330 HAS SOPS 136330 HAS SOUS 130251 HAS SOUPS 130251 WITH SCORE 130387.33
AT ITER 7887 NEW BEST:: SOT 252026 SOS 136330 HAS SOPS 136330 HAS SOUS 130243 HAS SOUPS 130243 WITH SCORE 130379.33
AT ITER 7909 NEW BEST:: SOT 252045 SOS 136215 HAS SOPS 136215 HAS SOUS 130195 HAS SOUPS 130195 WITH SCORE 130331.215
AT ITER 7942 NEW BEST:: SOT 252045 SOS 136186 HAS SOPS 136186 HAS SOUS 130166 HAS SOUPS 130166 WITH SCORE 130302.186
AT ITER 7974 NEW BEST:: SOT 252045 SOS 136179 HAS SOPS 136179 HAS SOUS 130159 HAS SOUPS 130159 WITH SCORE 130295.179
AT ITER 8036 NEW BEST:: SOT 252017 SOS 136151 HAS SOPS 136151 HAS SOUS 130131 HAS SOUPS 130131 WITH SCORE 130267.151
AT ITER 8076 NEW BEST:: SOT 252017 SOS 136103 HAS SOPS 136103 HAS SOUS 130083 HAS SOUPS 130083 WITH SCORE 130219.103
AT ITER 8088 NEW BEST:: SOT 252016 SOS 136102 HAS SOPS 136102 HAS SOUS 130082 HAS SOUPS 130082 WITH SCORE 130218.102
AT ITER 8102 NEW BEST:: SOT 251954 SOS 136040 HAS SOPS 136040 HAS SOUS 130020 HAS SOUPS 130020 WITH SCORE 130156.04
AT ITER 8117 NEW BEST:: SOT 251917 SOS 136003 HAS SOPS 136003 HAS SOUS 130020 HAS SOUPS 130020 WITH SCORE 130156.003
AT ITER 8141 NEW BEST:: SOT 251928 SOS 135996 HAS SOPS 135996 HAS SOUS 130013 HAS SOUPS 130013 WITH SCORE 130148.996
AT ITER 8162 NEW BEST:: SOT 252297 SOS 135826 HAS SOPS 135826 HAS SOUS 129843 HAS SOUPS 129843 WITH SCORE 129978.826
AT ITER 8189 NEW BEST:: SOT 252293 SOS 135822 HAS SOPS 135822 HAS SOUS 129839 HAS SOUPS 129839 WITH SCORE 129974.822
AT ITER 8217 NEW BEST:: SOT 252293 SOS 135808 HAS SOPS 135808 HAS SOUS 129821 HAS SOUPS 129821 WITH SCORE 129956.808
AT ITER 8245 NEW BEST:: SOT 252293 SOS 135794 HAS SOPS 135794 HAS SOUS 129807 HAS SOUPS 129807 WITH SCORE 129942.794
AT ITER 8321 NEW BEST:: SOT 252281 SOS 135782 HAS SOPS 135782 HAS SOUS 129795 HAS SOUPS 129795 WITH SCORE 129930.782
AT ITER 8322 NEW BEST:: SOT 252941 SOS 135773 HAS SOPS 135773 HAS SOUS 129786 HAS SOUPS 129786 WITH SCORE 129921.773
AT ITER 8330 NEW BEST:: SOT 253014 SOS 135168 HAS SOPS 135168 HAS SOUS 129520 HAS SOUPS 129520 WITH SCORE 129655.168
AT ITER 8331 NEW BEST:: SOT 253001 SOS 135155 HAS SOPS 135155 HAS SOUS 129507 HAS SOUPS 129507 WITH SCORE 129642.155
AT ITER 8334 NEW BEST:: SOT 253001 SOS 135152 HAS SOPS 135152 HAS SOUS 129504 HAS SOUPS 129504 WITH SCORE 129639.152
AT ITER 8349 NEW BEST:: SOT 253052 SOS 135201 HAS SOPS 135201 HAS SOUS 129502 HAS SOUPS 129502 WITH SCORE 129637.201
AT ITER 8350 NEW BEST:: SOT 252930 SOS 135093 HAS SOPS 135093 HAS SOUS 129455 HAS SOUPS 129455 WITH SCORE 129590.093
AT ITER 8356 NEW BEST:: SOT 252930 SOS 135087 HAS SOPS 135087 HAS SOUS 129449 HAS SOUPS 129449 WITH SCORE 129584.087
AT ITER 8376 NEW BEST:: SOT 252930 SOS 135084 HAS SOPS 135084 HAS SOUS 129446 HAS SOUPS 129446 WITH SCORE 129581.084
AT ITER 8383 NEW BEST:: SOT 253218 SOS 135225 HAS SOPS 135225 HAS SOUS 129436 HAS SOUPS 129436 WITH SCORE 129571.225
AT ITER 8392 NEW BEST:: SOT 253206 SOS 135224 HAS SOPS 135224 HAS SOUS 129435 HAS SOUPS 129435 WITH SCORE 129570.224
AT ITER 8401 NEW BEST:: SOT 253196 SOS 135214 HAS SOPS 135214 HAS SOUS 129425 HAS SOUPS 129425 WITH SCORE 129560.214
AT ITER 8420 NEW BEST:: SOT 253196 SOS 135187 HAS SOPS 135187 HAS SOUS 129398 HAS SOUPS 129398 WITH SCORE 129533.187
AT ITER 8453 NEW BEST:: SOT 253205 SOS 135149 HAS SOPS 135149 HAS SOUS 129360 HAS SOUPS 129360 WITH SCORE 129495.149
AT ITER 8509 NEW BEST:: SOT 253628 SOS 135470 HAS SOPS 135470 HAS SOUS 129359 HAS SOUPS 129359 WITH SCORE 129494.47
AT ITER 8531 NEW BEST:: SOT 253628 SOS 135418 HAS SOPS 135418 HAS SOUS 129307 HAS SOUPS 129307 WITH SCORE 129442.418
AT ITER 8556 NEW BEST:: SOT 253628 SOS 135392 HAS SOPS 135392 HAS SOUS 129281 HAS SOUPS 129281 WITH SCORE 129416.392
AT ITER 8571 NEW BEST:: SOT 253399 SOS 135438 HAS SOPS 135438 HAS SOUS 129263 HAS SOUPS 129263 WITH SCORE 129398.438
AT ITER 8586 NEW BEST:: SOT 253349 SOS 135388 HAS SOPS 135388 HAS SOUS 129205 HAS SOUPS 129205 WITH SCORE 129340.388
AT ITER 8612 NEW BEST:: SOT 253349 SOS 135383 HAS SOPS 135383 HAS SOUS 129200 HAS SOUPS 129200 WITH SCORE 129335.383
AT ITER 8625 NEW BEST:: SOT 253267 SOS 135301 HAS SOPS 135301 HAS SOUS 129118 HAS SOUPS 129118 WITH SCORE 129253.301
AT ITER 8638 NEW BEST:: SOT 253264 SOS 135298 HAS SOPS 135298 HAS SOUS 129115 HAS SOUPS 129115 WITH SCORE 129250.298
AT ITER 8672 NEW BEST:: SOT 253264 SOS 135282 HAS SOPS 135282 HAS SOUS 129099 HAS SOUPS 129099 WITH SCORE 129234.282
AT ITER 8687 NEW BEST:: SOT 253264 SOS 135282 HAS SOPS 135282 HAS SOUS 129062 HAS SOUPS 129062 WITH SCORE 129197.282
AT ITER 8719 NEW BEST:: SOT 253242 SOS 135260 HAS SOPS 135260 HAS SOUS 129040 HAS SOUPS 129040 WITH SCORE 129175.26
AT ITER 8826 NEW BEST:: SOT 253241 SOS 135259 HAS SOPS 135259 HAS SOUS 129039 HAS SOUPS 129039 WITH SCORE 129174.259
AT ITER 8828 NEW BEST:: SOT 253241 SOS 135255 HAS SOPS 135255 HAS SOUS 129035 HAS SOUPS 129035 WITH SCORE 129170.255
AT ITER 8863 NEW BEST:: SOT 253240 SOS 135254 HAS SOPS 135254 HAS SOUS 129034 HAS SOUPS 129034 WITH SCORE 129169.254
AT ITER 8883 NEW BEST:: SOT 253240 SOS 135205 HAS SOPS 135205 HAS SOUS 128985 HAS SOUPS 128985 WITH SCORE 129120.205
AT ITER 8889 NEW BEST:: SOT 253240 SOS 135192 HAS SOPS 135192 HAS SOUS 128972 HAS SOUPS 128972 WITH SCORE 129107.192
AT ITER 8892 NEW BEST:: SOT 253238 SOS 135190 HAS SOPS 135190 HAS SOUS 128970 HAS SOUPS 128970 WITH SCORE 129105.19
AT ITER 8940 NEW BEST:: SOT 253223 SOS 135175 HAS SOPS 135175 HAS SOUS 128955 HAS SOUPS 128955 WITH SCORE 129090.175
AT ITER 8951 NEW BEST:: SOT 253212 SOS 135164 HAS SOPS 135164 HAS SOUS 128944 HAS SOUPS 128944 WITH SCORE 129079.164
AT ITER 8971 NEW BEST:: SOT 253187 SOS 135139 HAS SOPS 135139 HAS SOUS 128919 HAS SOUPS 128919 WITH SCORE 129054.139
AT ITER 9016 NEW BEST:: SOT 253187 SOS 135120 HAS SOPS 135120 HAS SOUS 128900 HAS SOUPS 128900 WITH SCORE 129035.12
AT ITER 9027 NEW BEST:: SOT 253187 SOS 135119 HAS SOPS 135119 HAS SOUS 128899 HAS SOUPS 128899 WITH SCORE 129034.119
AT ITER 9040 NEW BEST:: SOT 253192 SOS 135057 HAS SOPS 135057 HAS SOUS 128837 HAS SOUPS 128837 WITH SCORE 128972.057
AT ITER 9051 NEW BEST:: SOT 253194 SOS 135039 HAS SOPS 135039 HAS SOUS 128832 HAS SOUPS 128832 WITH SCORE 128967.039
AT ITER 9068 NEW BEST:: SOT 253194 SOS 135050 HAS SOPS 135050 HAS SOUS 128806 HAS SOUPS 128806 WITH SCORE 128941.05
AT ITER 9180 NEW BEST:: SOT 253175 SOS 135031 HAS SOPS 135031 HAS SOUS 128787 HAS SOUPS 128787 WITH SCORE 128922.031
AT ITER 9238 NEW BEST:: SOT 253175 SOS 135011 HAS SOPS 135011 HAS SOUS 128767 HAS SOUPS 128767 WITH SCORE 128902.011
AT ITER 9288 NEW BEST:: SOT 253175 SOS 135009 HAS SOPS 135009 HAS SOUS 128766 HAS SOUPS 128766 WITH SCORE 128901.009
AT ITER 9346 NEW BEST:: SOT 253175 SOS 134917 HAS SOPS 134917 HAS SOUS 128720 HAS SOUPS 128720 WITH SCORE 128854.917
AT ITER 9405 NEW BEST:: SOT 253160 SOS 134902 HAS SOPS 134902 HAS SOUS 128705 HAS SOUPS 128705 WITH SCORE 128839.902
AT ITER 9487 NEW BEST:: SOT 253160 SOS 134902 HAS SOPS 134902 HAS SOUS 128696 HAS SOUPS 128696 WITH SCORE 128830.902
AT ITER 9548 NEW BEST:: SOT 253160 SOS 134888 HAS SOPS 134888 HAS SOUS 128682 HAS SOUPS 128682 WITH SCORE 128816.888
AT ITER 9578 NEW BEST:: SOT 253100 SOS 134858 HAS SOPS 134858 HAS SOUS 128682 HAS SOUPS 128682 WITH SCORE 128816.858
AT ITER 9623 NEW BEST:: SOT 253100 SOS 134845 HAS SOPS 134845 HAS SOUS 128669 HAS SOUPS 128669 WITH SCORE 128803.845
AT ITER 9664 NEW BEST:: SOT 253042 SOS 134845 HAS SOPS 134845 HAS SOUS 128635 HAS SOUPS 128635 WITH SCORE 128769.845
AT ITER 9666 NEW BEST:: SOT 253042 SOS 134837 HAS SOPS 134837 HAS SOUS 128627 HAS SOUPS 128627 WITH SCORE 128761.837
AT ITER 9763 NEW BEST:: SOT 253030 SOS 134825 HAS SOPS 134825 HAS SOUS 128615 HAS SOUPS 128615 WITH SCORE 128749.825
AT ITER 9790 NEW BEST:: SOT 252994 SOS 134789 HAS SOPS 134789 HAS SOUS 128579 HAS SOUPS 128579 WITH SCORE 128713.789
AT ITER 9867 NEW BEST:: SOT 252994 SOS 134744 HAS SOPS 134744 HAS SOUS 128534 HAS SOUPS 128534 WITH SCORE 128668.744
AT ITER 9909 NEW BEST:: SOT 252994 SOS 134744 HAS SOPS 134744 HAS SOUS 128530 HAS SOUPS 128530 WITH SCORE 128664.744
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 7374420 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16123276 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="QuasiCertifProtocol-PT-18"
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 QuasiCertifProtocol-PT-18, 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 r299-tall-167873953600888"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-18.tgz
mv QuasiCertifProtocol-PT-18 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 ;