About the Execution of Smart+red for Sudoku-PT-AN05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16175.451 | 3600000.00 | 3663986.00 | 9836.10 | [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.r491-tall-167912710200200.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 Sudoku-PT-AN05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710200200
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 55K Feb 26 09:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 299K Feb 26 09:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 141K Feb 26 09:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 724K Feb 26 09:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 48K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 178K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 55K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 207K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 145K Feb 26 09:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 757K Feb 26 09:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 217K Feb 26 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 80K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679223498672
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=Sudoku-PT-AN05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 10:58:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 10:58:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 10:58:20] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-19 10:58:20] [INFO ] Transformed 200 places.
[2023-03-19 10:58:20] [INFO ] Transformed 125 transitions.
[2023-03-19 10:58:20] [INFO ] Parsed PT model containing 200 places and 125 transitions and 500 arcs in 123 ms.
[2023-03-19 10:58:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 200 places, 125 transitions and 500 arcs took 5 ms.
Total runtime 164 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN05
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: 200 places, 125 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 17648 SOS 9228 HAS SOPS 9228 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9237.228
AT ITER 10 NEW BEST:: SOT 17576 SOS 9335 HAS SOPS 9335 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9174.335
AT ITER 19 NEW BEST:: SOT 17565 SOS 9330 HAS SOPS 9330 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9163.33
AT ITER 24 NEW BEST:: SOT 17565 SOS 9302 HAS SOPS 9302 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9163.302
AT ITER 25 NEW BEST:: SOT 17583 SOS 9310 HAS SOPS 9310 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9153.31
AT ITER 33 NEW BEST:: SOT 17544 SOS 9315 HAS SOPS 9315 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9139.315
AT ITER 34 NEW BEST:: SOT 17544 SOS 9302 HAS SOPS 9302 HAS SOUS 9130 HAS SOUPS 9130 WITH SCORE 9139.302
AT ITER 38 NEW BEST:: SOT 17531 SOS 9289 HAS SOPS 9289 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9126.289
AT ITER 39 NEW BEST:: SOT 17497 SOS 9337 HAS SOPS 9337 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9092.337
AT ITER 55 NEW BEST:: SOT 17484 SOS 9350 HAS SOPS 9350 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9091.35
AT ITER 65 NEW BEST:: SOT 17484 SOS 9326 HAS SOPS 9326 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9067.326
AT ITER 70 NEW BEST:: SOT 17460 SOS 9302 HAS SOPS 9302 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9043.302
AT ITER 75 NEW BEST:: SOT 17457 SOS 9327 HAS SOPS 9327 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9041.327
AT ITER 77 NEW BEST:: SOT 17447 SOS 9320 HAS SOPS 9320 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9034.32
AT ITER 83 NEW BEST:: SOT 17433 SOS 9312 HAS SOPS 9312 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9026.312
AT ITER 92 NEW BEST:: SOT 17429 SOS 9362 HAS SOPS 9362 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9022.362
AT ITER 111 NEW BEST:: SOT 17379 SOS 9392 HAS SOPS 9392 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8981.392
AT ITER 128 NEW BEST:: SOT 17392 SOS 9411 HAS SOPS 9411 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8943.411
AT ITER 135 NEW BEST:: SOT 17392 SOS 9390 HAS SOPS 9390 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8943.39
AT ITER 141 NEW BEST:: SOT 17392 SOS 9370 HAS SOPS 9370 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8933.37
AT ITER 142 NEW BEST:: SOT 17387 SOS 9365 HAS SOPS 9365 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8928.365
AT ITER 144 NEW BEST:: SOT 17386 SOS 9364 HAS SOPS 9364 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8927.364
AT ITER 146 NEW BEST:: SOT 17363 SOS 9506 HAS SOPS 9506 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8920.506
AT ITER 148 NEW BEST:: SOT 17353 SOS 9490 HAS SOPS 9490 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8918.49
AT ITER 154 NEW BEST:: SOT 17345 SOS 9482 HAS SOPS 9482 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8910.482
AT ITER 157 NEW BEST:: SOT 17312 SOS 9565 HAS SOPS 9565 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8894.565
AT ITER 158 NEW BEST:: SOT 17310 SOS 9563 HAS SOPS 9563 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8892.563
AT ITER 169 NEW BEST:: SOT 17314 SOS 9579 HAS SOPS 9579 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8889.579
AT ITER 176 NEW BEST:: SOT 17293 SOS 9728 HAS SOPS 9728 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8888.728
AT ITER 190 NEW BEST:: SOT 17285 SOS 9713 HAS SOPS 9713 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8867.713
AT ITER 191 NEW BEST:: SOT 17285 SOS 9611 HAS SOPS 9611 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8867.611
AT ITER 201 NEW BEST:: SOT 17285 SOS 9599 HAS SOPS 9599 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8867.599
AT ITER 225 NEW BEST:: SOT 17277 SOS 9591 HAS SOPS 9591 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8859.591
AT ITER 228 NEW BEST:: SOT 17264 SOS 9589 HAS SOPS 9589 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8857.589
AT ITER 241 NEW BEST:: SOT 17291 SOS 9575 HAS SOPS 9575 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8856.575
AT ITER 248 NEW BEST:: SOT 17282 SOS 9566 HAS SOPS 9566 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8847.566
AT ITER 254 NEW BEST:: SOT 17198 SOS 9524 HAS SOPS 9524 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8797.524
AT ITER 259 NEW BEST:: SOT 17168 SOS 9515 HAS SOPS 9515 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8788.515
AT ITER 262 NEW BEST:: SOT 17168 SOS 9498 HAS SOPS 9498 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8788.498
AT ITER 265 NEW BEST:: SOT 17125 SOS 9531 HAS SOPS 9531 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8767.531
AT ITER 278 NEW BEST:: SOT 17123 SOS 9529 HAS SOPS 9529 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8763.529
AT ITER 279 NEW BEST:: SOT 17133 SOS 9508 HAS SOPS 9508 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8762.508
AT ITER 294 NEW BEST:: SOT 17138 SOS 9461 HAS SOPS 9461 HAS SOUS 8738 HAS SOUPS 8738 WITH SCORE 8747.461
AT ITER 296 NEW BEST:: SOT 17138 SOS 9456 HAS SOPS 9456 HAS SOUS 8738 HAS SOUPS 8738 WITH SCORE 8747.456
AT ITER 308 NEW BEST:: SOT 17128 SOS 9432 HAS SOPS 9432 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8723.432
AT ITER 314 NEW BEST:: SOT 17095 SOS 9473 HAS SOPS 9473 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8690.473
AT ITER 323 NEW BEST:: SOT 17095 SOS 9441 HAS SOPS 9441 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8690.441
AT ITER 328 NEW BEST:: SOT 17095 SOS 9449 HAS SOPS 9449 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8689.449
AT ITER 337 NEW BEST:: SOT 17060 SOS 9441 HAS SOPS 9441 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8678.441
AT ITER 344 NEW BEST:: SOT 17060 SOS 9439 HAS SOPS 9439 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.439
AT ITER 348 NEW BEST:: SOT 17060 SOS 9426 HAS SOPS 9426 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.426
AT ITER 373 NEW BEST:: SOT 17059 SOS 9414 HAS SOPS 9414 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8654.414
AT ITER 383 NEW BEST:: SOT 17056 SOS 9414 HAS SOPS 9414 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8651.414
AT ITER 405 NEW BEST:: SOT 17002 SOS 9346 HAS SOPS 9346 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8585.346
AT ITER 408 NEW BEST:: SOT 16975 SOS 9342 HAS SOPS 9342 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8581.342
AT ITER 411 NEW BEST:: SOT 16973 SOS 9340 HAS SOPS 9340 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8581.34
AT ITER 436 NEW BEST:: SOT 16955 SOS 9322 HAS SOPS 9322 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8562.322
AT ITER 437 NEW BEST:: SOT 16940 SOS 9321 HAS SOPS 9321 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8561.321
AT ITER 447 NEW BEST:: SOT 16940 SOS 9358 HAS SOPS 9358 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8560.358
AT ITER 456 NEW BEST:: SOT 16919 SOS 9464 HAS SOPS 9464 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8550.464
AT ITER 473 NEW BEST:: SOT 16913 SOS 9457 HAS SOPS 9457 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8543.457
AT ITER 480 NEW BEST:: SOT 16910 SOS 9454 HAS SOPS 9454 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8540.454
AT ITER 482 NEW BEST:: SOT 16910 SOS 9449 HAS SOPS 9449 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8540.449
AT ITER 505 NEW BEST:: SOT 16910 SOS 9420 HAS SOPS 9420 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8540.42
AT ITER 507 NEW BEST:: SOT 16892 SOS 9402 HAS SOPS 9402 HAS SOUS 8513 HAS SOUPS 8513 WITH SCORE 8522.402
AT ITER 531 NEW BEST:: SOT 16868 SOS 9383 HAS SOPS 9383 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8503.383
AT ITER 535 NEW BEST:: SOT 16868 SOS 9372 HAS SOPS 9372 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8503.372
AT ITER 536 NEW BEST:: SOT 16852 SOS 9369 HAS SOPS 9369 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8490.369
AT ITER 546 NEW BEST:: SOT 16879 SOS 9401 HAS SOPS 9401 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8488.401
AT ITER 553 NEW BEST:: SOT 16872 SOS 9372 HAS SOPS 9372 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8468.372
AT ITER 564 NEW BEST:: SOT 16870 SOS 9370 HAS SOPS 9370 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8466.37
AT ITER 569 NEW BEST:: SOT 16864 SOS 9352 HAS SOPS 9352 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8460.352
AT ITER 601 NEW BEST:: SOT 16860 SOS 9348 HAS SOPS 9348 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8456.348
AT ITER 602 NEW BEST:: SOT 16859 SOS 9353 HAS SOPS 9353 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8455.353
AT ITER 612 NEW BEST:: SOT 16840 SOS 9345 HAS SOPS 9345 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8447.345
AT ITER 614 NEW BEST:: SOT 16840 SOS 9344 HAS SOPS 9344 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8447.344
AT ITER 641 NEW BEST:: SOT 16834 SOS 9338 HAS SOPS 9338 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.338
AT ITER 642 NEW BEST:: SOT 16827 SOS 9371 HAS SOPS 9371 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.371
AT ITER 667 NEW BEST:: SOT 16827 SOS 9366 HAS SOPS 9366 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.366
AT ITER 675 NEW BEST:: SOT 16827 SOS 9356 HAS SOPS 9356 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.356
AT ITER 688 NEW BEST:: SOT 16823 SOS 9352 HAS SOPS 9352 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.352
AT ITER 696 NEW BEST:: SOT 16809 SOS 9338 HAS SOPS 9338 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8406.338
AT ITER 727 NEW BEST:: SOT 16807 SOS 9336 HAS SOPS 9336 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8404.336
AT ITER 736 NEW BEST:: SOT 16807 SOS 9307 HAS SOPS 9307 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8404.307
AT ITER 738 NEW BEST:: SOT 16807 SOS 9292 HAS SOPS 9292 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8404.292
AT ITER 741 NEW BEST:: SOT 16764 SOS 9320 HAS SOPS 9320 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8397.32
AT ITER 765 NEW BEST:: SOT 16764 SOS 9309 HAS SOPS 9309 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8397.309
AT ITER 775 NEW BEST:: SOT 16764 SOS 9292 HAS SOPS 9292 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8395.292
AT ITER 815 NEW BEST:: SOT 16818 SOS 9272 HAS SOPS 9272 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8378.272
AT ITER 834 NEW BEST:: SOT 16818 SOS 9271 HAS SOPS 9271 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8378.271
AT ITER 838 NEW BEST:: SOT 16822 SOS 9237 HAS SOPS 9237 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.237
AT ITER 848 NEW BEST:: SOT 16814 SOS 9229 HAS SOPS 9229 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.229
AT ITER 854 NEW BEST:: SOT 16811 SOS 9226 HAS SOPS 9226 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8371.226
AT ITER 864 NEW BEST:: SOT 16811 SOS 9160 HAS SOPS 9160 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8371.16
AT ITER 872 NEW BEST:: SOT 16811 SOS 9171 HAS SOPS 9171 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8360.171
AT ITER 880 NEW BEST:: SOT 16777 SOS 9150 HAS SOPS 9150 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8339.15
AT ITER 883 NEW BEST:: SOT 16776 SOS 9149 HAS SOPS 9149 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.149
AT ITER 900 NEW BEST:: SOT 16769 SOS 9142 HAS SOPS 9142 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8331.142
AT ITER 904 NEW BEST:: SOT 16754 SOS 9127 HAS SOPS 9127 HAS SOUS 8314 HAS SOUPS 8314 WITH SCORE 8323.127
AT ITER 918 NEW BEST:: SOT 16745 SOS 9156 HAS SOPS 9156 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8315.156
AT ITER 928 NEW BEST:: SOT 16718 SOS 9267 HAS SOPS 9267 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.267
AT ITER 934 NEW BEST:: SOT 16710 SOS 9259 HAS SOPS 9259 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8294.259
AT ITER 946 NEW BEST:: SOT 16685 SOS 9234 HAS SOPS 9234 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8269.234
AT ITER 980 NEW BEST:: SOT 16685 SOS 9220 HAS SOPS 9220 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8269.22
AT ITER 984 NEW BEST:: SOT 16697 SOS 9245 HAS SOPS 9245 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8254.245
AT ITER 997 NEW BEST:: SOT 16697 SOS 9207 HAS SOPS 9207 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8240.207
AT ITER 999 NEW BEST:: SOT 16658 SOS 9189 HAS SOPS 9189 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8220.189
AT ITER 1014 NEW BEST:: SOT 16658 SOS 9192 HAS SOPS 9192 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8178.192
AT ITER 1044 NEW BEST:: SOT 16662 SOS 9191 HAS SOPS 9191 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8177.191
AT ITER 1063 NEW BEST:: SOT 16656 SOS 9175 HAS SOPS 9175 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8161.175
AT ITER 1064 NEW BEST:: SOT 16650 SOS 9169 HAS SOPS 9169 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8155.169
AT ITER 1072 NEW BEST:: SOT 16640 SOS 9167 HAS SOPS 9167 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8153.167
AT ITER 1074 NEW BEST:: SOT 16612 SOS 9161 HAS SOPS 9161 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8147.161
AT ITER 1080 NEW BEST:: SOT 16529 SOS 9109 HAS SOPS 9109 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.109
AT ITER 1093 NEW BEST:: SOT 16529 SOS 9106 HAS SOPS 9106 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.106
AT ITER 1099 NEW BEST:: SOT 16527 SOS 9093 HAS SOPS 9093 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8095.093
AT ITER 1118 NEW BEST:: SOT 16519 SOS 9081 HAS SOPS 9081 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8083.081
AT ITER 1124 NEW BEST:: SOT 16530 SOS 9118 HAS SOPS 9118 HAS SOUS 8067 HAS SOUPS 8067 WITH SCORE 8076.118
AT ITER 1130 NEW BEST:: SOT 16489 SOS 9103 HAS SOPS 9103 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8061.103
AT ITER 1173 NEW BEST:: SOT 16459 SOS 9304 HAS SOPS 9304 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8031.304
AT ITER 1174 NEW BEST:: SOT 16459 SOS 9299 HAS SOPS 9299 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8027.299
AT ITER 1200 NEW BEST:: SOT 16459 SOS 9291 HAS SOPS 9291 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8025.291
AT ITER 1210 NEW BEST:: SOT 16458 SOS 9294 HAS SOPS 9294 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8024.294
AT ITER 1222 NEW BEST:: SOT 16443 SOS 9279 HAS SOPS 9279 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8009.279
AT ITER 1247 NEW BEST:: SOT 16413 SOS 9249 HAS SOPS 9249 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7979.249
AT ITER 1274 NEW BEST:: SOT 16384 SOS 9285 HAS SOPS 9285 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7976.285
AT ITER 1276 NEW BEST:: SOT 16404 SOS 9290 HAS SOPS 9290 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7966.29
AT ITER 1282 NEW BEST:: SOT 16398 SOS 9284 HAS SOPS 9284 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7960.284
AT ITER 1284 NEW BEST:: SOT 16384 SOS 9261 HAS SOPS 9261 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7937.261
AT ITER 1289 NEW BEST:: SOT 16380 SOS 9306 HAS SOPS 9306 HAS SOUS 7926 HAS SOUPS 7926 WITH SCORE 7935.306
AT ITER 1322 NEW BEST:: SOT 16375 SOS 9300 HAS SOPS 9300 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7929.3
AT ITER 1330 NEW BEST:: SOT 16376 SOS 9301 HAS SOPS 9301 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7925.301
AT ITER 1346 NEW BEST:: SOT 16373 SOS 9298 HAS SOPS 9298 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7922.298
AT ITER 1358 NEW BEST:: SOT 16374 SOS 9299 HAS SOPS 9299 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7921.299
AT ITER 1449 NEW BEST:: SOT 16372 SOS 9297 HAS SOPS 9297 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7919.297
AT ITER 1452 NEW BEST:: SOT 16372 SOS 9293 HAS SOPS 9293 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7915.293
AT ITER 1491 NEW BEST:: SOT 16419 SOS 9293 HAS SOPS 9293 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7897.293
AT ITER 1546 NEW BEST:: SOT 16419 SOS 9153 HAS SOPS 9153 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7897.153
AT ITER 1550 NEW BEST:: SOT 16411 SOS 9145 HAS SOPS 9145 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7889.145
AT ITER 1568 NEW BEST:: SOT 16363 SOS 9259 HAS SOPS 9259 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7869.259
AT ITER 1571 NEW BEST:: SOT 16351 SOS 9301 HAS SOPS 9301 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7865.301
AT ITER 1614 NEW BEST:: SOT 16351 SOS 9294 HAS SOPS 9294 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7858.294
AT ITER 1642 NEW BEST:: SOT 16343 SOS 9308 HAS SOPS 9308 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7850.308
AT ITER 1668 NEW BEST:: SOT 16338 SOS 9303 HAS SOPS 9303 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7845.303
AT ITER 1725 NEW BEST:: SOT 16338 SOS 9298 HAS SOPS 9298 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7845.298
AT ITER 1729 NEW BEST:: SOT 16341 SOS 9299 HAS SOPS 9299 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7844.299
AT ITER 1735 NEW BEST:: SOT 16338 SOS 9296 HAS SOPS 9296 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7833.296
AT ITER 1805 NEW BEST:: SOT 16320 SOS 9287 HAS SOPS 9287 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.287
AT ITER 1811 NEW BEST:: SOT 16321 SOS 9286 HAS SOPS 9286 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.286
AT ITER 1832 NEW BEST:: SOT 16308 SOS 9273 HAS SOPS 9273 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7816.273
AT ITER 1837 NEW BEST:: SOT 16278 SOS 9333 HAS SOPS 9333 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7806.333
AT ITER 1854 NEW BEST:: SOT 16278 SOS 9328 HAS SOPS 9328 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7806.328
AT ITER 1881 NEW BEST:: SOT 16278 SOS 9307 HAS SOPS 9307 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7806.307
AT ITER 1882 NEW BEST:: SOT 16278 SOS 9307 HAS SOPS 9307 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7798.307
AT ITER 1893 NEW BEST:: SOT 16275 SOS 9304 HAS SOPS 9304 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7795.304
AT ITER 1917 NEW BEST:: SOT 16268 SOS 9297 HAS SOPS 9297 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7788.297
AT ITER 1922 NEW BEST:: SOT 16245 SOS 9290 HAS SOPS 9290 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7781.29
AT ITER 1975 NEW BEST:: SOT 16258 SOS 9294 HAS SOPS 9294 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7771.294
AT ITER 2009 NEW BEST:: SOT 16258 SOS 9292 HAS SOPS 9292 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7771.292
AT ITER 2015 NEW BEST:: SOT 16258 SOS 9351 HAS SOPS 9351 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7756.351
AT ITER 2041 NEW BEST:: SOT 16258 SOS 9349 HAS SOPS 9349 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7754.349
AT ITER 2053 NEW BEST:: SOT 16261 SOS 9349 HAS SOPS 9349 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7752.349
AT ITER 2064 NEW BEST:: SOT 16212 SOS 9325 HAS SOPS 9325 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7742.325
AT ITER 2080 NEW BEST:: SOT 16196 SOS 9315 HAS SOPS 9315 HAS SOUS 7718 HAS SOUPS 7718 WITH SCORE 7727.315
AT ITER 2132 NEW BEST:: SOT 16191 SOS 9314 HAS SOPS 9314 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7726.314
AT ITER 2140 NEW BEST:: SOT 16154 SOS 9369 HAS SOPS 9369 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7722.369
AT ITER 2153 NEW BEST:: SOT 16154 SOS 9366 HAS SOPS 9366 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7722.366
AT ITER 2182 NEW BEST:: SOT 16142 SOS 9361 HAS SOPS 9361 HAS SOUS 7708 HAS SOUPS 7708 WITH SCORE 7717.361
AT ITER 2213 NEW BEST:: SOT 16129 SOS 9348 HAS SOPS 9348 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7704.348
AT ITER 2250 NEW BEST:: SOT 16126 SOS 9336 HAS SOPS 9336 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7699.336
AT ITER 2254 NEW BEST:: SOT 16126 SOS 9333 HAS SOPS 9333 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7699.333
AT ITER 2282 NEW BEST:: SOT 16118 SOS 9325 HAS SOPS 9325 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7663.325
AT ITER 2319 NEW BEST:: SOT 16107 SOS 9318 HAS SOPS 9318 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7656.318
AT ITER 2397 NEW BEST:: SOT 16082 SOS 9376 HAS SOPS 9376 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7645.376
AT ITER 2443 NEW BEST:: SOT 16076 SOS 9389 HAS SOPS 9389 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7642.389
AT ITER 2444 NEW BEST:: SOT 16076 SOS 9384 HAS SOPS 9384 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7642.384
AT ITER 2452 NEW BEST:: SOT 16073 SOS 9381 HAS SOPS 9381 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7639.381
AT ITER 2469 NEW BEST:: SOT 16069 SOS 9377 HAS SOPS 9377 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7635.377
AT ITER 2558 NEW BEST:: SOT 16014 SOS 9352 HAS SOPS 9352 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7610.352
AT ITER 2573 NEW BEST:: SOT 16016 SOS 9311 HAS SOPS 9311 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7590.311
AT ITER 2578 NEW BEST:: SOT 16012 SOS 9273 HAS SOPS 9273 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7575.273
AT ITER 2605 NEW BEST:: SOT 16009 SOS 9270 HAS SOPS 9270 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7572.27
AT ITER 2656 NEW BEST:: SOT 15999 SOS 9266 HAS SOPS 9266 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7568.266
AT ITER 2675 NEW BEST:: SOT 15999 SOS 9255 HAS SOPS 9255 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7560.255
AT ITER 2694 NEW BEST:: SOT 15990 SOS 9246 HAS SOPS 9246 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7551.246
AT ITER 2716 NEW BEST:: SOT 15990 SOS 9250 HAS SOPS 9250 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7543.25
AT ITER 2720 NEW BEST:: SOT 15987 SOS 9247 HAS SOPS 9247 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7540.247
AT ITER 2724 NEW BEST:: SOT 15987 SOS 9244 HAS SOPS 9244 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7540.244
AT ITER 2736 NEW BEST:: SOT 15987 SOS 9258 HAS SOPS 9258 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7538.258
AT ITER 2771 NEW BEST:: SOT 15969 SOS 9253 HAS SOPS 9253 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7533.253
AT ITER 2773 NEW BEST:: SOT 15969 SOS 9269 HAS SOPS 9269 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7527.269
AT ITER 2822 NEW BEST:: SOT 15969 SOS 9275 HAS SOPS 9275 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7524.275
AT ITER 2833 NEW BEST:: SOT 15958 SOS 9264 HAS SOPS 9264 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7513.264
AT ITER 2836 NEW BEST:: SOT 15943 SOS 9256 HAS SOPS 9256 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7505.256
AT ITER 2847 NEW BEST:: SOT 15936 SOS 9249 HAS SOPS 9249 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7493.249
AT ITER 2924 NEW BEST:: SOT 15932 SOS 9239 HAS SOPS 9239 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7477.239
AT ITER 3001 NEW BEST:: SOT 15932 SOS 9227 HAS SOPS 9227 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7460.227
AT ITER 3002 NEW BEST:: SOT 15943 SOS 9229 HAS SOPS 9229 HAS SOUS 7445 HAS SOUPS 7445 WITH SCORE 7454.229
AT ITER 3077 NEW BEST:: SOT 15943 SOS 9214 HAS SOPS 9214 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7439.214
AT ITER 3085 NEW BEST:: SOT 15905 SOS 9203 HAS SOPS 9203 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7428.203
AT ITER 3105 NEW BEST:: SOT 15903 SOS 9201 HAS SOPS 9201 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7426.201
AT ITER 3106 NEW BEST:: SOT 15903 SOS 9197 HAS SOPS 9197 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7426.197
AT ITER 3114 NEW BEST:: SOT 15912 SOS 9193 HAS SOPS 9193 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7422.193
AT ITER 3171 NEW BEST:: SOT 15912 SOS 9191 HAS SOPS 9191 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7420.191
AT ITER 3184 NEW BEST:: SOT 15912 SOS 9191 HAS SOPS 9191 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7419.191
AT ITER 3203 NEW BEST:: SOT 15885 SOS 9223 HAS SOPS 9223 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7405.223
AT ITER 3204 NEW BEST:: SOT 15882 SOS 9220 HAS SOPS 9220 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7402.22
AT ITER 3209 NEW BEST:: SOT 15866 SOS 9204 HAS SOPS 9204 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7386.204
AT ITER 3210 NEW BEST:: SOT 15856 SOS 9197 HAS SOPS 9197 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7379.197
AT ITER 3242 NEW BEST:: SOT 15856 SOS 9197 HAS SOPS 9197 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7369.197
AT ITER 3247 NEW BEST:: SOT 15810 SOS 9179 HAS SOPS 9179 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.179
AT ITER 3252 NEW BEST:: SOT 15810 SOS 9170 HAS SOPS 9170 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.17
AT ITER 3257 NEW BEST:: SOT 15810 SOS 9169 HAS SOPS 9169 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.169
AT ITER 3327 NEW BEST:: SOT 15810 SOS 9168 HAS SOPS 9168 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.168
AT ITER 3329 NEW BEST:: SOT 15785 SOS 9153 HAS SOPS 9153 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7336.153
AT ITER 3345 NEW BEST:: SOT 15785 SOS 9136 HAS SOPS 9136 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7336.136
AT ITER 3379 NEW BEST:: SOT 15783 SOS 9134 HAS SOPS 9134 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7334.134
AT ITER 3381 NEW BEST:: SOT 15783 SOS 9127 HAS SOPS 9127 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7334.127
AT ITER 3382 NEW BEST:: SOT 15783 SOS 9126 HAS SOPS 9126 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7334.126
AT ITER 3456 NEW BEST:: SOT 15770 SOS 9140 HAS SOPS 9140 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7323.14
AT ITER 3481 NEW BEST:: SOT 15767 SOS 9149 HAS SOPS 9149 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7320.149
AT ITER 3489 NEW BEST:: SOT 15767 SOS 9146 HAS SOPS 9146 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7317.146
AT ITER 3492 NEW BEST:: SOT 15767 SOS 9145 HAS SOPS 9145 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7317.145
AT ITER 3495 NEW BEST:: SOT 15782 SOS 9152 HAS SOPS 9152 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7316.152
AT ITER 3523 NEW BEST:: SOT 15776 SOS 9146 HAS SOPS 9146 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7310.146
AT ITER 3565 NEW BEST:: SOT 15764 SOS 9134 HAS SOPS 9134 HAS SOUS 7289 HAS SOUPS 7289 WITH SCORE 7298.134
AT ITER 3591 NEW BEST:: SOT 15761 SOS 9131 HAS SOPS 9131 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7295.131
AT ITER 3609 NEW BEST:: SOT 15754 SOS 9124 HAS SOPS 9124 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7288.124
AT ITER 3617 NEW BEST:: SOT 15750 SOS 9122 HAS SOPS 9122 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7286.122
AT ITER 3628 NEW BEST:: SOT 15745 SOS 9099 HAS SOPS 9099 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7263.099
AT ITER 3641 NEW BEST:: SOT 15736 SOS 9094 HAS SOPS 9094 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7258.094
AT ITER 3642 NEW BEST:: SOT 15728 SOS 9086 HAS SOPS 9086 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7255.086
AT ITER 3689 NEW BEST:: SOT 15698 SOS 9072 HAS SOPS 9072 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7241.072
AT ITER 3710 NEW BEST:: SOT 15678 SOS 9071 HAS SOPS 9071 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7240.071
AT ITER 3759 NEW BEST:: SOT 15677 SOS 9070 HAS SOPS 9070 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7239.07
AT ITER 3798 NEW BEST:: SOT 15690 SOS 9065 HAS SOPS 9065 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7234.065
AT ITER 3868 NEW BEST:: SOT 15690 SOS 9060 HAS SOPS 9060 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7229.06
AT ITER 3889 NEW BEST:: SOT 15690 SOS 9057 HAS SOPS 9057 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7227.057
AT ITER 3944 NEW BEST:: SOT 15684 SOS 9051 HAS SOPS 9051 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7221.051
AT ITER 4004 NEW BEST:: SOT 15684 SOS 9041 HAS SOPS 9041 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7208.041
AT ITER 4024 NEW BEST:: SOT 15688 SOS 9036 HAS SOPS 9036 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7208.036
AT ITER 4031 NEW BEST:: SOT 15688 SOS 9030 HAS SOPS 9030 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7208.03
AT ITER 4078 NEW BEST:: SOT 15686 SOS 9028 HAS SOPS 9028 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7206.028
AT ITER 4089 NEW BEST:: SOT 15679 SOS 9028 HAS SOPS 9028 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7202.028
AT ITER 4160 NEW BEST:: SOT 15668 SOS 9028 HAS SOPS 9028 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7188.028
AT ITER 4198 NEW BEST:: SOT 15668 SOS 9024 HAS SOPS 9024 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7183.024
AT ITER 4201 NEW BEST:: SOT 15656 SOS 9017 HAS SOPS 9017 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7176.017
AT ITER 4228 NEW BEST:: SOT 15656 SOS 9017 HAS SOPS 9017 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7174.017
AT ITER 4309 NEW BEST:: SOT 15603 SOS 9019 HAS SOPS 9019 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7167.019
AT ITER 4349 NEW BEST:: SOT 15604 SOS 9020 HAS SOPS 9020 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7162.02
AT ITER 4418 NEW BEST:: SOT 15592 SOS 9008 HAS SOPS 9008 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7150.008
AT ITER 4455 NEW BEST:: SOT 15592 SOS 9008 HAS SOPS 9008 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7146.008
AT ITER 4506 NEW BEST:: SOT 15589 SOS 9021 HAS SOPS 9021 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7143.021
AT ITER 4524 NEW BEST:: SOT 15586 SOS 9018 HAS SOPS 9018 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7140.018
AT ITER 4573 NEW BEST:: SOT 15584 SOS 9020 HAS SOPS 9020 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7138.02
AT ITER 4590 NEW BEST:: SOT 15578 SOS 9016 HAS SOPS 9016 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7134.016
AT ITER 4670 NEW BEST:: SOT 15571 SOS 9009 HAS SOPS 9009 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7127.009
AT ITER 4692 NEW BEST:: SOT 15581 SOS 9013 HAS SOPS 9013 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7124.013
AT ITER 4763 NEW BEST:: SOT 15577 SOS 9009 HAS SOPS 9009 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7120.009
AT ITER 4764 NEW BEST:: SOT 15567 SOS 9001 HAS SOPS 9001 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7115.001
AT ITER 4789 NEW BEST:: SOT 15558 SOS 9007 HAS SOPS 9007 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7106.007
AT ITER 4822 NEW BEST:: SOT 15542 SOS 9004 HAS SOPS 9004 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7103.004
AT ITER 4865 NEW BEST:: SOT 15533 SOS 8995 HAS SOPS 8995 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7093.995
AT ITER 4876 NEW BEST:: SOT 15487 SOS 8969 HAS SOPS 8969 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.969
AT ITER 4902 NEW BEST:: SOT 15484 SOS 8966 HAS SOPS 8966 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7086.966
AT ITER 4937 NEW BEST:: SOT 15467 SOS 8957 HAS SOPS 8957 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7080.957
AT ITER 4947 NEW BEST:: SOT 15464 SOS 8954 HAS SOPS 8954 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.954
AT ITER 5025 NEW BEST:: SOT 15463 SOS 8957 HAS SOPS 8957 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.957
AT ITER 5087 NEW BEST:: SOT 15460 SOS 8954 HAS SOPS 8954 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.954
AT ITER 5097 NEW BEST:: SOT 15459 SOS 8968 HAS SOPS 8968 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7072.968
AT ITER 5117 NEW BEST:: SOT 15445 SOS 8962 HAS SOPS 8962 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7070.962
AT ITER 5121 NEW BEST:: SOT 15442 SOS 8959 HAS SOPS 8959 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.959
AT ITER 5172 NEW BEST:: SOT 15437 SOS 8958 HAS SOPS 8958 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7062.958
AT ITER 5188 NEW BEST:: SOT 15436 SOS 9025 HAS SOPS 9025 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7062.025
AT ITER 5191 NEW BEST:: SOT 15450 SOS 8983 HAS SOPS 8983 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7061.983
AT ITER 5195 NEW BEST:: SOT 15442 SOS 8975 HAS SOPS 8975 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7053.975
AT ITER 5232 NEW BEST:: SOT 15430 SOS 8992 HAS SOPS 8992 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.992
AT ITER 5269 NEW BEST:: SOT 15430 SOS 8992 HAS SOPS 8992 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7048.992
AT ITER 5292 NEW BEST:: SOT 15424 SOS 8995 HAS SOPS 8995 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7042.995
AT ITER 5326 NEW BEST:: SOT 15419 SOS 8990 HAS SOPS 8990 HAS SOUS 7029 HAS SOUPS 7029 WITH SCORE 7037.99
AT ITER 5418 NEW BEST:: SOT 15417 SOS 8988 HAS SOPS 8988 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7035.988
AT ITER 5502 NEW BEST:: SOT 15416 SOS 8987 HAS SOPS 8987 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7034.987
AT ITER 5525 NEW BEST:: SOT 15410 SOS 9005 HAS SOPS 9005 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7032.005
AT ITER 5536 NEW BEST:: SOT 15410 SOS 9003 HAS SOPS 9003 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7032.003
AT ITER 5608 NEW BEST:: SOT 15407 SOS 9000 HAS SOPS 9000 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7029.0
AT ITER 5617 NEW BEST:: SOT 15407 SOS 8956 HAS SOPS 8956 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7025.956
AT ITER 5619 NEW BEST:: SOT 15405 SOS 8954 HAS SOPS 8954 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.954
AT ITER 5792 NEW BEST:: SOT 15405 SOS 8954 HAS SOPS 8954 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7021.954
AT ITER 5800 NEW BEST:: SOT 15416 SOS 8947 HAS SOPS 8947 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7018.947
AT ITER 5805 NEW BEST:: SOT 15410 SOS 8943 HAS SOPS 8943 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7014.943
AT ITER 5812 NEW BEST:: SOT 15410 SOS 8934 HAS SOPS 8934 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7014.934
AT ITER 5836 NEW BEST:: SOT 15410 SOS 8934 HAS SOPS 8934 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7009.934
AT ITER 5874 NEW BEST:: SOT 15411 SOS 8930 HAS SOPS 8930 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7000.93
AT ITER 5893 NEW BEST:: SOT 15399 SOS 8924 HAS SOPS 8924 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6994.924
AT ITER 5959 NEW BEST:: SOT 15398 SOS 8923 HAS SOPS 8923 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6992.923
AT ITER 6003 NEW BEST:: SOT 15398 SOS 8921 HAS SOPS 8921 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.921
AT ITER 6068 NEW BEST:: SOT 15392 SOS 8915 HAS SOPS 8915 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6984.915
AT ITER 6072 NEW BEST:: SOT 15384 SOS 8931 HAS SOPS 8931 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6982.931
AT ITER 6103 NEW BEST:: SOT 15375 SOS 8925 HAS SOPS 8925 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6978.925
AT ITER 6133 NEW BEST:: SOT 15366 SOS 8924 HAS SOPS 8924 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6977.924
AT ITER 6141 NEW BEST:: SOT 15346 SOS 8915 HAS SOPS 8915 HAS SOUS 6967 HAS SOUPS 6967 WITH SCORE 6975.915
AT ITER 6163 NEW BEST:: SOT 15336 SOS 8908 HAS SOPS 8908 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.908
AT ITER 6237 NEW BEST:: SOT 15336 SOS 8906 HAS SOPS 8906 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.906
AT ITER 6255 NEW BEST:: SOT 15335 SOS 8905 HAS SOPS 8905 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6967.905
AT ITER 6266 NEW BEST:: SOT 15329 SOS 8903 HAS SOPS 8903 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6965.903
AT ITER 6322 NEW BEST:: SOT 15326 SOS 8902 HAS SOPS 8902 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6964.902
AT ITER 6384 NEW BEST:: SOT 15322 SOS 8898 HAS SOPS 8898 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.898
AT ITER 6434 NEW BEST:: SOT 15318 SOS 8894 HAS SOPS 8894 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6952.894
AT ITER 6436 NEW BEST:: SOT 15323 SOS 8893 HAS SOPS 8893 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.893
AT ITER 6533 NEW BEST:: SOT 15321 SOS 8891 HAS SOPS 8891 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6949.891
AT ITER 6661 NEW BEST:: SOT 15320 SOS 8890 HAS SOPS 8890 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6948.89
AT ITER 6688 NEW BEST:: SOT 15317 SOS 8887 HAS SOPS 8887 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6945.887
AT ITER 6703 NEW BEST:: SOT 15317 SOS 8887 HAS SOPS 8887 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6944.887
AT ITER 6798 NEW BEST:: SOT 15316 SOS 8886 HAS SOPS 8886 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6943.886
AT ITER 6861 NEW BEST:: SOT 15316 SOS 8880 HAS SOPS 8880 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6943.88
AT ITER 6870 NEW BEST:: SOT 15318 SOS 8870 HAS SOPS 8870 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.87
AT ITER 6908 NEW BEST:: SOT 15312 SOS 8864 HAS SOPS 8864 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.864
AT ITER 6915 NEW BEST:: SOT 15303 SOS 8879 HAS SOPS 8879 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6933.879
AT ITER 6984 NEW BEST:: SOT 15303 SOS 8879 HAS SOPS 8879 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.879
AT ITER 7016 NEW BEST:: SOT 15298 SOS 8894 HAS SOPS 8894 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.894
AT ITER 7031 NEW BEST:: SOT 15298 SOS 8871 HAS SOPS 8871 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.871
AT ITER 7034 NEW BEST:: SOT 15295 SOS 8870 HAS SOPS 8870 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6926.87
AT ITER 7050 NEW BEST:: SOT 15286 SOS 8868 HAS SOPS 8868 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6924.868
AT ITER 7130 NEW BEST:: SOT 15284 SOS 8866 HAS SOPS 8866 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6922.866
AT ITER 7146 NEW BEST:: SOT 15282 SOS 8864 HAS SOPS 8864 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6920.864
AT ITER 7189 NEW BEST:: SOT 15280 SOS 8863 HAS SOPS 8863 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6920.863
AT ITER 7206 NEW BEST:: SOT 15276 SOS 8859 HAS SOPS 8859 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6916.859
AT ITER 7213 NEW BEST:: SOT 15275 SOS 8858 HAS SOPS 8858 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6915.858
AT ITER 7243 NEW BEST:: SOT 15274 SOS 8857 HAS SOPS 8857 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6914.857
AT ITER 7250 NEW BEST:: SOT 15272 SOS 8855 HAS SOPS 8855 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.855
AT ITER 7332 NEW BEST:: SOT 15272 SOS 8854 HAS SOPS 8854 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6912.854
AT ITER 7349 NEW BEST:: SOT 15277 SOS 8856 HAS SOPS 8856 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6911.856
AT ITER 7364 NEW BEST:: SOT 15276 SOS 8856 HAS SOPS 8856 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6910.856
AT ITER 7366 NEW BEST:: SOT 15272 SOS 8844 HAS SOPS 8844 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.844
AT ITER 7417 NEW BEST:: SOT 15272 SOS 8841 HAS SOPS 8841 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.841
AT ITER 7425 NEW BEST:: SOT 15271 SOS 8840 HAS SOPS 8840 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6907.84
AT ITER 7427 NEW BEST:: SOT 15272 SOS 8841 HAS SOPS 8841 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6892.841
AT ITER 7556 NEW BEST:: SOT 15271 SOS 8840 HAS SOPS 8840 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6891.84
AT ITER 7586 NEW BEST:: SOT 15269 SOS 8854 HAS SOPS 8854 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6890.854
AT ITER 7632 NEW BEST:: SOT 15270 SOS 8855 HAS SOPS 8855 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6889.855
AT ITER 7647 NEW BEST:: SOT 15270 SOS 8852 HAS SOPS 8852 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6883.852
AT ITER 7683 NEW BEST:: SOT 15270 SOS 8846 HAS SOPS 8846 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6883.846
AT ITER 7718 NEW BEST:: SOT 15269 SOS 8845 HAS SOPS 8845 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6882.845
AT ITER 7719 NEW BEST:: SOT 15264 SOS 8855 HAS SOPS 8855 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6881.855
AT ITER 7955 NEW BEST:: SOT 15261 SOS 8852 HAS SOPS 8852 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6878.852
AT ITER 7956 NEW BEST:: SOT 15248 SOS 8855 HAS SOPS 8855 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6873.855
AT ITER 7980 NEW BEST:: SOT 15246 SOS 8854 HAS SOPS 8854 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6873.854
AT ITER 8008 NEW BEST:: SOT 15245 SOS 8853 HAS SOPS 8853 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6872.853
AT ITER 8076 NEW BEST:: SOT 15245 SOS 8851 HAS SOPS 8851 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6870.851
AT ITER 8193 NEW BEST:: SOT 15245 SOS 8851 HAS SOPS 8851 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6866.851
AT ITER 8199 NEW BEST:: SOT 15234 SOS 8849 HAS SOPS 8849 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.849
AT ITER 8241 NEW BEST:: SOT 15235 SOS 8841 HAS SOPS 8841 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.841
AT ITER 8364 NEW BEST:: SOT 15233 SOS 8839 HAS SOPS 8839 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.839
AT ITER 8428 NEW BEST:: SOT 15221 SOS 8833 HAS SOPS 8833 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.833
AT ITER 8541 NEW BEST:: SOT 15228 SOS 8831 HAS SOPS 8831 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6854.831
AT ITER 8597 NEW BEST:: SOT 15227 SOS 8832 HAS SOPS 8832 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6853.832
AT ITER 8599 NEW BEST:: SOT 15226 SOS 8873 HAS SOPS 8873 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6852.873
AT ITER 8619 NEW BEST:: SOT 15225 SOS 8875 HAS SOPS 8875 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6851.875
AT ITER 8798 NEW BEST:: SOT 15225 SOS 8875 HAS SOPS 8875 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6850.875
AT ITER 8872 NEW BEST:: SOT 15200 SOS 8874 HAS SOPS 8874 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.874
AT ITER 8894 NEW BEST:: SOT 15198 SOS 8872 HAS SOPS 8872 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6847.872
AT ITER 8917 NEW BEST:: SOT 15197 SOS 8871 HAS SOPS 8871 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.871
AT ITER 8939 NEW BEST:: SOT 15195 SOS 8869 HAS SOPS 8869 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6844.869
AT ITER 8941 NEW BEST:: SOT 15193 SOS 8867 HAS SOPS 8867 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.867
AT ITER 9117 NEW BEST:: SOT 15187 SOS 8863 HAS SOPS 8863 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6839.863
AT ITER 9127 NEW BEST:: SOT 15186 SOS 8862 HAS SOPS 8862 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6839.862
AT ITER 9140 NEW BEST:: SOT 15185 SOS 8861 HAS SOPS 8861 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6838.861
AT ITER 9195 NEW BEST:: SOT 15186 SOS 8861 HAS SOPS 8861 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6837.861
AT ITER 9309 NEW BEST:: SOT 15191 SOS 8861 HAS SOPS 8861 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6835.861
AT ITER 9355 NEW BEST:: SOT 15185 SOS 8855 HAS SOPS 8855 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6829.855
AT ITER 9376 NEW BEST:: SOT 15178 SOS 8848 HAS SOPS 8848 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6815.848
AT ITER 9409 NEW BEST:: SOT 15187 SOS 8852 HAS SOPS 8852 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6809.852
AT ITER 9658 NEW BEST:: SOT 15187 SOS 8844 HAS SOPS 8844 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6807.844
AT ITER 9844 NEW BEST:: SOT 15188 SOS 8847 HAS SOPS 8847 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6806.847
AT ITER 9864 NEW BEST:: SOT 15183 SOS 8862 HAS SOPS 8862 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.862
AT ITER 9884 NEW BEST:: SOT 15184 SOS 8860 HAS SOPS 8860 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.86
AT ITER 9908 NEW BEST:: SOT 15184 SOS 8852 HAS SOPS 8852 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.852
AT ITER 9950 NEW BEST:: SOT 15184 SOS 8848 HAS SOPS 8848 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6798.848
AT ITER 9981 NEW BEST:: SOT 15174 SOS 8844 HAS SOPS 8844 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6794.844
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 170876 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16277928 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN05"
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 Sudoku-PT-AN05, 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 r491-tall-167912710200200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN05.tgz
mv Sudoku-PT-AN05 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 ;