About the Execution of Smart+red for DiscoveryGPU-PT-10b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9488.111 | 3600000.00 | 3630390.00 | 8584.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422700360.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 DiscoveryGPU-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422700360
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 6.9K Feb 25 13:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 13:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 13:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 13:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 75K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678379439356
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=DiscoveryGPU-PT-10b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 16:30:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 16:30:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 16:30:42] [INFO ] Load time of PNML (sax parser for PT used): 107 ms
[2023-03-09 16:30:42] [INFO ] Transformed 296 places.
[2023-03-09 16:30:42] [INFO ] Transformed 314 transitions.
[2023-03-09 16:30:42] [INFO ] Found NUPN structural information;
[2023-03-09 16:30:42] [INFO ] Parsed PT model containing 296 places and 314 transitions and 819 arcs in 211 ms.
[2023-03-09 16:30:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 296 places, 314 transitions and 819 arcs took 8 ms.
Total runtime 266 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 10b
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: 296 places, 314 transitions, 819 arcs.
AT ITER 0 NEW BEST:: SOT 64743 SOS 30735 HAS SOPS 30735 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27316.735
AT ITER 4 NEW BEST:: SOT 64743 SOS 30733 HAS SOPS 30733 HAS SOUS 27285 HAS SOUPS 27285 WITH SCORE 27315.733
AT ITER 9 NEW BEST:: SOT 64682 SOS 30611 HAS SOPS 30611 HAS SOUS 27163 HAS SOUPS 27163 WITH SCORE 27193.611
AT ITER 10 NEW BEST:: SOT 64682 SOS 30600 HAS SOPS 30600 HAS SOUS 27162 HAS SOUPS 27162 WITH SCORE 27192.6
AT ITER 11 NEW BEST:: SOT 64568 SOS 30479 HAS SOPS 30479 HAS SOUS 27049 HAS SOUPS 27049 WITH SCORE 27079.479
AT ITER 12 NEW BEST:: SOT 64462 SOS 30274 HAS SOPS 30274 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 26990.274
AT ITER 21 NEW BEST:: SOT 64462 SOS 30156 HAS SOPS 30156 HAS SOUS 26809 HAS SOUPS 26809 WITH SCORE 26839.156
AT ITER 24 NEW BEST:: SOT 61866 SOS 31584 HAS SOPS 31584 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24302.584
AT ITER 28 NEW BEST:: SOT 61866 SOS 31563 HAS SOPS 31563 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24302.563
AT ITER 29 NEW BEST:: SOT 61834 SOS 31515 HAS SOPS 31515 HAS SOUS 24223 HAS SOUPS 24223 WITH SCORE 24254.515
AT ITER 30 NEW BEST:: SOT 61774 SOS 31455 HAS SOPS 31455 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24194.455
AT ITER 31 NEW BEST:: SOT 61730 SOS 31411 HAS SOPS 31411 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24192.411
AT ITER 37 NEW BEST:: SOT 61566 SOS 31083 HAS SOPS 31083 HAS SOUS 23951 HAS SOUPS 23951 WITH SCORE 23982.083
AT ITER 38 NEW BEST:: SOT 61434 SOS 30819 HAS SOPS 30819 HAS SOUS 23753 HAS SOUPS 23753 WITH SCORE 23783.819
AT ITER 43 NEW BEST:: SOT 61452 SOS 30778 HAS SOPS 30778 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23714.778
AT ITER 44 NEW BEST:: SOT 61405 SOS 30684 HAS SOPS 30684 HAS SOUS 23590 HAS SOUPS 23590 WITH SCORE 23620.684
AT ITER 50 NEW BEST:: SOT 61353 SOS 30580 HAS SOPS 30580 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23596.58
AT ITER 60 NEW BEST:: SOT 61359 SOS 30586 HAS SOPS 30586 HAS SOUS 23512 HAS SOUPS 23512 WITH SCORE 23542.586
AT ITER 61 NEW BEST:: SOT 61382 SOS 30547 HAS SOPS 30547 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23529.547
AT ITER 62 NEW BEST:: SOT 61283 SOS 30405 HAS SOPS 30405 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23438.405
AT ITER 66 NEW BEST:: SOT 61283 SOS 30383 HAS SOPS 30383 HAS SOUS 23397 HAS SOUPS 23397 WITH SCORE 23427.383
AT ITER 67 NEW BEST:: SOT 61282 SOS 30354 HAS SOPS 30354 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23425.354
AT ITER 68 NEW BEST:: SOT 61253 SOS 30325 HAS SOPS 30325 HAS SOUS 23365 HAS SOUPS 23365 WITH SCORE 23395.325
AT ITER 69 NEW BEST:: SOT 61261 SOS 30230 HAS SOPS 30230 HAS SOUS 23344 HAS SOUPS 23344 WITH SCORE 23374.23
AT ITER 70 NEW BEST:: SOT 60737 SOS 29706 HAS SOPS 29706 HAS SOUS 22820 HAS SOUPS 22820 WITH SCORE 22849.706
AT ITER 74 NEW BEST:: SOT 60549 SOS 29580 HAS SOPS 29580 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22754.58
AT ITER 80 NEW BEST:: SOT 60532 SOS 29546 HAS SOPS 29546 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22754.546
AT ITER 83 NEW BEST:: SOT 60490 SOS 29504 HAS SOPS 29504 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22751.504
AT ITER 85 NEW BEST:: SOT 60421 SOS 29377 HAS SOPS 29377 HAS SOUS 22595 HAS SOUPS 22595 WITH SCORE 22624.377
AT ITER 90 NEW BEST:: SOT 60270 SOS 29132 HAS SOPS 29132 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22415.132
AT ITER 96 NEW BEST:: SOT 60270 SOS 29119 HAS SOPS 29119 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22415.119
AT ITER 100 NEW BEST:: SOT 60121 SOS 28890 HAS SOPS 28890 HAS SOUS 22202 HAS SOUPS 22202 WITH SCORE 22230.89
AT ITER 101 NEW BEST:: SOT 60003 SOS 28656 HAS SOPS 28656 HAS SOUS 22024 HAS SOUPS 22024 WITH SCORE 22052.656
AT ITER 107 NEW BEST:: SOT 59922 SOS 28494 HAS SOPS 28494 HAS SOUS 21960 HAS SOUPS 21960 WITH SCORE 21988.494
AT ITER 109 NEW BEST:: SOT 59922 SOS 28372 HAS SOPS 28372 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21866.372
AT ITER 111 NEW BEST:: SOT 59921 SOS 28370 HAS SOPS 28370 HAS SOUS 21836 HAS SOUPS 21836 WITH SCORE 21864.37
AT ITER 113 NEW BEST:: SOT 59900 SOS 28349 HAS SOPS 28349 HAS SOUS 21815 HAS SOUPS 21815 WITH SCORE 21843.349
AT ITER 119 NEW BEST:: SOT 59853 SOS 28302 HAS SOPS 28302 HAS SOUS 21815 HAS SOUPS 21815 WITH SCORE 21843.302
AT ITER 122 NEW BEST:: SOT 59802 SOS 28215 HAS SOPS 28215 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21828.215
AT ITER 126 NEW BEST:: SOT 59696 SOS 28029 HAS SOPS 28029 HAS SOUS 21694 HAS SOUPS 21694 WITH SCORE 21722.029
AT ITER 131 NEW BEST:: SOT 59714 SOS 27937 HAS SOPS 27937 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21704.937
AT ITER 132 NEW BEST:: SOT 59708 SOS 27841 HAS SOPS 27841 HAS SOUS 21627 HAS SOUPS 21627 WITH SCORE 21654.841
AT ITER 144 NEW BEST:: SOT 59709 SOS 27833 HAS SOPS 27833 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21646.833
AT ITER 148 NEW BEST:: SOT 59636 SOS 27702 HAS SOPS 27702 HAS SOUS 21545 HAS SOUPS 21545 WITH SCORE 21572.702
AT ITER 152 NEW BEST:: SOT 59585 SOS 27657 HAS SOPS 27657 HAS SOUS 21533 HAS SOUPS 21533 WITH SCORE 21560.657
AT ITER 166 NEW BEST:: SOT 59573 SOS 27645 HAS SOPS 27645 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21536.645
AT ITER 172 NEW BEST:: SOT 59524 SOS 27548 HAS SOPS 27548 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21438.548
AT ITER 177 NEW BEST:: SOT 59523 SOS 27503 HAS SOPS 27503 HAS SOUS 21387 HAS SOUPS 21387 WITH SCORE 21414.503
AT ITER 178 NEW BEST:: SOT 59545 SOS 27384 HAS SOPS 27384 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21263.384
AT ITER 179 NEW BEST:: SOT 59512 SOS 27381 HAS SOPS 27381 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21222.381
AT ITER 183 NEW BEST:: SOT 59431 SOS 27311 HAS SOPS 27311 HAS SOUS 21166 HAS SOUPS 21166 WITH SCORE 21193.311
AT ITER 185 NEW BEST:: SOT 59408 SOS 27265 HAS SOPS 27265 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21170.265
AT ITER 188 NEW BEST:: SOT 59339 SOS 27128 HAS SOPS 27128 HAS SOUS 21005 HAS SOUPS 21005 WITH SCORE 21032.128
AT ITER 189 NEW BEST:: SOT 59339 SOS 27127 HAS SOPS 27127 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21020.127
AT ITER 190 NEW BEST:: SOT 59286 SOS 27046 HAS SOPS 27046 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20966.046
AT ITER 194 NEW BEST:: SOT 59305 SOS 26982 HAS SOPS 26982 HAS SOUS 20874 HAS SOUPS 20874 WITH SCORE 20900.982
AT ITER 196 NEW BEST:: SOT 59236 SOS 26844 HAS SOPS 26844 HAS SOUS 20811 HAS SOUPS 20811 WITH SCORE 20837.844
AT ITER 206 NEW BEST:: SOT 59213 SOS 26780 HAS SOPS 26780 HAS SOUS 20747 HAS SOUPS 20747 WITH SCORE 20773.78
AT ITER 207 NEW BEST:: SOT 59164 SOS 26731 HAS SOPS 26731 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20724.731
AT ITER 208 NEW BEST:: SOT 58931 SOS 26531 HAS SOPS 26531 HAS SOUS 20457 HAS SOUPS 20457 WITH SCORE 20483.531
AT ITER 210 NEW BEST:: SOT 58931 SOS 26531 HAS SOPS 26531 HAS SOUS 20434 HAS SOUPS 20434 WITH SCORE 20460.531
AT ITER 225 NEW BEST:: SOT 58928 SOS 26528 HAS SOPS 26528 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20454.528
AT ITER 228 NEW BEST:: SOT 58868 SOS 26408 HAS SOPS 26408 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20454.408
AT ITER 233 NEW BEST:: SOT 58850 SOS 26378 HAS SOPS 26378 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20424.378
AT ITER 248 NEW BEST:: SOT 58839 SOS 26367 HAS SOPS 26367 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20413.367
AT ITER 254 NEW BEST:: SOT 58868 SOS 26341 HAS SOPS 26341 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20387.341
AT ITER 255 NEW BEST:: SOT 58858 SOS 26509 HAS SOPS 26509 HAS SOUS 20328 HAS SOUPS 20328 WITH SCORE 20354.509
AT ITER 256 NEW BEST:: SOT 58774 SOS 26422 HAS SOPS 26422 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20272.422
AT ITER 257 NEW BEST:: SOT 58765 SOS 26395 HAS SOPS 26395 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20254.395
AT ITER 261 NEW BEST:: SOT 58720 SOS 26267 HAS SOPS 26267 HAS SOUS 20100 HAS SOUPS 20100 WITH SCORE 20126.267
AT ITER 270 NEW BEST:: SOT 58720 SOS 26227 HAS SOPS 26227 HAS SOUS 20100 HAS SOUPS 20100 WITH SCORE 20126.227
AT ITER 272 NEW BEST:: SOT 58696 SOS 26155 HAS SOPS 26155 HAS SOUS 20052 HAS SOUPS 20052 WITH SCORE 20078.155
AT ITER 275 NEW BEST:: SOT 58693 SOS 26148 HAS SOPS 26148 HAS SOUS 20046 HAS SOUPS 20046 WITH SCORE 20072.148
AT ITER 284 NEW BEST:: SOT 58676 SOS 26114 HAS SOPS 26114 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20054.114
AT ITER 287 NEW BEST:: SOT 58668 SOS 26106 HAS SOPS 26106 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20044.106
AT ITER 294 NEW BEST:: SOT 58681 SOS 26119 HAS SOPS 26119 HAS SOUS 19965 HAS SOUPS 19965 WITH SCORE 19991.119
AT ITER 295 NEW BEST:: SOT 58551 SOS 25867 HAS SOPS 25867 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19821.867
AT ITER 296 NEW BEST:: SOT 58535 SOS 25851 HAS SOPS 25851 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19819.851
AT ITER 300 NEW BEST:: SOT 58534 SOS 25850 HAS SOPS 25850 HAS SOUS 19793 HAS SOUPS 19793 WITH SCORE 19818.85
AT ITER 308 NEW BEST:: SOT 58538 SOS 25794 HAS SOPS 25794 HAS SOUS 19766 HAS SOUPS 19766 WITH SCORE 19791.794
AT ITER 311 NEW BEST:: SOT 58538 SOS 25754 HAS SOPS 25754 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19751.754
AT ITER 322 NEW BEST:: SOT 58518 SOS 25714 HAS SOPS 25714 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19711.714
AT ITER 329 NEW BEST:: SOT 58515 SOS 25705 HAS SOPS 25705 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19708.705
AT ITER 331 NEW BEST:: SOT 58479 SOS 25634 HAS SOPS 25634 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19671.634
AT ITER 336 NEW BEST:: SOT 58479 SOS 25622 HAS SOPS 25622 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19671.622
AT ITER 339 NEW BEST:: SOT 58479 SOS 25620 HAS SOPS 25620 HAS SOUS 19641 HAS SOUPS 19641 WITH SCORE 19666.62
AT ITER 356 NEW BEST:: SOT 58462 SOS 25586 HAS SOPS 25586 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19642.586
AT ITER 359 NEW BEST:: SOT 58426 SOS 25494 HAS SOPS 25494 HAS SOUS 19545 HAS SOUPS 19545 WITH SCORE 19570.494
AT ITER 360 NEW BEST:: SOT 58411 SOS 25474 HAS SOPS 25474 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19540.474
AT ITER 368 NEW BEST:: SOT 58374 SOS 25437 HAS SOPS 25437 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19503.437
AT ITER 369 NEW BEST:: SOT 58358 SOS 25384 HAS SOPS 25384 HAS SOUS 19471 HAS SOUPS 19471 WITH SCORE 19496.384
AT ITER 372 NEW BEST:: SOT 58111 SOS 25107 HAS SOPS 25107 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19241.107
AT ITER 383 NEW BEST:: SOT 58034 SOS 24989 HAS SOPS 24989 HAS SOUS 19128 HAS SOUPS 19128 WITH SCORE 19152.989
AT ITER 398 NEW BEST:: SOT 57985 SOS 24859 HAS SOPS 24859 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19103.859
AT ITER 404 NEW BEST:: SOT 57985 SOS 24824 HAS SOPS 24824 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19103.824
AT ITER 405 NEW BEST:: SOT 57875 SOS 24705 HAS SOPS 24705 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 18989.705
AT ITER 409 NEW BEST:: SOT 57771 SOS 24594 HAS SOPS 24594 HAS SOUS 18854 HAS SOUPS 18854 WITH SCORE 18878.594
AT ITER 413 NEW BEST:: SOT 57770 SOS 24593 HAS SOPS 24593 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18876.593
AT ITER 416 NEW BEST:: SOT 57652 SOS 24426 HAS SOPS 24426 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18738.426
AT ITER 423 NEW BEST:: SOT 57630 SOS 24483 HAS SOPS 24483 HAS SOUS 18669 HAS SOUPS 18669 WITH SCORE 18693.483
AT ITER 428 NEW BEST:: SOT 57571 SOS 24471 HAS SOPS 24471 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18655.471
AT ITER 437 NEW BEST:: SOT 57575 SOS 24464 HAS SOPS 24464 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18648.464
AT ITER 456 NEW BEST:: SOT 57573 SOS 24347 HAS SOPS 24347 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18644.347
AT ITER 457 NEW BEST:: SOT 57550 SOS 24272 HAS SOPS 24272 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18592.272
AT ITER 469 NEW BEST:: SOT 57569 SOS 24269 HAS SOPS 24269 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18575.269
AT ITER 488 NEW BEST:: SOT 57569 SOS 24233 HAS SOPS 24233 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18575.233
AT ITER 500 NEW BEST:: SOT 57560 SOS 24224 HAS SOPS 24224 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18573.224
AT ITER 505 NEW BEST:: SOT 57525 SOS 24119 HAS SOPS 24119 HAS SOUS 18479 HAS SOUPS 18479 WITH SCORE 18503.119
AT ITER 513 NEW BEST:: SOT 57498 SOS 24065 HAS SOPS 24065 HAS SOUS 18452 HAS SOUPS 18452 WITH SCORE 18476.065
AT ITER 518 NEW BEST:: SOT 57455 SOS 23842 HAS SOPS 23842 HAS SOUS 18326 HAS SOUPS 18326 WITH SCORE 18349.842
AT ITER 527 NEW BEST:: SOT 57449 SOS 23830 HAS SOPS 23830 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18337.83
AT ITER 537 NEW BEST:: SOT 57449 SOS 23799 HAS SOPS 23799 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18337.799
AT ITER 556 NEW BEST:: SOT 57375 SOS 23669 HAS SOPS 23669 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18252.669
AT ITER 558 NEW BEST:: SOT 57375 SOS 23669 HAS SOPS 23669 HAS SOUS 18205 HAS SOUPS 18205 WITH SCORE 18228.669
AT ITER 560 NEW BEST:: SOT 57334 SOS 23639 HAS SOPS 23639 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18209.639
AT ITER 563 NEW BEST:: SOT 57317 SOS 23605 HAS SOPS 23605 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18175.605
AT ITER 568 NEW BEST:: SOT 57323 SOS 23590 HAS SOPS 23590 HAS SOUS 18137 HAS SOUPS 18137 WITH SCORE 18160.59
AT ITER 570 NEW BEST:: SOT 57243 SOS 23429 HAS SOPS 23429 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18054.429
AT ITER 597 NEW BEST:: SOT 57236 SOS 23385 HAS SOPS 23385 HAS SOUS 18025 HAS SOUPS 18025 WITH SCORE 18048.385
AT ITER 606 NEW BEST:: SOT 57209 SOS 23400 HAS SOPS 23400 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18036.4
AT ITER 607 NEW BEST:: SOT 57162 SOS 23306 HAS SOPS 23306 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17942.306
AT ITER 612 NEW BEST:: SOT 57161 SOS 23289 HAS SOPS 23289 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17939.289
AT ITER 623 NEW BEST:: SOT 57158 SOS 23274 HAS SOPS 23274 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17934.274
AT ITER 626 NEW BEST:: SOT 57151 SOS 23266 HAS SOPS 23266 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17926.266
AT ITER 630 NEW BEST:: SOT 57135 SOS 23181 HAS SOPS 23181 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17911.181
AT ITER 631 NEW BEST:: SOT 57132 SOS 23175 HAS SOPS 23175 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17905.175
AT ITER 656 NEW BEST:: SOT 57081 SOS 23097 HAS SOPS 23097 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17849.097
AT ITER 663 NEW BEST:: SOT 57079 SOS 23095 HAS SOPS 23095 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17847.095
AT ITER 677 NEW BEST:: SOT 56985 SOS 22937 HAS SOPS 22937 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17773.937
AT ITER 682 NEW BEST:: SOT 56975 SOS 22936 HAS SOPS 22936 HAS SOUS 17750 HAS SOUPS 17750 WITH SCORE 17772.936
AT ITER 685 NEW BEST:: SOT 56955 SOS 22896 HAS SOPS 22896 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17702.896
AT ITER 690 NEW BEST:: SOT 56842 SOS 22816 HAS SOPS 22816 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17634.816
AT ITER 695 NEW BEST:: SOT 56841 SOS 22814 HAS SOPS 22814 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17632.814
AT ITER 702 NEW BEST:: SOT 56825 SOS 22798 HAS SOPS 22798 HAS SOUS 17594 HAS SOUPS 17594 WITH SCORE 17616.798
AT ITER 712 NEW BEST:: SOT 56801 SOS 22774 HAS SOPS 22774 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17568.774
AT ITER 719 NEW BEST:: SOT 56795 SOS 22722 HAS SOPS 22722 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17528.722
AT ITER 729 NEW BEST:: SOT 56779 SOS 22690 HAS SOPS 22690 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17520.69
AT ITER 755 NEW BEST:: SOT 56752 SOS 22644 HAS SOPS 22644 HAS SOUS 17479 HAS SOUPS 17479 WITH SCORE 17501.644
AT ITER 762 NEW BEST:: SOT 56751 SOS 22643 HAS SOPS 22643 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17500.643
AT ITER 780 NEW BEST:: SOT 56723 SOS 22615 HAS SOPS 22615 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17500.615
AT ITER 794 NEW BEST:: SOT 56748 SOS 22586 HAS SOPS 22586 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17496.586
AT ITER 796 NEW BEST:: SOT 56756 SOS 22584 HAS SOPS 22584 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17494.584
AT ITER 806 NEW BEST:: SOT 56802 SOS 22565 HAS SOPS 22565 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17479.565
AT ITER 808 NEW BEST:: SOT 56802 SOS 22559 HAS SOPS 22559 HAS SOUS 17451 HAS SOUPS 17451 WITH SCORE 17473.559
AT ITER 810 NEW BEST:: SOT 56766 SOS 22365 HAS SOPS 22365 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17401.365
AT ITER 812 NEW BEST:: SOT 56749 SOS 22279 HAS SOPS 22279 HAS SOUS 17345 HAS SOUPS 17345 WITH SCORE 17367.279
AT ITER 828 NEW BEST:: SOT 56731 SOS 22261 HAS SOPS 22261 HAS SOUS 17294 HAS SOUPS 17294 WITH SCORE 17316.261
AT ITER 846 NEW BEST:: SOT 56760 SOS 22162 HAS SOPS 22162 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17206.162
AT ITER 866 NEW BEST:: SOT 56752 SOS 22146 HAS SOPS 22146 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17190.146
AT ITER 884 NEW BEST:: SOT 56738 SOS 22118 HAS SOPS 22118 HAS SOUS 17140 HAS SOUPS 17140 WITH SCORE 17162.118
AT ITER 902 NEW BEST:: SOT 56596 SOS 22098 HAS SOPS 22098 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17039.098
AT ITER 906 NEW BEST:: SOT 56477 SOS 22042 HAS SOPS 22042 HAS SOUS 16961 HAS SOUPS 16961 WITH SCORE 16983.042
AT ITER 916 NEW BEST:: SOT 56469 SOS 22034 HAS SOPS 22034 HAS SOUS 16953 HAS SOUPS 16953 WITH SCORE 16975.034
AT ITER 919 NEW BEST:: SOT 56470 SOS 22017 HAS SOPS 22017 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16958.017
AT ITER 920 NEW BEST:: SOT 56450 SOS 21977 HAS SOPS 21977 HAS SOUS 16921 HAS SOUPS 16921 WITH SCORE 16942.977
AT ITER 938 NEW BEST:: SOT 56422 SOS 21892 HAS SOPS 21892 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16858.892
AT ITER 944 NEW BEST:: SOT 56411 SOS 21834 HAS SOPS 21834 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16811.834
AT ITER 954 NEW BEST:: SOT 56408 SOS 21831 HAS SOPS 21831 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16808.831
AT ITER 955 NEW BEST:: SOT 56398 SOS 21788 HAS SOPS 21788 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16782.788
AT ITER 959 NEW BEST:: SOT 56383 SOS 21763 HAS SOPS 21763 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16757.763
AT ITER 971 NEW BEST:: SOT 56306 SOS 21646 HAS SOPS 21646 HAS SOUS 16726 HAS SOUPS 16726 WITH SCORE 16747.646
AT ITER 975 NEW BEST:: SOT 56263 SOS 21614 HAS SOPS 21614 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16650.614
AT ITER 992 NEW BEST:: SOT 56262 SOS 21599 HAS SOPS 21599 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16648.599
AT ITER 999 NEW BEST:: SOT 56208 SOS 21491 HAS SOPS 21491 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16536.491
AT ITER 1001 NEW BEST:: SOT 56169 SOS 21413 HAS SOPS 21413 HAS SOUS 16437 HAS SOUPS 16437 WITH SCORE 16458.413
AT ITER 1040 NEW BEST:: SOT 56158 SOS 21402 HAS SOPS 21402 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16447.402
AT ITER 1041 NEW BEST:: SOT 56161 SOS 21404 HAS SOPS 21404 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16446.404
AT ITER 1050 NEW BEST:: SOT 56125 SOS 21401 HAS SOPS 21401 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16443.401
AT ITER 1056 NEW BEST:: SOT 56133 SOS 21433 HAS SOPS 21433 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16430.433
AT ITER 1059 NEW BEST:: SOT 56101 SOS 21364 HAS SOPS 21364 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16366.364
AT ITER 1063 NEW BEST:: SOT 56101 SOS 21324 HAS SOPS 21324 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16326.324
AT ITER 1065 NEW BEST:: SOT 56092 SOS 21204 HAS SOPS 21204 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16258.204
AT ITER 1077 NEW BEST:: SOT 56092 SOS 21187 HAS SOPS 21187 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16258.187
AT ITER 1081 NEW BEST:: SOT 56095 SOS 21163 HAS SOPS 21163 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16215.163
AT ITER 1083 NEW BEST:: SOT 56080 SOS 21133 HAS SOPS 21133 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16196.133
AT ITER 1085 NEW BEST:: SOT 56076 SOS 21129 HAS SOPS 21129 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16193.129
AT ITER 1092 NEW BEST:: SOT 56076 SOS 21129 HAS SOPS 21129 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16189.129
AT ITER 1095 NEW BEST:: SOT 56073 SOS 21123 HAS SOPS 21123 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16177.123
AT ITER 1100 NEW BEST:: SOT 56071 SOS 21095 HAS SOPS 21095 HAS SOUS 16152 HAS SOUPS 16152 WITH SCORE 16173.095
AT ITER 1101 NEW BEST:: SOT 56063 SOS 21079 HAS SOPS 21079 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16170.079
AT ITER 1120 NEW BEST:: SOT 56062 SOS 21078 HAS SOPS 21078 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16169.078
AT ITER 1121 NEW BEST:: SOT 56060 SOS 21074 HAS SOPS 21074 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16165.074
AT ITER 1123 NEW BEST:: SOT 56049 SOS 21052 HAS SOPS 21052 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16106.052
AT ITER 1126 NEW BEST:: SOT 56015 SOS 20930 HAS SOPS 20930 HAS SOUS 15956 HAS SOUPS 15956 WITH SCORE 15976.93
AT ITER 1147 NEW BEST:: SOT 56015 SOS 20930 HAS SOPS 20930 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15935.93
AT ITER 1148 NEW BEST:: SOT 55945 SOS 20912 HAS SOPS 20912 HAS SOUS 15897 HAS SOUPS 15897 WITH SCORE 15917.912
AT ITER 1151 NEW BEST:: SOT 55951 SOS 20924 HAS SOPS 20924 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15894.924
AT ITER 1162 NEW BEST:: SOT 55962 SOS 20965 HAS SOPS 20965 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15887.965
AT ITER 1163 NEW BEST:: SOT 55924 SOS 20895 HAS SOPS 20895 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15811.895
AT ITER 1175 NEW BEST:: SOT 55920 SOS 20891 HAS SOPS 20891 HAS SOUS 15787 HAS SOUPS 15787 WITH SCORE 15807.891
AT ITER 1184 NEW BEST:: SOT 55876 SOS 20825 HAS SOPS 20825 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15741.825
AT ITER 1186 NEW BEST:: SOT 55852 SOS 20757 HAS SOPS 20757 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15722.757
AT ITER 1190 NEW BEST:: SOT 55817 SOS 20583 HAS SOPS 20583 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15712.583
AT ITER 1192 NEW BEST:: SOT 55824 SOS 20534 HAS SOPS 20534 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15707.534
AT ITER 1198 NEW BEST:: SOT 55783 SOS 20495 HAS SOPS 20495 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15601.495
AT ITER 1205 NEW BEST:: SOT 55780 SOS 20489 HAS SOPS 20489 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15595.489
AT ITER 1216 NEW BEST:: SOT 55773 SOS 20475 HAS SOPS 20475 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15579.475
AT ITER 1224 NEW BEST:: SOT 55786 SOS 20459 HAS SOPS 20459 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15563.459
AT ITER 1234 NEW BEST:: SOT 55810 SOS 20453 HAS SOPS 20453 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15557.453
AT ITER 1237 NEW BEST:: SOT 55827 SOS 20313 HAS SOPS 20313 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15434.313
AT ITER 1252 NEW BEST:: SOT 55813 SOS 20285 HAS SOPS 20285 HAS SOUS 15386 HAS SOUPS 15386 WITH SCORE 15406.285
AT ITER 1255 NEW BEST:: SOT 55820 SOS 20263 HAS SOPS 20263 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15382.263
AT ITER 1269 NEW BEST:: SOT 55781 SOS 20187 HAS SOPS 20187 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15323.187
AT ITER 1290 NEW BEST:: SOT 55776 SOS 20182 HAS SOPS 20182 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15313.182
AT ITER 1304 NEW BEST:: SOT 55753 SOS 20159 HAS SOPS 20159 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15290.159
AT ITER 1305 NEW BEST:: SOT 55747 SOS 20141 HAS SOPS 20141 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15278.141
AT ITER 1315 NEW BEST:: SOT 55773 SOS 20123 HAS SOPS 20123 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15260.123
AT ITER 1337 NEW BEST:: SOT 55772 SOS 20108 HAS SOPS 20108 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15258.108
AT ITER 1347 NEW BEST:: SOT 55732 SOS 20028 HAS SOPS 20028 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15220.028
AT ITER 1353 NEW BEST:: SOT 55679 SOS 19922 HAS SOPS 19922 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15113.922
AT ITER 1394 NEW BEST:: SOT 55672 SOS 19908 HAS SOPS 19908 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15104.908
AT ITER 1435 NEW BEST:: SOT 55681 SOS 19954 HAS SOPS 19954 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15094.954
AT ITER 1436 NEW BEST:: SOT 55627 SOS 19846 HAS SOPS 19846 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14938.846
AT ITER 1468 NEW BEST:: SOT 55627 SOS 19844 HAS SOPS 19844 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14938.844
AT ITER 1510 NEW BEST:: SOT 55618 SOS 19826 HAS SOPS 19826 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14920.826
AT ITER 1513 NEW BEST:: SOT 55601 SOS 19792 HAS SOPS 19792 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14920.792
AT ITER 1530 NEW BEST:: SOT 55552 SOS 19414 HAS SOPS 19414 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14822.414
AT ITER 1534 NEW BEST:: SOT 55519 SOS 19408 HAS SOPS 19408 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14816.408
AT ITER 1537 NEW BEST:: SOT 55374 SOS 19419 HAS SOPS 19419 HAS SOUS 14655 HAS SOUPS 14655 WITH SCORE 14674.419
AT ITER 1550 NEW BEST:: SOT 55381 SOS 19407 HAS SOPS 19407 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14662.407
AT ITER 1552 NEW BEST:: SOT 55398 SOS 19424 HAS SOPS 19424 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14624.424
AT ITER 1588 NEW BEST:: SOT 55408 SOS 19432 HAS SOPS 19432 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14622.432
AT ITER 1599 NEW BEST:: SOT 55400 SOS 19416 HAS SOPS 19416 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14622.416
AT ITER 1601 NEW BEST:: SOT 55394 SOS 19404 HAS SOPS 19404 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14610.404
AT ITER 1602 NEW BEST:: SOT 55400 SOS 19380 HAS SOPS 19380 HAS SOUS 14578 HAS SOUPS 14578 WITH SCORE 14597.38
AT ITER 1618 NEW BEST:: SOT 55361 SOS 19355 HAS SOPS 19355 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14519.355
AT ITER 1622 NEW BEST:: SOT 55363 SOS 19341 HAS SOPS 19341 HAS SOUS 14467 HAS SOUPS 14467 WITH SCORE 14486.341
AT ITER 1640 NEW BEST:: SOT 55363 SOS 19332 HAS SOPS 19332 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14481.332
AT ITER 1651 NEW BEST:: SOT 55360 SOS 19330 HAS SOPS 19330 HAS SOUS 14460 HAS SOUPS 14460 WITH SCORE 14479.33
AT ITER 1652 NEW BEST:: SOT 55350 SOS 19332 HAS SOPS 19332 HAS SOUS 14455 HAS SOUPS 14455 WITH SCORE 14474.332
AT ITER 1663 NEW BEST:: SOT 55338 SOS 19292 HAS SOPS 19292 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14434.292
AT ITER 1673 NEW BEST:: SOT 55324 SOS 19278 HAS SOPS 19278 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14420.278
AT ITER 1679 NEW BEST:: SOT 55318 SOS 19266 HAS SOPS 19266 HAS SOUS 14389 HAS SOUPS 14389 WITH SCORE 14408.266
AT ITER 1721 NEW BEST:: SOT 55312 SOS 19254 HAS SOPS 19254 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14396.254
AT ITER 1740 NEW BEST:: SOT 55312 SOS 19253 HAS SOPS 19253 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14395.253
AT ITER 1743 NEW BEST:: SOT 55311 SOS 19252 HAS SOPS 19252 HAS SOUS 14374 HAS SOUPS 14374 WITH SCORE 14393.252
AT ITER 1765 NEW BEST:: SOT 55298 SOS 19210 HAS SOPS 19210 HAS SOUS 14334 HAS SOUPS 14334 WITH SCORE 14353.21
AT ITER 1768 NEW BEST:: SOT 55297 SOS 19218 HAS SOPS 19218 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14352.218
AT ITER 1779 NEW BEST:: SOT 55267 SOS 19091 HAS SOPS 19091 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14292.091
AT ITER 1784 NEW BEST:: SOT 55226 SOS 19091 HAS SOPS 19091 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14251.091
AT ITER 1787 NEW BEST:: SOT 55211 SOS 19061 HAS SOPS 19061 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14213.061
AT ITER 1790 NEW BEST:: SOT 55211 SOS 19059 HAS SOPS 19059 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14211.059
AT ITER 1791 NEW BEST:: SOT 55160 SOS 19124 HAS SOPS 19124 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14203.124
AT ITER 1799 NEW BEST:: SOT 55134 SOS 19098 HAS SOPS 19098 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14203.098
AT ITER 1836 NEW BEST:: SOT 55132 SOS 19092 HAS SOPS 19092 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14199.092
AT ITER 1884 NEW BEST:: SOT 55130 SOS 19099 HAS SOPS 19099 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14195.099
AT ITER 1888 NEW BEST:: SOT 55115 SOS 19037 HAS SOPS 19037 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14128.037
AT ITER 1898 NEW BEST:: SOT 55118 SOS 19018 HAS SOPS 19018 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14109.018
AT ITER 1909 NEW BEST:: SOT 55099 SOS 18999 HAS SOPS 18999 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14093.999
AT ITER 1911 NEW BEST:: SOT 55086 SOS 18973 HAS SOPS 18973 HAS SOUS 14049 HAS SOUPS 14049 WITH SCORE 14067.973
AT ITER 1953 NEW BEST:: SOT 55077 SOS 18904 HAS SOPS 18904 HAS SOUS 14040 HAS SOUPS 14040 WITH SCORE 14058.904
AT ITER 1956 NEW BEST:: SOT 55060 SOS 18902 HAS SOPS 18902 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14047.902
AT ITER 1957 NEW BEST:: SOT 55060 SOS 18902 HAS SOPS 18902 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14034.902
AT ITER 1967 NEW BEST:: SOT 55052 SOS 18886 HAS SOPS 18886 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14026.886
AT ITER 1974 NEW BEST:: SOT 55028 SOS 18838 HAS SOPS 18838 HAS SOUS 13960 HAS SOUPS 13960 WITH SCORE 13978.838
AT ITER 1986 NEW BEST:: SOT 55012 SOS 18814 HAS SOPS 18814 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13954.814
AT ITER 1993 NEW BEST:: SOT 55021 SOS 18832 HAS SOPS 18832 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13945.832
AT ITER 1994 NEW BEST:: SOT 55035 SOS 18851 HAS SOPS 18851 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13942.851
AT ITER 1997 NEW BEST:: SOT 55032 SOS 18850 HAS SOPS 18850 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13937.85
AT ITER 2000 NEW BEST:: SOT 55032 SOS 18850 HAS SOPS 18850 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13933.85
AT ITER 2007 NEW BEST:: SOT 55008 SOS 18826 HAS SOPS 18826 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13909.826
AT ITER 2019 NEW BEST:: SOT 55007 SOS 18809 HAS SOPS 18809 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13907.809
AT ITER 2024 NEW BEST:: SOT 55009 SOS 18805 HAS SOPS 18805 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13903.805
AT ITER 2026 NEW BEST:: SOT 54525 SOS 18784 HAS SOPS 18784 HAS SOUS 13424 HAS SOUPS 13424 WITH SCORE 13442.784
AT ITER 2046 NEW BEST:: SOT 54524 SOS 18782 HAS SOPS 18782 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13440.782
AT ITER 2105 NEW BEST:: SOT 54510 SOS 18754 HAS SOPS 18754 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13412.754
AT ITER 2109 NEW BEST:: SOT 54498 SOS 18745 HAS SOPS 18745 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13407.745
AT ITER 2128 NEW BEST:: SOT 54523 SOS 18693 HAS SOPS 18693 HAS SOUS 13382 HAS SOUPS 13382 WITH SCORE 13400.693
AT ITER 2136 NEW BEST:: SOT 54514 SOS 18664 HAS SOPS 18664 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13371.664
AT ITER 2144 NEW BEST:: SOT 54444 SOS 19495 HAS SOPS 19495 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13364.495
AT ITER 2152 NEW BEST:: SOT 54442 SOS 19491 HAS SOPS 19491 HAS SOUS 13343 HAS SOUPS 13343 WITH SCORE 13362.491
AT ITER 2154 NEW BEST:: SOT 54442 SOS 19488 HAS SOPS 19488 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13359.488
AT ITER 2156 NEW BEST:: SOT 54448 SOS 19443 HAS SOPS 19443 HAS SOUS 13278 HAS SOUPS 13278 WITH SCORE 13297.443
AT ITER 2167 NEW BEST:: SOT 54435 SOS 19443 HAS SOPS 19443 HAS SOUS 13265 HAS SOUPS 13265 WITH SCORE 13284.443
AT ITER 2184 NEW BEST:: SOT 54427 SOS 19427 HAS SOPS 19427 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13260.427
AT ITER 2202 NEW BEST:: SOT 54424 SOS 19432 HAS SOPS 19432 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13254.432
AT ITER 2207 NEW BEST:: SOT 54422 SOS 19426 HAS SOPS 19426 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13252.426
AT ITER 2217 NEW BEST:: SOT 54354 SOS 19815 HAS SOPS 19815 HAS SOUS 13197 HAS SOUPS 13197 WITH SCORE 13216.815
AT ITER 2230 NEW BEST:: SOT 54357 SOS 19821 HAS SOPS 19821 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13211.821
AT ITER 2262 NEW BEST:: SOT 54356 SOS 19798 HAS SOPS 19798 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13189.798
AT ITER 2270 NEW BEST:: SOT 54299 SOS 19705 HAS SOPS 19705 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13111.705
AT ITER 2277 NEW BEST:: SOT 54274 SOS 19660 HAS SOPS 19660 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13083.66
AT ITER 2295 NEW BEST:: SOT 54274 SOS 19658 HAS SOPS 19658 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13083.658
AT ITER 2303 NEW BEST:: SOT 54271 SOS 19652 HAS SOPS 19652 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13077.652
AT ITER 2327 NEW BEST:: SOT 54261 SOS 19623 HAS SOPS 19623 HAS SOUS 13038 HAS SOUPS 13038 WITH SCORE 13057.623
AT ITER 2343 NEW BEST:: SOT 54250 SOS 19590 HAS SOPS 19590 HAS SOUS 12997 HAS SOUPS 12997 WITH SCORE 13016.59
AT ITER 2350 NEW BEST:: SOT 54260 SOS 19656 HAS SOPS 19656 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13011.656
AT ITER 2384 NEW BEST:: SOT 54248 SOS 19644 HAS SOPS 19644 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12987.644
AT ITER 2395 NEW BEST:: SOT 54231 SOS 19627 HAS SOPS 19627 HAS SOUS 12966 HAS SOUPS 12966 WITH SCORE 12985.627
AT ITER 2399 NEW BEST:: SOT 54195 SOS 19524 HAS SOPS 19524 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12907.524
AT ITER 2410 NEW BEST:: SOT 54191 SOS 19516 HAS SOPS 19516 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12899.516
AT ITER 2417 NEW BEST:: SOT 54189 SOS 19496 HAS SOPS 19496 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12895.496
AT ITER 2445 NEW BEST:: SOT 54186 SOS 19493 HAS SOPS 19493 HAS SOUS 12873 HAS SOUPS 12873 WITH SCORE 12892.493
AT ITER 2476 NEW BEST:: SOT 54161 SOS 19434 HAS SOPS 19434 HAS SOUS 12814 HAS SOUPS 12814 WITH SCORE 12833.434
AT ITER 2501 NEW BEST:: SOT 54129 SOS 19410 HAS SOPS 19410 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12809.41
AT ITER 2502 NEW BEST:: SOT 54129 SOS 19410 HAS SOPS 19410 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12807.41
AT ITER 2505 NEW BEST:: SOT 54119 SOS 19425 HAS SOPS 19425 HAS SOUS 12777 HAS SOUPS 12777 WITH SCORE 12796.425
AT ITER 2506 NEW BEST:: SOT 54142 SOS 19446 HAS SOPS 19446 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12792.446
AT ITER 2526 NEW BEST:: SOT 54133 SOS 19428 HAS SOPS 19428 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12770.428
AT ITER 2530 NEW BEST:: SOT 54133 SOS 19437 HAS SOPS 19437 HAS SOUS 12742 HAS SOUPS 12742 WITH SCORE 12761.437
AT ITER 2532 NEW BEST:: SOT 54132 SOS 19435 HAS SOPS 19435 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12730.435
AT ITER 2533 NEW BEST:: SOT 54173 SOS 19453 HAS SOPS 19453 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12687.453
AT ITER 2536 NEW BEST:: SOT 54172 SOS 19451 HAS SOPS 19451 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12685.451
AT ITER 2549 NEW BEST:: SOT 54171 SOS 19423 HAS SOPS 19423 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12683.423
AT ITER 2556 NEW BEST:: SOT 54125 SOS 19479 HAS SOPS 19479 HAS SOUS 12629 HAS SOUPS 12629 WITH SCORE 12648.479
AT ITER 2585 NEW BEST:: SOT 54112 SOS 19453 HAS SOPS 19453 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12635.453
AT ITER 2597 NEW BEST:: SOT 54112 SOS 19450 HAS SOPS 19450 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12635.45
AT ITER 2619 NEW BEST:: SOT 54103 SOS 19432 HAS SOPS 19432 HAS SOUS 12598 HAS SOUPS 12598 WITH SCORE 12617.432
AT ITER 2638 NEW BEST:: SOT 54103 SOS 18838 HAS SOPS 18838 HAS SOUS 12598 HAS SOUPS 12598 WITH SCORE 12616.838
AT ITER 2685 NEW BEST:: SOT 54102 SOS 18836 HAS SOPS 18836 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12613.836
AT ITER 2717 NEW BEST:: SOT 54102 SOS 18835 HAS SOPS 18835 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12613.835
AT ITER 2718 NEW BEST:: SOT 54118 SOS 18867 HAS SOPS 18867 HAS SOUS 12591 HAS SOUPS 12591 WITH SCORE 12609.867
AT ITER 2735 NEW BEST:: SOT 54067 SOS 18816 HAS SOPS 18816 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12558.816
AT ITER 2740 NEW BEST:: SOT 54026 SOS 18705 HAS SOPS 18705 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12472.705
AT ITER 2756 NEW BEST:: SOT 54018 SOS 18697 HAS SOPS 18697 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12456.697
AT ITER 2779 NEW BEST:: SOT 54018 SOS 18684 HAS SOPS 18684 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12443.684
AT ITER 2782 NEW BEST:: SOT 53982 SOS 18630 HAS SOPS 18630 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12389.63
AT ITER 2793 NEW BEST:: SOT 53954 SOS 18598 HAS SOPS 18598 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12383.598
AT ITER 2805 NEW BEST:: SOT 53941 SOS 18572 HAS SOPS 18572 HAS SOUS 12339 HAS SOUPS 12339 WITH SCORE 12357.572
AT ITER 2806 NEW BEST:: SOT 53935 SOS 18560 HAS SOPS 18560 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12345.56
AT ITER 2819 NEW BEST:: SOT 53926 SOS 18557 HAS SOPS 18557 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12339.557
AT ITER 2824 NEW BEST:: SOT 53926 SOS 18557 HAS SOPS 18557 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12330.557
AT ITER 2830 NEW BEST:: SOT 53925 SOS 18556 HAS SOPS 18556 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12328.556
AT ITER 2834 NEW BEST:: SOT 53920 SOS 18554 HAS SOPS 18554 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12318.554
AT ITER 2842 NEW BEST:: SOT 53907 SOS 18561 HAS SOPS 18561 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12312.561
AT ITER 2843 NEW BEST:: SOT 53870 SOS 18487 HAS SOPS 18487 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12282.487
AT ITER 2863 NEW BEST:: SOT 53859 SOS 18465 HAS SOPS 18465 HAS SOUS 12242 HAS SOUPS 12242 WITH SCORE 12260.465
AT ITER 2894 NEW BEST:: SOT 53809 SOS 18385 HAS SOPS 18385 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12210.385
AT ITER 2900 NEW BEST:: SOT 53806 SOS 18379 HAS SOPS 18379 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12202.379
AT ITER 2922 NEW BEST:: SOT 53818 SOS 18403 HAS SOPS 18403 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12186.403
AT ITER 2946 NEW BEST:: SOT 53818 SOS 18396 HAS SOPS 18396 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12186.396
AT ITER 2959 NEW BEST:: SOT 53816 SOS 18394 HAS SOPS 18394 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12184.394
AT ITER 2971 NEW BEST:: SOT 53809 SOS 18380 HAS SOPS 18380 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12164.38
AT ITER 2975 NEW BEST:: SOT 53780 SOS 18351 HAS SOPS 18351 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12164.351
AT ITER 3000 NEW BEST:: SOT 53699 SOS 18287 HAS SOPS 18287 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12135.287
AT ITER 3013 NEW BEST:: SOT 53699 SOS 18241 HAS SOPS 18241 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12135.241
AT ITER 3021 NEW BEST:: SOT 53691 SOS 18240 HAS SOPS 18240 HAS SOUS 12116 HAS SOUPS 12116 WITH SCORE 12134.24
AT ITER 3025 NEW BEST:: SOT 53699 SOS 18248 HAS SOPS 18248 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12130.248
AT ITER 3042 NEW BEST:: SOT 53694 SOS 18238 HAS SOPS 18238 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12120.238
AT ITER 3043 NEW BEST:: SOT 53692 SOS 18234 HAS SOPS 18234 HAS SOUS 12100 HAS SOUPS 12100 WITH SCORE 12118.234
AT ITER 3045 NEW BEST:: SOT 53673 SOS 18212 HAS SOPS 18212 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12084.212
AT ITER 3053 NEW BEST:: SOT 53661 SOS 18200 HAS SOPS 18200 HAS SOUS 12054 HAS SOUPS 12054 WITH SCORE 12072.2
AT ITER 3070 NEW BEST:: SOT 53661 SOS 18199 HAS SOPS 18199 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12071.199
AT ITER 3075 NEW BEST:: SOT 53655 SOS 18193 HAS SOPS 18193 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12065.193
AT ITER 3098 NEW BEST:: SOT 53647 SOS 18177 HAS SOPS 18177 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12023.177
AT ITER 3116 NEW BEST:: SOT 53635 SOS 18246 HAS SOPS 18246 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12015.246
AT ITER 3118 NEW BEST:: SOT 53638 SOS 18217 HAS SOPS 18217 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12014.217
AT ITER 3139 NEW BEST:: SOT 53630 SOS 18221 HAS SOPS 18221 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11998.221
AT ITER 3158 NEW BEST:: SOT 53613 SOS 18204 HAS SOPS 18204 HAS SOUS 11963 HAS SOUPS 11963 WITH SCORE 11981.204
AT ITER 3159 NEW BEST:: SOT 53597 SOS 18172 HAS SOPS 18172 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11965.172
AT ITER 3166 NEW BEST:: SOT 53597 SOS 18170 HAS SOPS 18170 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11963.17
AT ITER 3169 NEW BEST:: SOT 53586 SOS 18114 HAS SOPS 18114 HAS SOUS 11915 HAS SOUPS 11915 WITH SCORE 11933.114
AT ITER 3206 NEW BEST:: SOT 53586 SOS 18114 HAS SOPS 18114 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11903.114
AT ITER 3250 NEW BEST:: SOT 53567 SOS 18089 HAS SOPS 18089 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11878.089
AT ITER 3251 NEW BEST:: SOT 53578 SOS 18106 HAS SOPS 18106 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11863.106
AT ITER 3256 NEW BEST:: SOT 53561 SOS 18234 HAS SOPS 18234 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11856.234
AT ITER 3274 NEW BEST:: SOT 53546 SOS 18214 HAS SOPS 18214 HAS SOUS 11823 HAS SOUPS 11823 WITH SCORE 11841.214
AT ITER 3279 NEW BEST:: SOT 53519 SOS 18068 HAS SOPS 18068 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11780.068
AT ITER 3281 NEW BEST:: SOT 53412 SOS 17995 HAS SOPS 17995 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11762.995
AT ITER 3292 NEW BEST:: SOT 53412 SOS 17982 HAS SOPS 17982 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11749.982
AT ITER 3294 NEW BEST:: SOT 53423 SOS 17944 HAS SOPS 17944 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11711.944
AT ITER 3299 NEW BEST:: SOT 53397 SOS 17890 HAS SOPS 17890 HAS SOUS 11618 HAS SOUPS 11618 WITH SCORE 11635.89
AT ITER 3306 NEW BEST:: SOT 53397 SOS 17888 HAS SOPS 17888 HAS SOUS 11618 HAS SOUPS 11618 WITH SCORE 11635.888
AT ITER 3321 NEW BEST:: SOT 53389 SOS 17808 HAS SOPS 17808 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11619.808
AT ITER 3322 NEW BEST:: SOT 53382 SOS 17754 HAS SOPS 17754 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11599.754
AT ITER 3326 NEW BEST:: SOT 53417 SOS 17800 HAS SOPS 17800 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11593.8
AT ITER 3343 NEW BEST:: SOT 53422 SOS 17825 HAS SOPS 17825 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11583.825
AT ITER 3347 NEW BEST:: SOT 53356 SOS 18401 HAS SOPS 18401 HAS SOUS 11522 HAS SOUPS 11522 WITH SCORE 11540.401
AT ITER 3383 NEW BEST:: SOT 53356 SOS 18442 HAS SOPS 18442 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11539.442
AT ITER 3413 NEW BEST:: SOT 53359 SOS 18441 HAS SOPS 18441 HAS SOUS 11520 HAS SOUPS 11520 WITH SCORE 11538.441
AT ITER 3414 NEW BEST:: SOT 53357 SOS 18437 HAS SOPS 18437 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11530.437
AT ITER 3421 NEW BEST:: SOT 53353 SOS 18463 HAS SOPS 18463 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11526.463
AT ITER 3422 NEW BEST:: SOT 53351 SOS 18459 HAS SOPS 18459 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11524.459
AT ITER 3463 NEW BEST:: SOT 53200 SOS 18476 HAS SOPS 18476 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11434.476
AT ITER 3483 NEW BEST:: SOT 53199 SOS 18474 HAS SOPS 18474 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11433.474
AT ITER 3497 NEW BEST:: SOT 53177 SOS 18452 HAS SOPS 18452 HAS SOUS 11393 HAS SOUPS 11393 WITH SCORE 11411.452
AT ITER 3499 NEW BEST:: SOT 53177 SOS 18445 HAS SOPS 18445 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11404.445
AT ITER 3512 NEW BEST:: SOT 53176 SOS 18438 HAS SOPS 18438 HAS SOUS 11379 HAS SOUPS 11379 WITH SCORE 11397.438
AT ITER 3522 NEW BEST:: SOT 53171 SOS 18428 HAS SOPS 18428 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11387.428
AT ITER 3523 NEW BEST:: SOT 53140 SOS 18350 HAS SOPS 18350 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11325.35
AT ITER 3549 NEW BEST:: SOT 53137 SOS 18347 HAS SOPS 18347 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11322.347
AT ITER 3574 NEW BEST:: SOT 53137 SOS 18347 HAS SOPS 18347 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11298.347
AT ITER 3603 NEW BEST:: SOT 53136 SOS 18345 HAS SOPS 18345 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11296.345
AT ITER 3604 NEW BEST:: SOT 53149 SOS 18277 HAS SOPS 18277 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11228.277
AT ITER 3621 NEW BEST:: SOT 53152 SOS 18249 HAS SOPS 18249 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11226.249
AT ITER 3629 NEW BEST:: SOT 53148 SOS 18241 HAS SOPS 18241 HAS SOUS 11204 HAS SOUPS 11204 WITH SCORE 11222.241
AT ITER 3664 NEW BEST:: SOT 53142 SOS 18229 HAS SOPS 18229 HAS SOUS 11198 HAS SOUPS 11198 WITH SCORE 11216.229
AT ITER 3676 NEW BEST:: SOT 53140 SOS 18225 HAS SOPS 18225 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11212.225
AT ITER 3694 NEW BEST:: SOT 53148 SOS 18079 HAS SOPS 18079 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11205.079
AT ITER 3698 NEW BEST:: SOT 53150 SOS 18042 HAS SOPS 18042 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11168.042
AT ITER 3711 NEW BEST:: SOT 53154 SOS 17971 HAS SOPS 17971 HAS SOUS 11148 HAS SOUPS 11148 WITH SCORE 11165.971
AT ITER 3713 NEW BEST:: SOT 53154 SOS 17971 HAS SOPS 17971 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11144.971
AT ITER 3714 NEW BEST:: SOT 53153 SOS 17919 HAS SOPS 17919 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11142.919
AT ITER 3719 NEW BEST:: SOT 53149 SOS 17911 HAS SOPS 17911 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11133.911
AT ITER 3720 NEW BEST:: SOT 53149 SOS 17902 HAS SOPS 17902 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11133.902
AT ITER 3726 NEW BEST:: SOT 53139 SOS 17892 HAS SOPS 17892 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11123.892
AT ITER 3746 NEW BEST:: SOT 53149 SOS 17912 HAS SOPS 17912 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11092.912
AT ITER 3752 NEW BEST:: SOT 53147 SOS 17898 HAS SOPS 17898 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11079.898
AT ITER 3767 NEW BEST:: SOT 53088 SOS 17780 HAS SOPS 17780 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11035.78
AT ITER 3781 NEW BEST:: SOT 53076 SOS 17745 HAS SOPS 17745 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11009.745
AT ITER 3825 NEW BEST:: SOT 53079 SOS 17751 HAS SOPS 17751 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11008.751
AT ITER 3854 NEW BEST:: SOT 53041 SOS 17743 HAS SOPS 17743 HAS SOUS 10983 HAS SOUPS 10983 WITH SCORE 11000.743
AT ITER 3865 NEW BEST:: SOT 53058 SOS 17741 HAS SOPS 17741 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10995.741
AT ITER 3883 NEW BEST:: SOT 53058 SOS 17721 HAS SOPS 17721 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10975.721
AT ITER 3884 NEW BEST:: SOT 53056 SOS 17717 HAS SOPS 17717 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10971.717
AT ITER 3887 NEW BEST:: SOT 53059 SOS 17703 HAS SOPS 17703 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10932.703
AT ITER 3895 NEW BEST:: SOT 53054 SOS 17693 HAS SOPS 17693 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10922.693
AT ITER 3897 NEW BEST:: SOT 53027 SOS 17639 HAS SOPS 17639 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10868.639
AT ITER 3915 NEW BEST:: SOT 52998 SOS 17616 HAS SOPS 17616 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10845.616
AT ITER 3966 NEW BEST:: SOT 52988 SOS 17586 HAS SOPS 17586 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10825.586
AT ITER 3974 NEW BEST:: SOT 52978 SOS 17566 HAS SOPS 17566 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10805.566
AT ITER 4011 NEW BEST:: SOT 52978 SOS 17566 HAS SOPS 17566 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10786.566
AT ITER 4013 NEW BEST:: SOT 52904 SOS 17449 HAS SOPS 17449 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10669.449
AT ITER 4021 NEW BEST:: SOT 52884 SOS 17404 HAS SOPS 17404 HAS SOUS 10622 HAS SOUPS 10622 WITH SCORE 10639.404
AT ITER 4074 NEW BEST:: SOT 52881 SOS 17408 HAS SOPS 17408 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10636.408
AT ITER 4119 NEW BEST:: SOT 52866 SOS 17393 HAS SOPS 17393 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10606.393
AT ITER 4141 NEW BEST:: SOT 52864 SOS 17390 HAS SOPS 17390 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10603.39
AT ITER 4163 NEW BEST:: SOT 52853 SOS 17379 HAS SOPS 17379 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10578.379
AT ITER 4175 NEW BEST:: SOT 52855 SOS 17381 HAS SOPS 17381 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10576.381
AT ITER 4239 NEW BEST:: SOT 52847 SOS 17365 HAS SOPS 17365 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10568.365
AT ITER 4277 NEW BEST:: SOT 52847 SOS 17357 HAS SOPS 17357 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10568.357
AT ITER 4288 NEW BEST:: SOT 52831 SOS 17325 HAS SOPS 17325 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10536.325
AT ITER 4304 NEW BEST:: SOT 52831 SOS 17325 HAS SOPS 17325 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10535.325
AT ITER 4324 NEW BEST:: SOT 52830 SOS 17325 HAS SOPS 17325 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10534.325
AT ITER 4326 NEW BEST:: SOT 52827 SOS 17319 HAS SOPS 17319 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10528.319
AT ITER 4335 NEW BEST:: SOT 52827 SOS 17317 HAS SOPS 17317 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10528.317
AT ITER 4363 NEW BEST:: SOT 52820 SOS 17303 HAS SOPS 17303 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10521.303
AT ITER 4387 NEW BEST:: SOT 52818 SOS 17299 HAS SOPS 17299 HAS SOUS 10500 HAS SOUPS 10500 WITH SCORE 10517.299
AT ITER 4393 NEW BEST:: SOT 52807 SOS 17277 HAS SOPS 17277 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10470.277
AT ITER 4398 NEW BEST:: SOT 52787 SOS 17257 HAS SOPS 17257 HAS SOUS 10433 HAS SOUPS 10433 WITH SCORE 10450.257
AT ITER 4400 NEW BEST:: SOT 52792 SOS 17275 HAS SOPS 17275 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10439.275
AT ITER 4415 NEW BEST:: SOT 52796 SOS 17274 HAS SOPS 17274 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10438.274
AT ITER 4436 NEW BEST:: SOT 52795 SOS 17293 HAS SOPS 17293 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10436.293
AT ITER 4440 NEW BEST:: SOT 52810 SOS 17308 HAS SOPS 17308 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10431.308
AT ITER 4460 NEW BEST:: SOT 52809 SOS 17307 HAS SOPS 17307 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10430.307
AT ITER 4491 NEW BEST:: SOT 52809 SOS 17305 HAS SOPS 17305 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10428.305
AT ITER 4502 NEW BEST:: SOT 52816 SOS 17319 HAS SOPS 17319 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10426.319
AT ITER 4506 NEW BEST:: SOT 52816 SOS 17319 HAS SOPS 17319 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10402.319
AT ITER 4534 NEW BEST:: SOT 52818 SOS 17321 HAS SOPS 17321 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10395.321
AT ITER 4583 NEW BEST:: SOT 52813 SOS 17476 HAS SOPS 17476 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10390.476
AT ITER 4600 NEW BEST:: SOT 52789 SOS 17428 HAS SOPS 17428 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10342.428
AT ITER 4601 NEW BEST:: SOT 52789 SOS 17425 HAS SOPS 17425 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10339.425
AT ITER 4621 NEW BEST:: SOT 52789 SOS 17420 HAS SOPS 17420 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10334.42
AT ITER 4629 NEW BEST:: SOT 52789 SOS 17415 HAS SOPS 17415 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10334.415
AT ITER 4640 NEW BEST:: SOT 52808 SOS 17432 HAS SOPS 17432 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10332.432
AT ITER 4644 NEW BEST:: SOT 52801 SOS 17425 HAS SOPS 17425 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10325.425
AT ITER 4655 NEW BEST:: SOT 52802 SOS 17439 HAS SOPS 17439 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10323.439
AT ITER 4686 NEW BEST:: SOT 52799 SOS 17438 HAS SOPS 17438 HAS SOUS 10305 HAS SOUPS 10305 WITH SCORE 10322.438
AT ITER 4707 NEW BEST:: SOT 52799 SOS 17409 HAS SOPS 17409 HAS SOUS 10305 HAS SOUPS 10305 WITH SCORE 10322.409
AT ITER 4742 NEW BEST:: SOT 52763 SOS 17412 HAS SOPS 17412 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10298.412
AT ITER 4761 NEW BEST:: SOT 52754 SOS 17413 HAS SOPS 17413 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10293.413
AT ITER 4763 NEW BEST:: SOT 52754 SOS 17407 HAS SOPS 17407 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10293.407
AT ITER 4809 NEW BEST:: SOT 52754 SOS 17407 HAS SOPS 17407 HAS SOUS 10271 HAS SOUPS 10271 WITH SCORE 10288.407
AT ITER 4813 NEW BEST:: SOT 52750 SOS 17349 HAS SOPS 17349 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10234.349
AT ITER 4822 NEW BEST:: SOT 52729 SOS 17348 HAS SOPS 17348 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10227.348
AT ITER 4839 NEW BEST:: SOT 52726 SOS 17337 HAS SOPS 17337 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10221.337
AT ITER 4877 NEW BEST:: SOT 52726 SOS 17302 HAS SOPS 17302 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10201.302
AT ITER 4892 NEW BEST:: SOT 52733 SOS 17302 HAS SOPS 17302 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10187.302
AT ITER 4938 NEW BEST:: SOT 52725 SOS 17294 HAS SOPS 17294 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10179.294
AT ITER 4950 NEW BEST:: SOT 52724 SOS 17286 HAS SOPS 17286 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10171.286
AT ITER 4969 NEW BEST:: SOT 52706 SOS 17250 HAS SOPS 17250 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10153.25
AT ITER 5041 NEW BEST:: SOT 52682 SOS 17202 HAS SOPS 17202 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10118.202
AT ITER 5046 NEW BEST:: SOT 52677 SOS 17206 HAS SOPS 17206 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10111.206
AT ITER 5059 NEW BEST:: SOT 52668 SOS 17188 HAS SOPS 17188 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10097.188
AT ITER 5081 NEW BEST:: SOT 52666 SOS 17180 HAS SOPS 17180 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10093.18
AT ITER 5174 NEW BEST:: SOT 52635 SOS 17138 HAS SOPS 17138 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10051.138
AT ITER 5234 NEW BEST:: SOT 52601 SOS 17562 HAS SOPS 17562 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10035.562
AT ITER 5286 NEW BEST:: SOT 52576 SOS 17493 HAS SOPS 17493 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9985.493
AT ITER 5319 NEW BEST:: SOT 52566 SOS 17493 HAS SOPS 17493 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9955.493
AT ITER 5332 NEW BEST:: SOT 52555 SOS 17471 HAS SOPS 17471 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9944.471
AT ITER 5352 NEW BEST:: SOT 52553 SOS 17489 HAS SOPS 17489 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9940.489
AT ITER 5365 NEW BEST:: SOT 52552 SOS 17465 HAS SOPS 17465 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9938.465
AT ITER 5385 NEW BEST:: SOT 52551 SOS 17456 HAS SOPS 17456 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9936.456
AT ITER 5427 NEW BEST:: SOT 52537 SOS 17454 HAS SOPS 17454 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9928.454
AT ITER 5438 NEW BEST:: SOT 52537 SOS 17447 HAS SOPS 17447 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9928.447
AT ITER 5445 NEW BEST:: SOT 52506 SOS 17416 HAS SOPS 17416 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9897.416
AT ITER 5448 NEW BEST:: SOT 52507 SOS 17366 HAS SOPS 17366 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9896.366
AT ITER 5471 NEW BEST:: SOT 52493 SOS 17357 HAS SOPS 17357 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9873.357
AT ITER 5479 NEW BEST:: SOT 52490 SOS 17354 HAS SOPS 17354 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9870.354
AT ITER 5486 NEW BEST:: SOT 52498 SOS 17370 HAS SOPS 17370 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9858.37
AT ITER 5520 NEW BEST:: SOT 52481 SOS 17353 HAS SOPS 17353 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9854.353
AT ITER 5567 NEW BEST:: SOT 52474 SOS 17458 HAS SOPS 17458 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9840.458
AT ITER 5572 NEW BEST:: SOT 52459 SOS 17443 HAS SOPS 17443 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9810.443
AT ITER 5590 NEW BEST:: SOT 52458 SOS 17436 HAS SOPS 17436 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9808.436
AT ITER 5621 NEW BEST:: SOT 52458 SOS 17436 HAS SOPS 17436 HAS SOUS 9788 HAS SOUPS 9788 WITH SCORE 9805.436
AT ITER 5640 NEW BEST:: SOT 52449 SOS 17427 HAS SOPS 17427 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9796.427
AT ITER 5654 NEW BEST:: SOT 52445 SOS 17419 HAS SOPS 17419 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9792.419
AT ITER 5655 NEW BEST:: SOT 52445 SOS 17411 HAS SOPS 17411 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9784.411
AT ITER 5659 NEW BEST:: SOT 52448 SOS 17414 HAS SOPS 17414 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9781.414
AT ITER 5661 NEW BEST:: SOT 52448 SOS 17425 HAS SOPS 17425 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9770.425
AT ITER 5664 NEW BEST:: SOT 52449 SOS 17423 HAS SOPS 17423 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9767.423
AT ITER 5696 NEW BEST:: SOT 52436 SOS 17410 HAS SOPS 17410 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9741.41
AT ITER 5737 NEW BEST:: SOT 52431 SOS 17404 HAS SOPS 17404 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9735.404
AT ITER 5739 NEW BEST:: SOT 52431 SOS 17390 HAS SOPS 17390 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9728.39
AT ITER 5750 NEW BEST:: SOT 52431 SOS 17382 HAS SOPS 17382 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9728.382
AT ITER 5862 NEW BEST:: SOT 52429 SOS 17408 HAS SOPS 17408 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9719.408
AT ITER 5925 NEW BEST:: SOT 52422 SOS 17401 HAS SOPS 17401 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9705.401
AT ITER 5941 NEW BEST:: SOT 52416 SOS 17395 HAS SOPS 17395 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9697.395
AT ITER 5951 NEW BEST:: SOT 52414 SOS 17391 HAS SOPS 17391 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9697.391
AT ITER 5960 NEW BEST:: SOT 52413 SOS 17390 HAS SOPS 17390 HAS SOUS 9678 HAS SOUPS 9678 WITH SCORE 9695.39
AT ITER 5971 NEW BEST:: SOT 52411 SOS 17387 HAS SOPS 17387 HAS SOUS 9674 HAS SOUPS 9674 WITH SCORE 9691.387
AT ITER 5991 NEW BEST:: SOT 52411 SOS 17387 HAS SOPS 17387 HAS SOUS 9673 HAS SOUPS 9673 WITH SCORE 9690.387
AT ITER 5999 NEW BEST:: SOT 52407 SOS 17380 HAS SOPS 17380 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9686.38
AT ITER 6076 NEW BEST:: SOT 52417 SOS 17372 HAS SOPS 17372 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9683.372
AT ITER 6091 NEW BEST:: SOT 52420 SOS 17370 HAS SOPS 17370 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9681.37
AT ITER 6099 NEW BEST:: SOT 52421 SOS 17371 HAS SOPS 17371 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9673.371
AT ITER 6106 NEW BEST:: SOT 52421 SOS 17323 HAS SOPS 17323 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9625.323
AT ITER 6123 NEW BEST:: SOT 52421 SOS 17322 HAS SOPS 17322 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9623.322
AT ITER 6142 NEW BEST:: SOT 52421 SOS 17301 HAS SOPS 17301 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9623.301
AT ITER 6244 NEW BEST:: SOT 52421 SOS 17296 HAS SOPS 17296 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9618.296
AT ITER 6288 NEW BEST:: SOT 52428 SOS 17303 HAS SOPS 17303 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9617.303
AT ITER 6304 NEW BEST:: SOT 52422 SOS 17345 HAS SOPS 17345 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9605.345
AT ITER 6316 NEW BEST:: SOT 52422 SOS 17334 HAS SOPS 17334 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9605.334
AT ITER 6322 NEW BEST:: SOT 52422 SOS 17292 HAS SOPS 17292 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9601.292
AT ITER 6339 NEW BEST:: SOT 52422 SOS 17292 HAS SOPS 17292 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9593.292
AT ITER 6357 NEW BEST:: SOT 52422 SOS 17292 HAS SOPS 17292 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9586.292
AT ITER 6358 NEW BEST:: SOT 52425 SOS 17298 HAS SOPS 17298 HAS SOUS 9567 HAS SOUPS 9567 WITH SCORE 9584.298
AT ITER 6406 NEW BEST:: SOT 52425 SOS 17289 HAS SOPS 17289 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9580.289
AT ITER 6438 NEW BEST:: SOT 52428 SOS 17284 HAS SOPS 17284 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9575.284
AT ITER 6445 NEW BEST:: SOT 52427 SOS 17282 HAS SOPS 17282 HAS SOUS 9556 HAS SOUPS 9556 WITH SCORE 9573.282
AT ITER 6454 NEW BEST:: SOT 52411 SOS 17250 HAS SOPS 17250 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9541.25
AT ITER 6476 NEW BEST:: SOT 52405 SOS 17245 HAS SOPS 17245 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9536.245
AT ITER 6510 NEW BEST:: SOT 52406 SOS 17252 HAS SOPS 17252 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9532.252
AT ITER 6610 NEW BEST:: SOT 52398 SOS 17236 HAS SOPS 17236 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9516.236
AT ITER 6684 NEW BEST:: SOT 52398 SOS 17236 HAS SOPS 17236 HAS SOUS 9496 HAS SOUPS 9496 WITH SCORE 9513.236
AT ITER 6707 NEW BEST:: SOT 52398 SOS 17227 HAS SOPS 17227 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9504.227
AT ITER 6801 NEW BEST:: SOT 52386 SOS 17223 HAS SOPS 17223 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9500.223
AT ITER 6813 NEW BEST:: SOT 52375 SOS 17212 HAS SOPS 17212 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9498.212
AT ITER 6876 NEW BEST:: SOT 52355 SOS 17183 HAS SOPS 17183 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9462.183
AT ITER 6884 NEW BEST:: SOT 52337 SOS 17129 HAS SOPS 17129 HAS SOUS 9409 HAS SOUPS 9409 WITH SCORE 9426.129
AT ITER 6915 NEW BEST:: SOT 52336 SOS 17086 HAS SOPS 17086 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9424.086
AT ITER 6986 NEW BEST:: SOT 52336 SOS 17086 HAS SOPS 17086 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9423.086
AT ITER 7005 NEW BEST:: SOT 52329 SOS 17072 HAS SOPS 17072 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9409.072
AT ITER 7038 NEW BEST:: SOT 52321 SOS 17064 HAS SOPS 17064 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9393.064
AT ITER 7047 NEW BEST:: SOT 52323 SOS 17059 HAS SOPS 17059 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9388.059
AT ITER 7122 NEW BEST:: SOT 52323 SOS 17054 HAS SOPS 17054 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9383.054
AT ITER 7125 NEW BEST:: SOT 52323 SOS 17053 HAS SOPS 17053 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9383.053
AT ITER 7168 NEW BEST:: SOT 52323 SOS 17052 HAS SOPS 17052 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9382.052
AT ITER 7219 NEW BEST:: SOT 52316 SOS 17038 HAS SOPS 17038 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9365.038
AT ITER 7232 NEW BEST:: SOT 52316 SOS 16999 HAS SOPS 16999 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9364.999
AT ITER 7256 NEW BEST:: SOT 52316 SOS 16999 HAS SOPS 16999 HAS SOUS 9341 HAS SOUPS 9341 WITH SCORE 9357.999
AT ITER 7261 NEW BEST:: SOT 52316 SOS 16999 HAS SOPS 16999 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9356.999
AT ITER 7309 NEW BEST:: SOT 52312 SOS 17020 HAS SOPS 17020 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9356.02
AT ITER 7314 NEW BEST:: SOT 52311 SOS 17018 HAS SOPS 17018 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9356.018
AT ITER 7344 NEW BEST:: SOT 52309 SOS 17009 HAS SOPS 17009 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9346.009
AT ITER 7351 NEW BEST:: SOT 52308 SOS 17006 HAS SOPS 17006 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9344.006
AT ITER 7400 NEW BEST:: SOT 52301 SOS 16992 HAS SOPS 16992 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9336.992
AT ITER 7462 NEW BEST:: SOT 52299 SOS 16981 HAS SOPS 16981 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9329.981
AT ITER 7474 NEW BEST:: SOT 52295 SOS 16971 HAS SOPS 16971 HAS SOUS 9308 HAS SOUPS 9308 WITH SCORE 9324.971
AT ITER 7479 NEW BEST:: SOT 52294 SOS 16964 HAS SOPS 16964 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9322.964
AT ITER 7496 NEW BEST:: SOT 52290 SOS 16956 HAS SOPS 16956 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9316.956
AT ITER 7505 NEW BEST:: SOT 52290 SOS 16952 HAS SOPS 16952 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9316.952
AT ITER 7544 NEW BEST:: SOT 52265 SOS 16927 HAS SOPS 16927 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9291.927
AT ITER 7546 NEW BEST:: SOT 52263 SOS 16912 HAS SOPS 16912 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9289.912
AT ITER 7555 NEW BEST:: SOT 52260 SOS 16910 HAS SOPS 16910 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9283.91
AT ITER 7575 NEW BEST:: SOT 52267 SOS 16917 HAS SOPS 16917 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9271.917
AT ITER 7583 NEW BEST:: SOT 52267 SOS 16916 HAS SOPS 16916 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9271.916
AT ITER 7614 NEW BEST:: SOT 52262 SOS 16911 HAS SOPS 16911 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9261.911
AT ITER 7647 NEW BEST:: SOT 52262 SOS 16910 HAS SOPS 16910 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9261.91
AT ITER 7703 NEW BEST:: SOT 52259 SOS 16901 HAS SOPS 16901 HAS SOUS 9239 HAS SOUPS 9239 WITH SCORE 9255.901
AT ITER 7710 NEW BEST:: SOT 52259 SOS 16890 HAS SOPS 16890 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9244.89
AT ITER 7718 NEW BEST:: SOT 52259 SOS 16878 HAS SOPS 16878 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9232.878
AT ITER 7758 NEW BEST:: SOT 52260 SOS 16842 HAS SOPS 16842 HAS SOUS 9215 HAS SOUPS 9215 WITH SCORE 9231.842
AT ITER 7926 NEW BEST:: SOT 52254 SOS 17346 HAS SOPS 17346 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9230.346
AT ITER 7952 NEW BEST:: SOT 52254 SOS 17314 HAS SOPS 17314 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9230.314
AT ITER 7968 NEW BEST:: SOT 52253 SOS 17313 HAS SOPS 17313 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9229.313
AT ITER 7997 NEW BEST:: SOT 52251 SOS 17309 HAS SOPS 17309 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9225.309
AT ITER 8017 NEW BEST:: SOT 52244 SOS 17300 HAS SOPS 17300 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9221.3
AT ITER 8026 NEW BEST:: SOT 52244 SOS 17294 HAS SOPS 17294 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9221.294
AT ITER 8189 NEW BEST:: SOT 52232 SOS 17270 HAS SOPS 17270 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9200.27
AT ITER 8192 NEW BEST:: SOT 52221 SOS 17248 HAS SOPS 17248 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9174.248
AT ITER 8240 NEW BEST:: SOT 52219 SOS 17246 HAS SOPS 17246 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9172.246
AT ITER 8252 NEW BEST:: SOT 52219 SOS 17246 HAS SOPS 17246 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9154.246
AT ITER 8332 NEW BEST:: SOT 52215 SOS 17248 HAS SOPS 17248 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9146.248
AT ITER 8348 NEW BEST:: SOT 52214 SOS 17246 HAS SOPS 17246 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9143.246
AT ITER 8363 NEW BEST:: SOT 52212 SOS 17242 HAS SOPS 17242 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9141.242
AT ITER 8375 NEW BEST:: SOT 52209 SOS 17261 HAS SOPS 17261 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9138.261
AT ITER 8423 NEW BEST:: SOT 52213 SOS 17251 HAS SOPS 17251 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9132.251
AT ITER 8436 NEW BEST:: SOT 52195 SOS 17215 HAS SOPS 17215 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9114.215
AT ITER 8441 NEW BEST:: SOT 52188 SOS 17205 HAS SOPS 17205 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9103.205
AT ITER 8530 NEW BEST:: SOT 52187 SOS 17203 HAS SOPS 17203 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9103.203
AT ITER 8593 NEW BEST:: SOT 52187 SOS 17138 HAS SOPS 17138 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9103.138
AT ITER 8615 NEW BEST:: SOT 52187 SOS 17098 HAS SOPS 17098 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9103.098
AT ITER 8616 NEW BEST:: SOT 52187 SOS 17088 HAS SOPS 17088 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9103.088
AT ITER 8621 NEW BEST:: SOT 52191 SOS 17092 HAS SOPS 17092 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9100.092
AT ITER 8652 NEW BEST:: SOT 52166 SOS 17042 HAS SOPS 17042 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9086.042
AT ITER 8662 NEW BEST:: SOT 52163 SOS 17039 HAS SOPS 17039 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9080.039
AT ITER 8671 NEW BEST:: SOT 52163 SOS 17039 HAS SOPS 17039 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9079.039
AT ITER 8729 NEW BEST:: SOT 52162 SOS 17037 HAS SOPS 17037 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9079.037
AT ITER 8772 NEW BEST:: SOT 52162 SOS 17037 HAS SOPS 17037 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9075.037
AT ITER 8778 NEW BEST:: SOT 52161 SOS 17049 HAS SOPS 17049 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9073.049
AT ITER 8801 NEW BEST:: SOT 52155 SOS 17037 HAS SOPS 17037 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9061.037
AT ITER 8854 NEW BEST:: SOT 52155 SOS 17038 HAS SOPS 17038 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9060.038
AT ITER 8861 NEW BEST:: SOT 52155 SOS 17032 HAS SOPS 17032 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9060.032
AT ITER 8946 NEW BEST:: SOT 52153 SOS 17020 HAS SOPS 17020 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9056.02
AT ITER 8960 NEW BEST:: SOT 52150 SOS 17007 HAS SOPS 17007 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9044.007
AT ITER 8984 NEW BEST:: SOT 52150 SOS 17005 HAS SOPS 17005 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9037.005
AT ITER 9035 NEW BEST:: SOT 52147 SOS 16999 HAS SOPS 16999 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9030.999
AT ITER 9073 NEW BEST:: SOT 52135 SOS 16975 HAS SOPS 16975 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9018.975
AT ITER 9175 NEW BEST:: SOT 52130 SOS 16960 HAS SOPS 16960 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9008.96
AT ITER 9177 NEW BEST:: SOT 52130 SOS 16957 HAS SOPS 16957 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9008.957
AT ITER 9219 NEW BEST:: SOT 52127 SOS 16954 HAS SOPS 16954 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9002.954
AT ITER 9300 NEW BEST:: SOT 52127 SOS 16932 HAS SOPS 16932 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9002.932
AT ITER 9308 NEW BEST:: SOT 52127 SOS 16926 HAS SOPS 16926 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9002.926
AT ITER 9386 NEW BEST:: SOT 52126 SOS 16925 HAS SOPS 16925 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 9000.925
AT ITER 9400 NEW BEST:: SOT 52126 SOS 16925 HAS SOPS 16925 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8991.925
AT ITER 9404 NEW BEST:: SOT 52126 SOS 16925 HAS SOPS 16925 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8990.925
AT ITER 9503 NEW BEST:: SOT 52126 SOS 16925 HAS SOPS 16925 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8988.925
AT ITER 9511 NEW BEST:: SOT 52130 SOS 16933 HAS SOPS 16933 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8980.933
AT ITER 9521 NEW BEST:: SOT 52130 SOS 16915 HAS SOPS 16915 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8980.915
AT ITER 9585 NEW BEST:: SOT 52129 SOS 16913 HAS SOPS 16913 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8978.913
AT ITER 9591 NEW BEST:: SOT 52123 SOS 16901 HAS SOPS 16901 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8972.901
AT ITER 9620 NEW BEST:: SOT 52110 SOS 16917 HAS SOPS 16917 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8966.917
AT ITER 9636 NEW BEST:: SOT 52110 SOS 16917 HAS SOPS 16917 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8953.917
AT ITER 9663 NEW BEST:: SOT 52092 SOS 17075 HAS SOPS 17075 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8930.075
AT ITER 9684 NEW BEST:: SOT 52095 SOS 17073 HAS SOPS 17073 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8928.073
AT ITER 9754 NEW BEST:: SOT 52095 SOS 17070 HAS SOPS 17070 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8925.07
AT ITER 9759 NEW BEST:: SOT 52094 SOS 17069 HAS SOPS 17069 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8924.069
AT ITER 9799 NEW BEST:: SOT 52092 SOS 17069 HAS SOPS 17069 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8922.069
AT ITER 9839 NEW BEST:: SOT 52089 SOS 17066 HAS SOPS 17066 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8919.066
AT ITER 9851 NEW BEST:: SOT 52087 SOS 17062 HAS SOPS 17062 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8919.062
AT ITER 9872 NEW BEST:: SOT 52075 SOS 17059 HAS SOPS 17059 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8899.059
AT ITER 9891 NEW BEST:: SOT 52075 SOS 17049 HAS SOPS 17049 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8899.049
AT ITER 9924 NEW BEST:: SOT 52070 SOS 17039 HAS SOPS 17039 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8889.039
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6683164 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125764 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-10b"
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 DiscoveryGPU-PT-10b, 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 r139-smll-167819422700360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-10b.tgz
mv DiscoveryGPU-PT-10b 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 ;