About the Execution of Smart+red for GPUForwardProgress-PT-40b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2997.207 | 3600000.00 | 3628567.00 | 14008.30 | [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.r203-smll-167840349200160.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 GPUForwardProgress-PT-40b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349200160
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 8.8K Feb 25 14:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 14:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 25 14:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 14:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 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 199K 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 1678559242931
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=GPUForwardProgress-PT-40b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 18:27:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 18:27:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 18:27:26] [INFO ] Load time of PNML (sax parser for PT used): 134 ms
[2023-03-11 18:27:26] [INFO ] Transformed 796 places.
[2023-03-11 18:27:26] [INFO ] Transformed 837 transitions.
[2023-03-11 18:27:26] [INFO ] Found NUPN structural information;
[2023-03-11 18:27:26] [INFO ] Parsed PT model containing 796 places and 837 transitions and 2077 arcs in 242 ms.
[2023-03-11 18:27:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 796 places, 837 transitions and 2077 arcs took 13 ms.
Total runtime 301 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 40b
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: 796 places, 837 transitions, 2077 arcs.
AT ITER 0 NEW BEST:: SOT 376848 SOS 100369 HAS SOPS 100369 HAS SOUS 91343 HAS SOUPS 91343 WITH SCORE 91443.369
AT ITER 7 NEW BEST:: SOT 376726 SOS 100230 HAS SOPS 100230 HAS SOUS 91221 HAS SOUPS 91221 WITH SCORE 91321.23
AT ITER 8 NEW BEST:: SOT 376706 SOS 100202 HAS SOPS 100202 HAS SOUS 91201 HAS SOUPS 91201 WITH SCORE 91301.202
AT ITER 14 NEW BEST:: SOT 376624 SOS 100098 HAS SOPS 100098 HAS SOUS 91119 HAS SOUPS 91119 WITH SCORE 91219.098
AT ITER 18 NEW BEST:: SOT 376385 SOS 101600 HAS SOPS 101600 HAS SOUS 90968 HAS SOUPS 90968 WITH SCORE 91069.6
AT ITER 26 NEW BEST:: SOT 376385 SOS 101600 HAS SOPS 101600 HAS SOUS 90967 HAS SOUPS 90967 WITH SCORE 91068.6
AT ITER 54 NEW BEST:: SOT 376385 SOS 101435 HAS SOPS 101435 HAS SOUS 90967 HAS SOUPS 90967 WITH SCORE 91068.435
AT ITER 65 NEW BEST:: SOT 376385 SOS 101435 HAS SOPS 101435 HAS SOUS 90966 HAS SOUPS 90966 WITH SCORE 91067.435
AT ITER 77 NEW BEST:: SOT 376385 SOS 101435 HAS SOPS 101435 HAS SOUS 90965 HAS SOUPS 90965 WITH SCORE 91066.435
AT ITER 83 NEW BEST:: SOT 376385 SOS 101435 HAS SOPS 101435 HAS SOUS 90964 HAS SOUPS 90964 WITH SCORE 91065.435
AT ITER 91 NEW BEST:: SOT 376385 SOS 101313 HAS SOPS 101313 HAS SOUS 90842 HAS SOUPS 90842 WITH SCORE 90943.313
AT ITER 97 NEW BEST:: SOT 376385 SOS 101267 HAS SOPS 101267 HAS SOUS 90796 HAS SOUPS 90796 WITH SCORE 90897.267
AT ITER 102 NEW BEST:: SOT 376373 SOS 101243 HAS SOPS 101243 HAS SOUS 90772 HAS SOUPS 90772 WITH SCORE 90873.243
AT ITER 128 NEW BEST:: SOT 376373 SOS 101011 HAS SOPS 101011 HAS SOUS 90656 HAS SOUPS 90656 WITH SCORE 90757.011
AT ITER 138 NEW BEST:: SOT 376349 SOS 100971 HAS SOPS 100971 HAS SOUS 90616 HAS SOUPS 90616 WITH SCORE 90716.971
AT ITER 158 NEW BEST:: SOT 376299 SOS 100921 HAS SOPS 100921 HAS SOUS 90616 HAS SOUPS 90616 WITH SCORE 90716.921
AT ITER 161 NEW BEST:: SOT 376291 SOS 100793 HAS SOPS 100793 HAS SOUS 90496 HAS SOUPS 90496 WITH SCORE 90596.793
AT ITER 165 NEW BEST:: SOT 376291 SOS 100675 HAS SOPS 100675 HAS SOUS 90496 HAS SOUPS 90496 WITH SCORE 90596.675
AT ITER 192 NEW BEST:: SOT 376306 SOS 100611 HAS SOPS 100611 HAS SOUS 90439 HAS SOUPS 90439 WITH SCORE 90539.611
AT ITER 211 NEW BEST:: SOT 376246 SOS 100491 HAS SOPS 100491 HAS SOUS 90390 HAS SOUPS 90390 WITH SCORE 90490.491
AT ITER 226 NEW BEST:: SOT 376246 SOS 100398 HAS SOPS 100398 HAS SOUS 90328 HAS SOUPS 90328 WITH SCORE 90428.398
AT ITER 251 NEW BEST:: SOT 376249 SOS 100373 HAS SOPS 100373 HAS SOUS 90303 HAS SOUPS 90303 WITH SCORE 90403.373
AT ITER 292 NEW BEST:: SOT 376249 SOS 100223 HAS SOPS 100223 HAS SOUS 90303 HAS SOUPS 90303 WITH SCORE 90403.223
AT ITER 319 NEW BEST:: SOT 376249 SOS 100223 HAS SOPS 100223 HAS SOUS 90302 HAS SOUPS 90302 WITH SCORE 90402.223
AT ITER 348 NEW BEST:: SOT 376249 SOS 100094 HAS SOPS 100094 HAS SOUS 90207 HAS SOUPS 90207 WITH SCORE 90307.094
AT ITER 356 NEW BEST:: SOT 376249 SOS 100094 HAS SOPS 100094 HAS SOUS 90206 HAS SOUPS 90206 WITH SCORE 90306.094
AT ITER 378 NEW BEST:: SOT 376199 SOS 99994 HAS SOPS 99994 HAS SOUS 90126 HAS SOUPS 90126 WITH SCORE 90225.994
AT ITER 380 NEW BEST:: SOT 376091 SOS 99856 HAS SOPS 99856 HAS SOUS 90018 HAS SOUPS 90018 WITH SCORE 90117.856
AT ITER 430 NEW BEST:: SOT 376086 SOS 99851 HAS SOPS 99851 HAS SOUS 90018 HAS SOUPS 90018 WITH SCORE 90117.851
AT ITER 432 NEW BEST:: SOT 376086 SOS 99851 HAS SOPS 99851 HAS SOUS 89956 HAS SOUPS 89956 WITH SCORE 90055.851
AT ITER 449 NEW BEST:: SOT 376112 SOS 99817 HAS SOPS 99817 HAS SOUS 89922 HAS SOUPS 89922 WITH SCORE 90021.817
AT ITER 498 NEW BEST:: SOT 376112 SOS 99691 HAS SOPS 99691 HAS SOUS 89921 HAS SOUPS 89921 WITH SCORE 90020.691
AT ITER 500 NEW BEST:: SOT 376112 SOS 99600 HAS SOPS 99600 HAS SOUS 89904 HAS SOUPS 89904 WITH SCORE 90003.6
AT ITER 516 NEW BEST:: SOT 376112 SOS 99569 HAS SOPS 99569 HAS SOUS 89873 HAS SOUPS 89873 WITH SCORE 89972.569
AT ITER 539 NEW BEST:: SOT 376107 SOS 99559 HAS SOPS 99559 HAS SOUS 89863 HAS SOUPS 89863 WITH SCORE 89962.559
AT ITER 561 NEW BEST:: SOT 376107 SOS 99485 HAS SOPS 99485 HAS SOUS 89789 HAS SOUPS 89789 WITH SCORE 89888.485
AT ITER 572 NEW BEST:: SOT 376101 SOS 99473 HAS SOPS 99473 HAS SOUS 89777 HAS SOUPS 89777 WITH SCORE 89876.473
AT ITER 581 NEW BEST:: SOT 376101 SOS 99473 HAS SOPS 99473 HAS SOUS 89761 HAS SOUPS 89761 WITH SCORE 89860.473
AT ITER 585 NEW BEST:: SOT 376160 SOS 99443 HAS SOPS 99443 HAS SOUS 89731 HAS SOUPS 89731 WITH SCORE 89830.443
AT ITER 629 NEW BEST:: SOT 376160 SOS 99443 HAS SOPS 99443 HAS SOUS 89730 HAS SOUPS 89730 WITH SCORE 89829.443
AT ITER 648 NEW BEST:: SOT 376160 SOS 99301 HAS SOPS 99301 HAS SOUS 89659 HAS SOUPS 89659 WITH SCORE 89758.301
AT ITER 660 NEW BEST:: SOT 376160 SOS 99301 HAS SOPS 99301 HAS SOUS 89658 HAS SOUPS 89658 WITH SCORE 89757.301
AT ITER 680 NEW BEST:: SOT 376160 SOS 99163 HAS SOPS 99163 HAS SOUS 89589 HAS SOUPS 89589 WITH SCORE 89688.163
AT ITER 686 NEW BEST:: SOT 376124 SOS 99127 HAS SOPS 99127 HAS SOUS 89553 HAS SOUPS 89553 WITH SCORE 89652.127
AT ITER 698 NEW BEST:: SOT 376145 SOS 99083 HAS SOPS 99083 HAS SOUS 89538 HAS SOUPS 89538 WITH SCORE 89637.083
AT ITER 700 NEW BEST:: SOT 371030 SOS 94259 HAS SOPS 94259 HAS SOUS 84554 HAS SOUPS 84554 WITH SCORE 84648.259
AT ITER 704 NEW BEST:: SOT 370995 SOS 94224 HAS SOPS 94224 HAS SOUS 84519 HAS SOUPS 84519 WITH SCORE 84613.224
AT ITER 708 NEW BEST:: SOT 370995 SOS 94224 HAS SOPS 94224 HAS SOUS 84515 HAS SOUPS 84515 WITH SCORE 84609.224
AT ITER 715 NEW BEST:: SOT 370995 SOS 94058 HAS SOPS 94058 HAS SOUS 84515 HAS SOUPS 84515 WITH SCORE 84609.058
AT ITER 726 NEW BEST:: SOT 370995 SOS 94009 HAS SOPS 94009 HAS SOUS 84466 HAS SOUPS 84466 WITH SCORE 84560.009
AT ITER 739 NEW BEST:: SOT 370909 SOS 93837 HAS SOPS 93837 HAS SOUS 84294 HAS SOUPS 84294 WITH SCORE 84387.837
AT ITER 792 NEW BEST:: SOT 370879 SOS 93826 HAS SOPS 93826 HAS SOUS 84275 HAS SOUPS 84275 WITH SCORE 84368.826
AT ITER 803 NEW BEST:: SOT 370830 SOS 93606 HAS SOPS 93606 HAS SOUS 84177 HAS SOUPS 84177 WITH SCORE 84270.606
AT ITER 820 NEW BEST:: SOT 370784 SOS 93456 HAS SOPS 93456 HAS SOUS 84061 HAS SOUPS 84061 WITH SCORE 84154.456
AT ITER 838 NEW BEST:: SOT 370739 SOS 93366 HAS SOPS 93366 HAS SOUS 83971 HAS SOUPS 83971 WITH SCORE 84064.366
AT ITER 851 NEW BEST:: SOT 370683 SOS 93366 HAS SOPS 93366 HAS SOUS 83915 HAS SOUPS 83915 WITH SCORE 84008.366
AT ITER 868 NEW BEST:: SOT 370624 SOS 93248 HAS SOPS 93248 HAS SOUS 83858 HAS SOUPS 83858 WITH SCORE 83951.248
AT ITER 893 NEW BEST:: SOT 370624 SOS 93072 HAS SOPS 93072 HAS SOUS 83858 HAS SOUPS 83858 WITH SCORE 83951.072
AT ITER 898 NEW BEST:: SOT 370624 SOS 92978 HAS SOPS 92978 HAS SOUS 83844 HAS SOUPS 83844 WITH SCORE 83936.978
AT ITER 903 NEW BEST:: SOT 370624 SOS 92969 HAS SOPS 92969 HAS SOUS 83835 HAS SOUPS 83835 WITH SCORE 83927.969
AT ITER 910 NEW BEST:: SOT 370624 SOS 92812 HAS SOPS 92812 HAS SOUS 83835 HAS SOUPS 83835 WITH SCORE 83927.812
AT ITER 929 NEW BEST:: SOT 370592 SOS 92748 HAS SOPS 92748 HAS SOUS 83803 HAS SOUPS 83803 WITH SCORE 83895.748
AT ITER 936 NEW BEST:: SOT 370538 SOS 92694 HAS SOPS 92694 HAS SOUS 83749 HAS SOUPS 83749 WITH SCORE 83841.694
AT ITER 970 NEW BEST:: SOT 370462 SOS 92542 HAS SOPS 92542 HAS SOUS 83597 HAS SOUPS 83597 WITH SCORE 83689.542
AT ITER 974 NEW BEST:: SOT 370517 SOS 92478 HAS SOPS 92478 HAS SOUS 83577 HAS SOUPS 83577 WITH SCORE 83669.478
AT ITER 1001 NEW BEST:: SOT 370517 SOS 92468 HAS SOPS 92468 HAS SOUS 83577 HAS SOUPS 83577 WITH SCORE 83669.468
AT ITER 1008 NEW BEST:: SOT 370416 SOS 92388 HAS SOPS 92388 HAS SOUS 83505 HAS SOUPS 83505 WITH SCORE 83597.388
AT ITER 1012 NEW BEST:: SOT 370421 SOS 92352 HAS SOPS 92352 HAS SOUS 83469 HAS SOUPS 83469 WITH SCORE 83561.352
AT ITER 1013 NEW BEST:: SOT 370421 SOS 92254 HAS SOPS 92254 HAS SOUS 83468 HAS SOUPS 83468 WITH SCORE 83560.254
AT ITER 1028 NEW BEST:: SOT 370417 SOS 92246 HAS SOPS 92246 HAS SOUS 83464 HAS SOUPS 83464 WITH SCORE 83556.246
AT ITER 1041 NEW BEST:: SOT 370391 SOS 92166 HAS SOPS 92166 HAS SOUS 83384 HAS SOUPS 83384 WITH SCORE 83476.166
AT ITER 1042 NEW BEST:: SOT 370391 SOS 92166 HAS SOPS 92166 HAS SOUS 83359 HAS SOUPS 83359 WITH SCORE 83451.166
AT ITER 1079 NEW BEST:: SOT 370390 SOS 92165 HAS SOPS 92165 HAS SOUS 83357 HAS SOUPS 83357 WITH SCORE 83449.165
AT ITER 1081 NEW BEST:: SOT 370380 SOS 92099 HAS SOPS 92099 HAS SOUS 83318 HAS SOUPS 83318 WITH SCORE 83410.099
AT ITER 1086 NEW BEST:: SOT 370380 SOS 91963 HAS SOPS 91963 HAS SOUS 83318 HAS SOUPS 83318 WITH SCORE 83409.963
AT ITER 1094 NEW BEST:: SOT 370361 SOS 91925 HAS SOPS 91925 HAS SOUS 83299 HAS SOUPS 83299 WITH SCORE 83390.925
AT ITER 1116 NEW BEST:: SOT 370361 SOS 91831 HAS SOPS 91831 HAS SOUS 83299 HAS SOUPS 83299 WITH SCORE 83390.831
AT ITER 1146 NEW BEST:: SOT 370361 SOS 91831 HAS SOPS 91831 HAS SOUS 83298 HAS SOUPS 83298 WITH SCORE 83389.831
AT ITER 1157 NEW BEST:: SOT 370361 SOS 91776 HAS SOPS 91776 HAS SOUS 83298 HAS SOUPS 83298 WITH SCORE 83389.776
AT ITER 1167 NEW BEST:: SOT 370358 SOS 91770 HAS SOPS 91770 HAS SOUS 83292 HAS SOUPS 83292 WITH SCORE 83383.77
AT ITER 1170 NEW BEST:: SOT 370335 SOS 91747 HAS SOPS 91747 HAS SOUS 83269 HAS SOUPS 83269 WITH SCORE 83360.747
AT ITER 1185 NEW BEST:: SOT 370210 SOS 91569 HAS SOPS 91569 HAS SOUS 83032 HAS SOUPS 83032 WITH SCORE 83123.569
AT ITER 1202 NEW BEST:: SOT 370202 SOS 91553 HAS SOPS 91553 HAS SOUS 83024 HAS SOUPS 83024 WITH SCORE 83115.553
AT ITER 1214 NEW BEST:: SOT 370202 SOS 91553 HAS SOPS 91553 HAS SOUS 83023 HAS SOUPS 83023 WITH SCORE 83114.553
AT ITER 1222 NEW BEST:: SOT 370179 SOS 91507 HAS SOPS 91507 HAS SOUS 82977 HAS SOUPS 82977 WITH SCORE 83068.507
AT ITER 1237 NEW BEST:: SOT 369972 SOS 91306 HAS SOPS 91306 HAS SOUS 82810 HAS SOUPS 82810 WITH SCORE 82901.306
AT ITER 1247 NEW BEST:: SOT 369972 SOS 91306 HAS SOPS 91306 HAS SOUS 82809 HAS SOUPS 82809 WITH SCORE 82900.306
AT ITER 1265 NEW BEST:: SOT 369972 SOS 91306 HAS SOPS 91306 HAS SOUS 82808 HAS SOUPS 82808 WITH SCORE 82899.306
AT ITER 1274 NEW BEST:: SOT 369946 SOS 91273 HAS SOPS 91273 HAS SOUS 82782 HAS SOUPS 82782 WITH SCORE 82873.273
AT ITER 1293 NEW BEST:: SOT 369835 SOS 91162 HAS SOPS 91162 HAS SOUS 82651 HAS SOUPS 82651 WITH SCORE 82742.162
AT ITER 1299 NEW BEST:: SOT 369769 SOS 91051 HAS SOPS 91051 HAS SOUS 82585 HAS SOUPS 82585 WITH SCORE 82676.051
AT ITER 1306 NEW BEST:: SOT 369769 SOS 91051 HAS SOPS 91051 HAS SOUS 82584 HAS SOUPS 82584 WITH SCORE 82675.051
AT ITER 1334 NEW BEST:: SOT 369745 SOS 90892 HAS SOPS 90892 HAS SOUS 82425 HAS SOUPS 82425 WITH SCORE 82515.892
AT ITER 1344 NEW BEST:: SOT 369745 SOS 90892 HAS SOPS 90892 HAS SOUS 82424 HAS SOUPS 82424 WITH SCORE 82514.892
AT ITER 1351 NEW BEST:: SOT 369728 SOS 90874 HAS SOPS 90874 HAS SOUS 82406 HAS SOUPS 82406 WITH SCORE 82496.874
AT ITER 1359 NEW BEST:: SOT 369745 SOS 90908 HAS SOPS 90908 HAS SOUS 82394 HAS SOUPS 82394 WITH SCORE 82484.908
AT ITER 1365 NEW BEST:: SOT 369713 SOS 90876 HAS SOPS 90876 HAS SOUS 82346 HAS SOUPS 82346 WITH SCORE 82436.876
AT ITER 1387 NEW BEST:: SOT 369686 SOS 90849 HAS SOPS 90849 HAS SOUS 82319 HAS SOUPS 82319 WITH SCORE 82409.849
AT ITER 1402 NEW BEST:: SOT 369675 SOS 90827 HAS SOPS 90827 HAS SOUS 82297 HAS SOUPS 82297 WITH SCORE 82387.827
AT ITER 1436 NEW BEST:: SOT 369675 SOS 90827 HAS SOPS 90827 HAS SOUS 82296 HAS SOUPS 82296 WITH SCORE 82386.827
AT ITER 1437 NEW BEST:: SOT 369684 SOS 90845 HAS SOPS 90845 HAS SOUS 82248 HAS SOUPS 82248 WITH SCORE 82338.845
AT ITER 1439 NEW BEST:: SOT 369693 SOS 90677 HAS SOPS 90677 HAS SOUS 82168 HAS SOUPS 82168 WITH SCORE 82258.677
AT ITER 1443 NEW BEST:: SOT 369673 SOS 90657 HAS SOPS 90657 HAS SOUS 82148 HAS SOUPS 82148 WITH SCORE 82238.657
AT ITER 1456 NEW BEST:: SOT 369643 SOS 90553 HAS SOPS 90553 HAS SOUS 82076 HAS SOUPS 82076 WITH SCORE 82166.553
AT ITER 1464 NEW BEST:: SOT 369519 SOS 90429 HAS SOPS 90429 HAS SOUS 81952 HAS SOUPS 81952 WITH SCORE 82042.429
AT ITER 1467 NEW BEST:: SOT 369519 SOS 90291 HAS SOPS 90291 HAS SOUS 81883 HAS SOUPS 81883 WITH SCORE 81973.291
AT ITER 1479 NEW BEST:: SOT 369519 SOS 90254 HAS SOPS 90254 HAS SOUS 81883 HAS SOUPS 81883 WITH SCORE 81973.254
AT ITER 1485 NEW BEST:: SOT 369536 SOS 90177 HAS SOPS 90177 HAS SOUS 81806 HAS SOUPS 81806 WITH SCORE 81896.177
AT ITER 1526 NEW BEST:: SOT 369501 SOS 90142 HAS SOPS 90142 HAS SOUS 81736 HAS SOUPS 81736 WITH SCORE 81826.142
AT ITER 1528 NEW BEST:: SOT 369501 SOS 90026 HAS SOPS 90026 HAS SOUS 81736 HAS SOUPS 81736 WITH SCORE 81826.026
AT ITER 1539 NEW BEST:: SOT 369501 SOS 90026 HAS SOPS 90026 HAS SOUS 81735 HAS SOUPS 81735 WITH SCORE 81825.026
AT ITER 1562 NEW BEST:: SOT 369501 SOS 90026 HAS SOPS 90026 HAS SOUS 81624 HAS SOUPS 81624 WITH SCORE 81714.026
AT ITER 1603 NEW BEST:: SOT 369501 SOS 90026 HAS SOPS 90026 HAS SOUS 81503 HAS SOUPS 81503 WITH SCORE 81593.026
AT ITER 1627 NEW BEST:: SOT 369499 SOS 90022 HAS SOPS 90022 HAS SOUS 81499 HAS SOUPS 81499 WITH SCORE 81589.022
AT ITER 1644 NEW BEST:: SOT 369496 SOS 89925 HAS SOPS 89925 HAS SOUS 81402 HAS SOUPS 81402 WITH SCORE 81491.925
AT ITER 1647 NEW BEST:: SOT 369496 SOS 89925 HAS SOPS 89925 HAS SOUS 81329 HAS SOUPS 81329 WITH SCORE 81418.925
AT ITER 1664 NEW BEST:: SOT 369496 SOS 89925 HAS SOPS 89925 HAS SOUS 81328 HAS SOUPS 81328 WITH SCORE 81417.925
AT ITER 1684 NEW BEST:: SOT 369496 SOS 89861 HAS SOPS 89861 HAS SOUS 81327 HAS SOUPS 81327 WITH SCORE 81416.861
AT ITER 1698 NEW BEST:: SOT 369510 SOS 89889 HAS SOPS 89889 HAS SOUS 81324 HAS SOUPS 81324 WITH SCORE 81413.889
AT ITER 1704 NEW BEST:: SOT 369500 SOS 89822 HAS SOPS 89822 HAS SOUS 81304 HAS SOUPS 81304 WITH SCORE 81393.822
AT ITER 1729 NEW BEST:: SOT 369500 SOS 89691 HAS SOPS 89691 HAS SOUS 81304 HAS SOUPS 81304 WITH SCORE 81393.691
AT ITER 1821 NEW BEST:: SOT 369536 SOS 89642 HAS SOPS 89642 HAS SOUS 81264 HAS SOUPS 81264 WITH SCORE 81353.642
AT ITER 1848 NEW BEST:: SOT 369516 SOS 89602 HAS SOPS 89602 HAS SOUS 81244 HAS SOUPS 81244 WITH SCORE 81333.602
AT ITER 1863 NEW BEST:: SOT 369648 SOS 89482 HAS SOPS 89482 HAS SOUS 81189 HAS SOUPS 81189 WITH SCORE 81278.482
AT ITER 1867 NEW BEST:: SOT 369672 SOS 89525 HAS SOPS 89525 HAS SOUS 81175 HAS SOUPS 81175 WITH SCORE 81264.525
AT ITER 1932 NEW BEST:: SOT 369584 SOS 89489 HAS SOPS 89489 HAS SOUS 81145 HAS SOUPS 81145 WITH SCORE 81234.489
AT ITER 1967 NEW BEST:: SOT 369597 SOS 89515 HAS SOPS 89515 HAS SOUS 81133 HAS SOUPS 81133 WITH SCORE 81222.515
AT ITER 1979 NEW BEST:: SOT 369597 SOS 89511 HAS SOPS 89511 HAS SOUS 81133 HAS SOUPS 81133 WITH SCORE 81222.511
AT ITER 1981 NEW BEST:: SOT 369595 SOS 89508 HAS SOPS 89508 HAS SOUS 81130 HAS SOUPS 81130 WITH SCORE 81219.508
AT ITER 1987 NEW BEST:: SOT 369595 SOS 89482 HAS SOPS 89482 HAS SOUS 81130 HAS SOUPS 81130 WITH SCORE 81219.482
AT ITER 1993 NEW BEST:: SOT 369482 SOS 89480 HAS SOPS 89480 HAS SOUS 81128 HAS SOUPS 81128 WITH SCORE 81217.48
AT ITER 2027 NEW BEST:: SOT 369613 SOS 89376 HAS SOPS 89376 HAS SOUS 81118 HAS SOUPS 81118 WITH SCORE 81207.376
AT ITER 2040 NEW BEST:: SOT 369613 SOS 89350 HAS SOPS 89350 HAS SOUS 81105 HAS SOUPS 81105 WITH SCORE 81194.35
AT ITER 2062 NEW BEST:: SOT 369522 SOS 89304 HAS SOPS 89304 HAS SOUS 81012 HAS SOUPS 81012 WITH SCORE 81101.304
AT ITER 2066 NEW BEST:: SOT 369491 SOS 89242 HAS SOPS 89242 HAS SOUS 80950 HAS SOUPS 80950 WITH SCORE 81039.242
AT ITER 2070 NEW BEST:: SOT 369420 SOS 89280 HAS SOPS 89280 HAS SOUS 80890 HAS SOUPS 80890 WITH SCORE 80979.28
AT ITER 2074 NEW BEST:: SOT 369403 SOS 89246 HAS SOPS 89246 HAS SOUS 80856 HAS SOUPS 80856 WITH SCORE 80945.246
AT ITER 2088 NEW BEST:: SOT 369449 SOS 89245 HAS SOPS 89245 HAS SOUS 80855 HAS SOUPS 80855 WITH SCORE 80944.245
AT ITER 2100 NEW BEST:: SOT 369449 SOS 89245 HAS SOPS 89245 HAS SOUS 80766 HAS SOUPS 80766 WITH SCORE 80855.245
AT ITER 2116 NEW BEST:: SOT 369449 SOS 89209 HAS SOPS 89209 HAS SOUS 80766 HAS SOUPS 80766 WITH SCORE 80855.209
AT ITER 2140 NEW BEST:: SOT 369449 SOS 89187 HAS SOPS 89187 HAS SOUS 80765 HAS SOUPS 80765 WITH SCORE 80854.187
AT ITER 2142 NEW BEST:: SOT 369441 SOS 89184 HAS SOPS 89184 HAS SOUS 80762 HAS SOUPS 80762 WITH SCORE 80851.184
AT ITER 2151 NEW BEST:: SOT 369441 SOS 89184 HAS SOPS 89184 HAS SOUS 80761 HAS SOUPS 80761 WITH SCORE 80850.184
AT ITER 2167 NEW BEST:: SOT 369330 SOS 88962 HAS SOPS 88962 HAS SOUS 80539 HAS SOUPS 80539 WITH SCORE 80627.962
AT ITER 2180 NEW BEST:: SOT 369288 SOS 88878 HAS SOPS 88878 HAS SOUS 80455 HAS SOUPS 80455 WITH SCORE 80543.878
AT ITER 2208 NEW BEST:: SOT 369263 SOS 88868 HAS SOPS 88868 HAS SOUS 80445 HAS SOUPS 80445 WITH SCORE 80533.868
AT ITER 2213 NEW BEST:: SOT 369247 SOS 88836 HAS SOPS 88836 HAS SOUS 80398 HAS SOUPS 80398 WITH SCORE 80486.836
AT ITER 2218 NEW BEST:: SOT 369230 SOS 88802 HAS SOPS 88802 HAS SOUS 80381 HAS SOUPS 80381 WITH SCORE 80469.802
AT ITER 2222 NEW BEST:: SOT 369219 SOS 88780 HAS SOPS 88780 HAS SOUS 80359 HAS SOUPS 80359 WITH SCORE 80447.78
AT ITER 2230 NEW BEST:: SOT 369190 SOS 88722 HAS SOPS 88722 HAS SOUS 80301 HAS SOUPS 80301 WITH SCORE 80389.722
AT ITER 2283 NEW BEST:: SOT 369159 SOS 88660 HAS SOPS 88660 HAS SOUS 80233 HAS SOUPS 80233 WITH SCORE 80321.66
AT ITER 2291 NEW BEST:: SOT 369150 SOS 88628 HAS SOPS 88628 HAS SOUS 80215 HAS SOUPS 80215 WITH SCORE 80303.628
AT ITER 2309 NEW BEST:: SOT 369149 SOS 88627 HAS SOPS 88627 HAS SOUS 80213 HAS SOUPS 80213 WITH SCORE 80301.627
AT ITER 2326 NEW BEST:: SOT 369017 SOS 88504 HAS SOPS 88504 HAS SOUS 80090 HAS SOUPS 80090 WITH SCORE 80178.504
AT ITER 2331 NEW BEST:: SOT 369006 SOS 88397 HAS SOPS 88397 HAS SOUS 80030 HAS SOUPS 80030 WITH SCORE 80118.397
AT ITER 2350 NEW BEST:: SOT 369006 SOS 88384 HAS SOPS 88384 HAS SOUS 80017 HAS SOUPS 80017 WITH SCORE 80105.384
AT ITER 2374 NEW BEST:: SOT 368994 SOS 88360 HAS SOPS 88360 HAS SOUS 80005 HAS SOUPS 80005 WITH SCORE 80093.36
AT ITER 2376 NEW BEST:: SOT 368951 SOS 88277 HAS SOPS 88277 HAS SOUS 79962 HAS SOUPS 79962 WITH SCORE 80050.277
AT ITER 2383 NEW BEST:: SOT 368921 SOS 88247 HAS SOPS 88247 HAS SOUS 79932 HAS SOUPS 79932 WITH SCORE 80020.247
AT ITER 2385 NEW BEST:: SOT 368956 SOS 88317 HAS SOPS 88317 HAS SOUS 79902 HAS SOUPS 79902 WITH SCORE 79990.317
AT ITER 2434 NEW BEST:: SOT 368975 SOS 88211 HAS SOPS 88211 HAS SOUS 79868 HAS SOUPS 79868 WITH SCORE 79956.211
AT ITER 2435 NEW BEST:: SOT 368980 SOS 88221 HAS SOPS 88221 HAS SOUS 79840 HAS SOUPS 79840 WITH SCORE 79928.221
AT ITER 2450 NEW BEST:: SOT 368979 SOS 88205 HAS SOPS 88205 HAS SOUS 79824 HAS SOUPS 79824 WITH SCORE 79912.205
AT ITER 2455 NEW BEST:: SOT 368979 SOS 88085 HAS SOPS 88085 HAS SOUS 79824 HAS SOUPS 79824 WITH SCORE 79912.085
AT ITER 2458 NEW BEST:: SOT 368982 SOS 88023 HAS SOPS 88023 HAS SOUS 79762 HAS SOUPS 79762 WITH SCORE 79850.023
AT ITER 2459 NEW BEST:: SOT 368885 SOS 88007 HAS SOPS 88007 HAS SOUS 79758 HAS SOUPS 79758 WITH SCORE 79846.007
AT ITER 2472 NEW BEST:: SOT 368883 SOS 88005 HAS SOPS 88005 HAS SOUS 79754 HAS SOUPS 79754 WITH SCORE 79842.005
AT ITER 2530 NEW BEST:: SOT 368880 SOS 88002 HAS SOPS 88002 HAS SOUS 79751 HAS SOUPS 79751 WITH SCORE 79839.002
AT ITER 2539 NEW BEST:: SOT 368880 SOS 88001 HAS SOPS 88001 HAS SOUS 79750 HAS SOUPS 79750 WITH SCORE 79838.001
AT ITER 2546 NEW BEST:: SOT 368809 SOS 87905 HAS SOPS 87905 HAS SOUS 79679 HAS SOUPS 79679 WITH SCORE 79766.905
AT ITER 2548 NEW BEST:: SOT 368809 SOS 87905 HAS SOPS 87905 HAS SOUS 79677 HAS SOUPS 79677 WITH SCORE 79764.905
AT ITER 2550 NEW BEST:: SOT 368804 SOS 87879 HAS SOPS 87879 HAS SOUS 79667 HAS SOUPS 79667 WITH SCORE 79754.879
AT ITER 2588 NEW BEST:: SOT 368764 SOS 87839 HAS SOPS 87839 HAS SOUS 79627 HAS SOUPS 79627 WITH SCORE 79714.839
AT ITER 2599 NEW BEST:: SOT 368735 SOS 87810 HAS SOPS 87810 HAS SOUS 79598 HAS SOUPS 79598 WITH SCORE 79685.81
AT ITER 2611 NEW BEST:: SOT 368735 SOS 87810 HAS SOPS 87810 HAS SOUS 79560 HAS SOUPS 79560 WITH SCORE 79647.81
AT ITER 2653 NEW BEST:: SOT 368735 SOS 87562 HAS SOPS 87562 HAS SOUS 79436 HAS SOUPS 79436 WITH SCORE 79523.562
AT ITER 2670 NEW BEST:: SOT 368731 SOS 87511 HAS SOPS 87511 HAS SOUS 79428 HAS SOUPS 79428 WITH SCORE 79515.511
AT ITER 2677 NEW BEST:: SOT 368655 SOS 87435 HAS SOPS 87435 HAS SOUS 79271 HAS SOUPS 79271 WITH SCORE 79358.435
AT ITER 2697 NEW BEST:: SOT 368655 SOS 87435 HAS SOPS 87435 HAS SOUS 79261 HAS SOUPS 79261 WITH SCORE 79348.435
AT ITER 2699 NEW BEST:: SOT 368636 SOS 87397 HAS SOPS 87397 HAS SOUS 79223 HAS SOUPS 79223 WITH SCORE 79310.397
AT ITER 2702 NEW BEST:: SOT 368636 SOS 87383 HAS SOPS 87383 HAS SOUS 79209 HAS SOUPS 79209 WITH SCORE 79296.383
AT ITER 2709 NEW BEST:: SOT 368600 SOS 87311 HAS SOPS 87311 HAS SOUS 79137 HAS SOUPS 79137 WITH SCORE 79224.311
AT ITER 2715 NEW BEST:: SOT 368595 SOS 87301 HAS SOPS 87301 HAS SOUS 79127 HAS SOUPS 79127 WITH SCORE 79214.301
AT ITER 2717 NEW BEST:: SOT 368481 SOS 87073 HAS SOPS 87073 HAS SOUS 78899 HAS SOUPS 78899 WITH SCORE 78986.073
AT ITER 2728 NEW BEST:: SOT 368481 SOS 87053 HAS SOPS 87053 HAS SOUS 78889 HAS SOUPS 78889 WITH SCORE 78976.053
AT ITER 2734 NEW BEST:: SOT 368454 SOS 87026 HAS SOPS 87026 HAS SOUS 78862 HAS SOUPS 78862 WITH SCORE 78949.026
AT ITER 2776 NEW BEST:: SOT 368454 SOS 86992 HAS SOPS 86992 HAS SOUS 78828 HAS SOUPS 78828 WITH SCORE 78914.992
AT ITER 2784 NEW BEST:: SOT 368399 SOS 86937 HAS SOPS 86937 HAS SOUS 78718 HAS SOUPS 78718 WITH SCORE 78804.937
AT ITER 2796 NEW BEST:: SOT 368399 SOS 86902 HAS SOPS 86902 HAS SOUS 78648 HAS SOUPS 78648 WITH SCORE 78734.902
AT ITER 2800 NEW BEST:: SOT 368416 SOS 86936 HAS SOPS 86936 HAS SOUS 78560 HAS SOUPS 78560 WITH SCORE 78646.936
AT ITER 2819 NEW BEST:: SOT 368415 SOS 86935 HAS SOPS 86935 HAS SOUS 78559 HAS SOUPS 78559 WITH SCORE 78645.935
AT ITER 2838 NEW BEST:: SOT 368415 SOS 86935 HAS SOPS 86935 HAS SOUS 78558 HAS SOUPS 78558 WITH SCORE 78644.935
AT ITER 2841 NEW BEST:: SOT 368441 SOS 86910 HAS SOPS 86910 HAS SOUS 78533 HAS SOUPS 78533 WITH SCORE 78619.91
AT ITER 2845 NEW BEST:: SOT 368441 SOS 86894 HAS SOPS 86894 HAS SOUS 78525 HAS SOUPS 78525 WITH SCORE 78611.894
AT ITER 2848 NEW BEST:: SOT 368441 SOS 86894 HAS SOPS 86894 HAS SOUS 78513 HAS SOUPS 78513 WITH SCORE 78599.894
AT ITER 2851 NEW BEST:: SOT 368441 SOS 86876 HAS SOPS 86876 HAS SOUS 78483 HAS SOUPS 78483 WITH SCORE 78569.876
AT ITER 2870 NEW BEST:: SOT 368441 SOS 86872 HAS SOPS 86872 HAS SOUS 78479 HAS SOUPS 78479 WITH SCORE 78565.872
AT ITER 2889 NEW BEST:: SOT 368400 SOS 86790 HAS SOPS 86790 HAS SOUS 78397 HAS SOUPS 78397 WITH SCORE 78483.79
AT ITER 2893 NEW BEST:: SOT 368375 SOS 86765 HAS SOPS 86765 HAS SOUS 78372 HAS SOUPS 78372 WITH SCORE 78458.765
AT ITER 2902 NEW BEST:: SOT 368371 SOS 86761 HAS SOPS 86761 HAS SOUS 78364 HAS SOUPS 78364 WITH SCORE 78450.761
AT ITER 2903 NEW BEST:: SOT 368378 SOS 86768 HAS SOPS 86768 HAS SOUS 78340 HAS SOUPS 78340 WITH SCORE 78426.768
AT ITER 2905 NEW BEST:: SOT 368357 SOS 86754 HAS SOPS 86754 HAS SOUS 78326 HAS SOUPS 78326 WITH SCORE 78412.754
AT ITER 2928 NEW BEST:: SOT 368357 SOS 86710 HAS SOPS 86710 HAS SOUS 78282 HAS SOUPS 78282 WITH SCORE 78368.71
AT ITER 2946 NEW BEST:: SOT 368350 SOS 86696 HAS SOPS 86696 HAS SOUS 78268 HAS SOUPS 78268 WITH SCORE 78354.696
AT ITER 2966 NEW BEST:: SOT 368350 SOS 86598 HAS SOPS 86598 HAS SOUS 78219 HAS SOUPS 78219 WITH SCORE 78305.598
AT ITER 2987 NEW BEST:: SOT 368350 SOS 86598 HAS SOPS 86598 HAS SOUS 78158 HAS SOUPS 78158 WITH SCORE 78244.598
AT ITER 3004 NEW BEST:: SOT 368350 SOS 86598 HAS SOPS 86598 HAS SOUS 78019 HAS SOUPS 78019 WITH SCORE 78105.598
AT ITER 3006 NEW BEST:: SOT 368342 SOS 86582 HAS SOPS 86582 HAS SOUS 78003 HAS SOUPS 78003 WITH SCORE 78089.582
AT ITER 3012 NEW BEST:: SOT 368380 SOS 86538 HAS SOPS 86538 HAS SOUS 77959 HAS SOUPS 77959 WITH SCORE 78045.538
AT ITER 3020 NEW BEST:: SOT 368377 SOS 86535 HAS SOPS 86535 HAS SOUS 77956 HAS SOUPS 77956 WITH SCORE 78042.535
AT ITER 3049 NEW BEST:: SOT 368355 SOS 86494 HAS SOPS 86494 HAS SOUS 77915 HAS SOUPS 77915 WITH SCORE 78001.494
AT ITER 3074 NEW BEST:: SOT 368303 SOS 86390 HAS SOPS 86390 HAS SOUS 77811 HAS SOUPS 77811 WITH SCORE 77897.39
AT ITER 3100 NEW BEST:: SOT 368305 SOS 86343 HAS SOPS 86343 HAS SOUS 77764 HAS SOUPS 77764 WITH SCORE 77850.343
AT ITER 3122 NEW BEST:: SOT 368305 SOS 86343 HAS SOPS 86343 HAS SOUS 77762 HAS SOUPS 77762 WITH SCORE 77848.343
AT ITER 3141 NEW BEST:: SOT 368312 SOS 86131 HAS SOPS 86131 HAS SOUS 77715 HAS SOUPS 77715 WITH SCORE 77801.131
AT ITER 3147 NEW BEST:: SOT 368269 SOS 86058 HAS SOPS 86058 HAS SOUS 77614 HAS SOUPS 77614 WITH SCORE 77700.058
AT ITER 3150 NEW BEST:: SOT 368269 SOS 86016 HAS SOPS 86016 HAS SOUS 77614 HAS SOUPS 77614 WITH SCORE 77700.016
AT ITER 3157 NEW BEST:: SOT 368273 SOS 86000 HAS SOPS 86000 HAS SOUS 77606 HAS SOUPS 77606 WITH SCORE 77692.0
AT ITER 3177 NEW BEST:: SOT 368262 SOS 85978 HAS SOPS 85978 HAS SOUS 77584 HAS SOUPS 77584 WITH SCORE 77669.978
AT ITER 3197 NEW BEST:: SOT 368258 SOS 85970 HAS SOPS 85970 HAS SOUS 77572 HAS SOUPS 77572 WITH SCORE 77657.97
AT ITER 3219 NEW BEST:: SOT 368258 SOS 85724 HAS SOPS 85724 HAS SOUS 77572 HAS SOUPS 77572 WITH SCORE 77657.724
AT ITER 3226 NEW BEST:: SOT 368258 SOS 85724 HAS SOPS 85724 HAS SOUS 77571 HAS SOUPS 77571 WITH SCORE 77656.724
AT ITER 3244 NEW BEST:: SOT 368253 SOS 85714 HAS SOPS 85714 HAS SOUS 77561 HAS SOUPS 77561 WITH SCORE 77646.714
AT ITER 3248 NEW BEST:: SOT 368279 SOS 85679 HAS SOPS 85679 HAS SOUS 77526 HAS SOUPS 77526 WITH SCORE 77611.679
AT ITER 3253 NEW BEST:: SOT 368209 SOS 85673 HAS SOPS 85673 HAS SOUS 77520 HAS SOUPS 77520 WITH SCORE 77605.673
AT ITER 3322 NEW BEST:: SOT 368190 SOS 85654 HAS SOPS 85654 HAS SOUS 77501 HAS SOUPS 77501 WITH SCORE 77586.654
AT ITER 3345 NEW BEST:: SOT 368168 SOS 85632 HAS SOPS 85632 HAS SOUS 77457 HAS SOUPS 77457 WITH SCORE 77542.632
AT ITER 3347 NEW BEST:: SOT 368159 SOS 85518 HAS SOPS 85518 HAS SOUS 77358 HAS SOUPS 77358 WITH SCORE 77443.518
AT ITER 3349 NEW BEST:: SOT 368195 SOS 85590 HAS SOPS 85590 HAS SOUS 77355 HAS SOUPS 77355 WITH SCORE 77440.59
AT ITER 3355 NEW BEST:: SOT 368204 SOS 85545 HAS SOPS 85545 HAS SOUS 77310 HAS SOUPS 77310 WITH SCORE 77395.545
AT ITER 3356 NEW BEST:: SOT 368181 SOS 85522 HAS SOPS 85522 HAS SOUS 77254 HAS SOUPS 77254 WITH SCORE 77339.522
AT ITER 3373 NEW BEST:: SOT 367992 SOS 85382 HAS SOPS 85382 HAS SOUS 77114 HAS SOUPS 77114 WITH SCORE 77199.382
AT ITER 3379 NEW BEST:: SOT 367992 SOS 85382 HAS SOPS 85382 HAS SOUS 77061 HAS SOUPS 77061 WITH SCORE 77146.382
AT ITER 3382 NEW BEST:: SOT 367992 SOS 85324 HAS SOPS 85324 HAS SOUS 77003 HAS SOUPS 77003 WITH SCORE 77088.324
AT ITER 3414 NEW BEST:: SOT 367903 SOS 85196 HAS SOPS 85196 HAS SOUS 76875 HAS SOUPS 76875 WITH SCORE 76960.196
AT ITER 3431 NEW BEST:: SOT 367852 SOS 85094 HAS SOPS 85094 HAS SOUS 76773 HAS SOUPS 76773 WITH SCORE 76858.094
AT ITER 3436 NEW BEST:: SOT 367852 SOS 84985 HAS SOPS 84985 HAS SOUS 76773 HAS SOUPS 76773 WITH SCORE 76857.985
AT ITER 3445 NEW BEST:: SOT 367852 SOS 84985 HAS SOPS 84985 HAS SOUS 76772 HAS SOUPS 76772 WITH SCORE 76856.985
AT ITER 3458 NEW BEST:: SOT 367864 SOS 84891 HAS SOPS 84891 HAS SOUS 76737 HAS SOUPS 76737 WITH SCORE 76821.891
AT ITER 3486 NEW BEST:: SOT 367904 SOS 84869 HAS SOPS 84869 HAS SOUS 76726 HAS SOUPS 76726 WITH SCORE 76810.869
AT ITER 3513 NEW BEST:: SOT 367890 SOS 84841 HAS SOPS 84841 HAS SOUS 76698 HAS SOUPS 76698 WITH SCORE 76782.841
AT ITER 3521 NEW BEST:: SOT 367913 SOS 84811 HAS SOPS 84811 HAS SOUS 76668 HAS SOUPS 76668 WITH SCORE 76752.811
AT ITER 3535 NEW BEST:: SOT 367849 SOS 84683 HAS SOPS 84683 HAS SOUS 76540 HAS SOUPS 76540 WITH SCORE 76624.683
AT ITER 3547 NEW BEST:: SOT 367849 SOS 84683 HAS SOPS 84683 HAS SOUS 76475 HAS SOUPS 76475 WITH SCORE 76559.683
AT ITER 3556 NEW BEST:: SOT 367849 SOS 84683 HAS SOPS 84683 HAS SOUS 76466 HAS SOUPS 76466 WITH SCORE 76550.683
AT ITER 3581 NEW BEST:: SOT 367849 SOS 84675 HAS SOPS 84675 HAS SOUS 76462 HAS SOUPS 76462 WITH SCORE 76546.675
AT ITER 3584 NEW BEST:: SOT 367808 SOS 84622 HAS SOPS 84622 HAS SOUS 76421 HAS SOUPS 76421 WITH SCORE 76505.622
AT ITER 3589 NEW BEST:: SOT 367808 SOS 84610 HAS SOPS 84610 HAS SOUS 76421 HAS SOUPS 76421 WITH SCORE 76505.61
AT ITER 3595 NEW BEST:: SOT 367801 SOS 84596 HAS SOPS 84596 HAS SOUS 76407 HAS SOUPS 76407 WITH SCORE 76491.596
AT ITER 3621 NEW BEST:: SOT 367873 SOS 84562 HAS SOPS 84562 HAS SOUS 76390 HAS SOUPS 76390 WITH SCORE 76474.562
AT ITER 3684 NEW BEST:: SOT 367873 SOS 84505 HAS SOPS 84505 HAS SOUS 76333 HAS SOUPS 76333 WITH SCORE 76417.505
AT ITER 3685 NEW BEST:: SOT 367852 SOS 84505 HAS SOPS 84505 HAS SOUS 76312 HAS SOUPS 76312 WITH SCORE 76396.505
AT ITER 3726 NEW BEST:: SOT 367844 SOS 84489 HAS SOPS 84489 HAS SOUS 76296 HAS SOUPS 76296 WITH SCORE 76380.489
AT ITER 3745 NEW BEST:: SOT 367844 SOS 84297 HAS SOPS 84297 HAS SOUS 76296 HAS SOUPS 76296 WITH SCORE 76380.297
AT ITER 3811 NEW BEST:: SOT 367808 SOS 84225 HAS SOPS 84225 HAS SOUS 76224 HAS SOUPS 76224 WITH SCORE 76308.225
AT ITER 3821 NEW BEST:: SOT 367764 SOS 84137 HAS SOPS 84137 HAS SOUS 76136 HAS SOUPS 76136 WITH SCORE 76220.137
AT ITER 3853 NEW BEST:: SOT 367750 SOS 84109 HAS SOPS 84109 HAS SOUS 76122 HAS SOUPS 76122 WITH SCORE 76206.109
AT ITER 3859 NEW BEST:: SOT 367747 SOS 84103 HAS SOPS 84103 HAS SOUS 76116 HAS SOUPS 76116 WITH SCORE 76200.103
AT ITER 3861 NEW BEST:: SOT 367705 SOS 84040 HAS SOPS 84040 HAS SOUS 76074 HAS SOUPS 76074 WITH SCORE 76158.04
AT ITER 3869 NEW BEST:: SOT 367695 SOS 84051 HAS SOPS 84051 HAS SOUS 76054 HAS SOUPS 76054 WITH SCORE 76138.051
AT ITER 3925 NEW BEST:: SOT 367681 SOS 84057 HAS SOPS 84057 HAS SOUS 76026 HAS SOUPS 76026 WITH SCORE 76110.057
AT ITER 3940 NEW BEST:: SOT 367667 SOS 84043 HAS SOPS 84043 HAS SOUS 75969 HAS SOUPS 75969 WITH SCORE 76053.043
AT ITER 3965 NEW BEST:: SOT 367667 SOS 84025 HAS SOPS 84025 HAS SOUS 75969 HAS SOUPS 75969 WITH SCORE 76053.025
AT ITER 4042 NEW BEST:: SOT 367616 SOS 83998 HAS SOPS 83998 HAS SOUS 75942 HAS SOUPS 75942 WITH SCORE 76025.998
AT ITER 4071 NEW BEST:: SOT 367616 SOS 83918 HAS SOPS 83918 HAS SOUS 75902 HAS SOUPS 75902 WITH SCORE 75985.918
AT ITER 4073 NEW BEST:: SOT 367578 SOS 83842 HAS SOPS 83842 HAS SOUS 75833 HAS SOUPS 75833 WITH SCORE 75916.842
AT ITER 4105 NEW BEST:: SOT 367584 SOS 83798 HAS SOPS 83798 HAS SOUS 75827 HAS SOUPS 75827 WITH SCORE 75910.798
AT ITER 4125 NEW BEST:: SOT 367584 SOS 83590 HAS SOPS 83590 HAS SOUS 75723 HAS SOUPS 75723 WITH SCORE 75806.59
AT ITER 4132 NEW BEST:: SOT 367565 SOS 83552 HAS SOPS 83552 HAS SOUS 75685 HAS SOUPS 75685 WITH SCORE 75768.552
AT ITER 4149 NEW BEST:: SOT 367565 SOS 83534 HAS SOPS 83534 HAS SOUS 75667 HAS SOUPS 75667 WITH SCORE 75750.534
AT ITER 4154 NEW BEST:: SOT 367527 SOS 83414 HAS SOPS 83414 HAS SOUS 75585 HAS SOUPS 75585 WITH SCORE 75668.414
AT ITER 4161 NEW BEST:: SOT 367523 SOS 83473 HAS SOPS 83473 HAS SOUS 75577 HAS SOUPS 75577 WITH SCORE 75660.473
AT ITER 4165 NEW BEST:: SOT 367521 SOS 83469 HAS SOPS 83469 HAS SOUS 75573 HAS SOUPS 75573 WITH SCORE 75656.469
AT ITER 4174 NEW BEST:: SOT 367521 SOS 83375 HAS SOPS 83375 HAS SOUS 75526 HAS SOUPS 75526 WITH SCORE 75609.375
AT ITER 4214 NEW BEST:: SOT 367521 SOS 83351 HAS SOPS 83351 HAS SOUS 75514 HAS SOUPS 75514 WITH SCORE 75597.351
AT ITER 4241 NEW BEST:: SOT 367521 SOS 83330 HAS SOPS 83330 HAS SOUS 75493 HAS SOUPS 75493 WITH SCORE 75576.33
AT ITER 4263 NEW BEST:: SOT 367484 SOS 83299 HAS SOPS 83299 HAS SOUS 75462 HAS SOUPS 75462 WITH SCORE 75545.299
AT ITER 4286 NEW BEST:: SOT 367483 SOS 83298 HAS SOPS 83298 HAS SOUS 75460 HAS SOUPS 75460 WITH SCORE 75543.298
AT ITER 4289 NEW BEST:: SOT 367466 SOS 83264 HAS SOPS 83264 HAS SOUS 75426 HAS SOUPS 75426 WITH SCORE 75509.264
AT ITER 4332 NEW BEST:: SOT 367463 SOS 83258 HAS SOPS 83258 HAS SOUS 75420 HAS SOUPS 75420 WITH SCORE 75503.258
AT ITER 4379 NEW BEST:: SOT 367469 SOS 83244 HAS SOPS 83244 HAS SOUS 75406 HAS SOUPS 75406 WITH SCORE 75489.244
AT ITER 4425 NEW BEST:: SOT 367467 SOS 83240 HAS SOPS 83240 HAS SOUS 75402 HAS SOUPS 75402 WITH SCORE 75485.24
AT ITER 4430 NEW BEST:: SOT 367450 SOS 83223 HAS SOPS 83223 HAS SOUS 75378 HAS SOUPS 75378 WITH SCORE 75461.223
AT ITER 4474 NEW BEST:: SOT 367450 SOS 83207 HAS SOPS 83207 HAS SOUS 75378 HAS SOUPS 75378 WITH SCORE 75461.207
AT ITER 4496 NEW BEST:: SOT 367441 SOS 83189 HAS SOPS 83189 HAS SOUS 75360 HAS SOUPS 75360 WITH SCORE 75443.189
AT ITER 4521 NEW BEST:: SOT 367441 SOS 83171 HAS SOPS 83171 HAS SOUS 75360 HAS SOUPS 75360 WITH SCORE 75443.171
AT ITER 4550 NEW BEST:: SOT 367424 SOS 83137 HAS SOPS 83137 HAS SOUS 75337 HAS SOUPS 75337 WITH SCORE 75420.137
AT ITER 4556 NEW BEST:: SOT 367336 SOS 83149 HAS SOPS 83149 HAS SOUS 75312 HAS SOUPS 75312 WITH SCORE 75395.149
AT ITER 4566 NEW BEST:: SOT 367336 SOS 83149 HAS SOPS 83149 HAS SOUS 75311 HAS SOUPS 75311 WITH SCORE 75394.149
AT ITER 4575 NEW BEST:: SOT 367336 SOS 83149 HAS SOPS 83149 HAS SOUS 75302 HAS SOUPS 75302 WITH SCORE 75385.149
AT ITER 4594 NEW BEST:: SOT 367268 SOS 83029 HAS SOPS 83029 HAS SOUS 75182 HAS SOUPS 75182 WITH SCORE 75265.029
AT ITER 4601 NEW BEST:: SOT 367237 SOS 82998 HAS SOPS 82998 HAS SOUS 75151 HAS SOUPS 75151 WITH SCORE 75233.998
AT ITER 4652 NEW BEST:: SOT 367218 SOS 82979 HAS SOPS 82979 HAS SOUS 75151 HAS SOUPS 75151 WITH SCORE 75233.979
AT ITER 4670 NEW BEST:: SOT 367218 SOS 82979 HAS SOPS 82979 HAS SOUS 75095 HAS SOUPS 75095 WITH SCORE 75177.979
AT ITER 4675 NEW BEST:: SOT 367212 SOS 82967 HAS SOPS 82967 HAS SOUS 75083 HAS SOUPS 75083 WITH SCORE 75165.967
AT ITER 4700 NEW BEST:: SOT 367212 SOS 82923 HAS SOPS 82923 HAS SOUS 75061 HAS SOUPS 75061 WITH SCORE 75143.923
AT ITER 4703 NEW BEST:: SOT 367201 SOS 82901 HAS SOPS 82901 HAS SOUS 75039 HAS SOUPS 75039 WITH SCORE 75121.901
AT ITER 4706 NEW BEST:: SOT 367201 SOS 82881 HAS SOPS 82881 HAS SOUS 75036 HAS SOUPS 75036 WITH SCORE 75118.881
AT ITER 4722 NEW BEST:: SOT 367199 SOS 82877 HAS SOPS 82877 HAS SOUS 75032 HAS SOUPS 75032 WITH SCORE 75114.877
AT ITER 4764 NEW BEST:: SOT 367233 SOS 82804 HAS SOPS 82804 HAS SOUS 74959 HAS SOUPS 74959 WITH SCORE 75041.804
AT ITER 4790 NEW BEST:: SOT 367233 SOS 82781 HAS SOPS 82781 HAS SOUS 74936 HAS SOUPS 74936 WITH SCORE 75018.781
AT ITER 4794 NEW BEST:: SOT 367216 SOS 82747 HAS SOPS 82747 HAS SOUS 74902 HAS SOUPS 74902 WITH SCORE 74984.747
AT ITER 4823 NEW BEST:: SOT 367216 SOS 82747 HAS SOPS 82747 HAS SOUS 74863 HAS SOUPS 74863 WITH SCORE 74945.747
AT ITER 4841 NEW BEST:: SOT 367217 SOS 82749 HAS SOPS 82749 HAS SOUS 74848 HAS SOUPS 74848 WITH SCORE 74930.749
AT ITER 4864 NEW BEST:: SOT 367287 SOS 82541 HAS SOPS 82541 HAS SOUS 74753 HAS SOUPS 74753 WITH SCORE 74835.541
AT ITER 4883 NEW BEST:: SOT 367288 SOS 82542 HAS SOPS 82542 HAS SOUS 74747 HAS SOUPS 74747 WITH SCORE 74829.542
AT ITER 4921 NEW BEST:: SOT 367248 SOS 82542 HAS SOPS 82542 HAS SOUS 74707 HAS SOUPS 74707 WITH SCORE 74789.542
AT ITER 4946 NEW BEST:: SOT 367240 SOS 82526 HAS SOPS 82526 HAS SOUS 74691 HAS SOUPS 74691 WITH SCORE 74773.526
AT ITER 4955 NEW BEST:: SOT 367236 SOS 82518 HAS SOPS 82518 HAS SOUS 74683 HAS SOUPS 74683 WITH SCORE 74765.518
AT ITER 4974 NEW BEST:: SOT 367249 SOS 82444 HAS SOPS 82444 HAS SOUS 74659 HAS SOUPS 74659 WITH SCORE 74741.444
AT ITER 4997 NEW BEST:: SOT 367225 SOS 82400 HAS SOPS 82400 HAS SOUS 74611 HAS SOUPS 74611 WITH SCORE 74693.4
AT ITER 5004 NEW BEST:: SOT 367201 SOS 82352 HAS SOPS 82352 HAS SOUS 74563 HAS SOUPS 74563 WITH SCORE 74645.352
AT ITER 5011 NEW BEST:: SOT 367199 SOS 82348 HAS SOPS 82348 HAS SOUS 74559 HAS SOUPS 74559 WITH SCORE 74641.348
AT ITER 5037 NEW BEST:: SOT 367199 SOS 82267 HAS SOPS 82267 HAS SOUS 74559 HAS SOUPS 74559 WITH SCORE 74641.267
AT ITER 5097 NEW BEST:: SOT 367150 SOS 82169 HAS SOPS 82169 HAS SOUS 74461 HAS SOUPS 74461 WITH SCORE 74543.169
AT ITER 5152 NEW BEST:: SOT 367121 SOS 82132 HAS SOPS 82132 HAS SOUS 74403 HAS SOUPS 74403 WITH SCORE 74485.132
AT ITER 5178 NEW BEST:: SOT 367083 SOS 82056 HAS SOPS 82056 HAS SOUS 74327 HAS SOUPS 74327 WITH SCORE 74409.056
AT ITER 5229 NEW BEST:: SOT 367083 SOS 82056 HAS SOPS 82056 HAS SOUS 74271 HAS SOUPS 74271 WITH SCORE 74353.056
AT ITER 5236 NEW BEST:: SOT 367109 SOS 82029 HAS SOPS 82029 HAS SOUS 74244 HAS SOUPS 74244 WITH SCORE 74326.029
AT ITER 5246 NEW BEST:: SOT 367109 SOS 82029 HAS SOPS 82029 HAS SOUS 74213 HAS SOUPS 74213 WITH SCORE 74295.029
AT ITER 5259 NEW BEST:: SOT 367207 SOS 81845 HAS SOPS 81845 HAS SOUS 74121 HAS SOUPS 74121 WITH SCORE 74202.845
AT ITER 5286 NEW BEST:: SOT 367209 SOS 81849 HAS SOPS 81849 HAS SOUS 74116 HAS SOUPS 74116 WITH SCORE 74197.849
AT ITER 5294 NEW BEST:: SOT 367243 SOS 81847 HAS SOPS 81847 HAS SOUS 74114 HAS SOUPS 74114 WITH SCORE 74195.847
AT ITER 5321 NEW BEST:: SOT 367243 SOS 81836 HAS SOPS 81836 HAS SOUS 74103 HAS SOUPS 74103 WITH SCORE 74184.836
AT ITER 5340 NEW BEST:: SOT 367249 SOS 81772 HAS SOPS 81772 HAS SOUS 74071 HAS SOUPS 74071 WITH SCORE 74152.772
AT ITER 5346 NEW BEST:: SOT 367215 SOS 81771 HAS SOPS 81771 HAS SOUS 74070 HAS SOUPS 74070 WITH SCORE 74151.771
AT ITER 5361 NEW BEST:: SOT 367199 SOS 81739 HAS SOPS 81739 HAS SOUS 74038 HAS SOUPS 74038 WITH SCORE 74119.739
AT ITER 5392 NEW BEST:: SOT 367199 SOS 81685 HAS SOPS 81685 HAS SOUS 74011 HAS SOUPS 74011 WITH SCORE 74092.685
AT ITER 5397 NEW BEST:: SOT 367142 SOS 81527 HAS SOPS 81527 HAS SOUS 73865 HAS SOUPS 73865 WITH SCORE 73946.527
AT ITER 5404 NEW BEST:: SOT 367106 SOS 81491 HAS SOPS 81491 HAS SOUS 73812 HAS SOUPS 73812 WITH SCORE 73893.491
AT ITER 5440 NEW BEST:: SOT 367083 SOS 81445 HAS SOPS 81445 HAS SOUS 73789 HAS SOUPS 73789 WITH SCORE 73870.445
AT ITER 5505 NEW BEST:: SOT 367083 SOS 81414 HAS SOPS 81414 HAS SOUS 73789 HAS SOUPS 73789 WITH SCORE 73870.414
AT ITER 5536 NEW BEST:: SOT 367071 SOS 81361 HAS SOPS 81361 HAS SOUS 73765 HAS SOUPS 73765 WITH SCORE 73846.361
AT ITER 5554 NEW BEST:: SOT 367122 SOS 81135 HAS SOPS 81135 HAS SOUS 73703 HAS SOUPS 73703 WITH SCORE 73784.135
AT ITER 5573 NEW BEST:: SOT 367132 SOS 81125 HAS SOPS 81125 HAS SOUS 73693 HAS SOUPS 73693 WITH SCORE 73774.125
AT ITER 5575 NEW BEST:: SOT 367132 SOS 81125 HAS SOPS 81125 HAS SOUS 73679 HAS SOUPS 73679 WITH SCORE 73760.125
AT ITER 5627 NEW BEST:: SOT 367141 SOS 81060 HAS SOPS 81060 HAS SOUS 73669 HAS SOUPS 73669 WITH SCORE 73750.06
AT ITER 5755 NEW BEST:: SOT 367141 SOS 81060 HAS SOPS 81060 HAS SOUS 73636 HAS SOUPS 73636 WITH SCORE 73717.06
AT ITER 5767 NEW BEST:: SOT 366979 SOS 80891 HAS SOPS 80891 HAS SOUS 73467 HAS SOUPS 73467 WITH SCORE 73547.891
AT ITER 5789 NEW BEST:: SOT 366979 SOS 80731 HAS SOPS 80731 HAS SOUS 73445 HAS SOUPS 73445 WITH SCORE 73525.731
AT ITER 5804 NEW BEST:: SOT 366940 SOS 80769 HAS SOPS 80769 HAS SOUS 73425 HAS SOUPS 73425 WITH SCORE 73505.769
AT ITER 5858 NEW BEST:: SOT 366919 SOS 80751 HAS SOPS 80751 HAS SOUS 73407 HAS SOUPS 73407 WITH SCORE 73487.751
AT ITER 5915 NEW BEST:: SOT 366919 SOS 80751 HAS SOPS 80751 HAS SOUS 73402 HAS SOUPS 73402 WITH SCORE 73482.751
AT ITER 5921 NEW BEST:: SOT 366914 SOS 80749 HAS SOPS 80749 HAS SOUS 73400 HAS SOUPS 73400 WITH SCORE 73480.749
AT ITER 5927 NEW BEST:: SOT 366895 SOS 80797 HAS SOPS 80797 HAS SOUS 73381 HAS SOUPS 73381 WITH SCORE 73461.797
AT ITER 5934 NEW BEST:: SOT 366895 SOS 80780 HAS SOPS 80780 HAS SOUS 73381 HAS SOUPS 73381 WITH SCORE 73461.78
AT ITER 5948 NEW BEST:: SOT 366905 SOS 80749 HAS SOPS 80749 HAS SOUS 73360 HAS SOUPS 73360 WITH SCORE 73440.749
AT ITER 5974 NEW BEST:: SOT 366854 SOS 80794 HAS SOPS 80794 HAS SOUS 73323 HAS SOUPS 73323 WITH SCORE 73403.794
AT ITER 5990 NEW BEST:: SOT 366836 SOS 80787 HAS SOPS 80787 HAS SOUS 73287 HAS SOUPS 73287 WITH SCORE 73367.787
AT ITER 5994 NEW BEST:: SOT 366832 SOS 80779 HAS SOPS 80779 HAS SOUS 73279 HAS SOUPS 73279 WITH SCORE 73359.779
AT ITER 6023 NEW BEST:: SOT 366832 SOS 80779 HAS SOPS 80779 HAS SOUS 73224 HAS SOUPS 73224 WITH SCORE 73304.779
AT ITER 6032 NEW BEST:: SOT 366849 SOS 80673 HAS SOPS 80673 HAS SOUS 73118 HAS SOUPS 73118 WITH SCORE 73198.673
AT ITER 6040 NEW BEST:: SOT 366849 SOS 80673 HAS SOPS 80673 HAS SOUS 73100 HAS SOUPS 73100 WITH SCORE 73180.673
AT ITER 6057 NEW BEST:: SOT 366840 SOS 80738 HAS SOPS 80738 HAS SOUS 73091 HAS SOUPS 73091 WITH SCORE 73171.738
AT ITER 6059 NEW BEST:: SOT 366867 SOS 80721 HAS SOPS 80721 HAS SOUS 73074 HAS SOUPS 73074 WITH SCORE 73154.721
AT ITER 6132 NEW BEST:: SOT 366855 SOS 80697 HAS SOPS 80697 HAS SOUS 73050 HAS SOUPS 73050 WITH SCORE 73130.697
AT ITER 6143 NEW BEST:: SOT 366855 SOS 80658 HAS SOPS 80658 HAS SOUS 73050 HAS SOUPS 73050 WITH SCORE 73130.658
AT ITER 6197 NEW BEST:: SOT 366828 SOS 80604 HAS SOPS 80604 HAS SOUS 72996 HAS SOUPS 72996 WITH SCORE 73076.604
AT ITER 6210 NEW BEST:: SOT 366847 SOS 80582 HAS SOPS 80582 HAS SOUS 72991 HAS SOUPS 72991 WITH SCORE 73071.582
AT ITER 6311 NEW BEST:: SOT 366879 SOS 80646 HAS SOPS 80646 HAS SOUS 72963 HAS SOUPS 72963 WITH SCORE 73043.646
AT ITER 6314 NEW BEST:: SOT 366845 SOS 80626 HAS SOPS 80626 HAS SOUS 72943 HAS SOUPS 72943 WITH SCORE 73023.626
AT ITER 6347 NEW BEST:: SOT 366841 SOS 80618 HAS SOPS 80618 HAS SOUS 72929 HAS SOUPS 72929 WITH SCORE 73009.618
AT ITER 6366 NEW BEST:: SOT 366853 SOS 80642 HAS SOPS 80642 HAS SOUS 72923 HAS SOUPS 72923 WITH SCORE 73003.642
AT ITER 6390 NEW BEST:: SOT 366841 SOS 80618 HAS SOPS 80618 HAS SOUS 72899 HAS SOUPS 72899 WITH SCORE 72979.618
AT ITER 6405 NEW BEST:: SOT 366825 SOS 80586 HAS SOPS 80586 HAS SOUS 72866 HAS SOUPS 72866 WITH SCORE 72946.586
AT ITER 6426 NEW BEST:: SOT 366825 SOS 80437 HAS SOPS 80437 HAS SOUS 72866 HAS SOUPS 72866 WITH SCORE 72946.437
AT ITER 6458 NEW BEST:: SOT 366822 SOS 80431 HAS SOPS 80431 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 72940.431
AT ITER 6464 NEW BEST:: SOT 366773 SOS 80315 HAS SOPS 80315 HAS SOUS 72744 HAS SOUPS 72744 WITH SCORE 72824.315
AT ITER 6480 NEW BEST:: SOT 366747 SOS 80263 HAS SOPS 80263 HAS SOUS 72692 HAS SOUPS 72692 WITH SCORE 72772.263
AT ITER 6487 NEW BEST:: SOT 366673 SOS 80222 HAS SOPS 80222 HAS SOUS 72622 HAS SOUPS 72622 WITH SCORE 72702.222
AT ITER 6531 NEW BEST:: SOT 366673 SOS 80222 HAS SOPS 80222 HAS SOUS 72621 HAS SOUPS 72621 WITH SCORE 72701.222
AT ITER 6534 NEW BEST:: SOT 366565 SOS 80162 HAS SOPS 80162 HAS SOUS 72561 HAS SOUPS 72561 WITH SCORE 72641.162
AT ITER 6545 NEW BEST:: SOT 366564 SOS 80160 HAS SOPS 80160 HAS SOUS 72559 HAS SOUPS 72559 WITH SCORE 72639.16
AT ITER 6572 NEW BEST:: SOT 366564 SOS 80110 HAS SOPS 80110 HAS SOUS 72534 HAS SOUPS 72534 WITH SCORE 72614.11
AT ITER 6597 NEW BEST:: SOT 366581 SOS 80097 HAS SOPS 80097 HAS SOUS 72521 HAS SOUPS 72521 WITH SCORE 72601.097
AT ITER 6605 NEW BEST:: SOT 366581 SOS 80097 HAS SOPS 80097 HAS SOUS 72514 HAS SOUPS 72514 WITH SCORE 72594.097
AT ITER 6611 NEW BEST:: SOT 366566 SOS 80082 HAS SOPS 80082 HAS SOUS 72499 HAS SOUPS 72499 WITH SCORE 72579.082
AT ITER 6650 NEW BEST:: SOT 366560 SOS 80070 HAS SOPS 80070 HAS SOUS 72493 HAS SOUPS 72493 WITH SCORE 72573.07
AT ITER 6682 NEW BEST:: SOT 366568 SOS 80067 HAS SOPS 80067 HAS SOUS 72490 HAS SOUPS 72490 WITH SCORE 72570.067
AT ITER 6695 NEW BEST:: SOT 366554 SOS 80039 HAS SOPS 80039 HAS SOUS 72462 HAS SOUPS 72462 WITH SCORE 72542.039
AT ITER 6721 NEW BEST:: SOT 366554 SOS 80017 HAS SOPS 80017 HAS SOUS 72440 HAS SOUPS 72440 WITH SCORE 72520.017
AT ITER 6742 NEW BEST:: SOT 366577 SOS 79931 HAS SOPS 79931 HAS SOUS 72420 HAS SOUPS 72420 WITH SCORE 72499.931
AT ITER 6768 NEW BEST:: SOT 366577 SOS 79908 HAS SOPS 79908 HAS SOUS 72397 HAS SOUPS 72397 WITH SCORE 72476.908
AT ITER 6814 NEW BEST:: SOT 366536 SOS 79826 HAS SOPS 79826 HAS SOUS 72336 HAS SOUPS 72336 WITH SCORE 72415.826
AT ITER 6852 NEW BEST:: SOT 366536 SOS 79798 HAS SOPS 79798 HAS SOUS 72308 HAS SOUPS 72308 WITH SCORE 72387.798
AT ITER 6865 NEW BEST:: SOT 366525 SOS 79800 HAS SOPS 79800 HAS SOUS 72299 HAS SOUPS 72299 WITH SCORE 72378.8
AT ITER 6878 NEW BEST:: SOT 366535 SOS 79820 HAS SOPS 79820 HAS SOUS 72201 HAS SOUPS 72201 WITH SCORE 72280.82
AT ITER 6893 NEW BEST:: SOT 366531 SOS 79812 HAS SOPS 79812 HAS SOUS 72193 HAS SOUPS 72193 WITH SCORE 72272.812
AT ITER 6975 NEW BEST:: SOT 366590 SOS 79654 HAS SOPS 79654 HAS SOUS 72166 HAS SOUPS 72166 WITH SCORE 72245.654
AT ITER 7003 NEW BEST:: SOT 366555 SOS 79508 HAS SOPS 79508 HAS SOUS 72096 HAS SOUPS 72096 WITH SCORE 72175.508
AT ITER 7010 NEW BEST:: SOT 366598 SOS 79392 HAS SOPS 79392 HAS SOUS 72081 HAS SOUPS 72081 WITH SCORE 72160.392
AT ITER 7017 NEW BEST:: SOT 366598 SOS 79392 HAS SOPS 79392 HAS SOUS 72067 HAS SOUPS 72067 WITH SCORE 72146.392
AT ITER 7048 NEW BEST:: SOT 366588 SOS 79322 HAS SOPS 79322 HAS SOUS 72047 HAS SOUPS 72047 WITH SCORE 72126.322
AT ITER 7100 NEW BEST:: SOT 366588 SOS 79307 HAS SOPS 79307 HAS SOUS 72032 HAS SOUPS 72032 WITH SCORE 72111.307
AT ITER 7103 NEW BEST:: SOT 366524 SOS 79279 HAS SOPS 79279 HAS SOUS 71997 HAS SOUPS 71997 WITH SCORE 72076.279
AT ITER 7106 NEW BEST:: SOT 366524 SOS 79243 HAS SOPS 79243 HAS SOUS 71979 HAS SOUPS 71979 WITH SCORE 72058.243
AT ITER 7108 NEW BEST:: SOT 366525 SOS 79220 HAS SOPS 79220 HAS SOUS 71959 HAS SOUPS 71959 WITH SCORE 72038.22
AT ITER 7124 NEW BEST:: SOT 366525 SOS 79220 HAS SOPS 79220 HAS SOUS 71940 HAS SOUPS 71940 WITH SCORE 72019.22
AT ITER 7143 NEW BEST:: SOT 366492 SOS 79187 HAS SOPS 79187 HAS SOUS 71880 HAS SOUPS 71880 WITH SCORE 71959.187
AT ITER 7181 NEW BEST:: SOT 366504 SOS 79175 HAS SOPS 79175 HAS SOUS 71874 HAS SOUPS 71874 WITH SCORE 71953.175
AT ITER 7236 NEW BEST:: SOT 366498 SOS 79170 HAS SOPS 79170 HAS SOUS 71869 HAS SOUPS 71869 WITH SCORE 71948.17
AT ITER 7275 NEW BEST:: SOT 366465 SOS 79104 HAS SOPS 79104 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 71882.104
AT ITER 7287 NEW BEST:: SOT 366436 SOS 79046 HAS SOPS 79046 HAS SOUS 71753 HAS SOUPS 71753 WITH SCORE 71832.046
AT ITER 7332 NEW BEST:: SOT 366431 SOS 79036 HAS SOPS 79036 HAS SOUS 71743 HAS SOUPS 71743 WITH SCORE 71822.036
AT ITER 7354 NEW BEST:: SOT 366391 SOS 78936 HAS SOPS 78936 HAS SOUS 71683 HAS SOUPS 71683 WITH SCORE 71761.936
AT ITER 7359 NEW BEST:: SOT 366390 SOS 78934 HAS SOPS 78934 HAS SOUS 71681 HAS SOUPS 71681 WITH SCORE 71759.934
AT ITER 7418 NEW BEST:: SOT 366390 SOS 78934 HAS SOPS 78934 HAS SOUS 71667 HAS SOUPS 71667 WITH SCORE 71745.934
AT ITER 7435 NEW BEST:: SOT 366310 SOS 78888 HAS SOPS 78888 HAS SOUS 71663 HAS SOUPS 71663 WITH SCORE 71741.888
AT ITER 7437 NEW BEST:: SOT 366309 SOS 78887 HAS SOPS 78887 HAS SOUS 71661 HAS SOUPS 71661 WITH SCORE 71739.887
AT ITER 7462 NEW BEST:: SOT 366303 SOS 78875 HAS SOPS 78875 HAS SOUS 71649 HAS SOUPS 71649 WITH SCORE 71727.875
AT ITER 7464 NEW BEST:: SOT 366059 SOS 82715 HAS SOPS 82715 HAS SOUS 71495 HAS SOUPS 71495 WITH SCORE 71577.715
AT ITER 7486 NEW BEST:: SOT 366059 SOS 82715 HAS SOPS 82715 HAS SOUS 71462 HAS SOUPS 71462 WITH SCORE 71544.715
AT ITER 7488 NEW BEST:: SOT 366059 SOS 82669 HAS SOPS 82669 HAS SOUS 71439 HAS SOUPS 71439 WITH SCORE 71521.669
AT ITER 7565 NEW BEST:: SOT 366051 SOS 82653 HAS SOPS 82653 HAS SOUS 71423 HAS SOUPS 71423 WITH SCORE 71505.653
AT ITER 7611 NEW BEST:: SOT 366108 SOS 82705 HAS SOPS 82705 HAS SOUS 71356 HAS SOUPS 71356 WITH SCORE 71438.705
AT ITER 7650 NEW BEST:: SOT 366108 SOS 82672 HAS SOPS 82672 HAS SOUS 71356 HAS SOUPS 71356 WITH SCORE 71438.672
AT ITER 7698 NEW BEST:: SOT 366127 SOS 82650 HAS SOPS 82650 HAS SOUS 71334 HAS SOUPS 71334 WITH SCORE 71416.65
AT ITER 7734 NEW BEST:: SOT 366041 SOS 82662 HAS SOPS 82662 HAS SOUS 71302 HAS SOUPS 71302 WITH SCORE 71384.662
AT ITER 7739 NEW BEST:: SOT 366041 SOS 82619 HAS SOPS 82619 HAS SOUS 71259 HAS SOUPS 71259 WITH SCORE 71341.619
AT ITER 7740 NEW BEST:: SOT 366080 SOS 82467 HAS SOPS 82467 HAS SOUS 71189 HAS SOUPS 71189 WITH SCORE 71271.467
AT ITER 7764 NEW BEST:: SOT 366082 SOS 82418 HAS SOPS 82418 HAS SOUS 71140 HAS SOUPS 71140 WITH SCORE 71222.418
AT ITER 7821 NEW BEST:: SOT 366082 SOS 82362 HAS SOPS 82362 HAS SOUS 71140 HAS SOUPS 71140 WITH SCORE 71222.362
AT ITER 7920 NEW BEST:: SOT 366082 SOS 82358 HAS SOPS 82358 HAS SOUS 71136 HAS SOUPS 71136 WITH SCORE 71218.358
AT ITER 7923 NEW BEST:: SOT 366082 SOS 82346 HAS SOPS 82346 HAS SOUS 71124 HAS SOUPS 71124 WITH SCORE 71206.346
AT ITER 7929 NEW BEST:: SOT 366072 SOS 82336 HAS SOPS 82336 HAS SOUS 71114 HAS SOUPS 71114 WITH SCORE 71196.336
AT ITER 7955 NEW BEST:: SOT 366038 SOS 82302 HAS SOPS 82302 HAS SOUS 71063 HAS SOUPS 71063 WITH SCORE 71145.302
AT ITER 7974 NEW BEST:: SOT 366061 SOS 82283 HAS SOPS 82283 HAS SOUS 71044 HAS SOUPS 71044 WITH SCORE 71126.283
AT ITER 7978 NEW BEST:: SOT 366018 SOS 82111 HAS SOPS 82111 HAS SOUS 70958 HAS SOUPS 70958 WITH SCORE 71040.111
AT ITER 8049 NEW BEST:: SOT 366000 SOS 82075 HAS SOPS 82075 HAS SOUS 70940 HAS SOUPS 70940 WITH SCORE 71022.075
AT ITER 8084 NEW BEST:: SOT 365965 SOS 82005 HAS SOPS 82005 HAS SOUS 70870 HAS SOUPS 70870 WITH SCORE 70952.005
AT ITER 8114 NEW BEST:: SOT 365965 SOS 81988 HAS SOPS 81988 HAS SOUS 70853 HAS SOUPS 70853 WITH SCORE 70934.988
AT ITER 8137 NEW BEST:: SOT 365955 SOS 81953 HAS SOPS 81953 HAS SOUS 70844 HAS SOUPS 70844 WITH SCORE 70925.953
AT ITER 8158 NEW BEST:: SOT 365955 SOS 81911 HAS SOPS 81911 HAS SOUS 70821 HAS SOUPS 70821 WITH SCORE 70902.911
AT ITER 8186 NEW BEST:: SOT 365951 SOS 81907 HAS SOPS 81907 HAS SOUS 70813 HAS SOUPS 70813 WITH SCORE 70894.907
AT ITER 8190 NEW BEST:: SOT 365951 SOS 81887 HAS SOPS 81887 HAS SOUS 70793 HAS SOUPS 70793 WITH SCORE 70874.887
AT ITER 8214 NEW BEST:: SOT 365951 SOS 81863 HAS SOPS 81863 HAS SOUS 70793 HAS SOUPS 70793 WITH SCORE 70874.863
AT ITER 8242 NEW BEST:: SOT 365951 SOS 81853 HAS SOPS 81853 HAS SOUS 70783 HAS SOUPS 70783 WITH SCORE 70864.853
AT ITER 8246 NEW BEST:: SOT 365929 SOS 81842 HAS SOPS 81842 HAS SOUS 70772 HAS SOUPS 70772 WITH SCORE 70853.842
AT ITER 8283 NEW BEST:: SOT 365915 SOS 81833 HAS SOPS 81833 HAS SOUS 70763 HAS SOUPS 70763 WITH SCORE 70844.833
AT ITER 8290 NEW BEST:: SOT 365908 SOS 81819 HAS SOPS 81819 HAS SOUS 70718 HAS SOUPS 70718 WITH SCORE 70799.819
AT ITER 8292 NEW BEST:: SOT 365848 SOS 81829 HAS SOPS 81829 HAS SOUS 70694 HAS SOUPS 70694 WITH SCORE 70775.829
AT ITER 8294 NEW BEST:: SOT 365772 SOS 81674 HAS SOPS 81674 HAS SOUS 70542 HAS SOUPS 70542 WITH SCORE 70623.674
AT ITER 8303 NEW BEST:: SOT 365760 SOS 81650 HAS SOPS 81650 HAS SOUS 70514 HAS SOUPS 70514 WITH SCORE 70595.65
AT ITER 8306 NEW BEST:: SOT 365895 SOS 81458 HAS SOPS 81458 HAS SOUS 70457 HAS SOUPS 70457 WITH SCORE 70538.458
AT ITER 8347 NEW BEST:: SOT 365895 SOS 81422 HAS SOPS 81422 HAS SOUS 70439 HAS SOUPS 70439 WITH SCORE 70520.422
AT ITER 8382 NEW BEST:: SOT 365920 SOS 81472 HAS SOPS 81472 HAS SOUS 70427 HAS SOUPS 70427 WITH SCORE 70508.472
AT ITER 8410 NEW BEST:: SOT 365920 SOS 81391 HAS SOPS 81391 HAS SOUS 70346 HAS SOUPS 70346 WITH SCORE 70427.391
AT ITER 8464 NEW BEST:: SOT 365901 SOS 81353 HAS SOPS 81353 HAS SOUS 70308 HAS SOUPS 70308 WITH SCORE 70389.353
AT ITER 8493 NEW BEST:: SOT 365895 SOS 81341 HAS SOPS 81341 HAS SOUS 70296 HAS SOUPS 70296 WITH SCORE 70377.341
AT ITER 8527 NEW BEST:: SOT 365895 SOS 81320 HAS SOPS 81320 HAS SOUS 70296 HAS SOUPS 70296 WITH SCORE 70377.32
AT ITER 8552 NEW BEST:: SOT 365895 SOS 81272 HAS SOPS 81272 HAS SOUS 70248 HAS SOUPS 70248 WITH SCORE 70329.272
AT ITER 8557 NEW BEST:: SOT 365895 SOS 81210 HAS SOPS 81210 HAS SOUS 70248 HAS SOUPS 70248 WITH SCORE 70329.21
AT ITER 8672 NEW BEST:: SOT 365861 SOS 81055 HAS SOPS 81055 HAS SOUS 70210 HAS SOUPS 70210 WITH SCORE 70291.055
AT ITER 8683 NEW BEST:: SOT 365857 SOS 81047 HAS SOPS 81047 HAS SOUS 70202 HAS SOUPS 70202 WITH SCORE 70283.047
AT ITER 8731 NEW BEST:: SOT 365857 SOS 81033 HAS SOPS 81033 HAS SOUS 70188 HAS SOUPS 70188 WITH SCORE 70269.033
AT ITER 8736 NEW BEST:: SOT 365858 SOS 81034 HAS SOPS 81034 HAS SOUS 70186 HAS SOUPS 70186 WITH SCORE 70267.034
AT ITER 8784 NEW BEST:: SOT 365856 SOS 81030 HAS SOPS 81030 HAS SOUS 70129 HAS SOUPS 70129 WITH SCORE 70210.03
AT ITER 8785 NEW BEST:: SOT 365906 SOS 81080 HAS SOPS 81080 HAS SOUS 70079 HAS SOUPS 70079 WITH SCORE 70160.08
AT ITER 8787 NEW BEST:: SOT 365905 SOS 81128 HAS SOPS 81128 HAS SOUS 70077 HAS SOUPS 70077 WITH SCORE 70158.128
AT ITER 8791 NEW BEST:: SOT 365877 SOS 80986 HAS SOPS 80986 HAS SOUS 69954 HAS SOUPS 69954 WITH SCORE 70034.986
AT ITER 8899 NEW BEST:: SOT 365857 SOS 80966 HAS SOPS 80966 HAS SOUS 69924 HAS SOUPS 69924 WITH SCORE 70004.966
AT ITER 8991 NEW BEST:: SOT 365855 SOS 80962 HAS SOPS 80962 HAS SOUS 69920 HAS SOUPS 69920 WITH SCORE 70000.962
AT ITER 9015 NEW BEST:: SOT 365844 SOS 80962 HAS SOPS 80962 HAS SOUS 69909 HAS SOUPS 69909 WITH SCORE 69989.962
AT ITER 9064 NEW BEST:: SOT 365844 SOS 80937 HAS SOPS 80937 HAS SOUS 69884 HAS SOUPS 69884 WITH SCORE 69964.937
AT ITER 9083 NEW BEST:: SOT 365817 SOS 80914 HAS SOPS 80914 HAS SOUS 69861 HAS SOUPS 69861 WITH SCORE 69941.914
AT ITER 9106 NEW BEST:: SOT 365814 SOS 80832 HAS SOPS 80832 HAS SOUS 69820 HAS SOUPS 69820 WITH SCORE 69900.832
AT ITER 9113 NEW BEST:: SOT 365751 SOS 80769 HAS SOPS 80769 HAS SOUS 69757 HAS SOUPS 69757 WITH SCORE 69837.769
AT ITER 9114 NEW BEST:: SOT 365732 SOS 80731 HAS SOPS 80731 HAS SOUS 69719 HAS SOUPS 69719 WITH SCORE 69799.731
AT ITER 9130 NEW BEST:: SOT 365732 SOS 80716 HAS SOPS 80716 HAS SOUS 69704 HAS SOUPS 69704 WITH SCORE 69784.716
AT ITER 9140 NEW BEST:: SOT 365732 SOS 80716 HAS SOPS 80716 HAS SOUS 69669 HAS SOUPS 69669 WITH SCORE 69749.716
AT ITER 9159 NEW BEST:: SOT 365664 SOS 80691 HAS SOPS 80691 HAS SOUS 69666 HAS SOUPS 69666 WITH SCORE 69746.691
AT ITER 9232 NEW BEST:: SOT 365661 SOS 80685 HAS SOPS 80685 HAS SOUS 69660 HAS SOUPS 69660 WITH SCORE 69740.685
AT ITER 9248 NEW BEST:: SOT 365638 SOS 80639 HAS SOPS 80639 HAS SOUS 69614 HAS SOUPS 69614 WITH SCORE 69694.639
AT ITER 9292 NEW BEST:: SOT 365632 SOS 80630 HAS SOPS 80630 HAS SOUS 69605 HAS SOUPS 69605 WITH SCORE 69685.63
AT ITER 9301 NEW BEST:: SOT 365632 SOS 80623 HAS SOPS 80623 HAS SOUS 69605 HAS SOUPS 69605 WITH SCORE 69685.623
AT ITER 9304 NEW BEST:: SOT 365598 SOS 80555 HAS SOPS 80555 HAS SOUS 69537 HAS SOUPS 69537 WITH SCORE 69617.555
AT ITER 9319 NEW BEST:: SOT 365611 SOS 80549 HAS SOPS 80549 HAS SOUS 69534 HAS SOUPS 69534 WITH SCORE 69614.549
AT ITER 9334 NEW BEST:: SOT 365636 SOS 80049 HAS SOPS 80049 HAS SOUS 69308 HAS SOUPS 69308 WITH SCORE 69388.049
AT ITER 9339 NEW BEST:: SOT 365633 SOS 80043 HAS SOPS 80043 HAS SOUS 69302 HAS SOUPS 69302 WITH SCORE 69382.043
AT ITER 9349 NEW BEST:: SOT 365627 SOS 80019 HAS SOPS 80019 HAS SOUS 69296 HAS SOUPS 69296 WITH SCORE 69376.019
AT ITER 9356 NEW BEST:: SOT 365610 SOS 80012 HAS SOPS 80012 HAS SOUS 69289 HAS SOUPS 69289 WITH SCORE 69369.012
AT ITER 9434 NEW BEST:: SOT 365586 SOS 79964 HAS SOPS 79964 HAS SOUS 69241 HAS SOUPS 69241 WITH SCORE 69320.964
AT ITER 9477 NEW BEST:: SOT 365576 SOS 79944 HAS SOPS 79944 HAS SOUS 69231 HAS SOUPS 69231 WITH SCORE 69310.944
AT ITER 9542 NEW BEST:: SOT 365584 SOS 79960 HAS SOPS 79960 HAS SOUS 69224 HAS SOUPS 69224 WITH SCORE 69303.96
AT ITER 9582 NEW BEST:: SOT 365583 SOS 79959 HAS SOPS 79959 HAS SOUS 69222 HAS SOUPS 69222 WITH SCORE 69301.959
AT ITER 9632 NEW BEST:: SOT 365555 SOS 79931 HAS SOPS 79931 HAS SOUS 69194 HAS SOUPS 69194 WITH SCORE 69273.931
AT ITER 9654 NEW BEST:: SOT 365555 SOS 79891 HAS SOPS 79891 HAS SOUS 69174 HAS SOUPS 69174 WITH SCORE 69253.891
AT ITER 9731 NEW BEST:: SOT 365525 SOS 79591 HAS SOPS 79591 HAS SOUS 69128 HAS SOUPS 69128 WITH SCORE 69207.591
AT ITER 9742 NEW BEST:: SOT 365518 SOS 79576 HAS SOPS 79576 HAS SOUS 69114 HAS SOUPS 69114 WITH SCORE 69193.576
AT ITER 9748 NEW BEST:: SOT 365518 SOS 79507 HAS SOPS 79507 HAS SOUS 69114 HAS SOUPS 69114 WITH SCORE 69193.507
AT ITER 9752 NEW BEST:: SOT 365511 SOS 79666 HAS SOPS 79666 HAS SOUS 69100 HAS SOUPS 69100 WITH SCORE 69179.666
AT ITER 9758 NEW BEST:: SOT 365511 SOS 79601 HAS SOPS 79601 HAS SOUS 69035 HAS SOUPS 69035 WITH SCORE 69114.601
AT ITER 9809 NEW BEST:: SOT 365526 SOS 79533 HAS SOPS 79533 HAS SOUS 69015 HAS SOUPS 69015 WITH SCORE 69094.533
AT ITER 9833 NEW BEST:: SOT 365526 SOS 79471 HAS SOPS 79471 HAS SOUS 69007 HAS SOUPS 69007 WITH SCORE 69086.471
AT ITER 9840 NEW BEST:: SOT 365521 SOS 79466 HAS SOPS 79466 HAS SOUS 69002 HAS SOUPS 69002 WITH SCORE 69081.466
AT ITER 9874 NEW BEST:: SOT 365467 SOS 79358 HAS SOPS 79358 HAS SOUS 68894 HAS SOUPS 68894 WITH SCORE 68973.358
AT ITER 9912 NEW BEST:: SOT 365446 SOS 79316 HAS SOPS 79316 HAS SOUS 68834 HAS SOUPS 68834 WITH SCORE 68913.316
AT ITER 9944 NEW BEST:: SOT 365422 SOS 79273 HAS SOPS 79273 HAS SOUS 68763 HAS SOUPS 68763 WITH SCORE 68842.273
AT ITER 9965 NEW BEST:: SOT 365447 SOS 79339 HAS SOPS 79339 HAS SOUS 68754 HAS SOUPS 68754 WITH SCORE 68833.339
AT ITER 9997 NEW BEST:: SOT 365447 SOS 79339 HAS SOPS 79339 HAS SOUS 68748 HAS SOUPS 68748 WITH SCORE 68827.339
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13171548 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122824 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="GPUForwardProgress-PT-40b"
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 GPUForwardProgress-PT-40b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349200160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-40b.tgz
mv GPUForwardProgress-PT-40b 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 ;