About the Execution of Smart+red for Anderson-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10229.563 | 3600000.00 | 3648379.00 | 8344.70 | [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.r523-tall-167987247500048.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 Anderson-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500048
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 16K Mar 23 15:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Mar 23 15:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 927K Mar 31 16:48 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 1680822892336
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=Anderson-PT-09
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 23:14:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 23:14:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 23:14:54] [INFO ] Load time of PNML (sax parser for PT used): 114 ms
[2023-04-06 23:14:54] [INFO ] Transformed 505 places.
[2023-04-06 23:14:54] [INFO ] Transformed 1845 transitions.
[2023-04-06 23:14:54] [INFO ] Found NUPN structural information;
[2023-04-06 23:14:54] [INFO ] Parsed PT model containing 505 places and 1845 transitions and 7092 arcs in 204 ms.
[2023-04-06 23:14:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 505 places, 1845 transitions and 7092 arcs took 17 ms.
Total runtime 257 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 09
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: 505 places, 1845 transitions, 7092 arcs.
AT ITER 0 NEW BEST:: SOT 553992 SOS 470179 HAS SOPS 470178 HAS SOUS 102125 HAS SOUPS 102124 WITH SCORE 102594.179
AT ITER 15 NEW BEST:: SOT 553841 SOS 470215 HAS SOPS 470214 HAS SOUS 101962 HAS SOUPS 101961 WITH SCORE 102431.215
AT ITER 18 NEW BEST:: SOT 553753 SOS 470127 HAS SOPS 470126 HAS SOUS 101842 HAS SOUPS 101841 WITH SCORE 102311.127
AT ITER 21 NEW BEST:: SOT 553705 SOS 470031 HAS SOPS 470030 HAS SOUS 101786 HAS SOUPS 101785 WITH SCORE 102255.031
AT ITER 22 NEW BEST:: SOT 553705 SOS 470031 HAS SOPS 470030 HAS SOUS 101777 HAS SOUPS 101776 WITH SCORE 102246.031
AT ITER 30 NEW BEST:: SOT 553705 SOS 470031 HAS SOPS 470030 HAS SOUS 101774 HAS SOUPS 101773 WITH SCORE 102243.031
AT ITER 39 NEW BEST:: SOT 553674 SOS 470000 HAS SOPS 469999 HAS SOUS 101734 HAS SOUPS 101733 WITH SCORE 102203.0
AT ITER 46 NEW BEST:: SOT 552382 SOS 467621 HAS SOPS 467620 HAS SOUS 101650 HAS SOUPS 101649 WITH SCORE 102116.621
AT ITER 57 NEW BEST:: SOT 552324 SOS 467563 HAS SOPS 467562 HAS SOUS 101592 HAS SOUPS 101591 WITH SCORE 102058.563
AT ITER 67 NEW BEST:: SOT 551712 SOS 466326 HAS SOPS 466325 HAS SOUS 101556 HAS SOUPS 101555 WITH SCORE 102021.326
AT ITER 75 NEW BEST:: SOT 551623 SOS 466237 HAS SOPS 466236 HAS SOUS 101440 HAS SOUPS 101439 WITH SCORE 101905.237
AT ITER 76 NEW BEST:: SOT 551641 SOS 464721 HAS SOPS 464720 HAS SOUS 101351 HAS SOUPS 101350 WITH SCORE 101814.721
AT ITER 87 NEW BEST:: SOT 551641 SOS 464721 HAS SOPS 464720 HAS SOUS 101337 HAS SOUPS 101336 WITH SCORE 101800.721
AT ITER 88 NEW BEST:: SOT 551641 SOS 464721 HAS SOPS 464720 HAS SOUS 101319 HAS SOUPS 101318 WITH SCORE 101782.721
AT ITER 90 NEW BEST:: SOT 551571 SOS 464581 HAS SOPS 464580 HAS SOUS 101179 HAS SOUPS 101178 WITH SCORE 101642.581
AT ITER 95 NEW BEST:: SOT 551442 SOS 464452 HAS SOPS 464451 HAS SOUS 101089 HAS SOUPS 101088 WITH SCORE 101552.452
AT ITER 99 NEW BEST:: SOT 551442 SOS 464452 HAS SOPS 464451 HAS SOUS 101052 HAS SOUPS 101051 WITH SCORE 101515.452
AT ITER 114 NEW BEST:: SOT 551230 SOS 464240 HAS SOPS 464239 HAS SOUS 100734 HAS SOUPS 100733 WITH SCORE 101197.24
AT ITER 119 NEW BEST:: SOT 543048 SOS 477644 HAS SOPS 477643 HAS SOUS 92982 HAS SOUPS 92981 WITH SCORE 93458.644
AT ITER 148 NEW BEST:: SOT 542944 SOS 477690 HAS SOPS 477689 HAS SOUS 92844 HAS SOUPS 92843 WITH SCORE 93320.69
AT ITER 155 NEW BEST:: SOT 542723 SOS 477469 HAS SOPS 477468 HAS SOUS 92830 HAS SOUPS 92829 WITH SCORE 93306.469
AT ITER 162 NEW BEST:: SOT 542723 SOS 473283 HAS SOPS 473282 HAS SOUS 92830 HAS SOUPS 92829 WITH SCORE 93302.283
AT ITER 164 NEW BEST:: SOT 542650 SOS 473210 HAS SOPS 473209 HAS SOUS 92694 HAS SOUPS 92693 WITH SCORE 93166.21
AT ITER 170 NEW BEST:: SOT 542514 SOS 473074 HAS SOPS 473073 HAS SOUS 92513 HAS SOUPS 92512 WITH SCORE 92985.074
AT ITER 173 NEW BEST:: SOT 542504 SOS 473076 HAS SOPS 473075 HAS SOUS 92502 HAS SOUPS 92501 WITH SCORE 92974.076
AT ITER 179 NEW BEST:: SOT 542472 SOS 473044 HAS SOPS 473043 HAS SOUS 92470 HAS SOUPS 92469 WITH SCORE 92942.044
AT ITER 180 NEW BEST:: SOT 542326 SOS 472898 HAS SOPS 472897 HAS SOUS 92276 HAS SOUPS 92275 WITH SCORE 92747.898
AT ITER 184 NEW BEST:: SOT 542193 SOS 472844 HAS SOPS 472843 HAS SOUS 92148 HAS SOUPS 92147 WITH SCORE 92619.844
AT ITER 202 NEW BEST:: SOT 542175 SOS 472826 HAS SOPS 472825 HAS SOUS 92112 HAS SOUPS 92111 WITH SCORE 92583.826
AT ITER 231 NEW BEST:: SOT 542194 SOS 472746 HAS SOPS 472745 HAS SOUS 92051 HAS SOUPS 92050 WITH SCORE 92522.746
AT ITER 232 NEW BEST:: SOT 542190 SOS 472742 HAS SOPS 472741 HAS SOUS 92047 HAS SOUPS 92046 WITH SCORE 92518.742
AT ITER 233 NEW BEST:: SOT 542190 SOS 472742 HAS SOPS 472741 HAS SOUS 92031 HAS SOUPS 92030 WITH SCORE 92502.742
AT ITER 235 NEW BEST:: SOT 542134 SOS 472686 HAS SOPS 472685 HAS SOUS 91950 HAS SOUPS 91949 WITH SCORE 92421.686
AT ITER 237 NEW BEST:: SOT 542089 SOS 472641 HAS SOPS 472640 HAS SOUS 91899 HAS SOUPS 91898 WITH SCORE 92370.641
AT ITER 245 NEW BEST:: SOT 541913 SOS 472629 HAS SOPS 472628 HAS SOUS 91670 HAS SOUPS 91669 WITH SCORE 92141.629
AT ITER 246 NEW BEST:: SOT 541656 SOS 472401 HAS SOPS 472400 HAS SOUS 91319 HAS SOUPS 91318 WITH SCORE 91790.401
AT ITER 248 NEW BEST:: SOT 541598 SOS 472343 HAS SOPS 472342 HAS SOUS 91261 HAS SOUPS 91260 WITH SCORE 91732.343
AT ITER 269 NEW BEST:: SOT 541376 SOS 472163 HAS SOPS 472162 HAS SOUS 90932 HAS SOUPS 90931 WITH SCORE 91403.163
AT ITER 274 NEW BEST:: SOT 541308 SOS 472095 HAS SOPS 472094 HAS SOUS 90796 HAS SOUPS 90795 WITH SCORE 91267.095
AT ITER 278 NEW BEST:: SOT 541145 SOS 472063 HAS SOPS 472062 HAS SOUS 90576 HAS SOUPS 90575 WITH SCORE 91047.063
AT ITER 290 NEW BEST:: SOT 541007 SOS 471925 HAS SOPS 471924 HAS SOUS 90391 HAS SOUPS 90390 WITH SCORE 90861.925
AT ITER 295 NEW BEST:: SOT 540990 SOS 471908 HAS SOPS 471907 HAS SOUS 90357 HAS SOUPS 90356 WITH SCORE 90827.908
AT ITER 297 NEW BEST:: SOT 541052 SOS 471970 HAS SOPS 471969 HAS SOUS 90349 HAS SOUPS 90348 WITH SCORE 90819.97
AT ITER 301 NEW BEST:: SOT 541036 SOS 471970 HAS SOPS 471969 HAS SOUS 90333 HAS SOUPS 90332 WITH SCORE 90803.97
AT ITER 302 NEW BEST:: SOT 541012 SOS 471946 HAS SOPS 471945 HAS SOUS 90285 HAS SOUPS 90284 WITH SCORE 90755.946
AT ITER 304 NEW BEST:: SOT 540967 SOS 471901 HAS SOPS 471900 HAS SOUS 90216 HAS SOUPS 90215 WITH SCORE 90686.901
AT ITER 319 NEW BEST:: SOT 540921 SOS 471855 HAS SOPS 471854 HAS SOUS 90147 HAS SOUPS 90146 WITH SCORE 90617.855
AT ITER 325 NEW BEST:: SOT 540785 SOS 471857 HAS SOPS 471856 HAS SOUS 90023 HAS SOUPS 90022 WITH SCORE 90493.857
AT ITER 340 NEW BEST:: SOT 540785 SOS 471857 HAS SOPS 471856 HAS SOUS 90007 HAS SOUPS 90006 WITH SCORE 90477.857
AT ITER 347 NEW BEST:: SOT 540599 SOS 471835 HAS SOPS 471834 HAS SOUS 89732 HAS SOUPS 89731 WITH SCORE 90202.835
AT ITER 349 NEW BEST:: SOT 540445 SOS 471681 HAS SOPS 471680 HAS SOUS 89578 HAS SOUPS 89577 WITH SCORE 90048.681
AT ITER 350 NEW BEST:: SOT 540445 SOS 471681 HAS SOPS 471680 HAS SOUS 89577 HAS SOUPS 89576 WITH SCORE 90047.681
AT ITER 353 NEW BEST:: SOT 540421 SOS 471633 HAS SOPS 471632 HAS SOUS 89553 HAS SOUPS 89552 WITH SCORE 90023.633
AT ITER 356 NEW BEST:: SOT 540419 SOS 471629 HAS SOPS 471628 HAS SOUS 89551 HAS SOUPS 89550 WITH SCORE 90021.629
AT ITER 359 NEW BEST:: SOT 540400 SOS 471591 HAS SOPS 471590 HAS SOUS 89493 HAS SOUPS 89492 WITH SCORE 89963.591
AT ITER 370 NEW BEST:: SOT 540390 SOS 471571 HAS SOPS 471570 HAS SOUS 89473 HAS SOUPS 89472 WITH SCORE 89943.571
AT ITER 373 NEW BEST:: SOT 540359 SOS 471540 HAS SOPS 471539 HAS SOUS 89411 HAS SOUPS 89410 WITH SCORE 89881.54
AT ITER 384 NEW BEST:: SOT 540227 SOS 471462 HAS SOPS 471461 HAS SOUS 89240 HAS SOUPS 89239 WITH SCORE 89710.462
AT ITER 399 NEW BEST:: SOT 540165 SOS 471414 HAS SOPS 471413 HAS SOUS 89237 HAS SOUPS 89236 WITH SCORE 89707.414
AT ITER 405 NEW BEST:: SOT 539995 SOS 471244 HAS SOPS 471243 HAS SOUS 89077 HAS SOUPS 89076 WITH SCORE 89547.244
AT ITER 432 NEW BEST:: SOT 539870 SOS 471364 HAS SOPS 471363 HAS SOUS 88960 HAS SOUPS 88959 WITH SCORE 89430.364
AT ITER 435 NEW BEST:: SOT 539822 SOS 471316 HAS SOPS 471315 HAS SOUS 88888 HAS SOUPS 88887 WITH SCORE 89358.316
AT ITER 436 NEW BEST:: SOT 539122 SOS 470573 HAS SOPS 470572 HAS SOUS 88876 HAS SOUPS 88875 WITH SCORE 89345.573
AT ITER 468 NEW BEST:: SOT 539145 SOS 470421 HAS SOPS 470291 HAS SOUS 88864 HAS SOUPS 88734 WITH SCORE 89204.421
AT ITER 471 NEW BEST:: SOT 539110 SOS 470351 HAS SOPS 470221 HAS SOUS 88792 HAS SOUPS 88662 WITH SCORE 89132.351
AT ITER 488 NEW BEST:: SOT 538998 SOS 470239 HAS SOPS 470109 HAS SOUS 88693 HAS SOUPS 88563 WITH SCORE 89033.239
AT ITER 491 NEW BEST:: SOT 538920 SOS 470385 HAS SOPS 470255 HAS SOUS 88617 HAS SOUPS 88487 WITH SCORE 88957.385
AT ITER 511 NEW BEST:: SOT 538839 SOS 470415 HAS SOPS 470285 HAS SOUS 88590 HAS SOUPS 88460 WITH SCORE 88930.415
AT ITER 512 NEW BEST:: SOT 538826 SOS 470389 HAS SOPS 470259 HAS SOUS 88570 HAS SOUPS 88440 WITH SCORE 88910.389
AT ITER 532 NEW BEST:: SOT 538812 SOS 470375 HAS SOPS 470245 HAS SOUS 88568 HAS SOUPS 88438 WITH SCORE 88908.375
AT ITER 540 NEW BEST:: SOT 538805 SOS 470361 HAS SOPS 470231 HAS SOUS 88554 HAS SOUPS 88424 WITH SCORE 88894.361
AT ITER 542 NEW BEST:: SOT 538734 SOS 470290 HAS SOPS 470160 HAS SOUS 88526 HAS SOUPS 88396 WITH SCORE 88866.29
AT ITER 543 NEW BEST:: SOT 538718 SOS 470274 HAS SOPS 470144 HAS SOUS 88510 HAS SOUPS 88380 WITH SCORE 88850.274
AT ITER 545 NEW BEST:: SOT 538554 SOS 470110 HAS SOPS 469980 HAS SOUS 88264 HAS SOUPS 88134 WITH SCORE 88604.11
AT ITER 549 NEW BEST:: SOT 538547 SOS 470103 HAS SOPS 469973 HAS SOUS 88226 HAS SOUPS 88096 WITH SCORE 88566.103
AT ITER 550 NEW BEST:: SOT 538483 SOS 470039 HAS SOPS 469909 HAS SOUS 88100 HAS SOUPS 87970 WITH SCORE 88440.039
AT ITER 551 NEW BEST:: SOT 538413 SOS 469969 HAS SOPS 469839 HAS SOUS 88030 HAS SOUPS 87900 WITH SCORE 88369.969
AT ITER 554 NEW BEST:: SOT 538402 SOS 469958 HAS SOPS 469828 HAS SOUS 87970 HAS SOUPS 87840 WITH SCORE 88309.958
AT ITER 555 NEW BEST:: SOT 538402 SOS 469924 HAS SOPS 469794 HAS SOUS 87970 HAS SOUPS 87840 WITH SCORE 88309.924
AT ITER 558 NEW BEST:: SOT 538295 SOS 469924 HAS SOPS 469794 HAS SOUS 87863 HAS SOUPS 87733 WITH SCORE 88202.924
AT ITER 561 NEW BEST:: SOT 538095 SOS 469724 HAS SOPS 469594 HAS SOUS 87563 HAS SOUPS 87433 WITH SCORE 87902.724
AT ITER 562 NEW BEST:: SOT 537993 SOS 469622 HAS SOPS 469492 HAS SOUS 87446 HAS SOUPS 87316 WITH SCORE 87785.622
AT ITER 564 NEW BEST:: SOT 537910 SOS 469568 HAS SOPS 469438 HAS SOUS 87347 HAS SOUPS 87217 WITH SCORE 87686.568
AT ITER 566 NEW BEST:: SOT 537894 SOS 469536 HAS SOPS 469406 HAS SOUS 87322 HAS SOUPS 87192 WITH SCORE 87661.536
AT ITER 568 NEW BEST:: SOT 537831 SOS 469473 HAS SOPS 469343 HAS SOUS 87179 HAS SOUPS 87049 WITH SCORE 87518.473
AT ITER 570 NEW BEST:: SOT 537831 SOS 469473 HAS SOPS 469343 HAS SOUS 87170 HAS SOUPS 87040 WITH SCORE 87509.473
AT ITER 577 NEW BEST:: SOT 537786 SOS 469553 HAS SOPS 469423 HAS SOUS 87167 HAS SOUPS 87037 WITH SCORE 87506.553
AT ITER 580 NEW BEST:: SOT 537786 SOS 469548 HAS SOPS 469418 HAS SOUS 87162 HAS SOUPS 87032 WITH SCORE 87501.548
AT ITER 587 NEW BEST:: SOT 537774 SOS 469536 HAS SOPS 469406 HAS SOUS 87144 HAS SOUPS 87014 WITH SCORE 87483.536
AT ITER 595 NEW BEST:: SOT 537759 SOS 469521 HAS SOPS 469391 HAS SOUS 87114 HAS SOUPS 86984 WITH SCORE 87453.521
AT ITER 596 NEW BEST:: SOT 537738 SOS 469529 HAS SOPS 469399 HAS SOUS 87101 HAS SOUPS 86971 WITH SCORE 87440.529
AT ITER 607 NEW BEST:: SOT 537716 SOS 469485 HAS SOPS 469355 HAS SOUS 87068 HAS SOUPS 86938 WITH SCORE 87407.485
AT ITER 608 NEW BEST:: SOT 537563 SOS 469505 HAS SOPS 469375 HAS SOUS 86858 HAS SOUPS 86728 WITH SCORE 87197.505
AT ITER 618 NEW BEST:: SOT 537485 SOS 469653 HAS SOPS 469523 HAS SOUS 86809 HAS SOUPS 86679 WITH SCORE 87148.653
AT ITER 624 NEW BEST:: SOT 537479 SOS 469647 HAS SOPS 469517 HAS SOUS 86800 HAS SOUPS 86670 WITH SCORE 87139.647
AT ITER 627 NEW BEST:: SOT 537479 SOS 469647 HAS SOPS 469517 HAS SOUS 86736 HAS SOUPS 86606 WITH SCORE 87075.647
AT ITER 638 NEW BEST:: SOT 537420 SOS 469529 HAS SOPS 469399 HAS SOUS 86669 HAS SOUPS 86539 WITH SCORE 87008.529
AT ITER 644 NEW BEST:: SOT 537380 SOS 469489 HAS SOPS 469359 HAS SOUS 86589 HAS SOUPS 86459 WITH SCORE 86928.489
AT ITER 648 NEW BEST:: SOT 537273 SOS 469382 HAS SOPS 469252 HAS SOUS 86472 HAS SOUPS 86342 WITH SCORE 86811.382
AT ITER 667 NEW BEST:: SOT 537307 SOS 469416 HAS SOPS 469286 HAS SOUS 86458 HAS SOUPS 86328 WITH SCORE 86797.416
AT ITER 668 NEW BEST:: SOT 537132 SOS 469306 HAS SOPS 469176 HAS SOUS 86208 HAS SOUPS 86078 WITH SCORE 86547.306
AT ITER 669 NEW BEST:: SOT 537056 SOS 469230 HAS SOPS 469100 HAS SOUS 86056 HAS SOUPS 85926 WITH SCORE 86395.23
AT ITER 672 NEW BEST:: SOT 537056 SOS 469230 HAS SOPS 469100 HAS SOUS 86054 HAS SOUPS 85924 WITH SCORE 86393.23
AT ITER 681 NEW BEST:: SOT 537025 SOS 469199 HAS SOPS 469069 HAS SOUS 85992 HAS SOUPS 85862 WITH SCORE 86331.199
AT ITER 697 NEW BEST:: SOT 537024 SOS 469197 HAS SOPS 469067 HAS SOUS 85990 HAS SOUPS 85860 WITH SCORE 86329.197
AT ITER 710 NEW BEST:: SOT 536963 SOS 469197 HAS SOPS 469067 HAS SOUS 85947 HAS SOUPS 85817 WITH SCORE 86286.197
AT ITER 718 NEW BEST:: SOT 536839 SOS 469243 HAS SOPS 469113 HAS SOUS 85914 HAS SOUPS 85784 WITH SCORE 86253.243
AT ITER 731 NEW BEST:: SOT 536810 SOS 469214 HAS SOPS 469084 HAS SOUS 85885 HAS SOUPS 85755 WITH SCORE 86224.214
AT ITER 735 NEW BEST:: SOT 536650 SOS 469172 HAS SOPS 469042 HAS SOUS 85696 HAS SOUPS 85566 WITH SCORE 86035.172
AT ITER 745 NEW BEST:: SOT 536573 SOS 469236 HAS SOPS 469106 HAS SOUS 85597 HAS SOUPS 85467 WITH SCORE 85936.236
AT ITER 755 NEW BEST:: SOT 536435 SOS 469136 HAS SOPS 469006 HAS SOUS 85420 HAS SOUPS 85290 WITH SCORE 85759.136
AT ITER 760 NEW BEST:: SOT 536405 SOS 469106 HAS SOPS 468976 HAS SOUS 85390 HAS SOUPS 85260 WITH SCORE 85729.106
AT ITER 772 NEW BEST:: SOT 536354 SOS 469210 HAS SOPS 469080 HAS SOUS 85383 HAS SOUPS 85253 WITH SCORE 85722.21
AT ITER 784 NEW BEST:: SOT 536354 SOS 469190 HAS SOPS 469060 HAS SOUS 85383 HAS SOUPS 85253 WITH SCORE 85722.19
AT ITER 792 NEW BEST:: SOT 536190 SOS 469026 HAS SOPS 468896 HAS SOUS 85213 HAS SOUPS 85083 WITH SCORE 85552.026
AT ITER 797 NEW BEST:: SOT 536179 SOS 469004 HAS SOPS 468874 HAS SOUS 85191 HAS SOUPS 85061 WITH SCORE 85530.004
AT ITER 802 NEW BEST:: SOT 536036 SOS 468946 HAS SOPS 468816 HAS SOUS 85008 HAS SOUPS 84878 WITH SCORE 85346.946
AT ITER 811 NEW BEST:: SOT 535640 SOS 468550 HAS SOPS 468420 HAS SOUS 84612 HAS SOUPS 84482 WITH SCORE 84950.55
AT ITER 821 NEW BEST:: SOT 535630 SOS 468540 HAS SOPS 468410 HAS SOUS 84597 HAS SOUPS 84467 WITH SCORE 84935.54
AT ITER 830 NEW BEST:: SOT 535576 SOS 468432 HAS SOPS 468302 HAS SOUS 84543 HAS SOUPS 84413 WITH SCORE 84881.432
AT ITER 832 NEW BEST:: SOT 535576 SOS 468432 HAS SOPS 468302 HAS SOUS 84509 HAS SOUPS 84379 WITH SCORE 84847.432
AT ITER 836 NEW BEST:: SOT 535474 SOS 468432 HAS SOPS 468302 HAS SOUS 84407 HAS SOUPS 84277 WITH SCORE 84745.432
AT ITER 838 NEW BEST:: SOT 535417 SOS 468424 HAS SOPS 468294 HAS SOUS 84305 HAS SOUPS 84175 WITH SCORE 84643.424
AT ITER 856 NEW BEST:: SOT 535436 SOS 468236 HAS SOPS 468106 HAS SOUS 84273 HAS SOUPS 84143 WITH SCORE 84611.236
AT ITER 864 NEW BEST:: SOT 535405 SOS 468174 HAS SOPS 468044 HAS SOUS 84221 HAS SOUPS 84091 WITH SCORE 84559.174
AT ITER 866 NEW BEST:: SOT 535394 SOS 468163 HAS SOPS 468033 HAS SOUS 84210 HAS SOUPS 84080 WITH SCORE 84548.163
AT ITER 877 NEW BEST:: SOT 535248 SOS 468017 HAS SOPS 467887 HAS SOUS 83948 HAS SOUPS 83818 WITH SCORE 84286.017
AT ITER 879 NEW BEST:: SOT 535248 SOS 468015 HAS SOPS 467885 HAS SOUS 83948 HAS SOUPS 83818 WITH SCORE 84286.015
AT ITER 887 NEW BEST:: SOT 535233 SOS 468000 HAS SOPS 467870 HAS SOUS 83933 HAS SOUPS 83803 WITH SCORE 84271.0
AT ITER 905 NEW BEST:: SOT 535188 SOS 467955 HAS SOPS 467825 HAS SOUS 83878 HAS SOUPS 83748 WITH SCORE 84215.955
AT ITER 910 NEW BEST:: SOT 535142 SOS 467909 HAS SOPS 467779 HAS SOUS 83786 HAS SOUPS 83656 WITH SCORE 84123.909
AT ITER 912 NEW BEST:: SOT 535119 SOS 467863 HAS SOPS 467733 HAS SOUS 83740 HAS SOUPS 83610 WITH SCORE 84077.863
AT ITER 917 NEW BEST:: SOT 534975 SOS 467719 HAS SOPS 467589 HAS SOUS 83524 HAS SOUPS 83394 WITH SCORE 83861.719
AT ITER 955 NEW BEST:: SOT 534930 SOS 467629 HAS SOPS 467499 HAS SOUS 83473 HAS SOUPS 83343 WITH SCORE 83810.629
AT ITER 961 NEW BEST:: SOT 534798 SOS 467497 HAS SOPS 467367 HAS SOUS 83275 HAS SOUPS 83145 WITH SCORE 83612.497
AT ITER 972 NEW BEST:: SOT 534728 SOS 467427 HAS SOPS 467297 HAS SOUS 83196 HAS SOUPS 83066 WITH SCORE 83533.427
AT ITER 974 NEW BEST:: SOT 534604 SOS 467303 HAS SOPS 467173 HAS SOUS 83010 HAS SOUPS 82880 WITH SCORE 83347.303
AT ITER 975 NEW BEST:: SOT 534603 SOS 467301 HAS SOPS 467171 HAS SOUS 83008 HAS SOUPS 82878 WITH SCORE 83345.301
AT ITER 979 NEW BEST:: SOT 534603 SOS 467281 HAS SOPS 467151 HAS SOUS 83008 HAS SOUPS 82878 WITH SCORE 83345.281
AT ITER 998 NEW BEST:: SOT 534590 SOS 467268 HAS SOPS 467138 HAS SOUS 82991 HAS SOUPS 82861 WITH SCORE 83328.268
AT ITER 1003 NEW BEST:: SOT 533996 SOS 466674 HAS SOPS 466544 HAS SOUS 82451 HAS SOUPS 82321 WITH SCORE 82787.674
AT ITER 1013 NEW BEST:: SOT 533996 SOS 467484 HAS SOPS 467354 HAS SOUS 82449 HAS SOUPS 82319 WITH SCORE 82786.484
AT ITER 1019 NEW BEST:: SOT 534014 SOS 467502 HAS SOPS 467372 HAS SOUS 82418 HAS SOUPS 82288 WITH SCORE 82755.502
AT ITER 1021 NEW BEST:: SOT 533912 SOS 467516 HAS SOPS 467386 HAS SOUS 82289 HAS SOUPS 82159 WITH SCORE 82626.516
AT ITER 1029 NEW BEST:: SOT 533832 SOS 467356 HAS SOPS 467226 HAS SOUS 82147 HAS SOUPS 82017 WITH SCORE 82484.356
AT ITER 1046 NEW BEST:: SOT 533821 SOS 467334 HAS SOPS 467204 HAS SOUS 82136 HAS SOUPS 82006 WITH SCORE 82473.334
AT ITER 1057 NEW BEST:: SOT 533772 SOS 467285 HAS SOPS 467155 HAS SOUS 82057 HAS SOUPS 81927 WITH SCORE 82394.285
AT ITER 1070 NEW BEST:: SOT 533705 SOS 467218 HAS SOPS 467088 HAS SOUS 81923 HAS SOUPS 81793 WITH SCORE 82260.218
AT ITER 1076 NEW BEST:: SOT 533692 SOS 467454 HAS SOPS 467324 HAS SOUS 81910 HAS SOUPS 81780 WITH SCORE 82247.454
AT ITER 1090 NEW BEST:: SOT 533668 SOS 467430 HAS SOPS 467300 HAS SOUS 81870 HAS SOUPS 81740 WITH SCORE 82207.43
AT ITER 1110 NEW BEST:: SOT 533662 SOS 467430 HAS SOPS 467300 HAS SOUS 81864 HAS SOUPS 81734 WITH SCORE 82201.43
AT ITER 1113 NEW BEST:: SOT 533654 SOS 467414 HAS SOPS 467284 HAS SOUS 81801 HAS SOUPS 81671 WITH SCORE 82138.414
AT ITER 1130 NEW BEST:: SOT 533644 SOS 467404 HAS SOPS 467274 HAS SOUS 81737 HAS SOUPS 81607 WITH SCORE 82074.404
AT ITER 1141 NEW BEST:: SOT 533571 SOS 467356 HAS SOPS 467226 HAS SOUS 81640 HAS SOUPS 81510 WITH SCORE 81977.356
AT ITER 1174 NEW BEST:: SOT 532951 SOS 468214 HAS SOPS 466579 HAS SOUS 81643 HAS SOUPS 81207 WITH SCORE 81675.214
AT ITER 1178 NEW BEST:: SOT 532905 SOS 468168 HAS SOPS 466533 HAS SOUS 81551 HAS SOUPS 81115 WITH SCORE 81583.168
AT ITER 1181 NEW BEST:: SOT 532845 SOS 468108 HAS SOPS 466473 HAS SOUS 81431 HAS SOUPS 80995 WITH SCORE 81463.108
AT ITER 1188 NEW BEST:: SOT 532845 SOS 468108 HAS SOPS 466473 HAS SOUS 81427 HAS SOUPS 80991 WITH SCORE 81459.108
AT ITER 1202 NEW BEST:: SOT 532804 SOS 468114 HAS SOPS 466479 HAS SOUS 81405 HAS SOUPS 80969 WITH SCORE 81437.114
AT ITER 1234 NEW BEST:: SOT 532770 SOS 468080 HAS SOPS 466445 HAS SOUS 81337 HAS SOUPS 80901 WITH SCORE 81369.08
AT ITER 1239 NEW BEST:: SOT 532768 SOS 468078 HAS SOPS 466443 HAS SOUS 81333 HAS SOUPS 80897 WITH SCORE 81365.078
AT ITER 1265 NEW BEST:: SOT 532722 SOS 468032 HAS SOPS 466397 HAS SOUS 81285 HAS SOUPS 80849 WITH SCORE 81317.032
AT ITER 1286 NEW BEST:: SOT 532715 SOS 468032 HAS SOPS 466397 HAS SOUS 81278 HAS SOUPS 80842 WITH SCORE 81310.032
AT ITER 1307 NEW BEST:: SOT 532726 SOS 468043 HAS SOPS 466408 HAS SOUS 81265 HAS SOUPS 80829 WITH SCORE 81297.043
AT ITER 1324 NEW BEST:: SOT 532732 SOS 468049 HAS SOPS 466414 HAS SOUS 81263 HAS SOUPS 80827 WITH SCORE 81295.049
AT ITER 1351 NEW BEST:: SOT 532726 SOS 468037 HAS SOPS 466402 HAS SOUS 81251 HAS SOUPS 80815 WITH SCORE 81283.037
AT ITER 1354 NEW BEST:: SOT 532723 SOS 468034 HAS SOPS 466399 HAS SOUS 81245 HAS SOUPS 80809 WITH SCORE 81277.034
AT ITER 1359 NEW BEST:: SOT 532641 SOS 467917 HAS SOPS 466043 HAS SOUS 81320 HAS SOUPS 80645 WITH SCORE 81112.917
AT ITER 1366 NEW BEST:: SOT 532591 SOS 467917 HAS SOPS 466043 HAS SOUS 81284 HAS SOUPS 80609 WITH SCORE 81076.917
AT ITER 1386 NEW BEST:: SOT 532591 SOS 467741 HAS SOPS 466065 HAS SOUS 81240 HAS SOUPS 80587 WITH SCORE 81054.741
AT ITER 1396 NEW BEST:: SOT 532535 SOS 467895 HAS SOPS 466219 HAS SOUS 81161 HAS SOUPS 80508 WITH SCORE 80975.895
AT ITER 1411 NEW BEST:: SOT 532535 SOS 467895 HAS SOPS 466219 HAS SOUS 81132 HAS SOUPS 80479 WITH SCORE 80946.895
AT ITER 1416 NEW BEST:: SOT 532485 SOS 467845 HAS SOPS 466169 HAS SOUS 81002 HAS SOUPS 80349 WITH SCORE 80816.845
AT ITER 1420 NEW BEST:: SOT 532433 SOS 467741 HAS SOPS 466065 HAS SOUS 80830 HAS SOUPS 80177 WITH SCORE 80644.741
AT ITER 1439 NEW BEST:: SOT 532354 SOS 467662 HAS SOPS 465986 HAS SOUS 80691 HAS SOUPS 80038 WITH SCORE 80505.662
AT ITER 1467 NEW BEST:: SOT 532280 SOS 467514 HAS SOPS 465838 HAS SOUS 80574 HAS SOUPS 79921 WITH SCORE 80388.514
AT ITER 1478 NEW BEST:: SOT 532276 SOS 467506 HAS SOPS 465830 HAS SOUS 80566 HAS SOUPS 79913 WITH SCORE 80380.506
AT ITER 1499 NEW BEST:: SOT 532276 SOS 467506 HAS SOPS 465830 HAS SOUS 80547 HAS SOUPS 79894 WITH SCORE 80361.506
AT ITER 1513 NEW BEST:: SOT 533478 SOS 468708 HAS SOPS 467032 HAS SOUS 80533 HAS SOUPS 79880 WITH SCORE 80348.708
AT ITER 1514 NEW BEST:: SOT 533430 SOS 468660 HAS SOPS 466984 HAS SOUS 80437 HAS SOUPS 79784 WITH SCORE 80252.66
AT ITER 1515 NEW BEST:: SOT 533393 SOS 468623 HAS SOPS 466947 HAS SOUS 80373 HAS SOUPS 79720 WITH SCORE 80188.623
AT ITER 1533 NEW BEST:: SOT 533389 SOS 468619 HAS SOPS 466943 HAS SOUS 80365 HAS SOUPS 79712 WITH SCORE 80180.619
AT ITER 1535 NEW BEST:: SOT 533387 SOS 468615 HAS SOPS 466939 HAS SOUS 80363 HAS SOUPS 79710 WITH SCORE 80178.615
AT ITER 1542 NEW BEST:: SOT 533327 SOS 468495 HAS SOPS 466819 HAS SOUS 80254 HAS SOUPS 79601 WITH SCORE 80069.495
AT ITER 1544 NEW BEST:: SOT 533327 SOS 468495 HAS SOPS 466819 HAS SOUS 80244 HAS SOUPS 79591 WITH SCORE 80059.495
AT ITER 1554 NEW BEST:: SOT 533315 SOS 468471 HAS SOPS 466795 HAS SOUS 80232 HAS SOUPS 79579 WITH SCORE 80047.471
AT ITER 1587 NEW BEST:: SOT 533306 SOS 468453 HAS SOPS 466777 HAS SOUS 80214 HAS SOUPS 79561 WITH SCORE 80029.453
AT ITER 1601 NEW BEST:: SOT 533299 SOS 468453 HAS SOPS 466777 HAS SOUS 80207 HAS SOUPS 79554 WITH SCORE 80022.453
AT ITER 1604 NEW BEST:: SOT 533127 SOS 468293 HAS SOPS 466617 HAS SOUS 79953 HAS SOUPS 79300 WITH SCORE 79768.293
AT ITER 1618 NEW BEST:: SOT 533090 SOS 468409 HAS SOPS 466733 HAS SOUS 79936 HAS SOUPS 79283 WITH SCORE 79751.409
AT ITER 1633 NEW BEST:: SOT 533084 SOS 468403 HAS SOPS 466727 HAS SOUS 79924 HAS SOUPS 79271 WITH SCORE 79739.403
AT ITER 1666 NEW BEST:: SOT 533076 SOS 468387 HAS SOPS 466711 HAS SOUS 79908 HAS SOUPS 79255 WITH SCORE 79723.387
AT ITER 1669 NEW BEST:: SOT 533066 SOS 468367 HAS SOPS 466691 HAS SOUS 79888 HAS SOUPS 79235 WITH SCORE 79703.367
AT ITER 1671 NEW BEST:: SOT 533066 SOS 468246 HAS SOPS 466691 HAS SOUS 79888 HAS SOUPS 79235 WITH SCORE 79703.246
AT ITER 1676 NEW BEST:: SOT 531624 SOS 466804 HAS SOPS 465249 HAS SOUS 79873 HAS SOUPS 79220 WITH SCORE 79686.804
AT ITER 1678 NEW BEST:: SOT 531624 SOS 466804 HAS SOPS 465249 HAS SOUS 79872 HAS SOUPS 79219 WITH SCORE 79685.804
AT ITER 1689 NEW BEST:: SOT 531606 SOS 466914 HAS SOPS 465359 HAS SOUS 79854 HAS SOUPS 79201 WITH SCORE 79667.914
AT ITER 1698 NEW BEST:: SOT 531571 SOS 466879 HAS SOPS 465324 HAS SOUS 79854 HAS SOUPS 79201 WITH SCORE 79667.879
AT ITER 1706 NEW BEST:: SOT 531544 SOS 466852 HAS SOPS 465297 HAS SOUS 79827 HAS SOUPS 79174 WITH SCORE 79640.852
AT ITER 1716 NEW BEST:: SOT 531580 SOS 466888 HAS SOPS 465333 HAS SOUS 79771 HAS SOUPS 79118 WITH SCORE 79584.888
AT ITER 1723 NEW BEST:: SOT 531535 SOS 466888 HAS SOPS 465333 HAS SOUS 79726 HAS SOUPS 79073 WITH SCORE 79539.888
AT ITER 1730 NEW BEST:: SOT 531463 SOS 466744 HAS SOPS 465189 HAS SOUS 79582 HAS SOUPS 78929 WITH SCORE 79395.744
AT ITER 1738 NEW BEST:: SOT 531460 SOS 466741 HAS SOPS 465186 HAS SOUS 79576 HAS SOUPS 78923 WITH SCORE 79389.741
AT ITER 1739 NEW BEST:: SOT 531423 SOS 466704 HAS SOPS 465149 HAS SOUS 79502 HAS SOUPS 78849 WITH SCORE 79315.704
AT ITER 1759 NEW BEST:: SOT 531405 SOS 466668 HAS SOPS 465113 HAS SOUS 79472 HAS SOUPS 78819 WITH SCORE 79285.668
AT ITER 1775 NEW BEST:: SOT 531398 SOS 466661 HAS SOPS 465106 HAS SOUS 79461 HAS SOUPS 78808 WITH SCORE 79274.661
AT ITER 1777 NEW BEST:: SOT 531344 SOS 466607 HAS SOPS 465052 HAS SOUS 79407 HAS SOUPS 78754 WITH SCORE 79220.607
AT ITER 1778 NEW BEST:: SOT 531295 SOS 466407 HAS SOPS 464852 HAS SOUS 79348 HAS SOUPS 78695 WITH SCORE 79161.407
AT ITER 1781 NEW BEST:: SOT 531275 SOS 466387 HAS SOPS 464832 HAS SOUS 79287 HAS SOUPS 78634 WITH SCORE 79100.387
AT ITER 1835 NEW BEST:: SOT 531235 SOS 466435 HAS SOPS 464880 HAS SOUS 79263 HAS SOUPS 78610 WITH SCORE 79076.435
AT ITER 1843 NEW BEST:: SOT 531235 SOS 466381 HAS SOPS 464826 HAS SOUS 79263 HAS SOUPS 78610 WITH SCORE 79076.381
AT ITER 1858 NEW BEST:: SOT 531183 SOS 466397 HAS SOPS 464842 HAS SOUS 79219 HAS SOUPS 78566 WITH SCORE 79032.397
AT ITER 1871 NEW BEST:: SOT 530979 SOS 466193 HAS SOPS 464638 HAS SOUS 79219 HAS SOUPS 78566 WITH SCORE 79032.193
AT ITER 1873 NEW BEST:: SOT 530935 SOS 466149 HAS SOPS 464594 HAS SOUS 79131 HAS SOUPS 78478 WITH SCORE 78944.149
AT ITER 1884 NEW BEST:: SOT 530805 SOS 466030 HAS SOPS 464714 HAS SOUS 78888 HAS SOUPS 78474 WITH SCORE 78940.03
AT ITER 1892 NEW BEST:: SOT 530798 SOS 466016 HAS SOPS 464700 HAS SOUS 78879 HAS SOUPS 78465 WITH SCORE 78931.016
AT ITER 1895 NEW BEST:: SOT 530772 SOS 465964 HAS SOPS 464648 HAS SOUS 78853 HAS SOUPS 78439 WITH SCORE 78904.964
AT ITER 1897 NEW BEST:: SOT 530753 SOS 465945 HAS SOPS 464629 HAS SOUS 78825 HAS SOUPS 78411 WITH SCORE 78876.945
AT ITER 1907 NEW BEST:: SOT 530684 SOS 465881 HAS SOPS 464565 HAS SOUS 78724 HAS SOUPS 78310 WITH SCORE 78775.881
AT ITER 1918 NEW BEST:: SOT 530637 SOS 465991 HAS SOPS 464675 HAS SOUS 78711 HAS SOUPS 78297 WITH SCORE 78762.991
AT ITER 1927 NEW BEST:: SOT 530631 SOS 465985 HAS SOPS 464669 HAS SOUS 78699 HAS SOUPS 78285 WITH SCORE 78750.985
AT ITER 1929 NEW BEST:: SOT 530607 SOS 465961 HAS SOPS 464645 HAS SOUS 78651 HAS SOUPS 78237 WITH SCORE 78702.961
AT ITER 1944 NEW BEST:: SOT 530601 SOS 465961 HAS SOPS 464645 HAS SOUS 78645 HAS SOUPS 78231 WITH SCORE 78696.961
AT ITER 1960 NEW BEST:: SOT 530595 SOS 465949 HAS SOPS 464633 HAS SOUS 78636 HAS SOUPS 78222 WITH SCORE 78687.949
AT ITER 1973 NEW BEST:: SOT 530595 SOS 465941 HAS SOPS 464625 HAS SOUS 78636 HAS SOUPS 78222 WITH SCORE 78687.941
AT ITER 1982 NEW BEST:: SOT 530558 SOS 465699 HAS SOPS 464383 HAS SOUS 78599 HAS SOUPS 78185 WITH SCORE 78650.699
AT ITER 1985 NEW BEST:: SOT 530530 SOS 465671 HAS SOPS 464355 HAS SOUS 78543 HAS SOUPS 78129 WITH SCORE 78594.671
AT ITER 1995 NEW BEST:: SOT 530480 SOS 465621 HAS SOPS 464305 HAS SOUS 78469 HAS SOUPS 78055 WITH SCORE 78520.621
AT ITER 1997 NEW BEST:: SOT 530478 SOS 465621 HAS SOPS 464305 HAS SOUS 78467 HAS SOUPS 78053 WITH SCORE 78518.621
AT ITER 1999 NEW BEST:: SOT 530474 SOS 465617 HAS SOPS 464301 HAS SOUS 78459 HAS SOUPS 78045 WITH SCORE 78510.617
AT ITER 2004 NEW BEST:: SOT 530474 SOS 465617 HAS SOPS 464301 HAS SOUS 78451 HAS SOUPS 78037 WITH SCORE 78502.617
AT ITER 2009 NEW BEST:: SOT 530428 SOS 465571 HAS SOPS 464255 HAS SOUS 78380 HAS SOUPS 77966 WITH SCORE 78431.571
AT ITER 2012 NEW BEST:: SOT 530425 SOS 465565 HAS SOPS 464249 HAS SOUS 78375 HAS SOUPS 77961 WITH SCORE 78426.565
AT ITER 2032 NEW BEST:: SOT 530425 SOS 465465 HAS SOPS 464149 HAS SOUS 78375 HAS SOUPS 77961 WITH SCORE 78426.465
AT ITER 2033 NEW BEST:: SOT 530419 SOS 465495 HAS SOPS 464179 HAS SOUS 78369 HAS SOUPS 77955 WITH SCORE 78420.495
AT ITER 2037 NEW BEST:: SOT 530406 SOS 465482 HAS SOPS 464166 HAS SOUS 78367 HAS SOUPS 77953 WITH SCORE 78418.482
AT ITER 2041 NEW BEST:: SOT 530406 SOS 465442 HAS SOPS 464126 HAS SOUS 78347 HAS SOUPS 77933 WITH SCORE 78398.442
AT ITER 2067 NEW BEST:: SOT 530395 SOS 465420 HAS SOPS 464104 HAS SOUS 78291 HAS SOUPS 77877 WITH SCORE 78342.42
AT ITER 2086 NEW BEST:: SOT 530385 SOS 465420 HAS SOPS 464104 HAS SOUS 78281 HAS SOUPS 77867 WITH SCORE 78332.42
AT ITER 2089 NEW BEST:: SOT 529421 SOS 464573 HAS SOPS 463123 HAS SOUS 77434 HAS SOUPS 76886 WITH SCORE 77350.573
AT ITER 2101 NEW BEST:: SOT 529401 SOS 464553 HAS SOPS 463103 HAS SOUS 77394 HAS SOUPS 76846 WITH SCORE 77310.553
AT ITER 2154 NEW BEST:: SOT 529305 SOS 464457 HAS SOPS 463007 HAS SOUS 77298 HAS SOUPS 76750 WITH SCORE 77214.457
AT ITER 2178 NEW BEST:: SOT 529294 SOS 464457 HAS SOPS 463007 HAS SOUS 77287 HAS SOUPS 76739 WITH SCORE 77203.457
AT ITER 2191 NEW BEST:: SOT 528476 SOS 463231 HAS SOPS 462189 HAS SOUS 77234 HAS SOUPS 76737 WITH SCORE 77200.231
AT ITER 2202 NEW BEST:: SOT 528352 SOS 463171 HAS SOPS 462200 HAS SOUS 77128 HAS SOUPS 76631 WITH SCORE 77094.171
AT ITER 2217 NEW BEST:: SOT 528325 SOS 463171 HAS SOPS 462200 HAS SOUS 77101 HAS SOUPS 76604 WITH SCORE 77067.171
AT ITER 2237 NEW BEST:: SOT 528304 SOS 463150 HAS SOPS 462179 HAS SOUS 77052 HAS SOUPS 76555 WITH SCORE 77018.15
AT ITER 2242 NEW BEST:: SOT 528288 SOS 463134 HAS SOPS 462171 HAS SOUS 77036 HAS SOUPS 76539 WITH SCORE 77002.134
AT ITER 2245 NEW BEST:: SOT 528245 SOS 463091 HAS SOPS 462128 HAS SOUS 76950 HAS SOUPS 76453 WITH SCORE 76916.091
AT ITER 2261 NEW BEST:: SOT 528245 SOS 462969 HAS SOPS 462006 HAS SOUS 76935 HAS SOUPS 76438 WITH SCORE 76900.969
AT ITER 2283 NEW BEST:: SOT 528235 SOS 462881 HAS SOPS 461918 HAS SOUS 76917 HAS SOUPS 76420 WITH SCORE 76882.881
AT ITER 2293 NEW BEST:: SOT 528205 SOS 462895 HAS SOPS 461932 HAS SOUS 76892 HAS SOUPS 76395 WITH SCORE 76857.895
AT ITER 2312 NEW BEST:: SOT 528201 SOS 462891 HAS SOPS 461928 HAS SOUS 76884 HAS SOUPS 76387 WITH SCORE 76849.891
AT ITER 2323 NEW BEST:: SOT 528162 SOS 462813 HAS SOPS 461850 HAS SOUS 76806 HAS SOUPS 76309 WITH SCORE 76771.813
AT ITER 2327 NEW BEST:: SOT 528126 SOS 462777 HAS SOPS 461814 HAS SOUS 76748 HAS SOUPS 76251 WITH SCORE 76713.777
AT ITER 2360 NEW BEST:: SOT 528099 SOS 462777 HAS SOPS 461814 HAS SOUS 76716 HAS SOUPS 76219 WITH SCORE 76681.777
AT ITER 2377 NEW BEST:: SOT 528092 SOS 462770 HAS SOPS 461807 HAS SOUS 76716 HAS SOUPS 76219 WITH SCORE 76681.77
AT ITER 2396 NEW BEST:: SOT 528077 SOS 462740 HAS SOPS 461777 HAS SOUS 76671 HAS SOUPS 76174 WITH SCORE 76636.74
AT ITER 2421 NEW BEST:: SOT 528092 SOS 462660 HAS SOPS 461792 HAS SOUS 76537 HAS SOUPS 76135 WITH SCORE 76597.66
AT ITER 2432 NEW BEST:: SOT 528070 SOS 462638 HAS SOPS 461770 HAS SOUS 76515 HAS SOUPS 76113 WITH SCORE 76575.638
AT ITER 2445 NEW BEST:: SOT 528064 SOS 462626 HAS SOPS 461758 HAS SOUS 76506 HAS SOUPS 76104 WITH SCORE 76566.626
AT ITER 2451 NEW BEST:: SOT 528072 SOS 462148 HAS SOPS 461766 HAS SOUS 76380 HAS SOUPS 76058 WITH SCORE 76520.148
AT ITER 2452 NEW BEST:: SOT 528008 SOS 462020 HAS SOPS 461638 HAS SOUS 76316 HAS SOUPS 75994 WITH SCORE 76456.02
AT ITER 2462 NEW BEST:: SOT 527968 SOS 461980 HAS SOPS 461598 HAS SOUS 76262 HAS SOUPS 75940 WITH SCORE 76401.98
AT ITER 2464 NEW BEST:: SOT 527961 SOS 461966 HAS SOPS 461584 HAS SOUS 76233 HAS SOUPS 75911 WITH SCORE 76372.966
AT ITER 2468 NEW BEST:: SOT 527936 SOS 461941 HAS SOPS 461559 HAS SOUS 76183 HAS SOUPS 75861 WITH SCORE 76322.941
AT ITER 2471 NEW BEST:: SOT 527928 SOS 461933 HAS SOPS 461551 HAS SOUS 76175 HAS SOUPS 75853 WITH SCORE 76314.933
AT ITER 2515 NEW BEST:: SOT 527923 SOS 461928 HAS SOPS 461546 HAS SOUS 76172 HAS SOUPS 75850 WITH SCORE 76311.928
AT ITER 2520 NEW BEST:: SOT 527952 SOS 461986 HAS SOPS 461604 HAS SOUS 76160 HAS SOUPS 75838 WITH SCORE 76299.986
AT ITER 2577 NEW BEST:: SOT 526385 SOS 460324 HAS SOPS 459942 HAS SOUS 76113 HAS SOUPS 75791 WITH SCORE 76251.324
AT ITER 2589 NEW BEST:: SOT 526383 SOS 460390 HAS SOPS 460008 HAS SOUS 76096 HAS SOUPS 75774 WITH SCORE 76234.39
AT ITER 2598 NEW BEST:: SOT 526343 SOS 460350 HAS SOPS 460025 HAS SOUS 76073 HAS SOUPS 75751 WITH SCORE 76211.35
AT ITER 2602 NEW BEST:: SOT 526272 SOS 460279 HAS SOPS 459954 HAS SOUS 76041 HAS SOUPS 75719 WITH SCORE 76179.279
AT ITER 2623 NEW BEST:: SOT 526254 SOS 460261 HAS SOPS 459936 HAS SOUS 76013 HAS SOUPS 75691 WITH SCORE 76151.261
AT ITER 2628 NEW BEST:: SOT 526246 SOS 460253 HAS SOPS 459928 HAS SOUS 75997 HAS SOUPS 75675 WITH SCORE 76135.253
AT ITER 2686 NEW BEST:: SOT 526233 SOS 460173 HAS SOPS 459848 HAS SOUS 75984 HAS SOUPS 75662 WITH SCORE 76122.173
AT ITER 2694 NEW BEST:: SOT 526224 SOS 460137 HAS SOPS 459812 HAS SOUS 75971 HAS SOUPS 75649 WITH SCORE 76109.137
AT ITER 2727 NEW BEST:: SOT 526212 SOS 460113 HAS SOPS 459788 HAS SOUS 75959 HAS SOUPS 75637 WITH SCORE 76097.113
AT ITER 2737 NEW BEST:: SOT 526172 SOS 460129 HAS SOPS 459804 HAS SOUS 75880 HAS SOUPS 75558 WITH SCORE 76018.129
AT ITER 2738 NEW BEST:: SOT 526172 SOS 460129 HAS SOPS 459804 HAS SOUS 75838 HAS SOUPS 75516 WITH SCORE 75976.129
AT ITER 2765 NEW BEST:: SOT 526532 SOS 460489 HAS SOPS 460164 HAS SOUS 75790 HAS SOUPS 75468 WITH SCORE 75928.489
AT ITER 2795 NEW BEST:: SOT 526523 SOS 460480 HAS SOPS 460155 HAS SOUS 75772 HAS SOUPS 75450 WITH SCORE 75910.48
AT ITER 2803 NEW BEST:: SOT 526523 SOS 460480 HAS SOPS 460155 HAS SOUS 75765 HAS SOUPS 75443 WITH SCORE 75903.48
AT ITER 2813 NEW BEST:: SOT 526485 SOS 460442 HAS SOPS 460117 HAS SOUS 75677 HAS SOUPS 75355 WITH SCORE 75815.442
AT ITER 2820 NEW BEST:: SOT 526483 SOS 460506 HAS SOPS 460181 HAS SOUS 75675 HAS SOUPS 75353 WITH SCORE 75813.506
AT ITER 2843 NEW BEST:: SOT 526471 SOS 460494 HAS SOPS 460169 HAS SOUS 75651 HAS SOUPS 75329 WITH SCORE 75789.494
AT ITER 2882 NEW BEST:: SOT 526469 SOS 460492 HAS SOPS 460167 HAS SOUS 75647 HAS SOUPS 75325 WITH SCORE 75785.492
AT ITER 2894 NEW BEST:: SOT 526467 SOS 460490 HAS SOPS 460165 HAS SOUS 75643 HAS SOUPS 75321 WITH SCORE 75781.49
AT ITER 2897 NEW BEST:: SOT 526263 SOS 460274 HAS SOPS 459949 HAS SOUS 75643 HAS SOUPS 75321 WITH SCORE 75781.274
AT ITER 2910 NEW BEST:: SOT 526263 SOS 460274 HAS SOPS 459949 HAS SOUS 75633 HAS SOUPS 75311 WITH SCORE 75771.274
AT ITER 2950 NEW BEST:: SOT 526227 SOS 460238 HAS SOPS 459913 HAS SOUS 75584 HAS SOUPS 75262 WITH SCORE 75722.238
AT ITER 2952 NEW BEST:: SOT 526224 SOS 460235 HAS SOPS 459910 HAS SOUS 75581 HAS SOUPS 75259 WITH SCORE 75719.235
AT ITER 2953 NEW BEST:: SOT 526224 SOS 460155 HAS SOPS 459830 HAS SOUS 75581 HAS SOUPS 75259 WITH SCORE 75719.155
AT ITER 2968 NEW BEST:: SOT 526219 SOS 460150 HAS SOPS 459825 HAS SOUS 75576 HAS SOUPS 75254 WITH SCORE 75714.15
AT ITER 2984 NEW BEST:: SOT 526215 SOS 460153 HAS SOPS 459828 HAS SOUS 75572 HAS SOUPS 75250 WITH SCORE 75710.153
AT ITER 2990 NEW BEST:: SOT 526198 SOS 460119 HAS SOPS 459794 HAS SOUS 75536 HAS SOUPS 75214 WITH SCORE 75674.119
AT ITER 2991 NEW BEST:: SOT 526191 SOS 460112 HAS SOPS 459787 HAS SOUS 75529 HAS SOUPS 75207 WITH SCORE 75667.112
AT ITER 2997 NEW BEST:: SOT 526185 SOS 460106 HAS SOPS 459781 HAS SOUS 75520 HAS SOUPS 75198 WITH SCORE 75658.106
AT ITER 3001 NEW BEST:: SOT 526176 SOS 460097 HAS SOPS 459772 HAS SOUS 75502 HAS SOUPS 75180 WITH SCORE 75640.097
AT ITER 3005 NEW BEST:: SOT 525840 SOS 459761 HAS SOPS 459436 HAS SOUS 75502 HAS SOUPS 75180 WITH SCORE 75639.761
AT ITER 3010 NEW BEST:: SOT 525805 SOS 459691 HAS SOPS 459366 HAS SOUS 75432 HAS SOUPS 75110 WITH SCORE 75569.691
AT ITER 3019 NEW BEST:: SOT 525779 SOS 459639 HAS SOPS 459314 HAS SOUS 75385 HAS SOUPS 75063 WITH SCORE 75522.639
AT ITER 3023 NEW BEST:: SOT 525737 SOS 459597 HAS SOPS 459272 HAS SOUS 75308 HAS SOUPS 74986 WITH SCORE 75445.597
AT ITER 3050 NEW BEST:: SOT 525699 SOS 459521 HAS SOPS 459196 HAS SOUS 75270 HAS SOUPS 74948 WITH SCORE 75407.521
AT ITER 3055 NEW BEST:: SOT 525718 SOS 459540 HAS SOPS 459215 HAS SOUS 75255 HAS SOUPS 74933 WITH SCORE 75392.54
AT ITER 3097 NEW BEST:: SOT 525684 SOS 459748 HAS SOPS 459423 HAS SOUS 75221 HAS SOUPS 74899 WITH SCORE 75358.748
AT ITER 3099 NEW BEST:: SOT 525641 SOS 459756 HAS SOPS 459431 HAS SOUS 75178 HAS SOUPS 74856 WITH SCORE 75315.756
AT ITER 3110 NEW BEST:: SOT 525627 SOS 459728 HAS SOPS 459403 HAS SOUS 75157 HAS SOUPS 74835 WITH SCORE 75294.728
AT ITER 3111 NEW BEST:: SOT 525612 SOS 459832 HAS SOPS 459507 HAS SOUS 75142 HAS SOUPS 74820 WITH SCORE 75279.832
AT ITER 3146 NEW BEST:: SOT 525591 SOS 459811 HAS SOPS 459486 HAS SOUS 75109 HAS SOUPS 74787 WITH SCORE 75246.811
AT ITER 3148 NEW BEST:: SOT 525573 SOS 459793 HAS SOPS 459468 HAS SOUS 75091 HAS SOUPS 74769 WITH SCORE 75228.793
AT ITER 3184 NEW BEST:: SOT 525540 SOS 459761 HAS SOPS 459436 HAS SOUS 75056 HAS SOUPS 74734 WITH SCORE 75193.761
AT ITER 3192 NEW BEST:: SOT 525531 SOS 459752 HAS SOPS 459427 HAS SOUS 75047 HAS SOUPS 74725 WITH SCORE 75184.752
AT ITER 3196 NEW BEST:: SOT 525530 SOS 459751 HAS SOPS 459426 HAS SOUS 75046 HAS SOUPS 74724 WITH SCORE 75183.751
AT ITER 3197 NEW BEST:: SOT 525550 SOS 441170 HAS SOPS 440587 HAS SOUS 75232 HAS SOUPS 74726 WITH SCORE 75167.17
AT ITER 3203 NEW BEST:: SOT 525538 SOS 441158 HAS SOPS 440575 HAS SOUS 75208 HAS SOUPS 74702 WITH SCORE 75143.158
AT ITER 3204 NEW BEST:: SOT 525518 SOS 441118 HAS SOPS 440535 HAS SOUS 75180 HAS SOUPS 74674 WITH SCORE 75115.118
AT ITER 3248 NEW BEST:: SOT 525518 SOS 441118 HAS SOPS 440535 HAS SOUS 75157 HAS SOUPS 74651 WITH SCORE 75092.118
AT ITER 3250 NEW BEST:: SOT 525497 SOS 441034 HAS SOPS 440451 HAS SOUS 75136 HAS SOUPS 74630 WITH SCORE 75071.034
AT ITER 3273 NEW BEST:: SOT 525021 SOS 440073 HAS SOPS 439518 HAS SOUS 75046 HAS SOUPS 74568 WITH SCORE 75008.073
AT ITER 3369 NEW BEST:: SOT 525004 SOS 440067 HAS SOPS 439512 HAS SOUS 75038 HAS SOUPS 74560 WITH SCORE 75000.067
AT ITER 3407 NEW BEST:: SOT 524913 SOS 439697 HAS SOPS 439142 HAS SOUS 74853 HAS SOUPS 74375 WITH SCORE 74814.697
AT ITER 3470 NEW BEST:: SOT 524905 SOS 439689 HAS SOPS 439134 HAS SOUS 74837 HAS SOUPS 74359 WITH SCORE 74798.689
AT ITER 3484 NEW BEST:: SOT 524899 SOS 439677 HAS SOPS 439122 HAS SOUS 74831 HAS SOUPS 74353 WITH SCORE 74792.677
AT ITER 3488 NEW BEST:: SOT 524893 SOS 439671 HAS SOPS 439116 HAS SOUS 74822 HAS SOUPS 74344 WITH SCORE 74783.671
AT ITER 3510 NEW BEST:: SOT 524847 SOS 439475 HAS SOPS 439024 HAS SOUS 74631 HAS SOUPS 74257 WITH SCORE 74696.475
AT ITER 3519 NEW BEST:: SOT 524840 SOS 439447 HAS SOPS 438996 HAS SOUS 74617 HAS SOUPS 74243 WITH SCORE 74682.447
AT ITER 3551 NEW BEST:: SOT 524825 SOS 439425 HAS SOPS 438974 HAS SOUS 74563 HAS SOUPS 74189 WITH SCORE 74628.425
AT ITER 3552 NEW BEST:: SOT 524822 SOS 439422 HAS SOPS 438971 HAS SOUS 74557 HAS SOUPS 74183 WITH SCORE 74622.422
AT ITER 3555 NEW BEST:: SOT 524822 SOS 439422 HAS SOPS 438971 HAS SOUS 74550 HAS SOUPS 74176 WITH SCORE 74615.422
AT ITER 3578 NEW BEST:: SOT 524499 SOS 438815 HAS SOPS 438383 HAS SOUS 74512 HAS SOUPS 74157 WITH SCORE 74595.815
AT ITER 3591 NEW BEST:: SOT 524496 SOS 438812 HAS SOPS 438380 HAS SOUS 74506 HAS SOUPS 74151 WITH SCORE 74589.812
AT ITER 3596 NEW BEST:: SOT 524480 SOS 438746 HAS SOPS 438314 HAS SOUS 74490 HAS SOUPS 74135 WITH SCORE 74573.746
AT ITER 3600 NEW BEST:: SOT 524471 SOS 438737 HAS SOPS 438305 HAS SOUS 74472 HAS SOUPS 74117 WITH SCORE 74555.737
AT ITER 3615 NEW BEST:: SOT 524471 SOS 438727 HAS SOPS 438295 HAS SOUS 74472 HAS SOUPS 74117 WITH SCORE 74555.727
AT ITER 3640 NEW BEST:: SOT 524465 SOS 438715 HAS SOPS 438283 HAS SOUS 74467 HAS SOUPS 74112 WITH SCORE 74550.715
AT ITER 3658 NEW BEST:: SOT 524445 SOS 438713 HAS SOPS 438281 HAS SOUS 74447 HAS SOUPS 74092 WITH SCORE 74530.713
AT ITER 3672 NEW BEST:: SOT 524387 SOS 438597 HAS SOPS 438165 HAS SOUS 74325 HAS SOUPS 73970 WITH SCORE 74408.597
AT ITER 3716 NEW BEST:: SOT 524385 SOS 438567 HAS SOPS 438135 HAS SOUS 74319 HAS SOUPS 73964 WITH SCORE 74402.567
AT ITER 3726 NEW BEST:: SOT 524381 SOS 438563 HAS SOPS 438131 HAS SOUS 74311 HAS SOUPS 73956 WITH SCORE 74394.563
AT ITER 3781 NEW BEST:: SOT 524366 SOS 437633 HAS SOPS 437319 HAS SOUS 74235 HAS SOUPS 73926 WITH SCORE 74363.633
AT ITER 3821 NEW BEST:: SOT 524345 SOS 437633 HAS SOPS 437319 HAS SOUS 74214 HAS SOUPS 73905 WITH SCORE 74342.633
AT ITER 3827 NEW BEST:: SOT 524335 SOS 437623 HAS SOPS 437309 HAS SOUS 74204 HAS SOUPS 73895 WITH SCORE 74332.623
AT ITER 3829 NEW BEST:: SOT 524311 SOS 437575 HAS SOPS 437261 HAS SOUS 74156 HAS SOUPS 73847 WITH SCORE 74284.575
AT ITER 3832 NEW BEST:: SOT 524306 SOS 437570 HAS SOPS 437256 HAS SOUS 74146 HAS SOUPS 73837 WITH SCORE 74274.57
AT ITER 3835 NEW BEST:: SOT 524301 SOS 437565 HAS SOPS 437251 HAS SOUS 74141 HAS SOUPS 73832 WITH SCORE 74269.565
AT ITER 3843 NEW BEST:: SOT 524289 SOS 437541 HAS SOPS 437227 HAS SOUS 74131 HAS SOUPS 73822 WITH SCORE 74259.541
AT ITER 3922 NEW BEST:: SOT 524289 SOS 437901 HAS SOPS 437587 HAS SOUS 74121 HAS SOUPS 73812 WITH SCORE 74249.901
AT ITER 3942 NEW BEST:: SOT 524287 SOS 437983 HAS SOPS 437669 HAS SOUS 74119 HAS SOUPS 73810 WITH SCORE 74247.983
AT ITER 3951 NEW BEST:: SOT 524264 SOS 437937 HAS SOPS 437623 HAS SOUS 74096 HAS SOUPS 73787 WITH SCORE 74224.937
AT ITER 3964 NEW BEST:: SOT 524264 SOS 437905 HAS SOPS 437591 HAS SOUS 74096 HAS SOUPS 73787 WITH SCORE 74224.905
AT ITER 4049 NEW BEST:: SOT 524260 SOS 437905 HAS SOPS 437591 HAS SOUS 74092 HAS SOUPS 73783 WITH SCORE 74220.905
AT ITER 4073 NEW BEST:: SOT 524239 SOS 437821 HAS SOPS 437507 HAS SOUS 74050 HAS SOUPS 73741 WITH SCORE 74178.821
AT ITER 4079 NEW BEST:: SOT 524239 SOS 437818 HAS SOPS 437504 HAS SOUS 74050 HAS SOUPS 73741 WITH SCORE 74178.818
AT ITER 4085 NEW BEST:: SOT 524239 SOS 437818 HAS SOPS 437504 HAS SOUS 74045 HAS SOUPS 73736 WITH SCORE 74173.818
AT ITER 4103 NEW BEST:: SOT 524222 SOS 437801 HAS SOPS 437487 HAS SOUS 74044 HAS SOUPS 73735 WITH SCORE 74172.801
AT ITER 4138 NEW BEST:: SOT 523164 SOS 435776 HAS SOPS 435477 HAS SOUS 73997 HAS SOUPS 73701 WITH SCORE 74136.776
AT ITER 4151 NEW BEST:: SOT 523161 SOS 435770 HAS SOPS 435471 HAS SOUS 73994 HAS SOUPS 73698 WITH SCORE 74133.77
AT ITER 4152 NEW BEST:: SOT 523125 SOS 435702 HAS SOPS 435403 HAS SOUS 73964 HAS SOUPS 73668 WITH SCORE 74103.702
AT ITER 4187 NEW BEST:: SOT 523189 SOS 435770 HAS SOPS 435381 HAS SOUS 73961 HAS SOUPS 73665 WITH SCORE 74100.77
AT ITER 4254 NEW BEST:: SOT 523187 SOS 435768 HAS SOPS 435379 HAS SOUS 73957 HAS SOUPS 73661 WITH SCORE 74096.768
AT ITER 4303 NEW BEST:: SOT 523176 SOS 435724 HAS SOPS 435335 HAS SOUS 73946 HAS SOUPS 73650 WITH SCORE 74085.724
AT ITER 4328 NEW BEST:: SOT 523153 SOS 435678 HAS SOPS 435289 HAS SOUS 73923 HAS SOUPS 73627 WITH SCORE 74062.678
AT ITER 4374 NEW BEST:: SOT 523198 SOS 435725 HAS SOPS 435336 HAS SOUS 73910 HAS SOUPS 73614 WITH SCORE 74049.725
AT ITER 4415 NEW BEST:: SOT 523198 SOS 435707 HAS SOPS 435318 HAS SOUS 73910 HAS SOUPS 73614 WITH SCORE 74049.707
AT ITER 4445 NEW BEST:: SOT 523141 SOS 435651 HAS SOPS 435262 HAS SOUS 73822 HAS SOUPS 73526 WITH SCORE 73961.651
AT ITER 4447 NEW BEST:: SOT 523141 SOS 435651 HAS SOPS 435262 HAS SOUS 73820 HAS SOUPS 73524 WITH SCORE 73959.651
AT ITER 4473 NEW BEST:: SOT 523141 SOS 435617 HAS SOPS 435228 HAS SOUS 73820 HAS SOUPS 73524 WITH SCORE 73959.617
AT ITER 4474 NEW BEST:: SOT 522978 SOS 435538 HAS SOPS 435239 HAS SOUS 73665 HAS SOUPS 73369 WITH SCORE 73804.538
AT ITER 4481 NEW BEST:: SOT 522972 SOS 435490 HAS SOPS 435191 HAS SOUS 73651 HAS SOUPS 73355 WITH SCORE 73790.49
AT ITER 4487 NEW BEST:: SOT 522957 SOS 435460 HAS SOPS 435161 HAS SOUS 73622 HAS SOUPS 73326 WITH SCORE 73761.46
AT ITER 4488 NEW BEST:: SOT 522890 SOS 435393 HAS SOPS 435094 HAS SOUS 73488 HAS SOUPS 73192 WITH SCORE 73627.393
AT ITER 4490 NEW BEST:: SOT 522879 SOS 435427 HAS SOPS 435128 HAS SOUS 73484 HAS SOUPS 73188 WITH SCORE 73623.427
AT ITER 4502 NEW BEST:: SOT 522873 SOS 435401 HAS SOPS 435102 HAS SOUS 73478 HAS SOUPS 73182 WITH SCORE 73617.401
AT ITER 4589 NEW BEST:: SOT 522873 SOS 435355 HAS SOPS 435056 HAS SOUS 73478 HAS SOUPS 73182 WITH SCORE 73617.355
AT ITER 4592 NEW BEST:: SOT 522868 SOS 435351 HAS SOPS 435052 HAS SOUS 73471 HAS SOUPS 73175 WITH SCORE 73610.351
AT ITER 4608 NEW BEST:: SOT 522867 SOS 435353 HAS SOPS 435054 HAS SOUS 73470 HAS SOUPS 73174 WITH SCORE 73609.353
AT ITER 4618 NEW BEST:: SOT 522855 SOS 435341 HAS SOPS 435042 HAS SOUS 73446 HAS SOUPS 73150 WITH SCORE 73585.341
AT ITER 4682 NEW BEST:: SOT 522311 SOS 434401 HAS SOPS 434136 HAS SOUS 73412 HAS SOUPS 73150 WITH SCORE 73584.401
AT ITER 4689 NEW BEST:: SOT 522308 SOS 434398 HAS SOPS 434133 HAS SOUS 73409 HAS SOUPS 73147 WITH SCORE 73581.398
AT ITER 4752 NEW BEST:: SOT 522286 SOS 434354 HAS SOPS 434089 HAS SOUS 73387 HAS SOUPS 73125 WITH SCORE 73559.354
AT ITER 4780 NEW BEST:: SOT 522030 SOS 433944 HAS SOPS 433679 HAS SOUS 73387 HAS SOUPS 73125 WITH SCORE 73558.944
AT ITER 4784 NEW BEST:: SOT 522036 SOS 433950 HAS SOPS 433685 HAS SOUS 73384 HAS SOUPS 73122 WITH SCORE 73555.95
AT ITER 4801 NEW BEST:: SOT 522049 SOS 433963 HAS SOPS 433678 HAS SOUS 73377 HAS SOUPS 73115 WITH SCORE 73548.963
AT ITER 4815 NEW BEST:: SOT 522045 SOS 433963 HAS SOPS 433678 HAS SOUS 73373 HAS SOUPS 73111 WITH SCORE 73544.963
AT ITER 4887 NEW BEST:: SOT 522043 SOS 433974 HAS SOPS 433689 HAS SOUS 73371 HAS SOUPS 73109 WITH SCORE 73542.974
AT ITER 4901 NEW BEST:: SOT 522042 SOS 433973 HAS SOPS 433688 HAS SOUS 73369 HAS SOUPS 73107 WITH SCORE 73540.973
AT ITER 4998 NEW BEST:: SOT 522042 SOS 433947 HAS SOPS 433662 HAS SOUS 73356 HAS SOUPS 73094 WITH SCORE 73527.947
AT ITER 5003 NEW BEST:: SOT 522041 SOS 433945 HAS SOPS 433660 HAS SOUS 73354 HAS SOUPS 73092 WITH SCORE 73525.945
AT ITER 5064 NEW BEST:: SOT 521957 SOS 433865 HAS SOPS 433580 HAS SOUS 73270 HAS SOUPS 73008 WITH SCORE 73441.865
AT ITER 5069 NEW BEST:: SOT 521978 SOS 433886 HAS SOPS 433601 HAS SOUS 73234 HAS SOUPS 72972 WITH SCORE 73405.886
AT ITER 5090 NEW BEST:: SOT 521976 SOS 433881 HAS SOPS 433596 HAS SOUS 73230 HAS SOUPS 72968 WITH SCORE 73401.881
AT ITER 5162 NEW BEST:: SOT 521976 SOS 433870 HAS SOPS 433585 HAS SOUS 73230 HAS SOUPS 72968 WITH SCORE 73401.87
AT ITER 5175 NEW BEST:: SOT 521976 SOS 433850 HAS SOPS 433569 HAS SOUS 73226 HAS SOUPS 72966 WITH SCORE 73399.85
AT ITER 5176 NEW BEST:: SOT 521974 SOS 433902 HAS SOPS 433621 HAS SOUS 73224 HAS SOUPS 72964 WITH SCORE 73397.902
AT ITER 5256 NEW BEST:: SOT 521763 SOS 433691 HAS SOPS 433410 HAS SOUS 73221 HAS SOUPS 72961 WITH SCORE 73394.691
AT ITER 5305 NEW BEST:: SOT 521754 SOS 433707 HAS SOPS 433426 HAS SOUS 73212 HAS SOUPS 72952 WITH SCORE 73385.707
AT ITER 5323 NEW BEST:: SOT 521751 SOS 433701 HAS SOPS 433420 HAS SOUS 73206 HAS SOUPS 72946 WITH SCORE 73379.701
AT ITER 5377 NEW BEST:: SOT 521703 SOS 433665 HAS SOPS 433384 HAS SOUS 73197 HAS SOUPS 72937 WITH SCORE 73370.665
AT ITER 5379 NEW BEST:: SOT 521686 SOS 433650 HAS SOPS 433369 HAS SOUS 73180 HAS SOUPS 72920 WITH SCORE 73353.65
AT ITER 5398 NEW BEST:: SOT 521671 SOS 433635 HAS SOPS 433354 HAS SOUS 73162 HAS SOUPS 72902 WITH SCORE 73335.635
AT ITER 5438 NEW BEST:: SOT 521668 SOS 433633 HAS SOPS 433352 HAS SOUS 73160 HAS SOUPS 72900 WITH SCORE 73333.633
AT ITER 5456 NEW BEST:: SOT 521602 SOS 434290 HAS SOPS 434009 HAS SOUS 73094 HAS SOUPS 72834 WITH SCORE 73268.29
AT ITER 5472 NEW BEST:: SOT 521588 SOS 434276 HAS SOPS 433995 HAS SOUS 73080 HAS SOUPS 72820 WITH SCORE 73254.276
AT ITER 5506 NEW BEST:: SOT 521575 SOS 434250 HAS SOPS 433969 HAS SOUS 73054 HAS SOUPS 72794 WITH SCORE 73228.25
AT ITER 5538 NEW BEST:: SOT 521575 SOS 434250 HAS SOPS 433969 HAS SOUS 73036 HAS SOUPS 72776 WITH SCORE 73210.25
AT ITER 5573 NEW BEST:: SOT 521588 SOS 434196 HAS SOPS 433915 HAS SOUS 73032 HAS SOUPS 72772 WITH SCORE 73206.196
AT ITER 5578 NEW BEST:: SOT 521579 SOS 434187 HAS SOPS 433906 HAS SOUS 73024 HAS SOUPS 72764 WITH SCORE 73198.187
AT ITER 5586 NEW BEST:: SOT 521562 SOS 434117 HAS SOPS 433836 HAS SOUS 73007 HAS SOUPS 72747 WITH SCORE 73181.117
AT ITER 5666 NEW BEST:: SOT 521558 SOS 434113 HAS SOPS 433832 HAS SOUS 72999 HAS SOUPS 72739 WITH SCORE 73173.113
AT ITER 5691 NEW BEST:: SOT 521558 SOS 434083 HAS SOPS 433802 HAS SOUS 72999 HAS SOUPS 72739 WITH SCORE 73173.083
AT ITER 5705 NEW BEST:: SOT 521571 SOS 434096 HAS SOPS 433815 HAS SOUS 72991 HAS SOUPS 72731 WITH SCORE 73165.096
AT ITER 5781 NEW BEST:: SOT 521540 SOS 434065 HAS SOPS 433784 HAS SOUS 72960 HAS SOUPS 72700 WITH SCORE 73134.065
AT ITER 5787 NEW BEST:: SOT 521404 SOS 433929 HAS SOPS 433648 HAS SOUS 72952 HAS SOUPS 72692 WITH SCORE 73125.929
AT ITER 5802 NEW BEST:: SOT 521406 SOS 433846 HAS SOPS 433587 HAS SOUS 72923 HAS SOUPS 72685 WITH SCORE 73118.846
AT ITER 5814 NEW BEST:: SOT 521405 SOS 433844 HAS SOPS 433585 HAS SOUS 72921 HAS SOUPS 72683 WITH SCORE 73116.844
AT ITER 5864 NEW BEST:: SOT 521401 SOS 433840 HAS SOPS 433581 HAS SOUS 72913 HAS SOUPS 72675 WITH SCORE 73108.84
AT ITER 5881 NEW BEST:: SOT 521399 SOS 433836 HAS SOPS 433577 HAS SOUS 72909 HAS SOUPS 72671 WITH SCORE 73104.836
AT ITER 5896 NEW BEST:: SOT 521393 SOS 433830 HAS SOPS 433571 HAS SOUS 72897 HAS SOUPS 72659 WITH SCORE 73092.83
AT ITER 5929 NEW BEST:: SOT 521393 SOS 433820 HAS SOPS 433561 HAS SOUS 72887 HAS SOUPS 72649 WITH SCORE 73082.82
AT ITER 5955 NEW BEST:: SOT 521382 SOS 433809 HAS SOPS 433550 HAS SOUS 72865 HAS SOUPS 72627 WITH SCORE 73060.809
AT ITER 5984 NEW BEST:: SOT 520971 SOS 433398 HAS SOPS 433139 HAS SOUS 72854 HAS SOUPS 72616 WITH SCORE 73049.398
AT ITER 5991 NEW BEST:: SOT 520970 SOS 433398 HAS SOPS 433139 HAS SOUS 72853 HAS SOUPS 72615 WITH SCORE 73048.398
AT ITER 6004 NEW BEST:: SOT 520898 SOS 433326 HAS SOPS 433208 HAS SOUS 72721 HAS SOUPS 72614 WITH SCORE 73047.326
AT ITER 6031 NEW BEST:: SOT 520863 SOS 433291 HAS SOPS 433151 HAS SOUS 72673 HAS SOUPS 72544 WITH SCORE 72977.291
AT ITER 6035 NEW BEST:: SOT 520863 SOS 433291 HAS SOPS 433151 HAS SOUS 72665 HAS SOUPS 72536 WITH SCORE 72969.291
AT ITER 6042 NEW BEST:: SOT 520845 SOS 433205 HAS SOPS 433065 HAS SOUS 72647 HAS SOUPS 72518 WITH SCORE 72951.205
AT ITER 6044 NEW BEST:: SOT 520849 SOS 433213 HAS SOPS 433073 HAS SOUS 72643 HAS SOUPS 72514 WITH SCORE 72947.213
AT ITER 6128 NEW BEST:: SOT 520849 SOS 433213 HAS SOPS 433073 HAS SOUS 72629 HAS SOUPS 72500 WITH SCORE 72933.213
AT ITER 6143 NEW BEST:: SOT 520845 SOS 433209 HAS SOPS 433069 HAS SOUS 72625 HAS SOUPS 72496 WITH SCORE 72929.209
AT ITER 6184 NEW BEST:: SOT 520841 SOS 433205 HAS SOPS 433065 HAS SOUS 72621 HAS SOUPS 72492 WITH SCORE 72925.205
AT ITER 6189 NEW BEST:: SOT 520839 SOS 433203 HAS SOPS 433063 HAS SOUS 72617 HAS SOUPS 72488 WITH SCORE 72921.203
AT ITER 6228 NEW BEST:: SOT 520832 SOS 433189 HAS SOPS 433049 HAS SOUS 72610 HAS SOUPS 72481 WITH SCORE 72914.189
AT ITER 6233 NEW BEST:: SOT 520827 SOS 433179 HAS SOPS 433039 HAS SOUS 72608 HAS SOUPS 72479 WITH SCORE 72912.179
AT ITER 6237 NEW BEST:: SOT 521555 SOS 433907 HAS SOPS 433767 HAS SOUS 72452 HAS SOUPS 72323 WITH SCORE 72756.907
AT ITER 6263 NEW BEST:: SOT 521548 SOS 433893 HAS SOPS 433753 HAS SOUS 72440 HAS SOUPS 72311 WITH SCORE 72744.893
AT ITER 6292 NEW BEST:: SOT 521490 SOS 433772 HAS SOPS 433632 HAS SOUS 72337 HAS SOUPS 72208 WITH SCORE 72641.772
AT ITER 6310 NEW BEST:: SOT 521490 SOS 433772 HAS SOPS 433632 HAS SOUS 72334 HAS SOUPS 72205 WITH SCORE 72638.772
AT ITER 6315 NEW BEST:: SOT 521479 SOS 433750 HAS SOPS 433610 HAS SOUS 72320 HAS SOUPS 72191 WITH SCORE 72624.75
AT ITER 6387 NEW BEST:: SOT 521484 SOS 433755 HAS SOPS 433615 HAS SOUS 72305 HAS SOUPS 72176 WITH SCORE 72609.755
AT ITER 6400 NEW BEST:: SOT 521464 SOS 433715 HAS SOPS 433575 HAS SOUS 72285 HAS SOUPS 72156 WITH SCORE 72589.715
AT ITER 6426 NEW BEST:: SOT 521449 SOS 433685 HAS SOPS 433545 HAS SOUS 72258 HAS SOUPS 72129 WITH SCORE 72562.685
AT ITER 6485 NEW BEST:: SOT 521461 SOS 433724 HAS SOPS 433584 HAS SOUS 72216 HAS SOUPS 72087 WITH SCORE 72520.724
AT ITER 6489 NEW BEST:: SOT 521453 SOS 433692 HAS SOPS 433552 HAS SOUS 72200 HAS SOUPS 72071 WITH SCORE 72504.692
AT ITER 6560 NEW BEST:: SOT 521389 SOS 434688 HAS SOPS 434525 HAS SOUS 72198 HAS SOUPS 72054 WITH SCORE 72488.688
AT ITER 6594 NEW BEST:: SOT 521389 SOS 433662 HAS SOPS 433499 HAS SOUS 72193 HAS SOUPS 72049 WITH SCORE 72482.662
AT ITER 6666 NEW BEST:: SOT 521382 SOS 433648 HAS SOPS 433485 HAS SOUS 72168 HAS SOUPS 72024 WITH SCORE 72457.648
AT ITER 6669 NEW BEST:: SOT 521364 SOS 433630 HAS SOPS 433467 HAS SOUS 72152 HAS SOUPS 72008 WITH SCORE 72441.63
AT ITER 6685 NEW BEST:: SOT 521364 SOS 433608 HAS SOPS 433445 HAS SOUS 72152 HAS SOUPS 72008 WITH SCORE 72441.608
AT ITER 6701 NEW BEST:: SOT 521343 SOS 433610 HAS SOPS 433447 HAS SOUS 72131 HAS SOUPS 71987 WITH SCORE 72420.61
AT ITER 6721 NEW BEST:: SOT 521338 SOS 433605 HAS SOPS 433442 HAS SOUS 72126 HAS SOUPS 71982 WITH SCORE 72415.605
AT ITER 6736 NEW BEST:: SOT 521337 SOS 433604 HAS SOPS 433441 HAS SOUS 72124 HAS SOUPS 71980 WITH SCORE 72413.604
AT ITER 6750 NEW BEST:: SOT 521314 SOS 433620 HAS SOPS 433457 HAS SOUS 72109 HAS SOUPS 71965 WITH SCORE 72398.62
AT ITER 6801 NEW BEST:: SOT 521313 SOS 433619 HAS SOPS 433456 HAS SOUS 72108 HAS SOUPS 71964 WITH SCORE 72397.619
AT ITER 6851 NEW BEST:: SOT 521319 SOS 433683 HAS SOPS 433520 HAS SOUS 72106 HAS SOUPS 71962 WITH SCORE 72395.683
AT ITER 6880 NEW BEST:: SOT 521309 SOS 433673 HAS SOPS 433510 HAS SOUS 72086 HAS SOUPS 71942 WITH SCORE 72375.673
AT ITER 6935 NEW BEST:: SOT 521306 SOS 433670 HAS SOPS 433507 HAS SOUS 72080 HAS SOUPS 71936 WITH SCORE 72369.67
AT ITER 6956 NEW BEST:: SOT 521305 SOS 433669 HAS SOPS 433506 HAS SOUS 72078 HAS SOUPS 71934 WITH SCORE 72367.669
AT ITER 6990 NEW BEST:: SOT 521302 SOS 433705 HAS SOPS 433542 HAS SOUS 72075 HAS SOUPS 71931 WITH SCORE 72364.705
AT ITER 7091 NEW BEST:: SOT 521283 SOS 433667 HAS SOPS 433504 HAS SOUS 72037 HAS SOUPS 71893 WITH SCORE 72326.667
AT ITER 7114 NEW BEST:: SOT 521198 SOS 433582 HAS SOPS 433419 HAS SOUS 72032 HAS SOUPS 71888 WITH SCORE 72321.582
AT ITER 7146 NEW BEST:: SOT 521149 SOS 433556 HAS SOPS 433370 HAS SOUS 72025 HAS SOUPS 71858 WITH SCORE 72291.556
AT ITER 7194 NEW BEST:: SOT 521149 SOS 433556 HAS SOPS 433370 HAS SOUS 72019 HAS SOUPS 71852 WITH SCORE 72285.556
AT ITER 7217 NEW BEST:: SOT 521134 SOS 433546 HAS SOPS 433360 HAS SOUS 72006 HAS SOUPS 71839 WITH SCORE 72272.546
AT ITER 7238 NEW BEST:: SOT 521129 SOS 433480 HAS SOPS 433294 HAS SOUS 72001 HAS SOUPS 71834 WITH SCORE 72267.48
AT ITER 7299 NEW BEST:: SOT 521124 SOS 433475 HAS SOPS 433289 HAS SOUS 71996 HAS SOUPS 71829 WITH SCORE 72262.475
AT ITER 7335 NEW BEST:: SOT 521115 SOS 433439 HAS SOPS 433253 HAS SOUS 71987 HAS SOUPS 71820 WITH SCORE 72253.439
AT ITER 7345 NEW BEST:: SOT 521115 SOS 433407 HAS SOPS 433221 HAS SOUS 71987 HAS SOUPS 71820 WITH SCORE 72253.407
AT ITER 7382 NEW BEST:: SOT 521115 SOS 433367 HAS SOPS 433181 HAS SOUS 71987 HAS SOUPS 71820 WITH SCORE 72253.367
AT ITER 7386 NEW BEST:: SOT 521100 SOS 433387 HAS SOPS 433201 HAS SOUS 71966 HAS SOUPS 71799 WITH SCORE 72232.387
AT ITER 7448 NEW BEST:: SOT 521149 SOS 433436 HAS SOPS 433250 HAS SOUS 71913 HAS SOUPS 71746 WITH SCORE 72179.436
AT ITER 7458 NEW BEST:: SOT 521008 SOS 433327 HAS SOPS 433141 HAS SOUS 71810 HAS SOUPS 71643 WITH SCORE 72076.327
AT ITER 7470 NEW BEST:: SOT 520986 SOS 433239 HAS SOPS 433053 HAS SOUS 71766 HAS SOUPS 71599 WITH SCORE 72032.239
AT ITER 7511 NEW BEST:: SOT 520978 SOS 433231 HAS SOPS 433045 HAS SOUS 71750 HAS SOUPS 71583 WITH SCORE 72016.231
AT ITER 7583 NEW BEST:: SOT 520973 SOS 433226 HAS SOPS 433040 HAS SOUS 71745 HAS SOUPS 71578 WITH SCORE 72011.226
AT ITER 7585 NEW BEST:: SOT 520948 SOS 433201 HAS SOPS 433015 HAS SOUS 71735 HAS SOUPS 71568 WITH SCORE 72001.201
AT ITER 7588 NEW BEST:: SOT 520929 SOS 433082 HAS SOPS 432896 HAS SOUS 71691 HAS SOUPS 71524 WITH SCORE 71957.082
AT ITER 7618 NEW BEST:: SOT 520924 SOS 433077 HAS SOPS 432891 HAS SOUS 71686 HAS SOUPS 71519 WITH SCORE 71952.077
AT ITER 7658 NEW BEST:: SOT 520906 SOS 433073 HAS SOPS 432887 HAS SOUS 71668 HAS SOUPS 71501 WITH SCORE 71934.073
AT ITER 7674 NEW BEST:: SOT 520897 SOS 433037 HAS SOPS 432851 HAS SOUS 71650 HAS SOUPS 71483 WITH SCORE 71916.037
AT ITER 7694 NEW BEST:: SOT 520881 SOS 433005 HAS SOPS 432819 HAS SOUS 71628 HAS SOUPS 71461 WITH SCORE 71894.005
AT ITER 7716 NEW BEST:: SOT 520880 SOS 433015 HAS SOPS 432829 HAS SOUS 71627 HAS SOUPS 71460 WITH SCORE 71893.015
AT ITER 7765 NEW BEST:: SOT 520864 SOS 433015 HAS SOPS 432829 HAS SOUS 71611 HAS SOUPS 71444 WITH SCORE 71877.015
AT ITER 7823 NEW BEST:: SOT 520862 SOS 433013 HAS SOPS 432827 HAS SOUS 71607 HAS SOUPS 71440 WITH SCORE 71873.013
AT ITER 7900 NEW BEST:: SOT 520845 SOS 432979 HAS SOPS 432793 HAS SOUS 71579 HAS SOUPS 71412 WITH SCORE 71844.979
AT ITER 7936 NEW BEST:: SOT 520393 SOS 432499 HAS SOPS 432313 HAS SOUS 71540 HAS SOUPS 71373 WITH SCORE 71805.499
AT ITER 8047 NEW BEST:: SOT 520393 SOS 432445 HAS SOPS 432259 HAS SOUS 71540 HAS SOUPS 71373 WITH SCORE 71805.445
AT ITER 8111 NEW BEST:: SOT 520388 SOS 432440 HAS SOPS 432254 HAS SOUS 71535 HAS SOUPS 71368 WITH SCORE 71800.44
AT ITER 8129 NEW BEST:: SOT 520383 SOS 432422 HAS SOPS 432244 HAS SOUS 71524 HAS SOUPS 71357 WITH SCORE 71789.422
AT ITER 8156 NEW BEST:: SOT 520376 SOS 432415 HAS SOPS 432237 HAS SOUS 71510 HAS SOUPS 71343 WITH SCORE 71775.415
AT ITER 8215 NEW BEST:: SOT 520331 SOS 432370 HAS SOPS 432192 HAS SOUS 71443 HAS SOUPS 71276 WITH SCORE 71708.37
AT ITER 8230 NEW BEST:: SOT 520328 SOS 432367 HAS SOPS 432189 HAS SOUS 71440 HAS SOUPS 71273 WITH SCORE 71705.367
AT ITER 8254 NEW BEST:: SOT 520326 SOS 432363 HAS SOPS 432185 HAS SOUS 71438 HAS SOUPS 71271 WITH SCORE 71703.363
AT ITER 8305 NEW BEST:: SOT 520325 SOS 432337 HAS SOPS 432159 HAS SOUS 71429 HAS SOUPS 71262 WITH SCORE 71694.337
AT ITER 8324 NEW BEST:: SOT 520311 SOS 432323 HAS SOPS 432145 HAS SOUS 71401 HAS SOUPS 71234 WITH SCORE 71666.323
AT ITER 8332 NEW BEST:: SOT 520288 SOS 432300 HAS SOPS 432122 HAS SOUS 71378 HAS SOUPS 71211 WITH SCORE 71643.3
AT ITER 8339 NEW BEST:: SOT 520284 SOS 432292 HAS SOPS 432114 HAS SOUS 71374 HAS SOUPS 71207 WITH SCORE 71639.292
AT ITER 8387 NEW BEST:: SOT 520278 SOS 432281 HAS SOPS 432103 HAS SOUS 71363 HAS SOUPS 71196 WITH SCORE 71628.281
AT ITER 8477 NEW BEST:: SOT 520276 SOS 432277 HAS SOPS 432099 HAS SOUS 71361 HAS SOUPS 71194 WITH SCORE 71626.277
AT ITER 8522 NEW BEST:: SOT 520271 SOS 432272 HAS SOPS 432094 HAS SOUS 71351 HAS SOUPS 71184 WITH SCORE 71616.272
AT ITER 8545 NEW BEST:: SOT 520280 SOS 432281 HAS SOPS 432103 HAS SOUS 71340 HAS SOUPS 71173 WITH SCORE 71605.281
AT ITER 8552 NEW BEST:: SOT 520354 SOS 432360 HAS SOPS 432182 HAS SOUS 71329 HAS SOUPS 71162 WITH SCORE 71594.36
AT ITER 8556 NEW BEST:: SOT 520350 SOS 432394 HAS SOPS 432216 HAS SOUS 71325 HAS SOUPS 71158 WITH SCORE 71590.394
AT ITER 8564 NEW BEST:: SOT 520414 SOS 432458 HAS SOPS 432280 HAS SOUS 71321 HAS SOUPS 71154 WITH SCORE 71586.458
AT ITER 8589 NEW BEST:: SOT 520669 SOS 432731 HAS SOPS 432553 HAS SOUS 71301 HAS SOUPS 71134 WITH SCORE 71566.731
AT ITER 8654 NEW BEST:: SOT 520677 SOS 432739 HAS SOPS 432561 HAS SOUS 71292 HAS SOUPS 71125 WITH SCORE 71557.739
AT ITER 8713 NEW BEST:: SOT 520677 SOS 432625 HAS SOPS 432447 HAS SOUS 71262 HAS SOUPS 71095 WITH SCORE 71527.625
AT ITER 8723 NEW BEST:: SOT 520660 SOS 432591 HAS SOPS 432413 HAS SOUS 71245 HAS SOUPS 71078 WITH SCORE 71510.591
AT ITER 8883 NEW BEST:: SOT 520636 SOS 432543 HAS SOPS 432365 HAS SOUS 71199 HAS SOUPS 71032 WITH SCORE 71464.543
AT ITER 8946 NEW BEST:: SOT 520634 SOS 432541 HAS SOPS 432363 HAS SOUS 71195 HAS SOUPS 71028 WITH SCORE 71460.541
AT ITER 8962 NEW BEST:: SOT 520698 SOS 432605 HAS SOPS 432427 HAS SOUS 71191 HAS SOUPS 71024 WITH SCORE 71456.605
AT ITER 8975 NEW BEST:: SOT 520688 SOS 432585 HAS SOPS 432407 HAS SOUS 71171 HAS SOUPS 71004 WITH SCORE 71436.585
AT ITER 8977 NEW BEST:: SOT 520625 SOS 432459 HAS SOPS 432281 HAS SOUS 71099 HAS SOUPS 70932 WITH SCORE 71364.459
AT ITER 9043 NEW BEST:: SOT 520625 SOS 432415 HAS SOPS 432237 HAS SOUS 71099 HAS SOUPS 70932 WITH SCORE 71364.415
AT ITER 9121 NEW BEST:: SOT 520608 SOS 432381 HAS SOPS 432203 HAS SOUS 71078 HAS SOUPS 70911 WITH SCORE 71343.381
AT ITER 9178 NEW BEST:: SOT 520614 SOS 432387 HAS SOPS 432209 HAS SOUS 71073 HAS SOUPS 70906 WITH SCORE 71338.387
AT ITER 9209 NEW BEST:: SOT 520614 SOS 433296 HAS SOPS 433118 HAS SOUS 71057 HAS SOUPS 70890 WITH SCORE 71323.296
AT ITER 9210 NEW BEST:: SOT 520608 SOS 433290 HAS SOPS 433112 HAS SOUS 71045 HAS SOUPS 70878 WITH SCORE 71311.29
AT ITER 9212 NEW BEST:: SOT 520606 SOS 433286 HAS SOPS 433108 HAS SOUS 71043 HAS SOUPS 70876 WITH SCORE 71309.286
AT ITER 9229 NEW BEST:: SOT 520605 SOS 433285 HAS SOPS 433107 HAS SOUS 71041 HAS SOUPS 70874 WITH SCORE 71307.285
AT ITER 9258 NEW BEST:: SOT 520595 SOS 433275 HAS SOPS 433097 HAS SOUS 71031 HAS SOUPS 70864 WITH SCORE 71297.275
AT ITER 9290 NEW BEST:: SOT 520570 SOS 433260 HAS SOPS 433082 HAS SOUS 71017 HAS SOUPS 70850 WITH SCORE 71283.26
AT ITER 9322 NEW BEST:: SOT 520179 SOS 432869 HAS SOPS 432691 HAS SOUS 71017 HAS SOUPS 70850 WITH SCORE 71282.869
AT ITER 9378 NEW BEST:: SOT 520175 SOS 432867 HAS SOPS 432689 HAS SOUS 71015 HAS SOUPS 70848 WITH SCORE 71280.867
AT ITER 9424 NEW BEST:: SOT 520175 SOS 432847 HAS SOPS 432669 HAS SOUS 71005 HAS SOUPS 70838 WITH SCORE 71270.847
AT ITER 9458 NEW BEST:: SOT 520154 SOS 432826 HAS SOPS 432669 HAS SOUS 70963 HAS SOUPS 70817 WITH SCORE 71249.826
AT ITER 9495 NEW BEST:: SOT 520141 SOS 432813 HAS SOPS 432656 HAS SOUS 70952 HAS SOUPS 70806 WITH SCORE 71238.813
AT ITER 9511 NEW BEST:: SOT 520136 SOS 432808 HAS SOPS 432651 HAS SOUS 70942 HAS SOUPS 70796 WITH SCORE 71228.808
AT ITER 9538 NEW BEST:: SOT 520132 SOS 432800 HAS SOPS 432643 HAS SOUS 70934 HAS SOUPS 70788 WITH SCORE 71220.8
AT ITER 9589 NEW BEST:: SOT 520133 SOS 432802 HAS SOPS 432645 HAS SOUS 70933 HAS SOUPS 70787 WITH SCORE 71219.802
AT ITER 9592 NEW BEST:: SOT 520141 SOS 432769 HAS SOPS 432612 HAS SOUS 70895 HAS SOUPS 70749 WITH SCORE 71181.769
AT ITER 9593 NEW BEST:: SOT 520132 SOS 433211 HAS SOPS 433054 HAS SOUS 70890 HAS SOUPS 70744 WITH SCORE 71177.211
AT ITER 9615 NEW BEST:: SOT 520110 SOS 433167 HAS SOPS 433010 HAS SOUS 70868 HAS SOUPS 70722 WITH SCORE 71155.167
AT ITER 9638 NEW BEST:: SOT 520095 SOS 433137 HAS SOPS 432980 HAS SOUS 70850 HAS SOUPS 70704 WITH SCORE 71137.137
AT ITER 9682 NEW BEST:: SOT 520094 SOS 433135 HAS SOPS 432978 HAS SOUS 70849 HAS SOUPS 70703 WITH SCORE 71136.135
AT ITER 9683 NEW BEST:: SOT 520093 SOS 433134 HAS SOPS 432977 HAS SOUS 70847 HAS SOUPS 70701 WITH SCORE 71134.134
AT ITER 9721 NEW BEST:: SOT 520093 SOS 433134 HAS SOPS 432977 HAS SOUS 70830 HAS SOUPS 70684 WITH SCORE 71117.134
AT ITER 9725 NEW BEST:: SOT 520077 SOS 433102 HAS SOPS 432945 HAS SOUS 70822 HAS SOUPS 70676 WITH SCORE 71109.102
AT ITER 9807 NEW BEST:: SOT 519913 SOS 432986 HAS SOPS 432934 HAS SOUS 70706 HAS SOUPS 70665 WITH SCORE 71097.986
AT ITER 9833 NEW BEST:: SOT 519907 SOS 432980 HAS SOPS 432928 HAS SOUS 70700 HAS SOUPS 70659 WITH SCORE 71091.98
AT ITER 9874 NEW BEST:: SOT 519897 SOS 432960 HAS SOPS 432908 HAS SOUS 70680 HAS SOUPS 70639 WITH SCORE 71071.96
AT ITER 9938 NEW BEST:: SOT 519900 SOS 432961 HAS SOPS 432904 HAS SOUS 70681 HAS SOUPS 70635 WITH SCORE 71067.961
AT ITER 9939 NEW BEST:: SOT 519899 SOS 432959 HAS SOPS 432902 HAS SOUS 70677 HAS SOUPS 70631 WITH SCORE 71063.959
AT ITER 9945 NEW BEST:: SOT 519897 SOS 432957 HAS SOPS 432900 HAS SOUS 70673 HAS SOUPS 70627 WITH SCORE 71059.957
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5941040 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16127048 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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="Anderson-PT-09"
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 Anderson-PT-09, 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 r523-tall-167987247500048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-09.tgz
mv Anderson-PT-09 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 ;