About the Execution of Smart+red for DES-PT-20b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13124.376 | 3600000.00 | 3658066.00 | 10365.90 | [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.r107-tall-167814484200440.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 DES-PT-20b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484200440
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 7.6K Feb 26 15:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 15:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 15:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 91K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678371039122
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=DES-PT-20b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 14:10:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 14:10:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 14:10:40] [INFO ] Load time of PNML (sax parser for PT used): 59 ms
[2023-03-09 14:10:40] [INFO ] Transformed 360 places.
[2023-03-09 14:10:40] [INFO ] Transformed 311 transitions.
[2023-03-09 14:10:40] [INFO ] Found NUPN structural information;
[2023-03-09 14:10:40] [INFO ] Parsed PT model containing 360 places and 311 transitions and 987 arcs in 125 ms.
[2023-03-09 14:10:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 360 places, 311 transitions and 987 arcs took 6 ms.
Total runtime 158 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20b
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: 360 places, 311 transitions, 987 arcs.
AT ITER 0 NEW BEST:: SOT 67426 SOS 13016 HAS SOPS 13016 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11638.016
AT ITER 37 NEW BEST:: SOT 67409 SOS 12999 HAS SOPS 12999 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11620.999
AT ITER 38 NEW BEST:: SOT 67409 SOS 12993 HAS SOPS 12993 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11612.993
AT ITER 65 NEW BEST:: SOT 67389 SOS 12992 HAS SOPS 12992 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11611.992
AT ITER 95 NEW BEST:: SOT 67373 SOS 12975 HAS SOPS 12975 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11594.975
AT ITER 124 NEW BEST:: SOT 67373 SOS 12830 HAS SOPS 12830 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11565.83
AT ITER 125 NEW BEST:: SOT 67345 SOS 12809 HAS SOPS 12809 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11544.809
AT ITER 182 NEW BEST:: SOT 67326 SOS 12771 HAS SOPS 12771 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11506.771
AT ITER 196 NEW BEST:: SOT 67290 SOS 12744 HAS SOPS 12744 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11479.744
AT ITER 210 NEW BEST:: SOT 67272 SOS 12694 HAS SOPS 12694 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11429.694
AT ITER 218 NEW BEST:: SOT 67244 SOS 12696 HAS SOPS 12696 HAS SOUS 11403 HAS SOUPS 11403 WITH SCORE 11415.696
AT ITER 225 NEW BEST:: SOT 67231 SOS 12696 HAS SOPS 12696 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11414.696
AT ITER 234 NEW BEST:: SOT 67093 SOS 12600 HAS SOPS 12600 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11276.6
AT ITER 239 NEW BEST:: SOT 67091 SOS 12598 HAS SOPS 12598 HAS SOUS 11262 HAS SOUPS 11262 WITH SCORE 11274.598
AT ITER 241 NEW BEST:: SOT 67082 SOS 12589 HAS SOPS 12589 HAS SOUS 11253 HAS SOUPS 11253 WITH SCORE 11265.589
AT ITER 246 NEW BEST:: SOT 67048 SOS 12559 HAS SOPS 12559 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11235.559
AT ITER 285 NEW BEST:: SOT 67048 SOS 12585 HAS SOPS 12585 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11229.585
AT ITER 293 NEW BEST:: SOT 67037 SOS 12573 HAS SOPS 12573 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11217.573
AT ITER 317 NEW BEST:: SOT 67032 SOS 12533 HAS SOPS 12533 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11207.533
AT ITER 364 NEW BEST:: SOT 67016 SOS 12525 HAS SOPS 12525 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11199.525
AT ITER 407 NEW BEST:: SOT 67016 SOS 12524 HAS SOPS 12524 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11198.524
AT ITER 459 NEW BEST:: SOT 67016 SOS 12524 HAS SOPS 12524 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11197.524
AT ITER 465 NEW BEST:: SOT 67015 SOS 12516 HAS SOPS 12516 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11188.516
AT ITER 498 NEW BEST:: SOT 67015 SOS 12483 HAS SOPS 12483 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11155.483
AT ITER 499 NEW BEST:: SOT 66958 SOS 12495 HAS SOPS 12495 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11148.495
AT ITER 511 NEW BEST:: SOT 66958 SOS 12493 HAS SOPS 12493 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11146.493
AT ITER 561 NEW BEST:: SOT 66924 SOS 12455 HAS SOPS 12455 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11108.455
AT ITER 565 NEW BEST:: SOT 66924 SOS 12443 HAS SOPS 12443 HAS SOUS 11048 HAS SOUPS 11048 WITH SCORE 11060.443
AT ITER 568 NEW BEST:: SOT 66896 SOS 12349 HAS SOPS 12349 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11008.349
AT ITER 626 NEW BEST:: SOT 66895 SOS 12336 HAS SOPS 12336 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11004.336
AT ITER 639 NEW BEST:: SOT 66881 SOS 12320 HAS SOPS 12320 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10988.32
AT ITER 646 NEW BEST:: SOT 66822 SOS 12285 HAS SOPS 12285 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10953.285
AT ITER 654 NEW BEST:: SOT 66812 SOS 12263 HAS SOPS 12263 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10932.263
AT ITER 694 NEW BEST:: SOT 66660 SOS 12185 HAS SOPS 12185 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10751.185
AT ITER 712 NEW BEST:: SOT 66642 SOS 12206 HAS SOPS 12206 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10743.206
AT ITER 723 NEW BEST:: SOT 66638 SOS 12202 HAS SOPS 12202 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.202
AT ITER 755 NEW BEST:: SOT 66638 SOS 12201 HAS SOPS 12201 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10740.201
AT ITER 765 NEW BEST:: SOT 66638 SOS 12200 HAS SOPS 12200 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10739.2
AT ITER 800 NEW BEST:: SOT 66569 SOS 12989 HAS SOPS 12989 HAS SOUS 10715 HAS SOUPS 10715 WITH SCORE 10727.989
AT ITER 812 NEW BEST:: SOT 66565 SOS 12985 HAS SOPS 12985 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10719.985
AT ITER 840 NEW BEST:: SOT 66559 SOS 12985 HAS SOPS 12985 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10713.985
AT ITER 854 NEW BEST:: SOT 66545 SOS 12968 HAS SOPS 12968 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10696.968
AT ITER 889 NEW BEST:: SOT 66477 SOS 12955 HAS SOPS 12955 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10638.955
AT ITER 901 NEW BEST:: SOT 66469 SOS 12946 HAS SOPS 12946 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10629.946
AT ITER 926 NEW BEST:: SOT 66447 SOS 12903 HAS SOPS 12903 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10586.903
AT ITER 946 NEW BEST:: SOT 66388 SOS 12874 HAS SOPS 12874 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10557.874
AT ITER 984 NEW BEST:: SOT 66346 SOS 12840 HAS SOPS 12840 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10523.84
AT ITER 1004 NEW BEST:: SOT 66322 SOS 12816 HAS SOPS 12816 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10499.816
AT ITER 1008 NEW BEST:: SOT 66322 SOS 12796 HAS SOPS 12796 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10495.796
AT ITER 1010 NEW BEST:: SOT 66298 SOS 12796 HAS SOPS 12796 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10482.796
AT ITER 1056 NEW BEST:: SOT 66277 SOS 12787 HAS SOPS 12787 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10473.787
AT ITER 1064 NEW BEST:: SOT 66277 SOS 12786 HAS SOPS 12786 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10472.786
AT ITER 1090 NEW BEST:: SOT 66277 SOS 12785 HAS SOPS 12785 HAS SOUS 10459 HAS SOUPS 10459 WITH SCORE 10471.785
AT ITER 1118 NEW BEST:: SOT 66105 SOS 12589 HAS SOPS 12589 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.589
AT ITER 1120 NEW BEST:: SOT 66054 SOS 12521 HAS SOPS 12521 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10207.521
AT ITER 1134 NEW BEST:: SOT 66054 SOS 12521 HAS SOPS 12521 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10206.521
AT ITER 1142 NEW BEST:: SOT 66054 SOS 12512 HAS SOPS 12512 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10197.512
AT ITER 1225 NEW BEST:: SOT 66032 SOS 12517 HAS SOPS 12517 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10194.517
AT ITER 1275 NEW BEST:: SOT 66027 SOS 12515 HAS SOPS 12515 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10192.515
AT ITER 1282 NEW BEST:: SOT 66005 SOS 12494 HAS SOPS 12494 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10171.494
AT ITER 1317 NEW BEST:: SOT 66005 SOS 12480 HAS SOPS 12480 HAS SOUS 10145 HAS SOUPS 10145 WITH SCORE 10157.48
AT ITER 1348 NEW BEST:: SOT 65981 SOS 12465 HAS SOPS 12465 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10142.465
AT ITER 1355 NEW BEST:: SOT 65980 SOS 12463 HAS SOPS 12463 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10142.463
AT ITER 1423 NEW BEST:: SOT 65996 SOS 12462 HAS SOPS 12462 HAS SOUS 10128 HAS SOUPS 10128 WITH SCORE 10140.462
AT ITER 1432 NEW BEST:: SOT 65992 SOS 12457 HAS SOPS 12457 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10135.457
AT ITER 1468 NEW BEST:: SOT 65971 SOS 12436 HAS SOPS 12436 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10092.436
AT ITER 1487 NEW BEST:: SOT 65955 SOS 12421 HAS SOPS 12421 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10077.421
AT ITER 1490 NEW BEST:: SOT 65947 SOS 12419 HAS SOPS 12419 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10060.419
AT ITER 1500 NEW BEST:: SOT 65954 SOS 12417 HAS SOPS 12417 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10058.417
AT ITER 1544 NEW BEST:: SOT 65943 SOS 12406 HAS SOPS 12406 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10046.406
AT ITER 1566 NEW BEST:: SOT 65921 SOS 12384 HAS SOPS 12384 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10024.384
AT ITER 1594 NEW BEST:: SOT 65921 SOS 12384 HAS SOPS 12384 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10022.384
AT ITER 1621 NEW BEST:: SOT 65929 SOS 12372 HAS SOPS 12372 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10010.372
AT ITER 1666 NEW BEST:: SOT 65911 SOS 12377 HAS SOPS 12377 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10008.377
AT ITER 1669 NEW BEST:: SOT 65877 SOS 12325 HAS SOPS 12325 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 9973.325
AT ITER 1720 NEW BEST:: SOT 65842 SOS 12332 HAS SOPS 12332 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9941.332
AT ITER 1777 NEW BEST:: SOT 65788 SOS 12296 HAS SOPS 12296 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9905.296
AT ITER 1790 NEW BEST:: SOT 65788 SOS 12281 HAS SOPS 12281 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9902.281
AT ITER 1793 NEW BEST:: SOT 65770 SOS 12245 HAS SOPS 12245 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9898.245
AT ITER 1807 NEW BEST:: SOT 65758 SOS 12241 HAS SOPS 12241 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9894.241
AT ITER 1812 NEW BEST:: SOT 65709 SOS 12201 HAS SOPS 12201 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9854.201
AT ITER 1841 NEW BEST:: SOT 65692 SOS 12181 HAS SOPS 12181 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9834.181
AT ITER 1861 NEW BEST:: SOT 65673 SOS 12155 HAS SOPS 12155 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9808.155
AT ITER 1887 NEW BEST:: SOT 65672 SOS 12153 HAS SOPS 12153 HAS SOUS 9794 HAS SOUPS 9794 WITH SCORE 9806.153
AT ITER 1897 NEW BEST:: SOT 65662 SOS 12132 HAS SOPS 12132 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9785.132
AT ITER 1902 NEW BEST:: SOT 65657 SOS 12147 HAS SOPS 12147 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9780.147
AT ITER 1934 NEW BEST:: SOT 65643 SOS 12153 HAS SOPS 12153 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9773.153
AT ITER 1941 NEW BEST:: SOT 65292 SOS 12030 HAS SOPS 12030 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9469.03
AT ITER 1962 NEW BEST:: SOT 65289 SOS 12030 HAS SOPS 12030 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9463.03
AT ITER 1964 NEW BEST:: SOT 65228 SOS 12078 HAS SOPS 12078 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9443.078
AT ITER 1986 NEW BEST:: SOT 65227 SOS 12121 HAS SOPS 12121 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9396.121
AT ITER 1989 NEW BEST:: SOT 65227 SOS 12104 HAS SOPS 12104 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9379.104
AT ITER 1993 NEW BEST:: SOT 65232 SOS 12109 HAS SOPS 12109 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9378.109
AT ITER 2004 NEW BEST:: SOT 65239 SOS 12087 HAS SOPS 12087 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9345.087
AT ITER 2017 NEW BEST:: SOT 65239 SOS 12087 HAS SOPS 12087 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9344.087
AT ITER 2023 NEW BEST:: SOT 65242 SOS 12087 HAS SOPS 12087 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9343.087
AT ITER 2029 NEW BEST:: SOT 65223 SOS 12049 HAS SOPS 12049 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9305.049
AT ITER 2069 NEW BEST:: SOT 65207 SOS 12035 HAS SOPS 12035 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9280.035
AT ITER 2074 NEW BEST:: SOT 65183 SOS 12020 HAS SOPS 12020 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9265.02
AT ITER 2128 NEW BEST:: SOT 65142 SOS 11979 HAS SOPS 11979 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9223.979
AT ITER 2290 NEW BEST:: SOT 65167 SOS 11970 HAS SOPS 11970 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9221.97
AT ITER 2296 NEW BEST:: SOT 65160 SOS 11960 HAS SOPS 11960 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9211.96
AT ITER 2305 NEW BEST:: SOT 65144 SOS 11501 HAS SOPS 11501 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9160.501
AT ITER 2314 NEW BEST:: SOT 65144 SOS 11500 HAS SOPS 11500 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9159.5
AT ITER 2379 NEW BEST:: SOT 65133 SOS 11512 HAS SOPS 11512 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9145.512
AT ITER 2384 NEW BEST:: SOT 65133 SOS 11487 HAS SOPS 11487 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9142.487
AT ITER 2385 NEW BEST:: SOT 65128 SOS 11477 HAS SOPS 11477 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9132.477
AT ITER 2386 NEW BEST:: SOT 65128 SOS 11476 HAS SOPS 11476 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9131.476
AT ITER 2390 NEW BEST:: SOT 65096 SOS 11426 HAS SOPS 11426 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9097.426
AT ITER 2405 NEW BEST:: SOT 65099 SOS 11410 HAS SOPS 11410 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9081.41
AT ITER 2463 NEW BEST:: SOT 65099 SOS 11404 HAS SOPS 11404 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9075.404
AT ITER 2511 NEW BEST:: SOT 64923 SOS 11205 HAS SOPS 11205 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8876.205
AT ITER 2516 NEW BEST:: SOT 64943 SOS 11195 HAS SOPS 11195 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8872.195
AT ITER 2520 NEW BEST:: SOT 64942 SOS 11194 HAS SOPS 11194 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8862.194
AT ITER 2557 NEW BEST:: SOT 64941 SOS 11193 HAS SOPS 11193 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8861.193
AT ITER 2618 NEW BEST:: SOT 64898 SOS 11107 HAS SOPS 11107 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8818.107
AT ITER 2641 NEW BEST:: SOT 64894 SOS 11098 HAS SOPS 11098 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8813.098
AT ITER 2654 NEW BEST:: SOT 64894 SOS 11096 HAS SOPS 11096 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8811.096
AT ITER 2722 NEW BEST:: SOT 64893 SOS 11095 HAS SOPS 11095 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8810.095
AT ITER 2778 NEW BEST:: SOT 64899 SOS 11107 HAS SOPS 11107 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8793.107
AT ITER 2781 NEW BEST:: SOT 64818 SOS 11315 HAS SOPS 11315 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8726.315
AT ITER 2791 NEW BEST:: SOT 64816 SOS 11313 HAS SOPS 11313 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8724.313
AT ITER 2823 NEW BEST:: SOT 64795 SOS 11271 HAS SOPS 11271 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8691.271
AT ITER 2842 NEW BEST:: SOT 64787 SOS 11255 HAS SOPS 11255 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8675.255
AT ITER 2870 NEW BEST:: SOT 64797 SOS 11246 HAS SOPS 11246 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8666.246
AT ITER 2934 NEW BEST:: SOT 64794 SOS 11265 HAS SOPS 11265 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8662.265
AT ITER 3006 NEW BEST:: SOT 64796 SOS 11266 HAS SOPS 11266 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8661.266
AT ITER 3040 NEW BEST:: SOT 64800 SOS 11270 HAS SOPS 11270 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8656.27
AT ITER 3064 NEW BEST:: SOT 64800 SOS 11262 HAS SOPS 11262 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8640.262
AT ITER 3153 NEW BEST:: SOT 64800 SOS 11253 HAS SOPS 11253 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8631.253
AT ITER 3213 NEW BEST:: SOT 64788 SOS 11237 HAS SOPS 11237 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8615.237
AT ITER 3218 NEW BEST:: SOT 64778 SOS 11227 HAS SOPS 11227 HAS SOUS 8584 HAS SOUPS 8584 WITH SCORE 8595.227
AT ITER 3225 NEW BEST:: SOT 64764 SOS 11215 HAS SOPS 11215 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8581.215
AT ITER 3278 NEW BEST:: SOT 64758 SOS 11209 HAS SOPS 11209 HAS SOUS 8564 HAS SOUPS 8564 WITH SCORE 8575.209
AT ITER 3368 NEW BEST:: SOT 64749 SOS 11222 HAS SOPS 11222 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8568.222
AT ITER 3460 NEW BEST:: SOT 64745 SOS 11218 HAS SOPS 11218 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8560.218
AT ITER 3465 NEW BEST:: SOT 64734 SOS 11197 HAS SOPS 11197 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8539.197
AT ITER 3477 NEW BEST:: SOT 64731 SOS 11195 HAS SOPS 11195 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8537.195
AT ITER 3482 NEW BEST:: SOT 64738 SOS 11202 HAS SOPS 11202 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8501.202
AT ITER 3523 NEW BEST:: SOT 64718 SOS 11193 HAS SOPS 11193 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8481.193
AT ITER 3573 NEW BEST:: SOT 64693 SOS 11170 HAS SOPS 11170 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8458.17
AT ITER 3699 NEW BEST:: SOT 64691 SOS 11163 HAS SOPS 11163 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8451.163
AT ITER 3725 NEW BEST:: SOT 64688 SOS 11159 HAS SOPS 11159 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8447.159
AT ITER 3732 NEW BEST:: SOT 64672 SOS 11118 HAS SOPS 11118 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8406.118
AT ITER 3741 NEW BEST:: SOT 64666 SOS 11109 HAS SOPS 11109 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8397.109
AT ITER 3755 NEW BEST:: SOT 64666 SOS 11108 HAS SOPS 11108 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8397.108
AT ITER 3764 NEW BEST:: SOT 64665 SOS 11125 HAS SOPS 11125 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8395.125
AT ITER 3770 NEW BEST:: SOT 64665 SOS 11135 HAS SOPS 11135 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8390.135
AT ITER 3774 NEW BEST:: SOT 64673 SOS 11148 HAS SOPS 11148 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8389.148
AT ITER 3788 NEW BEST:: SOT 64673 SOS 11139 HAS SOPS 11139 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8380.139
AT ITER 3814 NEW BEST:: SOT 64666 SOS 11111 HAS SOPS 11111 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8352.111
AT ITER 3848 NEW BEST:: SOT 64666 SOS 11110 HAS SOPS 11110 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8351.11
AT ITER 3872 NEW BEST:: SOT 64652 SOS 11109 HAS SOPS 11109 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8350.109
AT ITER 3890 NEW BEST:: SOT 64652 SOS 11108 HAS SOPS 11108 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8349.108
AT ITER 3942 NEW BEST:: SOT 64652 SOS 11106 HAS SOPS 11106 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8347.106
AT ITER 4072 NEW BEST:: SOT 64648 SOS 11102 HAS SOPS 11102 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8339.102
AT ITER 4073 NEW BEST:: SOT 64644 SOS 11098 HAS SOPS 11098 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8331.098
AT ITER 4079 NEW BEST:: SOT 64603 SOS 11104 HAS SOPS 11104 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8299.104
AT ITER 4088 NEW BEST:: SOT 64603 SOS 11102 HAS SOPS 11102 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8297.102
AT ITER 4098 NEW BEST:: SOT 64601 SOS 11100 HAS SOPS 11100 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8295.1
AT ITER 4119 NEW BEST:: SOT 64688 SOS 11080 HAS SOPS 11080 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8295.08
AT ITER 4171 NEW BEST:: SOT 64682 SOS 11105 HAS SOPS 11105 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8289.105
AT ITER 4232 NEW BEST:: SOT 64680 SOS 11103 HAS SOPS 11103 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8285.103
AT ITER 4246 NEW BEST:: SOT 64669 SOS 11083 HAS SOPS 11083 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8265.083
AT ITER 4274 NEW BEST:: SOT 64669 SOS 11082 HAS SOPS 11082 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8264.082
AT ITER 4288 NEW BEST:: SOT 64665 SOS 11078 HAS SOPS 11078 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8260.078
AT ITER 4299 NEW BEST:: SOT 64656 SOS 11079 HAS SOPS 11079 HAS SOUS 8244 HAS SOUPS 8244 WITH SCORE 8255.079
AT ITER 4313 NEW BEST:: SOT 64642 SOS 11039 HAS SOPS 11039 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8225.039
AT ITER 4325 NEW BEST:: SOT 64623 SOS 11001 HAS SOPS 11001 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8206.001
AT ITER 4383 NEW BEST:: SOT 64623 SOS 10999 HAS SOPS 10999 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8203.999
AT ITER 4442 NEW BEST:: SOT 64622 SOS 10998 HAS SOPS 10998 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8202.998
AT ITER 4461 NEW BEST:: SOT 64616 SOS 10982 HAS SOPS 10982 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8186.982
AT ITER 4472 NEW BEST:: SOT 64615 SOS 10984 HAS SOPS 10984 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8184.984
AT ITER 4475 NEW BEST:: SOT 64605 SOS 10990 HAS SOPS 10990 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8180.99
AT ITER 4498 NEW BEST:: SOT 64588 SOS 10965 HAS SOPS 10965 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8160.965
AT ITER 4531 NEW BEST:: SOT 64588 SOS 10962 HAS SOPS 10962 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8158.962
AT ITER 4534 NEW BEST:: SOT 64588 SOS 10897 HAS SOPS 10897 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8158.897
AT ITER 4544 NEW BEST:: SOT 64499 SOS 10837 HAS SOPS 10837 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8083.837
AT ITER 4563 NEW BEST:: SOT 64459 SOS 10814 HAS SOPS 10814 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8060.814
AT ITER 4591 NEW BEST:: SOT 64458 SOS 10813 HAS SOPS 10813 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8060.813
AT ITER 4620 NEW BEST:: SOT 64458 SOS 10810 HAS SOPS 10810 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8057.81
AT ITER 4703 NEW BEST:: SOT 64455 SOS 10777 HAS SOPS 10777 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8054.777
AT ITER 4784 NEW BEST:: SOT 64438 SOS 10763 HAS SOPS 10763 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8040.763
AT ITER 4809 NEW BEST:: SOT 64436 SOS 10768 HAS SOPS 10768 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8039.768
AT ITER 4848 NEW BEST:: SOT 64321 SOS 10713 HAS SOPS 10713 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7955.713
AT ITER 4918 NEW BEST:: SOT 64303 SOS 10661 HAS SOPS 10661 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7903.661
AT ITER 4930 NEW BEST:: SOT 64302 SOS 10661 HAS SOPS 10661 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7902.661
AT ITER 5028 NEW BEST:: SOT 64297 SOS 10665 HAS SOPS 10665 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7890.665
AT ITER 5033 NEW BEST:: SOT 64291 SOS 10657 HAS SOPS 10657 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7882.657
AT ITER 5048 NEW BEST:: SOT 64272 SOS 10638 HAS SOPS 10638 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7863.638
AT ITER 5102 NEW BEST:: SOT 64271 SOS 10637 HAS SOPS 10637 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7861.637
AT ITER 5107 NEW BEST:: SOT 64271 SOS 10636 HAS SOPS 10636 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7860.636
AT ITER 5127 NEW BEST:: SOT 64264 SOS 10628 HAS SOPS 10628 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7852.628
AT ITER 5130 NEW BEST:: SOT 64264 SOS 10627 HAS SOPS 10627 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7851.627
AT ITER 5150 NEW BEST:: SOT 64264 SOS 10626 HAS SOPS 10626 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7850.626
AT ITER 5166 NEW BEST:: SOT 64261 SOS 10624 HAS SOPS 10624 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7847.624
AT ITER 5242 NEW BEST:: SOT 64254 SOS 10623 HAS SOPS 10623 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7846.623
AT ITER 5270 NEW BEST:: SOT 64244 SOS 10619 HAS SOPS 10619 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7828.619
AT ITER 5290 NEW BEST:: SOT 64245 SOS 10610 HAS SOPS 10610 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7819.61
AT ITER 5303 NEW BEST:: SOT 64236 SOS 10562 HAS SOPS 10562 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7787.562
AT ITER 5320 NEW BEST:: SOT 64270 SOS 10567 HAS SOPS 10567 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7767.567
AT ITER 5341 NEW BEST:: SOT 64268 SOS 10567 HAS SOPS 10567 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7764.567
AT ITER 5414 NEW BEST:: SOT 64266 SOS 10565 HAS SOPS 10565 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7762.565
AT ITER 5458 NEW BEST:: SOT 64265 SOS 10563 HAS SOPS 10563 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7761.563
AT ITER 5522 NEW BEST:: SOT 64265 SOS 10563 HAS SOPS 10563 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7748.563
AT ITER 5542 NEW BEST:: SOT 64249 SOS 10527 HAS SOPS 10527 HAS SOUS 7710 HAS SOUPS 7710 WITH SCORE 7720.527
AT ITER 5554 NEW BEST:: SOT 64245 SOS 10523 HAS SOPS 10523 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7716.523
AT ITER 5567 NEW BEST:: SOT 64224 SOS 10468 HAS SOPS 10468 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7682.468
AT ITER 5579 NEW BEST:: SOT 64216 SOS 10459 HAS SOPS 10459 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7679.459
AT ITER 5587 NEW BEST:: SOT 64188 SOS 10431 HAS SOPS 10431 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7665.431
AT ITER 5651 NEW BEST:: SOT 64189 SOS 10430 HAS SOPS 10430 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7664.43
AT ITER 5653 NEW BEST:: SOT 64187 SOS 10427 HAS SOPS 10427 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7661.427
AT ITER 5679 NEW BEST:: SOT 64184 SOS 10421 HAS SOPS 10421 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7655.421
AT ITER 5725 NEW BEST:: SOT 64183 SOS 10431 HAS SOPS 10431 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7643.431
AT ITER 5755 NEW BEST:: SOT 64183 SOS 10430 HAS SOPS 10430 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7642.43
AT ITER 5764 NEW BEST:: SOT 64180 SOS 10433 HAS SOPS 10433 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7637.433
AT ITER 5772 NEW BEST:: SOT 64179 SOS 10432 HAS SOPS 10432 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7636.432
AT ITER 5774 NEW BEST:: SOT 64174 SOS 10345 HAS SOPS 10345 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7626.345
AT ITER 5778 NEW BEST:: SOT 64151 SOS 10249 HAS SOPS 10249 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7530.249
AT ITER 5811 NEW BEST:: SOT 64151 SOS 10247 HAS SOPS 10247 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7529.247
AT ITER 5878 NEW BEST:: SOT 64150 SOS 10245 HAS SOPS 10245 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7527.245
AT ITER 5889 NEW BEST:: SOT 64133 SOS 10228 HAS SOPS 10228 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7515.228
AT ITER 5894 NEW BEST:: SOT 64142 SOS 10214 HAS SOPS 10214 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7487.214
AT ITER 5904 NEW BEST:: SOT 64103 SOS 10261 HAS SOPS 10261 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7475.261
AT ITER 5915 NEW BEST:: SOT 64103 SOS 10241 HAS SOPS 10241 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7455.241
AT ITER 5926 NEW BEST:: SOT 64097 SOS 10231 HAS SOPS 10231 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7442.231
AT ITER 5951 NEW BEST:: SOT 64091 SOS 10218 HAS SOPS 10218 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7429.218
AT ITER 5959 NEW BEST:: SOT 64091 SOS 10215 HAS SOPS 10215 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7426.215
AT ITER 5970 NEW BEST:: SOT 64078 SOS 10191 HAS SOPS 10191 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7402.191
AT ITER 6049 NEW BEST:: SOT 64070 SOS 10187 HAS SOPS 10187 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7390.187
AT ITER 6083 NEW BEST:: SOT 64039 SOS 10143 HAS SOPS 10143 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7346.143
AT ITER 6102 NEW BEST:: SOT 64039 SOS 10142 HAS SOPS 10142 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7345.142
AT ITER 6109 NEW BEST:: SOT 64037 SOS 10139 HAS SOPS 10139 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7328.139
AT ITER 6126 NEW BEST:: SOT 64029 SOS 10125 HAS SOPS 10125 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7314.125
AT ITER 6180 NEW BEST:: SOT 64033 SOS 10114 HAS SOPS 10114 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7311.114
AT ITER 6192 NEW BEST:: SOT 64033 SOS 10118 HAS SOPS 10118 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7310.118
AT ITER 6208 NEW BEST:: SOT 64032 SOS 10115 HAS SOPS 10115 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7308.115
AT ITER 6239 NEW BEST:: SOT 64028 SOS 10107 HAS SOPS 10107 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7300.107
AT ITER 6273 NEW BEST:: SOT 64028 SOS 10108 HAS SOPS 10108 HAS SOUS 7289 HAS SOUPS 7289 WITH SCORE 7299.108
AT ITER 6335 NEW BEST:: SOT 64023 SOS 10097 HAS SOPS 10097 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7298.097
AT ITER 6336 NEW BEST:: SOT 64018 SOS 10087 HAS SOPS 10087 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7288.087
AT ITER 6420 NEW BEST:: SOT 64006 SOS 10086 HAS SOPS 10086 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7287.086
AT ITER 6480 NEW BEST:: SOT 64006 SOS 10087 HAS SOPS 10087 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7283.087
AT ITER 6526 NEW BEST:: SOT 64003 SOS 10111 HAS SOPS 10111 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7281.111
AT ITER 6573 NEW BEST:: SOT 63995 SOS 10087 HAS SOPS 10087 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7271.087
AT ITER 6593 NEW BEST:: SOT 63981 SOS 10066 HAS SOPS 10066 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7250.066
AT ITER 6595 NEW BEST:: SOT 63977 SOS 10062 HAS SOPS 10062 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7242.062
AT ITER 6742 NEW BEST:: SOT 63970 SOS 10055 HAS SOPS 10055 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7235.055
AT ITER 6744 NEW BEST:: SOT 63964 SOS 10057 HAS SOPS 10057 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7222.057
AT ITER 6789 NEW BEST:: SOT 63970 SOS 10063 HAS SOPS 10063 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7194.063
AT ITER 6804 NEW BEST:: SOT 63959 SOS 10052 HAS SOPS 10052 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7183.052
AT ITER 6857 NEW BEST:: SOT 63959 SOS 10048 HAS SOPS 10048 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7179.048
AT ITER 6944 NEW BEST:: SOT 63957 SOS 10034 HAS SOPS 10034 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7177.034
AT ITER 7032 NEW BEST:: SOT 63952 SOS 10022 HAS SOPS 10022 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7165.022
AT ITER 7051 NEW BEST:: SOT 63968 SOS 10008 HAS SOPS 10008 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7145.008
AT ITER 7063 NEW BEST:: SOT 63969 SOS 10006 HAS SOPS 10006 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7143.006
AT ITER 7089 NEW BEST:: SOT 63968 SOS 10004 HAS SOPS 10004 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7141.004
AT ITER 7143 NEW BEST:: SOT 63959 SOS 9978 HAS SOPS 9978 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7114.978
AT ITER 7178 NEW BEST:: SOT 63939 SOS 9946 HAS SOPS 9946 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7082.946
AT ITER 7197 NEW BEST:: SOT 63939 SOS 9924 HAS SOPS 9924 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7060.924
AT ITER 7243 NEW BEST:: SOT 63936 SOS 9921 HAS SOPS 9921 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7057.921
AT ITER 7260 NEW BEST:: SOT 63944 SOS 9915 HAS SOPS 9915 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7051.915
AT ITER 7324 NEW BEST:: SOT 63952 SOS 9923 HAS SOPS 9923 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7047.923
AT ITER 7357 NEW BEST:: SOT 63943 SOS 9914 HAS SOPS 9914 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7038.914
AT ITER 7392 NEW BEST:: SOT 63943 SOS 9901 HAS SOPS 9901 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7025.901
AT ITER 7439 NEW BEST:: SOT 63939 SOS 9895 HAS SOPS 9895 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7019.895
AT ITER 7484 NEW BEST:: SOT 63939 SOS 9894 HAS SOPS 9894 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7018.894
AT ITER 7502 NEW BEST:: SOT 63939 SOS 9890 HAS SOPS 9890 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7014.89
AT ITER 7503 NEW BEST:: SOT 63939 SOS 9893 HAS SOPS 9893 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7011.893
AT ITER 7556 NEW BEST:: SOT 63934 SOS 9804 HAS SOPS 9804 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7003.804
AT ITER 7618 NEW BEST:: SOT 63937 SOS 9807 HAS SOPS 9807 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7002.807
AT ITER 7644 NEW BEST:: SOT 63935 SOS 9803 HAS SOPS 9803 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7002.803
AT ITER 7713 NEW BEST:: SOT 63920 SOS 9794 HAS SOPS 9794 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6993.794
AT ITER 7732 NEW BEST:: SOT 63915 SOS 9781 HAS SOPS 9781 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6980.781
AT ITER 7760 NEW BEST:: SOT 63945 SOS 9779 HAS SOPS 9779 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6978.779
AT ITER 7769 NEW BEST:: SOT 63955 SOS 9791 HAS SOPS 9791 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6972.791
AT ITER 7790 NEW BEST:: SOT 63958 SOS 9790 HAS SOPS 9790 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6971.79
AT ITER 7808 NEW BEST:: SOT 63955 SOS 9783 HAS SOPS 9783 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6964.783
AT ITER 7827 NEW BEST:: SOT 63941 SOS 9759 HAS SOPS 9759 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6946.759
AT ITER 7872 NEW BEST:: SOT 63947 SOS 9765 HAS SOPS 9765 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6943.765
AT ITER 7939 NEW BEST:: SOT 63940 SOS 9759 HAS SOPS 9759 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6937.759
AT ITER 7962 NEW BEST:: SOT 63943 SOS 9757 HAS SOPS 9757 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6937.757
AT ITER 8002 NEW BEST:: SOT 63943 SOS 9755 HAS SOPS 9755 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6935.755
AT ITER 8015 NEW BEST:: SOT 63935 SOS 9706 HAS SOPS 9706 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6922.706
AT ITER 8070 NEW BEST:: SOT 63935 SOS 9686 HAS SOPS 9686 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6922.686
AT ITER 8072 NEW BEST:: SOT 63944 SOS 9680 HAS SOPS 9680 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6916.68
AT ITER 8174 NEW BEST:: SOT 63942 SOS 9673 HAS SOPS 9673 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6909.673
AT ITER 8230 NEW BEST:: SOT 63926 SOS 9667 HAS SOPS 9667 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6903.667
AT ITER 8264 NEW BEST:: SOT 63925 SOS 9664 HAS SOPS 9664 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6900.664
AT ITER 8387 NEW BEST:: SOT 63909 SOS 9621 HAS SOPS 9621 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6884.621
AT ITER 8391 NEW BEST:: SOT 63899 SOS 9611 HAS SOPS 9611 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6874.611
AT ITER 8415 NEW BEST:: SOT 63917 SOS 9609 HAS SOPS 9609 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6872.609
AT ITER 8441 NEW BEST:: SOT 63951 SOS 9643 HAS SOPS 9643 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6850.643
AT ITER 8561 NEW BEST:: SOT 63951 SOS 9625 HAS SOPS 9625 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6832.625
AT ITER 8604 NEW BEST:: SOT 63954 SOS 9598 HAS SOPS 9598 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6813.598
AT ITER 8635 NEW BEST:: SOT 63954 SOS 9592 HAS SOPS 9592 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6797.592
AT ITER 8695 NEW BEST:: SOT 63957 SOS 9586 HAS SOPS 9586 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6794.586
AT ITER 8748 NEW BEST:: SOT 63945 SOS 9570 HAS SOPS 9570 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6784.57
AT ITER 8749 NEW BEST:: SOT 63941 SOS 9566 HAS SOPS 9566 HAS SOUS 6767 HAS SOUPS 6767 WITH SCORE 6776.566
AT ITER 8759 NEW BEST:: SOT 63939 SOS 9560 HAS SOPS 9560 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6772.56
AT ITER 8761 NEW BEST:: SOT 63937 SOS 8897 HAS SOPS 8897 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6727.897
AT ITER 8805 NEW BEST:: SOT 63937 SOS 8821 HAS SOPS 8821 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6723.821
AT ITER 8825 NEW BEST:: SOT 63935 SOS 8817 HAS SOPS 8817 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6719.817
AT ITER 8873 NEW BEST:: SOT 63931 SOS 8807 HAS SOPS 8807 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6715.807
AT ITER 8878 NEW BEST:: SOT 63925 SOS 8811 HAS SOPS 8811 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6709.811
AT ITER 8889 NEW BEST:: SOT 63918 SOS 8804 HAS SOPS 8804 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6702.804
AT ITER 8962 NEW BEST:: SOT 63922 SOS 8796 HAS SOPS 8796 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6694.796
AT ITER 8983 NEW BEST:: SOT 63919 SOS 8793 HAS SOPS 8793 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6691.793
AT ITER 9040 NEW BEST:: SOT 63912 SOS 8786 HAS SOPS 8786 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6677.786
AT ITER 9046 NEW BEST:: SOT 63912 SOS 8794 HAS SOPS 8794 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6665.794
AT ITER 9133 NEW BEST:: SOT 63910 SOS 8792 HAS SOPS 8792 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6657.792
AT ITER 9138 NEW BEST:: SOT 63908 SOS 8790 HAS SOPS 8790 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.79
AT ITER 9167 NEW BEST:: SOT 63907 SOS 8795 HAS SOPS 8795 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.795
AT ITER 9175 NEW BEST:: SOT 63905 SOS 8793 HAS SOPS 8793 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6647.793
AT ITER 9177 NEW BEST:: SOT 63885 SOS 8786 HAS SOPS 8786 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6624.786
AT ITER 9215 NEW BEST:: SOT 63884 SOS 8785 HAS SOPS 8785 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6624.785
AT ITER 9233 NEW BEST:: SOT 63887 SOS 8774 HAS SOPS 8774 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6613.774
AT ITER 9250 NEW BEST:: SOT 63882 SOS 8755 HAS SOPS 8755 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.755
AT ITER 9317 NEW BEST:: SOT 63865 SOS 8747 HAS SOPS 8747 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6587.747
AT ITER 9401 NEW BEST:: SOT 63845 SOS 8714 HAS SOPS 8714 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6565.714
AT ITER 9435 NEW BEST:: SOT 63845 SOS 8706 HAS SOPS 8706 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6565.706
AT ITER 9474 NEW BEST:: SOT 63847 SOS 8647 HAS SOPS 8647 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6544.647
AT ITER 9730 NEW BEST:: SOT 63846 SOS 8646 HAS SOPS 8646 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6542.646
AT ITER 9760 NEW BEST:: SOT 63846 SOS 8645 HAS SOPS 8645 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6541.645
AT ITER 9892 NEW BEST:: SOT 63828 SOS 8617 HAS SOPS 8617 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6513.617
AT ITER 9946 NEW BEST:: SOT 63827 SOS 8616 HAS SOPS 8616 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6511.616
AT ITER 9952 NEW BEST:: SOT 63825 SOS 8599 HAS SOPS 8599 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6498.599
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3046916 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125208 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="DES-PT-20b"
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 DES-PT-20b, 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 r107-tall-167814484200440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-20b.tgz
mv DES-PT-20b 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 ;