About the Execution of Smart+red for NeighborGrid-PT-d4n3m2c23
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.344 | 978478.00 | 1005468.00 | 11623.90 | [undef] | Cannot compute |
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.r267-smll-167863541400104.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 NeighborGrid-PT-d4n3m2c23, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541400104
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 8.3K Feb 26 12:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 12:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 10:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 13:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K Feb 26 13:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 12:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 469K 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 1678760523616
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=NeighborGrid-PT-d4n3m2c23
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 02:22:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 02:22:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 02:22:06] [INFO ] Load time of PNML (sax parser for PT used): 159 ms
[2023-03-14 02:22:06] [INFO ] Transformed 81 places.
[2023-03-14 02:22:06] [INFO ] Transformed 1632 transitions.
[2023-03-14 02:22:06] [INFO ] Parsed PT model containing 81 places and 1632 transitions and 3264 arcs in 363 ms.
[2023-03-14 02:22:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 81 places, 1632 transitions and 3264 arcs took 16 ms.
Total runtime 423 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeighborGrid (PT), instance d4n3m2c23
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: 81 places, 1632 transitions, 3264 arcs.
AT ITER 0 NEW BEST:: SOT 82780 SOS 43196 HAS SOPS 43196 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7307.196
AT ITER 2 NEW BEST:: SOT 82926 SOS 43182 HAS SOPS 43182 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7307.182
AT ITER 3 NEW BEST:: SOT 82924 SOS 43178 HAS SOPS 43178 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7307.178
AT ITER 6 NEW BEST:: SOT 82868 SOS 43066 HAS SOPS 43066 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7307.066
AT ITER 19 NEW BEST:: SOT 82966 SOS 43010 HAS SOPS 43010 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7307.01
AT ITER 20 NEW BEST:: SOT 83026 SOS 42998 HAS SOPS 42998 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7306.998
AT ITER 32 NEW BEST:: SOT 82570 SOS 42590 HAS SOPS 42590 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7278.59
AT ITER 45 NEW BEST:: SOT 82614 SOS 42510 HAS SOPS 42510 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7278.51
AT ITER 46 NEW BEST:: SOT 82554 SOS 42390 HAS SOPS 42390 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7278.39
AT ITER 53 NEW BEST:: SOT 82362 SOS 42762 HAS SOPS 42762 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7254.762
AT ITER 55 NEW BEST:: SOT 82454 SOS 42568 HAS SOPS 42568 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7254.568
AT ITER 60 NEW BEST:: SOT 81960 SOS 42318 HAS SOPS 42318 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7148.318
AT ITER 63 NEW BEST:: SOT 81940 SOS 42206 HAS SOPS 42206 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7140.206
AT ITER 64 NEW BEST:: SOT 81928 SOS 42182 HAS SOPS 42182 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7140.182
AT ITER 66 NEW BEST:: SOT 81758 SOS 42112 HAS SOPS 42112 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7126.112
AT ITER 74 NEW BEST:: SOT 81006 SOS 41928 HAS SOPS 41928 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 7019.928
AT ITER 81 NEW BEST:: SOT 81018 SOS 41848 HAS SOPS 41848 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 7019.848
AT ITER 88 NEW BEST:: SOT 81020 SOS 41834 HAS SOPS 41834 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 7019.834
AT ITER 89 NEW BEST:: SOT 81088 SOS 41658 HAS SOPS 41658 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 7019.658
AT ITER 90 NEW BEST:: SOT 81264 SOS 41542 HAS SOPS 41542 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 7019.542
AT ITER 93 NEW BEST:: SOT 81298 SOS 41430 HAS SOPS 41430 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 7015.43
AT ITER 101 NEW BEST:: SOT 81158 SOS 41402 HAS SOPS 41402 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 7011.402
AT ITER 107 NEW BEST:: SOT 81058 SOS 41202 HAS SOPS 41202 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6995.202
AT ITER 108 NEW BEST:: SOT 81046 SOS 41178 HAS SOPS 41178 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6993.178
AT ITER 111 NEW BEST:: SOT 80866 SOS 41286 HAS SOPS 41286 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6989.286
AT ITER 112 NEW BEST:: SOT 80868 SOS 41092 HAS SOPS 41092 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6983.092
AT ITER 113 NEW BEST:: SOT 80934 SOS 41224 HAS SOPS 41224 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6973.224
AT ITER 115 NEW BEST:: SOT 80796 SOS 41128 HAS SOPS 41128 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6973.128
AT ITER 121 NEW BEST:: SOT 80660 SOS 41162 HAS SOPS 41162 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6965.162
AT ITER 133 NEW BEST:: SOT 80710 SOS 41080 HAS SOPS 41080 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6965.08
AT ITER 140 NEW BEST:: SOT 80708 SOS 41076 HAS SOPS 41076 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6965.076
AT ITER 143 NEW BEST:: SOT 80668 SOS 41056 HAS SOPS 41056 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6957.056
AT ITER 144 NEW BEST:: SOT 80656 SOS 41032 HAS SOPS 41032 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6951.032
AT ITER 154 NEW BEST:: SOT 79640 SOS 40892 HAS SOPS 40892 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6948.892
AT ITER 165 NEW BEST:: SOT 79540 SOS 40860 HAS SOPS 40860 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6944.86
AT ITER 167 NEW BEST:: SOT 79948 SOS 40780 HAS SOPS 40780 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6930.78
AT ITER 177 NEW BEST:: SOT 79818 SOS 40700 HAS SOPS 40700 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6922.7
AT ITER 178 NEW BEST:: SOT 79832 SOS 40620 HAS SOPS 40620 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6910.62
AT ITER 180 NEW BEST:: SOT 79820 SOS 40596 HAS SOPS 40596 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6890.596
AT ITER 186 NEW BEST:: SOT 79812 SOS 40580 HAS SOPS 40580 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6890.58
AT ITER 190 NEW BEST:: SOT 79892 SOS 40470 HAS SOPS 40470 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6890.47
AT ITER 192 NEW BEST:: SOT 79542 SOS 41048 HAS SOPS 41048 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6799.048
AT ITER 195 NEW BEST:: SOT 79460 SOS 40452 HAS SOPS 40452 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6796.452
AT ITER 200 NEW BEST:: SOT 79458 SOS 40448 HAS SOPS 40448 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6790.448
AT ITER 203 NEW BEST:: SOT 79492 SOS 40444 HAS SOPS 40444 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6790.444
AT ITER 211 NEW BEST:: SOT 79476 SOS 40412 HAS SOPS 40412 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6790.412
AT ITER 230 NEW BEST:: SOT 79540 SOS 40540 HAS SOPS 40540 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6772.54
AT ITER 234 NEW BEST:: SOT 79556 SOS 40482 HAS SOPS 40482 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6772.482
AT ITER 252 NEW BEST:: SOT 79550 SOS 40434 HAS SOPS 40434 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6772.434
AT ITER 256 NEW BEST:: SOT 79514 SOS 40362 HAS SOPS 40362 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6756.362
AT ITER 262 NEW BEST:: SOT 79602 SOS 40340 HAS SOPS 40340 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6756.34
AT ITER 268 NEW BEST:: SOT 79688 SOS 39872 HAS SOPS 39872 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6755.872
AT ITER 270 NEW BEST:: SOT 79690 SOS 39804 HAS SOPS 39804 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6749.804
AT ITER 275 NEW BEST:: SOT 79666 SOS 39756 HAS SOPS 39756 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6741.756
AT ITER 277 NEW BEST:: SOT 79416 SOS 39532 HAS SOPS 39532 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6675.532
AT ITER 279 NEW BEST:: SOT 79446 SOS 39358 HAS SOPS 39358 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6675.358
AT ITER 292 NEW BEST:: SOT 79450 SOS 39366 HAS SOPS 39366 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6673.366
AT ITER 297 NEW BEST:: SOT 79442 SOS 39350 HAS SOPS 39350 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6673.35
AT ITER 298 NEW BEST:: SOT 79398 SOS 39262 HAS SOPS 39262 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6673.262
AT ITER 309 NEW BEST:: SOT 79580 SOS 38758 HAS SOPS 38758 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6672.758
AT ITER 333 NEW BEST:: SOT 79688 SOS 38704 HAS SOPS 38704 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6672.704
AT ITER 337 NEW BEST:: SOT 79432 SOS 38768 HAS SOPS 38768 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6660.768
AT ITER 348 NEW BEST:: SOT 79554 SOS 38652 HAS SOPS 38652 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6660.652
AT ITER 351 NEW BEST:: SOT 79560 SOS 38448 HAS SOPS 38448 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6660.448
AT ITER 358 NEW BEST:: SOT 79602 SOS 38370 HAS SOPS 38370 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6660.37
AT ITER 369 NEW BEST:: SOT 79656 SOS 38190 HAS SOPS 38190 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6636.19
AT ITER 392 NEW BEST:: SOT 79636 SOS 38150 HAS SOPS 38150 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6636.15
AT ITER 395 NEW BEST:: SOT 79644 SOS 38148 HAS SOPS 38148 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6634.148
AT ITER 406 NEW BEST:: SOT 79832 SOS 38092 HAS SOPS 38092 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6634.092
AT ITER 415 NEW BEST:: SOT 79664 SOS 38044 HAS SOPS 38044 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6634.044
AT ITER 419 NEW BEST:: SOT 79662 SOS 38040 HAS SOPS 38040 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6634.04
AT ITER 424 NEW BEST:: SOT 79664 SOS 38044 HAS SOPS 38044 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6620.044
AT ITER 426 NEW BEST:: SOT 79128 SOS 38012 HAS SOPS 38012 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6520.012
AT ITER 431 NEW BEST:: SOT 79000 SOS 37888 HAS SOPS 37888 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6499.888
AT ITER 433 NEW BEST:: SOT 78994 SOS 37876 HAS SOPS 37876 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6499.876
AT ITER 445 NEW BEST:: SOT 78994 SOS 37876 HAS SOPS 37876 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6491.876
AT ITER 450 NEW BEST:: SOT 79092 SOS 37952 HAS SOPS 37952 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6487.952
AT ITER 454 NEW BEST:: SOT 79068 SOS 37904 HAS SOPS 37904 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6485.904
AT ITER 456 NEW BEST:: SOT 79070 SOS 37788 HAS SOPS 37788 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6465.788
AT ITER 461 NEW BEST:: SOT 78980 SOS 37716 HAS SOPS 37716 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6455.716
AT ITER 485 NEW BEST:: SOT 78952 SOS 37660 HAS SOPS 37660 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6451.66
AT ITER 495 NEW BEST:: SOT 78898 SOS 38146 HAS SOPS 38146 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6450.146
AT ITER 506 NEW BEST:: SOT 79006 SOS 37612 HAS SOPS 37612 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6441.612
AT ITER 510 NEW BEST:: SOT 79002 SOS 37604 HAS SOPS 37604 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6427.604
AT ITER 517 NEW BEST:: SOT 78978 SOS 37600 HAS SOPS 37600 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6425.6
AT ITER 525 NEW BEST:: SOT 79024 SOS 37472 HAS SOPS 37472 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6425.472
AT ITER 529 NEW BEST:: SOT 79028 SOS 37454 HAS SOPS 37454 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6425.454
AT ITER 531 NEW BEST:: SOT 78994 SOS 38178 HAS SOPS 38178 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6424.178
AT ITER 534 NEW BEST:: SOT 78902 SOS 38114 HAS SOPS 38114 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6400.114
AT ITER 543 NEW BEST:: SOT 78908 SOS 38108 HAS SOPS 38108 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6400.108
AT ITER 546 NEW BEST:: SOT 78894 SOS 38106 HAS SOPS 38106 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6398.106
AT ITER 547 NEW BEST:: SOT 78954 SOS 38058 HAS SOPS 38058 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6370.058
AT ITER 562 NEW BEST:: SOT 78938 SOS 38026 HAS SOPS 38026 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6370.026
AT ITER 569 NEW BEST:: SOT 78946 SOS 37886 HAS SOPS 37886 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6369.886
AT ITER 578 NEW BEST:: SOT 79192 SOS 36998 HAS SOPS 36998 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6364.998
AT ITER 582 NEW BEST:: SOT 79208 SOS 36886 HAS SOPS 36886 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6364.886
AT ITER 592 NEW BEST:: SOT 79208 SOS 36808 HAS SOPS 36808 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6364.808
AT ITER 597 NEW BEST:: SOT 79190 SOS 36772 HAS SOPS 36772 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6360.772
AT ITER 601 NEW BEST:: SOT 79186 SOS 36710 HAS SOPS 36710 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6356.71
AT ITER 619 NEW BEST:: SOT 79304 SOS 36670 HAS SOPS 36670 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6356.67
AT ITER 629 NEW BEST:: SOT 79302 SOS 36666 HAS SOPS 36666 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6356.666
AT ITER 630 NEW BEST:: SOT 79294 SOS 36650 HAS SOPS 36650 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6356.65
AT ITER 636 NEW BEST:: SOT 79292 SOS 36646 HAS SOPS 36646 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6354.646
AT ITER 644 NEW BEST:: SOT 79256 SOS 36610 HAS SOPS 36610 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6336.61
AT ITER 653 NEW BEST:: SOT 79228 SOS 36590 HAS SOPS 36590 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6312.59
AT ITER 679 NEW BEST:: SOT 79252 SOS 36550 HAS SOPS 36550 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6312.55
AT ITER 683 NEW BEST:: SOT 79248 SOS 36542 HAS SOPS 36542 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6312.542
AT ITER 687 NEW BEST:: SOT 79242 SOS 36530 HAS SOPS 36530 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6312.53
AT ITER 688 NEW BEST:: SOT 79212 SOS 36470 HAS SOPS 36470 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6274.47
AT ITER 691 NEW BEST:: SOT 79202 SOS 36450 HAS SOPS 36450 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6268.45
AT ITER 694 NEW BEST:: SOT 79260 SOS 36410 HAS SOPS 36410 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6268.41
AT ITER 696 NEW BEST:: SOT 79394 SOS 36678 HAS SOPS 36678 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6266.678
AT ITER 697 NEW BEST:: SOT 79364 SOS 36672 HAS SOPS 36672 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6260.672
AT ITER 705 NEW BEST:: SOT 79372 SOS 37920 HAS SOPS 37920 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6259.92
AT ITER 727 NEW BEST:: SOT 79356 SOS 37828 HAS SOPS 37828 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.828
AT ITER 742 NEW BEST:: SOT 79364 SOS 37714 HAS SOPS 37714 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.714
AT ITER 744 NEW BEST:: SOT 79350 SOS 37686 HAS SOPS 37686 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.686
AT ITER 753 NEW BEST:: SOT 79338 SOS 37662 HAS SOPS 37662 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.662
AT ITER 754 NEW BEST:: SOT 79340 SOS 37402 HAS SOPS 37402 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.402
AT ITER 771 NEW BEST:: SOT 79342 SOS 37370 HAS SOPS 37370 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.37
AT ITER 777 NEW BEST:: SOT 79346 SOS 37288 HAS SOPS 37288 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.288
AT ITER 797 NEW BEST:: SOT 79228 SOS 37272 HAS SOPS 37272 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6257.272
AT ITER 801 NEW BEST:: SOT 79222 SOS 37260 HAS SOPS 37260 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6247.26
AT ITER 807 NEW BEST:: SOT 79208 SOS 37142 HAS SOPS 37142 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6247.142
AT ITER 808 NEW BEST:: SOT 79208 SOS 37142 HAS SOPS 37142 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6245.142
AT ITER 814 NEW BEST:: SOT 79224 SOS 38344 HAS SOPS 38344 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6238.344
AT ITER 822 NEW BEST:: SOT 79192 SOS 38328 HAS SOPS 38328 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6222.328
AT ITER 828 NEW BEST:: SOT 79182 SOS 38326 HAS SOPS 38326 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6222.326
AT ITER 836 NEW BEST:: SOT 79186 SOS 38334 HAS SOPS 38334 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6218.334
AT ITER 843 NEW BEST:: SOT 79180 SOS 38394 HAS SOPS 38394 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6216.394
AT ITER 859 NEW BEST:: SOT 79176 SOS 38386 HAS SOPS 38386 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6216.386
AT ITER 873 NEW BEST:: SOT 78866 SOS 38078 HAS SOPS 38078 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6214.078
AT ITER 879 NEW BEST:: SOT 78862 SOS 38070 HAS SOPS 38070 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6214.07
AT ITER 908 NEW BEST:: SOT 78904 SOS 37464 HAS SOPS 37464 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6213.464
AT ITER 918 NEW BEST:: SOT 78862 SOS 37380 HAS SOPS 37380 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6193.38
AT ITER 923 NEW BEST:: SOT 78850 SOS 37356 HAS SOPS 37356 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6193.356
AT ITER 930 NEW BEST:: SOT 78856 SOS 37350 HAS SOPS 37350 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6193.35
AT ITER 932 NEW BEST:: SOT 78828 SOS 37294 HAS SOPS 37294 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6193.294
AT ITER 939 NEW BEST:: SOT 78814 SOS 37266 HAS SOPS 37266 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6189.266
AT ITER 952 NEW BEST:: SOT 78890 SOS 36924 HAS SOPS 36924 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6188.924
AT ITER 1002 NEW BEST:: SOT 78492 SOS 38152 HAS SOPS 38152 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6188.152
AT ITER 1008 NEW BEST:: SOT 78452 SOS 38552 HAS SOPS 38552 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6178.552
AT ITER 1015 NEW BEST:: SOT 78442 SOS 38532 HAS SOPS 38532 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6178.532
AT ITER 1017 NEW BEST:: SOT 78468 SOS 38476 HAS SOPS 38476 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6178.476
AT ITER 1022 NEW BEST:: SOT 78420 SOS 38380 HAS SOPS 38380 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6178.38
AT ITER 1028 NEW BEST:: SOT 78442 SOS 38280 HAS SOPS 38280 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6170.28
AT ITER 1032 NEW BEST:: SOT 78458 SOS 38286 HAS SOPS 38286 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6166.286
AT ITER 1038 NEW BEST:: SOT 78328 SOS 38642 HAS SOPS 38642 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6164.642
AT ITER 1041 NEW BEST:: SOT 78432 SOS 38646 HAS SOPS 38646 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6124.646
AT ITER 1043 NEW BEST:: SOT 78414 SOS 38610 HAS SOPS 38610 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6124.61
AT ITER 1049 NEW BEST:: SOT 78462 SOS 38490 HAS SOPS 38490 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6124.49
AT ITER 1060 NEW BEST:: SOT 78494 SOS 38404 HAS SOPS 38404 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6122.404
AT ITER 1071 NEW BEST:: SOT 78500 SOS 38106 HAS SOPS 38106 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6122.106
AT ITER 1078 NEW BEST:: SOT 78552 SOS 38210 HAS SOPS 38210 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6120.21
AT ITER 1093 NEW BEST:: SOT 78552 SOS 38210 HAS SOPS 38210 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.21
AT ITER 1095 NEW BEST:: SOT 78294 SOS 38162 HAS SOPS 38162 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.162
AT ITER 1098 NEW BEST:: SOT 78300 SOS 38102 HAS SOPS 38102 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.102
AT ITER 1130 NEW BEST:: SOT 78304 SOS 38092 HAS SOPS 38092 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.092
AT ITER 1135 NEW BEST:: SOT 78362 SOS 38064 HAS SOPS 38064 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6092.064
AT ITER 1136 NEW BEST:: SOT 78292 SOS 37996 HAS SOPS 37996 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6073.996
AT ITER 1142 NEW BEST:: SOT 78356 SOS 37724 HAS SOPS 37724 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6073.724
AT ITER 1183 NEW BEST:: SOT 78356 SOS 37594 HAS SOPS 37594 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6073.594
AT ITER 1199 NEW BEST:: SOT 78360 SOS 37602 HAS SOPS 37602 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6069.602
AT ITER 1210 NEW BEST:: SOT 78364 SOS 37830 HAS SOPS 37830 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6065.83
AT ITER 1218 NEW BEST:: SOT 78350 SOS 37598 HAS SOPS 37598 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6065.598
AT ITER 1227 NEW BEST:: SOT 78382 SOS 37578 HAS SOPS 37578 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6065.578
AT ITER 1256 NEW BEST:: SOT 78384 SOS 37492 HAS SOPS 37492 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6053.492
AT ITER 1265 NEW BEST:: SOT 78444 SOS 37260 HAS SOPS 37260 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6053.26
AT ITER 1271 NEW BEST:: SOT 78406 SOS 37272 HAS SOPS 37272 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6047.272
AT ITER 1332 NEW BEST:: SOT 78406 SOS 37246 HAS SOPS 37246 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6047.246
AT ITER 1336 NEW BEST:: SOT 78462 SOS 37088 HAS SOPS 37088 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6047.088
AT ITER 1368 NEW BEST:: SOT 78522 SOS 37208 HAS SOPS 37208 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6039.208
AT ITER 1378 NEW BEST:: SOT 78520 SOS 37186 HAS SOPS 37186 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6039.186
AT ITER 1403 NEW BEST:: SOT 78526 SOS 37180 HAS SOPS 37180 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6039.18
AT ITER 1407 NEW BEST:: SOT 78834 SOS 37076 HAS SOPS 37076 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6039.076
AT ITER 1414 NEW BEST:: SOT 78850 SOS 36982 HAS SOPS 36982 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 6016.982
AT ITER 1432 NEW BEST:: SOT 79300 SOS 37098 HAS SOPS 37098 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5963.098
AT ITER 1434 NEW BEST:: SOT 78644 SOS 37194 HAS SOPS 37194 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5945.194
AT ITER 1435 NEW BEST:: SOT 78668 SOS 37188 HAS SOPS 37188 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5945.188
AT ITER 1483 NEW BEST:: SOT 78664 SOS 37126 HAS SOPS 37126 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5945.126
AT ITER 1551 NEW BEST:: SOT 78656 SOS 37110 HAS SOPS 37110 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5945.11
AT ITER 1577 NEW BEST:: SOT 78652 SOS 37102 HAS SOPS 37102 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5929.102
AT ITER 1584 NEW BEST:: SOT 78942 SOS 37006 HAS SOPS 37006 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5909.006
AT ITER 1590 NEW BEST:: SOT 78764 SOS 37046 HAS SOPS 37046 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5889.046
AT ITER 1613 NEW BEST:: SOT 78642 SOS 37192 HAS SOPS 37192 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5877.192
AT ITER 1671 NEW BEST:: SOT 78636 SOS 37252 HAS SOPS 37252 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5873.252
AT ITER 1672 NEW BEST:: SOT 78696 SOS 37246 HAS SOPS 37246 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5873.246
AT ITER 1678 NEW BEST:: SOT 78690 SOS 37234 HAS SOPS 37234 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5873.234
AT ITER 1685 NEW BEST:: SOT 78738 SOS 37204 HAS SOPS 37204 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5873.204
AT ITER 1708 NEW BEST:: SOT 78714 SOS 37084 HAS SOPS 37084 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5849.084
AT ITER 1765 NEW BEST:: SOT 78724 SOS 37050 HAS SOPS 37050 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5849.05
AT ITER 1777 NEW BEST:: SOT 78766 SOS 37008 HAS SOPS 37008 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5849.008
AT ITER 1784 NEW BEST:: SOT 78766 SOS 36956 HAS SOPS 36956 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5848.956
AT ITER 1824 NEW BEST:: SOT 78756 SOS 36936 HAS SOPS 36936 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5848.936
AT ITER 1834 NEW BEST:: SOT 78772 SOS 36920 HAS SOPS 36920 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5848.92
AT ITER 1838 NEW BEST:: SOT 78784 SOS 36918 HAS SOPS 36918 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5848.918
AT ITER 1857 NEW BEST:: SOT 78984 SOS 36778 HAS SOPS 36778 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5814.778
AT ITER 1886 NEW BEST:: SOT 78944 SOS 37226 HAS SOPS 37226 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5811.226
AT ITER 1927 NEW BEST:: SOT 78986 SOS 37178 HAS SOPS 37178 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5811.178
AT ITER 1929 NEW BEST:: SOT 78924 SOS 37126 HAS SOPS 37126 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5801.126
AT ITER 1963 NEW BEST:: SOT 78900 SOS 37430 HAS SOPS 37430 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5799.43
AT ITER 1970 NEW BEST:: SOT 78918 SOS 37850 HAS SOPS 37850 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5797.85
AT ITER 2002 NEW BEST:: SOT 78918 SOS 37850 HAS SOPS 37850 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.85
AT ITER 2041 NEW BEST:: SOT 78866 SOS 37746 HAS SOPS 37746 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.746
AT ITER 2049 NEW BEST:: SOT 78994 SOS 37442 HAS SOPS 37442 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.442
AT ITER 2088 NEW BEST:: SOT 78982 SOS 37418 HAS SOPS 37418 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.418
AT ITER 2109 NEW BEST:: SOT 78986 SOS 37270 HAS SOPS 37270 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.27
AT ITER 2110 NEW BEST:: SOT 78986 SOS 37222 HAS SOPS 37222 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.222
AT ITER 2115 NEW BEST:: SOT 79010 SOS 37216 HAS SOPS 37216 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.216
AT ITER 2127 NEW BEST:: SOT 78986 SOS 37168 HAS SOPS 37168 HAS SOUS 5758 HAS SOUPS 5758 WITH SCORE 5795.168
AT ITER 2178 NEW BEST:: SOT 78940 SOS 37112 HAS SOPS 37112 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5793.112
AT ITER 2230 NEW BEST:: SOT 78900 SOS 37032 HAS SOPS 37032 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5769.032
AT ITER 2239 NEW BEST:: SOT 78796 SOS 37022 HAS SOPS 37022 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5769.022
AT ITER 2258 NEW BEST:: SOT 78822 SOS 37002 HAS SOPS 37002 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5769.002
AT ITER 2267 NEW BEST:: SOT 78818 SOS 36994 HAS SOPS 36994 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5768.994
AT ITER 2275 NEW BEST:: SOT 78916 SOS 36980 HAS SOPS 36980 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5768.98
AT ITER 2281 NEW BEST:: SOT 78918 SOS 36984 HAS SOPS 36984 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5766.984
AT ITER 2284 NEW BEST:: SOT 78922 SOS 36974 HAS SOPS 36974 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5766.974
AT ITER 2289 NEW BEST:: SOT 78908 SOS 36946 HAS SOPS 36946 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5766.946
AT ITER 2291 NEW BEST:: SOT 78902 SOS 36934 HAS SOPS 36934 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5764.934
AT ITER 2323 NEW BEST:: SOT 78896 SOS 36922 HAS SOPS 36922 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5764.922
AT ITER 2372 NEW BEST:: SOT 78894 SOS 36866 HAS SOPS 36866 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5764.866
AT ITER 2415 NEW BEST:: SOT 78886 SOS 36850 HAS SOPS 36850 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5764.85
AT ITER 2432 NEW BEST:: SOT 78866 SOS 36942 HAS SOPS 36942 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5762.942
AT ITER 2455 NEW BEST:: SOT 78878 SOS 36912 HAS SOPS 36912 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5762.912
AT ITER 2481 NEW BEST:: SOT 78876 SOS 36908 HAS SOPS 36908 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5762.908
AT ITER 2498 NEW BEST:: SOT 78890 SOS 36876 HAS SOPS 36876 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5724.876
AT ITER 2509 NEW BEST:: SOT 78884 SOS 36864 HAS SOPS 36864 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5724.864
AT ITER 2516 NEW BEST:: SOT 78888 SOS 36820 HAS SOPS 36820 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5724.82
AT ITER 2573 NEW BEST:: SOT 78870 SOS 36820 HAS SOPS 36820 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5720.82
AT ITER 2576 NEW BEST:: SOT 78868 SOS 36816 HAS SOPS 36816 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5720.816
AT ITER 2593 NEW BEST:: SOT 78820 SOS 36780 HAS SOPS 36780 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5706.78
AT ITER 2642 NEW BEST:: SOT 78816 SOS 36772 HAS SOPS 36772 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5706.772
AT ITER 2659 NEW BEST:: SOT 78806 SOS 36752 HAS SOPS 36752 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5696.752
AT ITER 2671 NEW BEST:: SOT 78772 SOS 36744 HAS SOPS 36744 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5696.744
AT ITER 2695 NEW BEST:: SOT 78692 SOS 37088 HAS SOPS 37088 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5695.088
AT ITER 2712 NEW BEST:: SOT 78674 SOS 37052 HAS SOPS 37052 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5693.052
AT ITER 2723 NEW BEST:: SOT 78676 SOS 37026 HAS SOPS 37026 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5693.026
AT ITER 2732 NEW BEST:: SOT 78624 SOS 37026 HAS SOPS 37026 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5689.026
AT ITER 2763 NEW BEST:: SOT 78640 SOS 36978 HAS SOPS 36978 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5688.978
AT ITER 2767 NEW BEST:: SOT 78628 SOS 36954 HAS SOPS 36954 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5688.954
AT ITER 2809 NEW BEST:: SOT 78614 SOS 36926 HAS SOPS 36926 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5688.926
AT ITER 2819 NEW BEST:: SOT 78620 SOS 36902 HAS SOPS 36902 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5688.902
AT ITER 2913 NEW BEST:: SOT 78612 SOS 36886 HAS SOPS 36886 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5688.886
AT ITER 2918 NEW BEST:: SOT 78610 SOS 36882 HAS SOPS 36882 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5688.882
AT ITER 2949 NEW BEST:: SOT 78614 SOS 37098 HAS SOPS 37098 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5687.098
AT ITER 2955 NEW BEST:: SOT 78608 SOS 36956 HAS SOPS 36956 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5686.956
AT ITER 2990 NEW BEST:: SOT 78616 SOS 36954 HAS SOPS 36954 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5686.954
AT ITER 2992 NEW BEST:: SOT 78586 SOS 36678 HAS SOPS 36678 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5686.678
AT ITER 3012 NEW BEST:: SOT 78586 SOS 36678 HAS SOPS 36678 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5680.678
AT ITER 3037 NEW BEST:: SOT 78580 SOS 36630 HAS SOPS 36630 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5680.63
AT ITER 3078 NEW BEST:: SOT 78530 SOS 36530 HAS SOPS 36530 HAS SOUS 5644 HAS SOUPS 5644 WITH SCORE 5680.53
AT ITER 3134 NEW BEST:: SOT 78482 SOS 36566 HAS SOPS 36566 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5674.566
AT ITER 3195 NEW BEST:: SOT 78480 SOS 36544 HAS SOPS 36544 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5674.544
AT ITER 3205 NEW BEST:: SOT 78446 SOS 36476 HAS SOPS 36476 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5666.476
AT ITER 3208 NEW BEST:: SOT 78470 SOS 36452 HAS SOPS 36452 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5666.452
AT ITER 3217 NEW BEST:: SOT 78462 SOS 36436 HAS SOPS 36436 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5666.436
AT ITER 3238 NEW BEST:: SOT 78498 SOS 36340 HAS SOPS 36340 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5660.34
AT ITER 3258 NEW BEST:: SOT 78466 SOS 36364 HAS SOPS 36364 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5658.364
AT ITER 3286 NEW BEST:: SOT 78462 SOS 36330 HAS SOPS 36330 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5658.33
AT ITER 3358 NEW BEST:: SOT 78434 SOS 36508 HAS SOPS 36508 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5656.508
AT ITER 3392 NEW BEST:: SOT 78422 SOS 36484 HAS SOPS 36484 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5656.484
AT ITER 3459 NEW BEST:: SOT 78382 SOS 36932 HAS SOPS 36932 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5654.932
AT ITER 3464 NEW BEST:: SOT 78398 SOS 37054 HAS SOPS 37054 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5651.054
AT ITER 3489 NEW BEST:: SOT 78364 SOS 37046 HAS SOPS 37046 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5651.046
AT ITER 3491 NEW BEST:: SOT 78346 SOS 37226 HAS SOPS 37226 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5649.226
AT ITER 3509 NEW BEST:: SOT 78288 SOS 37462 HAS SOPS 37462 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5641.462
AT ITER 3526 NEW BEST:: SOT 78286 SOS 37458 HAS SOPS 37458 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5639.458
AT ITER 3532 NEW BEST:: SOT 78314 SOS 37424 HAS SOPS 37424 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5639.424
AT ITER 3561 NEW BEST:: SOT 78284 SOS 37364 HAS SOPS 37364 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5639.364
AT ITER 3586 NEW BEST:: SOT 78278 SOS 37352 HAS SOPS 37352 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5639.352
AT ITER 3591 NEW BEST:: SOT 78236 SOS 37268 HAS SOPS 37268 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5639.268
AT ITER 3703 NEW BEST:: SOT 78250 SOS 37088 HAS SOPS 37088 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5639.088
AT ITER 3732 NEW BEST:: SOT 78240 SOS 37194 HAS SOPS 37194 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5625.194
AT ITER 3949 NEW BEST:: SOT 78274 SOS 37022 HAS SOPS 37022 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5625.022
AT ITER 3967 NEW BEST:: SOT 78262 SOS 37010 HAS SOPS 37010 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5611.01
AT ITER 3977 NEW BEST:: SOT 78268 SOS 36968 HAS SOPS 36968 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5610.968
AT ITER 4028 NEW BEST:: SOT 78268 SOS 36956 HAS SOPS 36956 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5610.956
AT ITER 4041 NEW BEST:: SOT 78260 SOS 36958 HAS SOPS 36958 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5606.958
AT ITER 4148 NEW BEST:: SOT 78212 SOS 37132 HAS SOPS 37132 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5605.132
AT ITER 4158 NEW BEST:: SOT 78206 SOS 37120 HAS SOPS 37120 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5605.12
AT ITER 4179 NEW BEST:: SOT 78178 SOS 37118 HAS SOPS 37118 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5603.118
AT ITER 4183 NEW BEST:: SOT 78170 SOS 37102 HAS SOPS 37102 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5603.102
AT ITER 4185 NEW BEST:: SOT 78154 SOS 37070 HAS SOPS 37070 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5603.07
AT ITER 4195 NEW BEST:: SOT 78154 SOS 37070 HAS SOPS 37070 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5601.07
AT ITER 4231 NEW BEST:: SOT 78146 SOS 37054 HAS SOPS 37054 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5601.054
AT ITER 4243 NEW BEST:: SOT 78144 SOS 37050 HAS SOPS 37050 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5595.05
AT ITER 4319 NEW BEST:: SOT 78144 SOS 36990 HAS SOPS 36990 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5586.99
AT ITER 4327 NEW BEST:: SOT 78150 SOS 36976 HAS SOPS 36976 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5586.976
AT ITER 4477 NEW BEST:: SOT 78148 SOS 36936 HAS SOPS 36936 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5586.936
AT ITER 4497 NEW BEST:: SOT 78132 SOS 37652 HAS SOPS 37652 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5585.652
AT ITER 4553 NEW BEST:: SOT 78120 SOS 37628 HAS SOPS 37628 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5579.628
AT ITER 4589 NEW BEST:: SOT 78122 SOS 37620 HAS SOPS 37620 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5569.62
AT ITER 4598 NEW BEST:: SOT 78144 SOS 37552 HAS SOPS 37552 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5569.552
AT ITER 4599 NEW BEST:: SOT 78098 SOS 37460 HAS SOPS 37460 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5569.46
AT ITER 4606 NEW BEST:: SOT 78098 SOS 37460 HAS SOPS 37460 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5567.46
AT ITER 4655 NEW BEST:: SOT 78110 SOS 37428 HAS SOPS 37428 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5567.428
AT ITER 4712 NEW BEST:: SOT 78096 SOS 37400 HAS SOPS 37400 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5565.4
AT ITER 4784 NEW BEST:: SOT 78124 SOS 37336 HAS SOPS 37336 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5565.336
AT ITER 4876 NEW BEST:: SOT 78112 SOS 37312 HAS SOPS 37312 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5565.312
AT ITER 4924 NEW BEST:: SOT 78120 SOS 37198 HAS SOPS 37198 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5565.198
AT ITER 5009 NEW BEST:: SOT 78126 SOS 37158 HAS SOPS 37158 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5565.158
AT ITER 5109 NEW BEST:: SOT 78082 SOS 37220 HAS SOPS 37220 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5561.22
AT ITER 5131 NEW BEST:: SOT 78096 SOS 37230 HAS SOPS 37230 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5555.23
AT ITER 5134 NEW BEST:: SOT 78104 SOS 37210 HAS SOPS 37210 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5555.21
AT ITER 5308 NEW BEST:: SOT 78128 SOS 37168 HAS SOPS 37168 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5555.168
AT ITER 5311 NEW BEST:: SOT 78130 SOS 37120 HAS SOPS 37120 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5555.12
AT ITER 5362 NEW BEST:: SOT 78050 SOS 37440 HAS SOPS 37440 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5551.44
AT ITER 5401 NEW BEST:: SOT 78056 SOS 37374 HAS SOPS 37374 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5551.374
AT ITER 5520 NEW BEST:: SOT 78048 SOS 38030 HAS SOPS 38030 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5550.03
AT ITER 5557 NEW BEST:: SOT 78022 SOS 37978 HAS SOPS 37978 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5549.978
AT ITER 5558 NEW BEST:: SOT 78012 SOS 37976 HAS SOPS 37976 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5549.976
AT ITER 5638 NEW BEST:: SOT 78024 SOS 38054 HAS SOPS 38054 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5548.054
AT ITER 5671 NEW BEST:: SOT 78060 SOS 38054 HAS SOPS 38054 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5546.054
AT ITER 5677 NEW BEST:: SOT 78060 SOS 38042 HAS SOPS 38042 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5536.042
AT ITER 5747 NEW BEST:: SOT 78090 SOS 38318 HAS SOPS 38318 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5534.318
AT ITER 5758 NEW BEST:: SOT 78100 SOS 38312 HAS SOPS 38312 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5532.312
AT ITER 5879 NEW BEST:: SOT 78096 SOS 38136 HAS SOPS 38136 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5532.136
AT ITER 5951 NEW BEST:: SOT 78102 SOS 38068 HAS SOPS 38068 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5532.068
AT ITER 5964 NEW BEST:: SOT 78104 SOS 38072 HAS SOPS 38072 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5526.072
AT ITER 6057 NEW BEST:: SOT 78110 SOS 38054 HAS SOPS 38054 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5524.054
AT ITER 6315 NEW BEST:: SOT 78106 SOS 37994 HAS SOPS 37994 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5523.994
AT ITER 6495 NEW BEST:: SOT 78130 SOS 37882 HAS SOPS 37882 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5523.882
AT ITER 6534 NEW BEST:: SOT 78112 SOS 37882 HAS SOPS 37882 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5521.882
AT ITER 6542 NEW BEST:: SOT 78110 SOS 37902 HAS SOPS 37902 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5515.902
AT ITER 6720 NEW BEST:: SOT 78122 SOS 37846 HAS SOPS 37846 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5515.846
AT ITER 6831 NEW BEST:: SOT 78116 SOS 37834 HAS SOPS 37834 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5515.834
AT ITER 7047 NEW BEST:: SOT 78118 SOS 37820 HAS SOPS 37820 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5515.82
AT ITER 7277 NEW BEST:: SOT 78116 SOS 37804 HAS SOPS 37804 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5505.804
AT ITER 7365 NEW BEST:: SOT 78108 SOS 37788 HAS SOPS 37788 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5505.788
AT ITER 7544 NEW BEST:: SOT 78108 SOS 37710 HAS SOPS 37710 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5505.71
AT ITER 7584 NEW BEST:: SOT 78106 SOS 37706 HAS SOPS 37706 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5505.706
AT ITER 7638 NEW BEST:: SOT 78056 SOS 37830 HAS SOPS 37830 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5503.83
AT ITER 7841 NEW BEST:: SOT 78078 SOS 37762 HAS SOPS 37762 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5503.762
AT ITER 8011 NEW BEST:: SOT 78076 SOS 37758 HAS SOPS 37758 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5503.758
AT ITER 8445 NEW BEST:: SOT 78048 SOS 37738 HAS SOPS 37738 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5503.738
AT ITER 8775 NEW BEST:: SOT 78034 SOS 37728 HAS SOPS 37728 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5503.728
AT ITER 8918 NEW BEST:: SOT 78004 SOS 37850 HAS SOPS 37850 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5501.85
AT ITER 9000 NEW BEST:: SOT 78002 SOS 37846 HAS SOPS 37846 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5501.846
AT ITER 9041 NEW BEST:: SOT 78006 SOS 37828 HAS SOPS 37828 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5501.828
AT ITER 9594 NEW BEST:: SOT 78014 SOS 37826 HAS SOPS 37826 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5501.826
AT ITER 9597 NEW BEST:: SOT 78014 SOS 37774 HAS SOPS 37774 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5501.774
AT ITER 9605 NEW BEST:: SOT 78012 SOS 37806 HAS SOPS 37806 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5499.806
BK_STOP 1678761502094
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}
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="NeighborGrid-PT-d4n3m2c23"
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 NeighborGrid-PT-d4n3m2c23, 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 r267-smll-167863541400104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d4n3m2c23.tgz
mv NeighborGrid-PT-d4n3m2c23 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 ;