About the Execution of Smart+red for SemanticWebServices-PT-S256P15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 889.995 | 3600000.00 | 3734441.00 | 8267.90 | [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.r363-smll-167891814400448.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 SemanticWebServices-PT-S256P15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814400448
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679203396800
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=SemanticWebServices-PT-S256P15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 05:23:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 05:23:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 05:23:22] [INFO ] Load time of PNML (sax parser for PT used): 1656 ms
[2023-03-19 05:23:22] [INFO ] Transformed 329 places.
[2023-03-19 05:23:22] [INFO ] Transformed 29492 transitions.
[2023-03-19 05:23:22] [INFO ] Parsed PT model containing 329 places and 29492 transitions and 267319 arcs in 2010 ms.
[2023-03-19 05:23:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 329 places, 29492 transitions and 267319 arcs took 315 ms.
Total runtime 2393 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S256P15
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: 329 places, 29492 transitions, 267319 arcs.
AT ITER 0 NEW BEST:: SOT 9201838 SOS 8669796 HAS SOPS 7577223 HAS SOUS 4690270 HAS SOUPS 4638649 WITH SCORE 4647318.796
AT ITER 1 NEW BEST:: SOT 9201838 SOS 8669272 HAS SOPS 7554565 HAS SOUS 4689828 HAS SOUPS 4636905 WITH SCORE 4645574.272
AT ITER 3 NEW BEST:: SOT 9201838 SOS 8644470 HAS SOPS 7550469 HAS SOUS 4682768 HAS SOUPS 4630032 WITH SCORE 4638676.47
AT ITER 4 NEW BEST:: SOT 9201838 SOS 8633727 HAS SOPS 7494989 HAS SOUS 4664850 HAS SOUPS 4563430 WITH SCORE 4572063.727
AT ITER 5 NEW BEST:: SOT 4628307 SOS 4099208 HAS SOPS 3118128 HAS SOUS 1187322 HAS SOUPS 1146437 WITH SCORE 1150536.208
AT ITER 6 NEW BEST:: SOT 4568915 SOS 4039816 HAS SOPS 3058736 HAS SOUS 1141922 HAS SOUPS 1101037 WITH SCORE 1105076.816
AT ITER 10 NEW BEST:: SOT 4568915 SOS 4041190 HAS SOPS 3063714 HAS SOUS 1131858 HAS SOUPS 1091042 WITH SCORE 1095083.19
AT ITER 14 NEW BEST:: SOT 4595785 SOS 4062528 HAS SOPS 3092284 HAS SOUS 1123845 HAS SOUPS 1082954 WITH SCORE 1087016.528
AT ITER 17 NEW BEST:: SOT 4595785 SOS 4063646 HAS SOPS 3089094 HAS SOUS 1123587 HAS SOUPS 1080951 WITH SCORE 1085014.646
AT ITER 25 NEW BEST:: SOT 4595785 SOS 4063646 HAS SOPS 3089094 HAS SOUS 1123581 HAS SOUPS 1080945 WITH SCORE 1085008.646
AT ITER 29 NEW BEST:: SOT 4595785 SOS 4063428 HAS SOPS 3088840 HAS SOUS 1123552 HAS SOUPS 1080910 WITH SCORE 1084973.428
AT ITER 30 NEW BEST:: SOT 4595889 SOS 4062710 HAS SOPS 3088134 HAS SOUS 1122920 HAS SOUPS 1080144 WITH SCORE 1084206.71
AT ITER 37 NEW BEST:: SOT 4595889 SOS 4069122 HAS SOPS 3092090 HAS SOUS 1123018 HAS SOUPS 1080086 WITH SCORE 1084155.122
AT ITER 40 NEW BEST:: SOT 4685821 SOS 4155814 HAS SOPS 3157606 HAS SOUS 1095355 HAS SOUPS 1052467 WITH SCORE 1056622.814
AT ITER 41 NEW BEST:: SOT 4765303 SOS 4212894 HAS SOPS 3223978 HAS SOUS 1064757 HAS SOUPS 1023889 WITH SCORE 1028101.894
AT ITER 56 NEW BEST:: SOT 4765291 SOS 4212882 HAS SOPS 3223966 HAS SOUS 1064745 HAS SOUPS 1023877 WITH SCORE 1028089.882
AT ITER 61 NEW BEST:: SOT 4761987 SOS 4209578 HAS SOPS 3220662 HAS SOUS 1061478 HAS SOUPS 1020610 WITH SCORE 1024819.578
AT ITER 73 NEW BEST:: SOT 4761979 SOS 4209570 HAS SOPS 3220654 HAS SOUS 1061474 HAS SOUPS 1020606 WITH SCORE 1024815.57
AT ITER 82 NEW BEST:: SOT 4727561 SOS 4175152 HAS SOPS 3186236 HAS SOUS 1033058 HAS SOUPS 992190 WITH SCORE 996365.152
AT ITER 83 NEW BEST:: SOT 4727561 SOS 4173672 HAS SOPS 3223252 HAS SOUS 1032449 HAS SOUPS 992041 WITH SCORE 996214.672
AT ITER 85 NEW BEST:: SOT 4729849 SOS 4173894 HAS SOPS 3225870 HAS SOUS 1031534 HAS SOUPS 991437 WITH SCORE 995610.894
AT ITER 90 NEW BEST:: SOT 4729849 SOS 4173894 HAS SOPS 3225870 HAS SOUS 1031424 HAS SOUPS 991387 WITH SCORE 995560.894
AT ITER 91 NEW BEST:: SOT 4731051 SOS 4173161 HAS SOPS 3241654 HAS SOUS 1023090 HAS SOUPS 982298 WITH SCORE 986471.161
AT ITER 93 NEW BEST:: SOT 4731051 SOS 4175483 HAS SOPS 3237780 HAS SOUS 1023010 HAS SOUPS 982100 WITH SCORE 986275.483
AT ITER 96 NEW BEST:: SOT 4731051 SOS 4175160 HAS SOPS 3238065 HAS SOUS 1020459 HAS SOUPS 979613 WITH SCORE 983788.16
AT ITER 105 NEW BEST:: SOT 4730963 SOS 4175072 HAS SOPS 3237977 HAS SOUS 1020444 HAS SOUPS 979598 WITH SCORE 983773.072
AT ITER 112 NEW BEST:: SOT 4730991 SOS 4175100 HAS SOPS 3238005 HAS SOUS 1020425 HAS SOUPS 979579 WITH SCORE 983754.1
AT ITER 118 NEW BEST:: SOT 4730961 SOS 4174956 HAS SOPS 3237975 HAS SOUS 1020224 HAS SOUPS 979435 WITH SCORE 983609.956
AT ITER 125 NEW BEST:: SOT 4730961 SOS 4174956 HAS SOPS 3237975 HAS SOUS 1020202 HAS SOUPS 979413 WITH SCORE 983587.956
AT ITER 140 NEW BEST:: SOT 4731003 SOS 4174998 HAS SOPS 3238017 HAS SOUS 1020197 HAS SOUPS 979408 WITH SCORE 983582.998
AT ITER 155 NEW BEST:: SOT 4737848 SOS 4181843 HAS SOPS 3244862 HAS SOUS 1013006 HAS SOUPS 972217 WITH SCORE 976398.843
AT ITER 158 NEW BEST:: SOT 4825904 SOS 4261857 HAS SOPS 3303960 HAS SOUS 985665 HAS SOUPS 945313 WITH SCORE 949574.857
AT ITER 162 NEW BEST:: SOT 4825904 SOS 4262240 HAS SOPS 3307376 HAS SOUS 978906 HAS SOUPS 938614 WITH SCORE 942876.24
AT ITER 164 NEW BEST:: SOT 4825904 SOS 4261586 HAS SOPS 3309580 HAS SOUS 978615 HAS SOUPS 938551 WITH SCORE 942812.586
AT ITER 165 NEW BEST:: SOT 4829182 SOS 4266360 HAS SOPS 3308886 HAS SOUS 974066 HAS SOUPS 934230 WITH SCORE 938496.36
AT ITER 166 NEW BEST:: SOT 4829182 SOS 4266893 HAS SOPS 3305358 HAS SOUS 966735 HAS SOUPS 926912 WITH SCORE 931178.893
AT ITER 179 NEW BEST:: SOT 4829152 SOS 4266863 HAS SOPS 3305328 HAS SOUS 966679 HAS SOUPS 926856 WITH SCORE 931122.863
AT ITER 184 NEW BEST:: SOT 4881042 SOS 4318497 HAS SOPS 3351010 HAS SOUS 948592 HAS SOUPS 908774 WITH SCORE 913092.497
AT ITER 195 NEW BEST:: SOT 4965014 SOS 4396029 HAS SOPS 3423416 HAS SOUS 946146 HAS SOUPS 907349 WITH SCORE 911745.029
AT ITER 200 NEW BEST:: SOT 4964876 SOS 4395891 HAS SOPS 3423278 HAS SOUS 946089 HAS SOUPS 907292 WITH SCORE 911687.891
AT ITER 201 NEW BEST:: SOT 4964844 SOS 4395859 HAS SOPS 3423246 HAS SOUS 946021 HAS SOUPS 907224 WITH SCORE 911619.859
AT ITER 216 NEW BEST:: SOT 4964844 SOS 4392915 HAS SOPS 3423246 HAS SOUS 945667 HAS SOUPS 906972 WITH SCORE 911364.915
AT ITER 219 NEW BEST:: SOT 4964804 SOS 4392875 HAS SOPS 3423206 HAS SOUS 945620 HAS SOUPS 906925 WITH SCORE 911317.875
AT ITER 226 NEW BEST:: SOT 4964788 SOS 4392859 HAS SOPS 3423190 HAS SOUS 945611 HAS SOUPS 906916 WITH SCORE 911308.859
AT ITER 232 NEW BEST:: SOT 4964788 SOS 4394008 HAS SOPS 3416180 HAS SOUS 929926 HAS SOUPS 891231 WITH SCORE 895625.008
AT ITER 254 NEW BEST:: SOT 4962138 SOS 4390058 HAS SOPS 3412167 HAS SOUS 929724 HAS SOUPS 891029 WITH SCORE 895419.058
AT ITER 262 NEW BEST:: SOT 4962138 SOS 4383060 HAS SOPS 3412095 HAS SOUS 924686 HAS SOUPS 888115 WITH SCORE 892498.06
AT ITER 268 NEW BEST:: SOT 4962114 SOS 4383036 HAS SOPS 3412071 HAS SOUS 924662 HAS SOUPS 888091 WITH SCORE 892474.036
AT ITER 269 NEW BEST:: SOT 4960930 SOS 4381852 HAS SOPS 3410887 HAS SOUS 924242 HAS SOUPS 887671 WITH SCORE 892052.852
AT ITER 276 NEW BEST:: SOT 4960928 SOS 4381850 HAS SOPS 3410885 HAS SOUS 924240 HAS SOUPS 887669 WITH SCORE 892050.85
AT ITER 282 NEW BEST:: SOT 4960854 SOS 4381776 HAS SOPS 3410811 HAS SOUS 924139 HAS SOUPS 887568 WITH SCORE 891949.776
AT ITER 285 NEW BEST:: SOT 4969878 SOS 4388214 HAS SOPS 3410599 HAS SOUS 910326 HAS SOUPS 873796 WITH SCORE 878184.214
AT ITER 294 NEW BEST:: SOT 4969276 SOS 4387770 HAS SOPS 3410155 HAS SOUS 910250 HAS SOUPS 873720 WITH SCORE 878107.77
AT ITER 297 NEW BEST:: SOT 4969276 SOS 4383692 HAS SOPS 3414381 HAS SOUS 910028 HAS SOUPS 873615 WITH SCORE 877998.692
AT ITER 311 NEW BEST:: SOT 4969276 SOS 4383692 HAS SOPS 3414381 HAS SOUS 909900 HAS SOUPS 873487 WITH SCORE 877870.692
AT ITER 317 NEW BEST:: SOT 4969276 SOS 4375398 HAS SOPS 3405969 HAS SOUS 910123 HAS SOUPS 873267 WITH SCORE 877642.398
AT ITER 323 NEW BEST:: SOT 4969276 SOS 4381328 HAS SOPS 3419737 HAS SOUS 899054 HAS SOUPS 862919 WITH SCORE 867300.328
AT ITER 324 NEW BEST:: SOT 5050546 SOS 4462430 HAS SOPS 3490519 HAS SOUS 890343 HAS SOUPS 854330 WITH SCORE 858792.43
AT ITER 345 NEW BEST:: SOT 5164034 SOS 4567902 HAS SOPS 3579261 HAS SOUS 861691 HAS SOUPS 825737 WITH SCORE 830304.902
AT ITER 350 NEW BEST:: SOT 5164034 SOS 4567758 HAS SOPS 3578185 HAS SOUS 860057 HAS SOUPS 824104 WITH SCORE 828671.758
AT ITER 363 NEW BEST:: SOT 5164034 SOS 4563150 HAS SOPS 3520289 HAS SOUS 859912 HAS SOUPS 823534 WITH SCORE 828097.15
AT ITER 364 NEW BEST:: SOT 5174924 SOS 4574016 HAS SOPS 3528083 HAS SOUS 853826 HAS SOUPS 817400 WITH SCORE 821974.016
AT ITER 366 NEW BEST:: SOT 5178556 SOS 4573074 HAS SOPS 3525543 HAS SOUS 842082 HAS SOUPS 805996 WITH SCORE 810569.074
AT ITER 367 NEW BEST:: SOT 5179732 SOS 4573872 HAS SOPS 3526761 HAS SOUS 840354 HAS SOUPS 804331 WITH SCORE 808904.872
AT ITER 373 NEW BEST:: SOT 5147520 SOS 4541660 HAS SOPS 3494549 HAS SOUS 816184 HAS SOUPS 780161 WITH SCORE 784702.66
AT ITER 380 NEW BEST:: SOT 5152956 SOS 4545116 HAS SOPS 3497125 HAS SOUS 815590 HAS SOUPS 779669 WITH SCORE 784214.116
AT ITER 392 NEW BEST:: SOT 5152956 SOS 4521340 HAS SOPS 3428369 HAS SOUS 810641 HAS SOUPS 775163 WITH SCORE 779684.34
AT ITER 393 NEW BEST:: SOT 5152956 SOS 4519920 HAS SOPS 3434061 HAS SOUS 810484 HAS SOUPS 774411 WITH SCORE 778930.92
AT ITER 418 NEW BEST:: SOT 5152762 SOS 4519554 HAS SOPS 3433753 HAS SOUS 810174 HAS SOUPS 774130 WITH SCORE 778649.554
AT ITER 427 NEW BEST:: SOT 5152762 SOS 4521246 HAS SOPS 3426225 HAS SOUS 796360 HAS SOUPS 760273 WITH SCORE 764794.246
AT ITER 429 NEW BEST:: SOT 5151238 SOS 4519722 HAS SOPS 3424701 HAS SOUS 794906 HAS SOUPS 758819 WITH SCORE 763338.722
AT ITER 432 NEW BEST:: SOT 5150710 SOS 4519194 HAS SOPS 3424173 HAS SOUS 794442 HAS SOUPS 758355 WITH SCORE 762874.194
AT ITER 436 NEW BEST:: SOT 5150710 SOS 4459854 HAS SOPS 3420291 HAS SOUS 793674 HAS SOUPS 758202 WITH SCORE 762661.854
AT ITER 446 NEW BEST:: SOT 5193358 SOS 4502502 HAS SOPS 3462939 HAS SOUS 791524 HAS SOUPS 756052 WITH SCORE 760554.502
AT ITER 447 NEW BEST:: SOT 5211532 SOS 4508788 HAS SOPS 3470033 HAS SOUS 781717 HAS SOUPS 747005 WITH SCORE 751513.788
AT ITER 450 NEW BEST:: SOT 5235354 SOS 4532610 HAS SOPS 3493855 HAS SOUS 770634 HAS SOUPS 735922 WITH SCORE 740454.61
AT ITER 452 NEW BEST:: SOT 5236668 SOS 4530698 HAS SOPS 3494611 HAS SOUS 770051 HAS SOUPS 735484 WITH SCORE 740014.698
AT ITER 457 NEW BEST:: SOT 5242564 SOS 4534596 HAS SOPS 3497489 HAS SOUS 758316 HAS SOUPS 723354 WITH SCORE 727888.596
AT ITER 458 NEW BEST:: SOT 5242564 SOS 4511536 HAS SOPS 3492061 HAS SOUS 758314 HAS SOUPS 723320 WITH SCORE 727831.536
AT ITER 477 NEW BEST:: SOT 5244874 SOS 4513846 HAS SOPS 3494371 HAS SOUS 758032 HAS SOUPS 723038 WITH SCORE 727551.846
AT ITER 491 NEW BEST:: SOT 5244874 SOS 4465446 HAS SOPS 3461043 HAS SOUS 757935 HAS SOUPS 722562 WITH SCORE 727027.446
AT ITER 516 NEW BEST:: SOT 5244838 SOS 4465410 HAS SOPS 3461007 HAS SOUS 757799 HAS SOUPS 722426 WITH SCORE 726891.41
AT ITER 521 NEW BEST:: SOT 5244738 SOS 4465310 HAS SOPS 3460907 HAS SOUS 757699 HAS SOUPS 722326 WITH SCORE 726791.31
AT ITER 542 NEW BEST:: SOT 5244738 SOS 4442148 HAS SOPS 3489473 HAS SOUS 753018 HAS SOUPS 721156 WITH SCORE 725598.148
AT ITER 551 NEW BEST:: SOT 5247644 SOS 4450976 HAS SOPS 3485185 HAS SOUS 746985 HAS SOUPS 715303 WITH SCORE 719753.976
AT ITER 562 NEW BEST:: SOT 5247094 SOS 4450426 HAS SOPS 3484635 HAS SOUS 746969 HAS SOUPS 715287 WITH SCORE 719737.426
AT ITER 565 NEW BEST:: SOT 5241094 SOS 4444426 HAS SOPS 3478635 HAS SOUS 742829 HAS SOUPS 711147 WITH SCORE 715591.426
AT ITER 566 NEW BEST:: SOT 5240674 SOS 4444006 HAS SOPS 3478215 HAS SOUS 742345 HAS SOUPS 710663 WITH SCORE 715107.006
AT ITER 575 NEW BEST:: SOT 5240434 SOS 4443766 HAS SOPS 3477975 HAS SOUS 742249 HAS SOUPS 710567 WITH SCORE 715010.766
AT ITER 583 NEW BEST:: SOT 5240434 SOS 4418190 HAS SOPS 3440093 HAS SOUS 741800 HAS SOUPS 710255 WITH SCORE 714673.19
AT ITER 595 NEW BEST:: SOT 5260760 SOS 4438586 HAS SOPS 3459529 HAS SOUS 740147 HAS SOUPS 708662 WITH SCORE 713100.586
AT ITER 602 NEW BEST:: SOT 5260770 SOS 4438596 HAS SOPS 3459539 HAS SOUS 740102 HAS SOUPS 708617 WITH SCORE 713055.596
AT ITER 609 NEW BEST:: SOT 5260770 SOS 4451250 HAS SOPS 3477481 HAS SOUS 737443 HAS SOUPS 705962 WITH SCORE 710413.25
AT ITER 624 NEW BEST:: SOT 5247306 SOS 4437786 HAS SOPS 3464017 HAS SOUS 737051 HAS SOUPS 705570 WITH SCORE 710007.786
AT ITER 627 NEW BEST:: SOT 5247300 SOS 4437780 HAS SOPS 3464011 HAS SOUS 737045 HAS SOUPS 705564 WITH SCORE 710001.78
AT ITER 628 NEW BEST:: SOT 5247148 SOS 4437628 HAS SOPS 3463859 HAS SOUS 735281 HAS SOUPS 703800 WITH SCORE 708237.628
AT ITER 632 NEW BEST:: SOT 5247148 SOS 4436152 HAS SOPS 3463829 HAS SOUS 735211 HAS SOUPS 703740 WITH SCORE 708176.152
AT ITER 650 NEW BEST:: SOT 5255692 SOS 4448934 HAS SOPS 3472362 HAS SOUS 734362 HAS SOUPS 702787 WITH SCORE 707235.934
AT ITER 672 NEW BEST:: SOT 5254108 SOS 4447350 HAS SOPS 3470778 HAS SOUS 732866 HAS SOUPS 701291 WITH SCORE 705738.35
AT ITER 675 NEW BEST:: SOT 5254108 SOS 4447150 HAS SOPS 3470818 HAS SOUS 731636 HAS SOUPS 700411 WITH SCORE 704858.15
AT ITER 677 NEW BEST:: SOT 5248118 SOS 4441160 HAS SOPS 3464828 HAS SOUS 716714 HAS SOUPS 685489 WITH SCORE 689930.16
AT ITER 688 NEW BEST:: SOT 5248118 SOS 4441160 HAS SOPS 3464828 HAS SOUS 716707 HAS SOUPS 685482 WITH SCORE 689923.16
AT ITER 701 NEW BEST:: SOT 5244798 SOS 4437840 HAS SOPS 3461508 HAS SOUS 716043 HAS SOUPS 684818 WITH SCORE 689255.84
AT ITER 718 NEW BEST:: SOT 5244798 SOS 4433464 HAS SOPS 3453328 HAS SOUS 715593 HAS SOUPS 684275 WITH SCORE 688708.464
AT ITER 720 NEW BEST:: SOT 5244798 SOS 4433432 HAS SOPS 3452178 HAS SOUS 708933 HAS SOUPS 677381 WITH SCORE 681814.432
AT ITER 722 NEW BEST:: SOT 5244752 SOS 4433386 HAS SOPS 3452132 HAS SOUS 708898 HAS SOUPS 677346 WITH SCORE 681779.386
AT ITER 726 NEW BEST:: SOT 5244752 SOS 4433322 HAS SOPS 3462854 HAS SOUS 696384 HAS SOUPS 668656 WITH SCORE 673089.322
AT ITER 731 NEW BEST:: SOT 5253576 SOS 4442012 HAS SOPS 3472468 HAS SOUS 692474 HAS SOUPS 664809 WITH SCORE 669251.012
AT ITER 753 NEW BEST:: SOT 5252542 SOS 4440978 HAS SOPS 3471434 HAS SOUS 692447 HAS SOUPS 664782 WITH SCORE 669222.978
AT ITER 767 NEW BEST:: SOT 5248188 SOS 4436624 HAS SOPS 3467080 HAS SOUS 690516 HAS SOUPS 662851 WITH SCORE 667287.624
AT ITER 775 NEW BEST:: SOT 5248170 SOS 4436606 HAS SOPS 3467062 HAS SOUS 690500 HAS SOUPS 662835 WITH SCORE 667271.606
AT ITER 777 NEW BEST:: SOT 5246672 SOS 4435108 HAS SOPS 3465564 HAS SOUS 689487 HAS SOUPS 661822 WITH SCORE 666257.108
AT ITER 778 NEW BEST:: SOT 5250666 SOS 4438836 HAS SOPS 3467032 HAS SOUS 683401 HAS SOUPS 655697 WITH SCORE 660135.836
AT ITER 780 NEW BEST:: SOT 5270233 SOS 4457995 HAS SOPS 3485610 HAS SOUS 674878 HAS SOUPS 647311 WITH SCORE 651768.995
AT ITER 786 NEW BEST:: SOT 5269921 SOS 4457683 HAS SOPS 3485298 HAS SOUS 674564 HAS SOUPS 646997 WITH SCORE 651454.683
AT ITER 794 NEW BEST:: SOT 5269905 SOS 4457611 HAS SOPS 3485282 HAS SOUS 674537 HAS SOUPS 646970 WITH SCORE 651427.611
AT ITER 797 NEW BEST:: SOT 5269905 SOS 4440241 HAS SOPS 3442320 HAS SOUS 672768 HAS SOUPS 645105 WITH SCORE 649545.241
AT ITER 798 NEW BEST:: SOT 5269893 SOS 4426293 HAS SOPS 3366404 HAS SOUS 670005 HAS SOUPS 641516 WITH SCORE 645942.293
AT ITER 811 NEW BEST:: SOT 5288873 SOS 4445417 HAS SOPS 3374708 HAS SOUS 656100 HAS SOUPS 627431 WITH SCORE 631876.417
AT ITER 821 NEW BEST:: SOT 5288923 SOS 4445467 HAS SOPS 3374758 HAS SOUS 656088 HAS SOUPS 627419 WITH SCORE 631864.467
AT ITER 826 NEW BEST:: SOT 5288895 SOS 4445439 HAS SOPS 3374730 HAS SOUS 656082 HAS SOUPS 627413 WITH SCORE 631858.439
AT ITER 827 NEW BEST:: SOT 5288895 SOS 4450335 HAS SOPS 3374510 HAS SOUS 648222 HAS SOUPS 619730 WITH SCORE 624180.335
AT ITER 831 NEW BEST:: SOT 5288805 SOS 4450245 HAS SOPS 3374420 HAS SOUS 648182 HAS SOUPS 619690 WITH SCORE 624140.245
AT ITER 835 NEW BEST:: SOT 5296974 SOS 4458212 HAS SOPS 3366181 HAS SOUS 644000 HAS SOUPS 615472 WITH SCORE 619930.212
AT ITER 838 NEW BEST:: SOT 5296991 SOS 4458229 HAS SOPS 3366198 HAS SOUS 643928 HAS SOUPS 615400 WITH SCORE 619858.229
AT ITER 850 NEW BEST:: SOT 5294743 SOS 4450043 HAS SOPS 3343962 HAS SOUS 643201 HAS SOUPS 614333 WITH SCORE 618783.043
AT ITER 857 NEW BEST:: SOT 5294693 SOS 4449993 HAS SOPS 3343912 HAS SOUS 643139 HAS SOUPS 614271 WITH SCORE 618720.993
AT ITER 861 NEW BEST:: SOT 5294693 SOS 4447859 HAS SOPS 3340852 HAS SOUS 640634 HAS SOUPS 611817 WITH SCORE 616264.859
AT ITER 871 NEW BEST:: SOT 5293237 SOS 4446403 HAS SOPS 3339396 HAS SOUS 640340 HAS SOUPS 611523 WITH SCORE 615969.403
AT ITER 874 NEW BEST:: SOT 5293555 SOS 4446721 HAS SOPS 3339714 HAS SOUS 639914 HAS SOUPS 611097 WITH SCORE 615543.721
AT ITER 878 NEW BEST:: SOT 5294005 SOS 4444091 HAS SOPS 3327228 HAS SOUS 639972 HAS SOUPS 611043 WITH SCORE 615487.091
AT ITER 883 NEW BEST:: SOT 5294005 SOS 4412589 HAS SOPS 3309402 HAS SOUS 639473 HAS SOUPS 610726 WITH SCORE 615138.589
AT ITER 887 NEW BEST:: SOT 5294005 SOS 4402563 HAS SOPS 3300774 HAS SOUS 630016 HAS SOUPS 601017 WITH SCORE 605419.563
AT ITER 889 NEW BEST:: SOT 5293953 SOS 4402511 HAS SOPS 3300722 HAS SOUS 629971 HAS SOUPS 600972 WITH SCORE 605374.511
AT ITER 894 NEW BEST:: SOT 5294625 SOS 4398229 HAS SOPS 3306356 HAS SOUS 618511 HAS SOUPS 589537 WITH SCORE 593935.229
AT ITER 902 NEW BEST:: SOT 5293829 SOS 4397457 HAS SOPS 3305584 HAS SOUS 618370 HAS SOUPS 589396 WITH SCORE 593793.457
AT ITER 915 NEW BEST:: SOT 5293861 SOS 4397341 HAS SOPS 3305616 HAS SOUS 618175 HAS SOUPS 589275 WITH SCORE 593672.341
AT ITER 921 NEW BEST:: SOT 5288021 SOS 4391501 HAS SOPS 3299776 HAS SOUS 612935 HAS SOUPS 584035 WITH SCORE 588426.501
AT ITER 922 NEW BEST:: SOT 5288013 SOS 4391493 HAS SOPS 3299768 HAS SOUS 612927 HAS SOUPS 584027 WITH SCORE 588418.493
AT ITER 923 NEW BEST:: SOT 5291047 SOS 4393634 HAS SOPS 3298312 HAS SOUS 611863 HAS SOUPS 582963 WITH SCORE 587356.634
AT ITER 926 NEW BEST:: SOT 5291047 SOS 4381789 HAS SOPS 3285866 HAS SOUS 607879 HAS SOUPS 579067 WITH SCORE 583448.789
AT ITER 931 NEW BEST:: SOT 5295797 SOS 4370165 HAS SOPS 3291394 HAS SOUS 607057 HAS SOUPS 578708 WITH SCORE 583078.165
AT ITER 939 NEW BEST:: SOT 5295797 SOS 4373001 HAS SOPS 3281998 HAS SOUS 606979 HAS SOUPS 578630 WITH SCORE 583003.001
AT ITER 950 NEW BEST:: SOT 5295797 SOS 4371525 HAS SOPS 3284126 HAS SOUS 605446 HAS SOUPS 577709 WITH SCORE 582080.525
AT ITER 953 NEW BEST:: SOT 5295797 SOS 4381991 HAS SOPS 3283898 HAS SOUS 605439 HAS SOUPS 577690 WITH SCORE 582071.991
AT ITER 956 NEW BEST:: SOT 5295797 SOS 4384062 HAS SOPS 3282266 HAS SOUS 604600 HAS SOUPS 576825 WITH SCORE 581209.062
AT ITER 958 NEW BEST:: SOT 5295281 SOS 4383546 HAS SOPS 3281750 HAS SOUS 598797 HAS SOUPS 571022 WITH SCORE 575405.546
AT ITER 966 NEW BEST:: SOT 5297033 SOS 4385298 HAS SOPS 3283502 HAS SOUS 597700 HAS SOUPS 569925 WITH SCORE 574310.298
AT ITER 982 NEW BEST:: SOT 5297033 SOS 4387105 HAS SOPS 3279548 HAS SOUS 597936 HAS SOUPS 569170 WITH SCORE 573557.105
AT ITER 993 NEW BEST:: SOT 5297031 SOS 4387103 HAS SOPS 3279546 HAS SOUS 597935 HAS SOUPS 569169 WITH SCORE 573556.103
AT ITER 1018 NEW BEST:: SOT 5297031 SOS 4388055 HAS SOPS 3280214 HAS SOUS 598116 HAS SOUPS 569093 WITH SCORE 573481.055
AT ITER 1021 NEW BEST:: SOT 5297031 SOS 4387915 HAS SOPS 3280214 HAS SOUS 598116 HAS SOUPS 569093 WITH SCORE 573480.915
AT ITER 1022 NEW BEST:: SOT 5297031 SOS 4388803 HAS SOPS 3274686 HAS SOUS 594966 HAS SOUPS 566859 WITH SCORE 571247.803
AT ITER 1043 NEW BEST:: SOT 5296957 SOS 4388729 HAS SOPS 3274612 HAS SOUS 594933 HAS SOUPS 566826 WITH SCORE 571214.729
AT ITER 1052 NEW BEST:: SOT 5296957 SOS 4385145 HAS SOPS 3274724 HAS SOUS 594926 HAS SOUPS 566819 WITH SCORE 571204.145
AT ITER 1053 NEW BEST:: SOT 5296957 SOS 4385145 HAS SOPS 3274724 HAS SOUS 594924 HAS SOUPS 566817 WITH SCORE 571202.145
AT ITER 1059 NEW BEST:: SOT 5312029 SOS 4401347 HAS SOPS 3279678 HAS SOUS 592153 HAS SOUPS 564758 WITH SCORE 569159.347
AT ITER 1066 NEW BEST:: SOT 5312029 SOS 4401383 HAS SOPS 3279622 HAS SOUS 592075 HAS SOUPS 564634 WITH SCORE 569035.383
AT ITER 1077 NEW BEST:: SOT 5311779 SOS 4401133 HAS SOPS 3279372 HAS SOUS 591889 HAS SOUPS 564448 WITH SCORE 568849.133
AT ITER 1084 NEW BEST:: SOT 5311703 SOS 4401057 HAS SOPS 3279296 HAS SOUS 591837 HAS SOUPS 564396 WITH SCORE 568797.057
AT ITER 1085 NEW BEST:: SOT 5311683 SOS 4401037 HAS SOPS 3279276 HAS SOUS 591822 HAS SOUPS 564381 WITH SCORE 568782.037
AT ITER 1098 NEW BEST:: SOT 5281661 SOS 4371015 HAS SOPS 3249254 HAS SOUS 589883 HAS SOUPS 562442 WITH SCORE 566813.015
AT ITER 1099 NEW BEST:: SOT 5283665 SOS 4370727 HAS SOPS 3248132 HAS SOUS 586355 HAS SOUPS 558948 WITH SCORE 563318.727
AT ITER 1101 NEW BEST:: SOT 5283661 SOS 4370723 HAS SOPS 3248128 HAS SOUS 586285 HAS SOUPS 558878 WITH SCORE 563248.723
AT ITER 1102 NEW BEST:: SOT 5283737 SOS 4370799 HAS SOPS 3248204 HAS SOUS 586278 HAS SOUPS 558871 WITH SCORE 563241.799
AT ITER 1103 NEW BEST:: SOT 5282597 SOS 4364885 HAS SOPS 3241260 HAS SOUS 584580 HAS SOUPS 557410 WITH SCORE 561774.885
AT ITER 1120 NEW BEST:: SOT 5283071 SOS 4365359 HAS SOPS 3241734 HAS SOUS 583605 HAS SOUPS 556435 WITH SCORE 560800.359
AT ITER 1126 NEW BEST:: SOT 5283381 SOS 4361785 HAS SOPS 3230292 HAS SOUS 580272 HAS SOUPS 553102 WITH SCORE 557463.785
AT ITER 1129 NEW BEST:: SOT 5283381 SOS 4360675 HAS SOPS 3222504 HAS SOUS 578464 HAS SOUPS 551684 WITH SCORE 556044.675
AT ITER 1137 NEW BEST:: SOT 5280865 SOS 4358851 HAS SOPS 3221124 HAS SOUS 578780 HAS SOUPS 551576 WITH SCORE 555934.851
AT ITER 1138 NEW BEST:: SOT 5280787 SOS 4358773 HAS SOPS 3221046 HAS SOUS 578765 HAS SOUPS 551561 WITH SCORE 555919.773
AT ITER 1143 NEW BEST:: SOT 5281826 SOS 4304444 HAS SOPS 3219757 HAS SOUS 571459 HAS SOUPS 544749 WITH SCORE 549053.444
AT ITER 1144 NEW BEST:: SOT 5281826 SOS 4304116 HAS SOPS 3219301 HAS SOUS 571435 HAS SOUPS 544705 WITH SCORE 549009.116
AT ITER 1145 NEW BEST:: SOT 5282242 SOS 4298700 HAS SOPS 3214037 HAS SOUS 559910 HAS SOUPS 533256 WITH SCORE 537554.7
AT ITER 1150 NEW BEST:: SOT 5282242 SOS 4297644 HAS SOPS 3171245 HAS SOUS 556889 HAS SOUPS 530305 WITH SCORE 534602.644
AT ITER 1163 NEW BEST:: SOT 5282242 SOS 4304730 HAS SOPS 3167395 HAS SOUS 556839 HAS SOUPS 530254 WITH SCORE 534558.73
AT ITER 1187 NEW BEST:: SOT 5282212 SOS 4304700 HAS SOPS 3167365 HAS SOUS 556809 HAS SOUPS 530224 WITH SCORE 534528.7
AT ITER 1189 NEW BEST:: SOT 5286594 SOS 4301300 HAS SOPS 3159395 HAS SOUS 554945 HAS SOUPS 529343 WITH SCORE 533644.3
AT ITER 1206 NEW BEST:: SOT 5285454 SOS 4300160 HAS SOPS 3158255 HAS SOUS 554939 HAS SOUPS 529337 WITH SCORE 533637.16
AT ITER 1220 NEW BEST:: SOT 5284208 SOS 4298914 HAS SOPS 3157009 HAS SOUS 554831 HAS SOUPS 529229 WITH SCORE 533527.914
AT ITER 1233 NEW BEST:: SOT 5284290 SOS 4308136 HAS SOPS 3111387 HAS SOUS 556842 HAS SOUPS 529179 WITH SCORE 533487.136
AT ITER 1239 NEW BEST:: SOT 5284294 SOS 4308140 HAS SOPS 3111391 HAS SOUS 555860 HAS SOUPS 528197 WITH SCORE 532505.14
AT ITER 1245 NEW BEST:: SOT 5284294 SOS 4308044 HAS SOPS 3111295 HAS SOUS 555703 HAS SOUPS 528040 WITH SCORE 532348.044
AT ITER 1246 NEW BEST:: SOT 5306166 SOS 4321136 HAS SOPS 3122563 HAS SOUS 543837 HAS SOUPS 516179 WITH SCORE 520500.136
AT ITER 1260 NEW BEST:: SOT 5306550 SOS 4321520 HAS SOPS 3122947 HAS SOUS 543418 HAS SOUPS 515760 WITH SCORE 520081.52
AT ITER 1269 NEW BEST:: SOT 5306550 SOS 4321508 HAS SOPS 3122707 HAS SOUS 543140 HAS SOUPS 515426 WITH SCORE 519747.508
AT ITER 1283 NEW BEST:: SOT 5306550 SOS 4321034 HAS SOPS 3119109 HAS SOUS 541495 HAS SOUPS 514281 WITH SCORE 518602.034
AT ITER 1288 NEW BEST:: SOT 5306550 SOS 4321042 HAS SOPS 3110372 HAS SOUS 539593 HAS SOUPS 513340 WITH SCORE 517661.042
AT ITER 1289 NEW BEST:: SOT 5306550 SOS 4321602 HAS SOPS 3107424 HAS SOUS 539025 HAS SOUPS 512828 WITH SCORE 517149.602
AT ITER 1291 NEW BEST:: SOT 5306550 SOS 4321402 HAS SOPS 3107254 HAS SOUS 537525 HAS SOUPS 511521 WITH SCORE 515842.402
AT ITER 1295 NEW BEST:: SOT 5306550 SOS 4321402 HAS SOPS 3107254 HAS SOUS 537493 HAS SOUPS 511489 WITH SCORE 515810.402
AT ITER 1306 NEW BEST:: SOT 5307634 SOS 4322486 HAS SOPS 3108338 HAS SOUS 536380 HAS SOUPS 510376 WITH SCORE 514698.486
AT ITER 1314 NEW BEST:: SOT 5307634 SOS 4322706 HAS SOPS 3108886 HAS SOUS 536419 HAS SOUPS 510341 WITH SCORE 514663.706
AT ITER 1316 NEW BEST:: SOT 5307634 SOS 4324086 HAS SOPS 3102806 HAS SOUS 536438 HAS SOUPS 510284 WITH SCORE 514608.086
AT ITER 1318 NEW BEST:: SOT 5307634 SOS 4297470 HAS SOPS 3099142 HAS SOUS 536058 HAS SOUPS 510137 WITH SCORE 514434.47
AT ITER 1334 NEW BEST:: SOT 5317466 SOS 4306248 HAS SOPS 3107718 HAS SOUS 535557 HAS SOUPS 509680 WITH SCORE 513986.248
AT ITER 1335 NEW BEST:: SOT 5317466 SOS 4304786 HAS SOPS 3107836 HAS SOUS 535065 HAS SOUPS 509269 WITH SCORE 513573.786
AT ITER 1341 NEW BEST:: SOT 5294490 SOS 4281810 HAS SOPS 3084860 HAS SOUS 529939 HAS SOUPS 504143 WITH SCORE 508424.81
AT ITER 1348 NEW BEST:: SOT 5298478 SOS 4285594 HAS SOPS 3087716 HAS SOUS 528614 HAS SOUPS 502793 WITH SCORE 507078.594
AT ITER 1349 NEW BEST:: SOT 5312372 SOS 4299488 HAS SOPS 3101610 HAS SOUS 526413 HAS SOUPS 500592 WITH SCORE 504891.488
AT ITER 1355 NEW BEST:: SOT 5312372 SOS 4290292 HAS SOPS 3092572 HAS SOUS 526383 HAS SOUPS 500572 WITH SCORE 504862.292
AT ITER 1356 NEW BEST:: SOT 5312372 SOS 4289996 HAS SOPS 3087828 HAS SOUS 525151 HAS SOUPS 499290 WITH SCORE 503579.996
AT ITER 1362 NEW BEST:: SOT 5304952 SOS 4282672 HAS SOPS 3075496 HAS SOUS 524371 HAS SOUPS 498306 WITH SCORE 502588.672
AT ITER 1363 NEW BEST:: SOT 5304952 SOS 4274342 HAS SOPS 3081534 HAS SOUS 523179 HAS SOUPS 497508 WITH SCORE 501782.342
AT ITER 1379 NEW BEST:: SOT 5304952 SOS 4274336 HAS SOPS 3081534 HAS SOUS 523179 HAS SOUPS 497508 WITH SCORE 501782.336
AT ITER 1382 NEW BEST:: SOT 5304952 SOS 4274336 HAS SOPS 3081534 HAS SOUS 523130 HAS SOUPS 497459 WITH SCORE 501733.336
AT ITER 1383 NEW BEST:: SOT 5304996 SOS 4274380 HAS SOPS 3081578 HAS SOUS 523125 HAS SOUPS 497454 WITH SCORE 501728.38
AT ITER 1408 NEW BEST:: SOT 5304882 SOS 4274490 HAS SOPS 3081640 HAS SOUS 521754 HAS SOUPS 496108 WITH SCORE 500382.49
AT ITER 1413 NEW BEST:: SOT 5298750 SOS 4268358 HAS SOPS 3075508 HAS SOUS 520762 HAS SOUPS 495116 WITH SCORE 499384.358
AT ITER 1417 NEW BEST:: SOT 5298750 SOS 4268358 HAS SOPS 3078298 HAS SOUS 519985 HAS SOUPS 494410 WITH SCORE 498678.358
AT ITER 1420 NEW BEST:: SOT 5298760 SOS 4268318 HAS SOPS 3078308 HAS SOUS 519846 HAS SOUPS 494296 WITH SCORE 498564.318
AT ITER 1421 NEW BEST:: SOT 5298760 SOS 4268318 HAS SOPS 3078308 HAS SOUS 519828 HAS SOUPS 494278 WITH SCORE 498546.318
AT ITER 1430 NEW BEST:: SOT 5301283 SOS 4270841 HAS SOPS 3080831 HAS SOUS 519555 HAS SOUPS 494005 WITH SCORE 498275.841
AT ITER 1446 NEW BEST:: SOT 5301283 SOS 4270817 HAS SOPS 3081263 HAS SOUS 519473 HAS SOUPS 493911 WITH SCORE 498181.817
AT ITER 1450 NEW BEST:: SOT 5301283 SOS 4272047 HAS SOPS 3081697 HAS SOUS 519445 HAS SOUPS 493748 WITH SCORE 498020.047
AT ITER 1455 NEW BEST:: SOT 5302137 SOS 4273085 HAS SOPS 3080751 HAS SOUS 517631 HAS SOUPS 492114 WITH SCORE 496387.085
AT ITER 1460 NEW BEST:: SOT 5300283 SOS 4271306 HAS SOPS 3078972 HAS SOUS 517356 HAS SOUPS 491839 WITH SCORE 496110.306
AT ITER 1461 NEW BEST:: SOT 5300283 SOS 4271306 HAS SOPS 3078972 HAS SOUS 516988 HAS SOUPS 491471 WITH SCORE 495742.306
AT ITER 1471 NEW BEST:: SOT 5302345 SOS 4259682 HAS SOPS 3066196 HAS SOUS 515233 HAS SOUPS 489716 WITH SCORE 493975.682
AT ITER 1484 NEW BEST:: SOT 5302349 SOS 4259686 HAS SOPS 3066200 HAS SOUS 515232 HAS SOUPS 489715 WITH SCORE 493974.686
AT ITER 1494 NEW BEST:: SOT 5302349 SOS 4261030 HAS SOPS 3029900 HAS SOUS 514743 HAS SOUPS 489412 WITH SCORE 493673.03
AT ITER 1501 NEW BEST:: SOT 5302349 SOS 4259822 HAS SOPS 3028852 HAS SOUS 514715 HAS SOUPS 489392 WITH SCORE 493651.822
AT ITER 1504 NEW BEST:: SOT 5303299 SOS 4260772 HAS SOPS 3029802 HAS SOUS 513771 HAS SOUPS 488448 WITH SCORE 492708.772
AT ITER 1506 NEW BEST:: SOT 5302051 SOS 4262526 HAS SOPS 3005152 HAS SOUS 509131 HAS SOUPS 483741 WITH SCORE 488003.526
AT ITER 1511 NEW BEST:: SOT 5302009 SOS 4262484 HAS SOPS 3005110 HAS SOUS 509105 HAS SOUPS 483715 WITH SCORE 487977.484
AT ITER 1514 NEW BEST:: SOT 5302009 SOS 4262602 HAS SOPS 3005052 HAS SOUS 509145 HAS SOUPS 483714 WITH SCORE 487976.602
AT ITER 1529 NEW BEST:: SOT 5301989 SOS 4262582 HAS SOPS 3005032 HAS SOUS 509134 HAS SOUPS 483703 WITH SCORE 487965.582
AT ITER 1532 NEW BEST:: SOT 5301975 SOS 4262568 HAS SOPS 3005018 HAS SOUS 509110 HAS SOUPS 483679 WITH SCORE 487941.568
AT ITER 1544 NEW BEST:: SOT 5304199 SOS 4264798 HAS SOPS 3007248 HAS SOUS 508913 HAS SOUPS 483482 WITH SCORE 487746.798
AT ITER 1545 NEW BEST:: SOT 5304199 SOS 4254678 HAS SOPS 3005712 HAS SOUS 507983 HAS SOUPS 483073 WITH SCORE 487327.678
AT ITER 1549 NEW BEST:: SOT 5302976 SOS 4253455 HAS SOPS 3004489 HAS SOUS 507690 HAS SOUPS 482780 WITH SCORE 487033.455
AT ITER 1565 NEW BEST:: SOT 5300992 SOS 4250159 HAS SOPS 2993761 HAS SOUS 505625 HAS SOUPS 482360 WITH SCORE 486610.159
AT ITER 1566 NEW BEST:: SOT 5290766 SOS 4239933 HAS SOPS 2983535 HAS SOUS 504629 HAS SOUPS 481364 WITH SCORE 485603.933
AT ITER 1568 NEW BEST:: SOT 5290766 SOS 4240233 HAS SOPS 2979089 HAS SOUS 503213 HAS SOUPS 479893 WITH SCORE 484133.233
AT ITER 1580 NEW BEST:: SOT 5290766 SOS 4231689 HAS SOPS 2979769 HAS SOUS 503206 HAS SOUPS 479896 WITH SCORE 484127.689
AT ITER 1583 NEW BEST:: SOT 5290714 SOS 4231637 HAS SOPS 2979717 HAS SOUS 503184 HAS SOUPS 479874 WITH SCORE 484105.637
AT ITER 1595 NEW BEST:: SOT 5297592 SOS 4235887 HAS SOPS 2979775 HAS SOUS 496157 HAS SOUPS 472770 WITH SCORE 477005.887
AT ITER 1597 NEW BEST:: SOT 5297564 SOS 4235859 HAS SOPS 2979747 HAS SOUS 496129 HAS SOUPS 472742 WITH SCORE 476977.859
AT ITER 1614 NEW BEST:: SOT 5297564 SOS 4235763 HAS SOPS 2979747 HAS SOUS 496081 HAS SOUPS 472742 WITH SCORE 476977.763
AT ITER 1629 NEW BEST:: SOT 5297768 SOS 4235967 HAS SOPS 2979951 HAS SOUS 495907 HAS SOUPS 472568 WITH SCORE 476803.967
AT ITER 1636 NEW BEST:: SOT 5297766 SOS 4235965 HAS SOPS 2979949 HAS SOUS 495870 HAS SOUPS 472531 WITH SCORE 476766.965
AT ITER 1638 NEW BEST:: SOT 5297766 SOS 4219399 HAS SOPS 2978659 HAS SOUS 495722 HAS SOUPS 472480 WITH SCORE 476699.399
AT ITER 1644 NEW BEST:: SOT 5297766 SOS 4219535 HAS SOPS 2978731 HAS SOUS 495272 HAS SOUPS 472072 WITH SCORE 476291.535
AT ITER 1664 NEW BEST:: SOT 5302036 SOS 4223595 HAS SOPS 2982683 HAS SOUS 494860 HAS SOUPS 471606 WITH SCORE 475829.595
AT ITER 1667 NEW BEST:: SOT 5307038 SOS 4226409 HAS SOPS 2985327 HAS SOUS 491462 HAS SOUPS 468498 WITH SCORE 472724.409
AT ITER 1669 NEW BEST:: SOT 5336894 SOS 4255541 HAS SOPS 3010539 HAS SOUS 487403 HAS SOUPS 464682 WITH SCORE 468937.541
AT ITER 1683 NEW BEST:: SOT 5336894 SOS 4255547 HAS SOPS 3010533 HAS SOUS 487367 HAS SOUPS 464670 WITH SCORE 468925.547
AT ITER 1702 NEW BEST:: SOT 5345308 SOS 4319169 HAS SOPS 3083452 HAS SOUS 482203 HAS SOUPS 461151 WITH SCORE 465470.169
AT ITER 1704 NEW BEST:: SOT 5345308 SOS 4317627 HAS SOPS 3075387 HAS SOUS 479822 HAS SOUPS 459174 WITH SCORE 463491.627
AT ITER 1712 NEW BEST:: SOT 5341248 SOS 4313567 HAS SOPS 3071327 HAS SOUS 478407 HAS SOUPS 457759 WITH SCORE 462072.567
AT ITER 1715 NEW BEST:: SOT 5341248 SOS 4312671 HAS SOPS 3065351 HAS SOUS 478337 HAS SOUPS 457509 WITH SCORE 461821.671
AT ITER 1728 NEW BEST:: SOT 5341248 SOS 4291427 HAS SOPS 3045643 HAS SOUS 478301 HAS SOUPS 457488 WITH SCORE 461779.427
AT ITER 1730 NEW BEST:: SOT 5343426 SOS 4289607 HAS SOPS 3042951 HAS SOUS 477711 HAS SOUPS 457064 WITH SCORE 461353.607
AT ITER 1735 NEW BEST:: SOT 5343745 SOS 4289926 HAS SOPS 3043270 HAS SOUS 476052 HAS SOUPS 455405 WITH SCORE 459694.926
AT ITER 1745 NEW BEST:: SOT 5345271 SOS 4291452 HAS SOPS 3044796 HAS SOUS 475869 HAS SOUPS 455222 WITH SCORE 459513.452
AT ITER 1754 NEW BEST:: SOT 5345271 SOS 4292806 HAS SOPS 3041638 HAS SOUS 475832 HAS SOUPS 455218 WITH SCORE 459510.806
AT ITER 1756 NEW BEST:: SOT 5345313 SOS 4292038 HAS SOPS 3062582 HAS SOUS 473383 HAS SOUPS 454259 WITH SCORE 458551.038
AT ITER 1761 NEW BEST:: SOT 5345269 SOS 4291886 HAS SOPS 3062538 HAS SOUS 473168 HAS SOUPS 454098 WITH SCORE 458389.886
AT ITER 1766 NEW BEST:: SOT 5346793 SOS 4293410 HAS SOPS 3064062 HAS SOUS 472926 HAS SOUPS 453856 WITH SCORE 458149.41
AT ITER 1769 NEW BEST:: SOT 5348951 SOS 4295380 HAS SOPS 3065512 HAS SOUS 468946 HAS SOUPS 449826 WITH SCORE 454121.38
AT ITER 1780 NEW BEST:: SOT 5349171 SOS 4295600 HAS SOPS 3065732 HAS SOUS 468882 HAS SOUPS 449762 WITH SCORE 454057.6
AT ITER 1786 NEW BEST:: SOT 5349283 SOS 4295712 HAS SOPS 3065844 HAS SOUS 468490 HAS SOUPS 449370 WITH SCORE 453665.712
AT ITER 1791 NEW BEST:: SOT 5349371 SOS 4295800 HAS SOPS 3065932 HAS SOUS 468058 HAS SOUPS 448938 WITH SCORE 453233.8
AT ITER 1794 NEW BEST:: SOT 5349371 SOS 4295010 HAS SOPS 3063801 HAS SOUS 467348 HAS SOUPS 448352 WITH SCORE 452647.01
AT ITER 1796 NEW BEST:: SOT 5347297 SOS 4293224 HAS SOPS 3062432 HAS SOUS 467109 HAS SOUPS 448113 WITH SCORE 452406.224
AT ITER 1833 NEW BEST:: SOT 5364729 SOS 4310656 HAS SOPS 3079864 HAS SOUS 459148 HAS SOUPS 440152 WITH SCORE 444462.656
AT ITER 1834 NEW BEST:: SOT 5364697 SOS 4310624 HAS SOPS 3079832 HAS SOUS 459146 HAS SOUPS 440150 WITH SCORE 444460.624
AT ITER 1837 NEW BEST:: SOT 5364697 SOS 4155888 HAS SOPS 3077825 HAS SOUS 459017 HAS SOUPS 439855 WITH SCORE 444010.888
AT ITER 1844 NEW BEST:: SOT 5362603 SOS 4133254 HAS SOPS 3090399 HAS SOUS 458068 HAS SOUPS 439468 WITH SCORE 443601.254
AT ITER 1869 NEW BEST:: SOT 5383375 SOS 4154026 HAS SOPS 3111171 HAS SOUS 446896 HAS SOUPS 428296 WITH SCORE 432450.026
AT ITER 1886 NEW BEST:: SOT 5383369 SOS 4154020 HAS SOPS 3111165 HAS SOUS 446893 HAS SOUPS 428293 WITH SCORE 432447.02
AT ITER 1905 NEW BEST:: SOT 5386881 SOS 4157832 HAS SOPS 3108377 HAS SOUS 446305 HAS SOUPS 427743 WITH SCORE 431900.832
AT ITER 1907 NEW BEST:: SOT 5386101 SOS 4157052 HAS SOPS 3107597 HAS SOUS 445561 HAS SOUPS 426999 WITH SCORE 431156.052
AT ITER 1933 NEW BEST:: SOT 5387779 SOS 4151670 HAS SOPS 3109057 HAS SOUS 444729 HAS SOUPS 426231 WITH SCORE 430382.67
AT ITER 1944 NEW BEST:: SOT 5389565 SOS 4153456 HAS SOPS 3110843 HAS SOUS 444423 HAS SOUPS 425925 WITH SCORE 430078.456
AT ITER 1965 NEW BEST:: SOT 5389565 SOS 4153704 HAS SOPS 3111219 HAS SOUS 444333 HAS SOUPS 425831 WITH SCORE 429984.704
AT ITER 1968 NEW BEST:: SOT 5382211 SOS 4150276 HAS SOPS 3113029 HAS SOUS 437859 HAS SOUPS 419404 WITH SCORE 423554.276
AT ITER 1971 NEW BEST:: SOT 5383269 SOS 4151334 HAS SOPS 3114087 HAS SOUS 437531 HAS SOUPS 419076 WITH SCORE 423227.334
AT ITER 1974 NEW BEST:: SOT 5383269 SOS 4151264 HAS SOPS 3114087 HAS SOUS 437389 HAS SOUPS 418969 WITH SCORE 423120.264
AT ITER 2012 NEW BEST:: SOT 5383269 SOS 4151230 HAS SOPS 3114055 HAS SOUS 437310 HAS SOUPS 418891 WITH SCORE 423042.23
AT ITER 2022 NEW BEST:: SOT 5383269 SOS 4150994 HAS SOPS 3113399 HAS SOUS 436616 HAS SOUPS 418361 WITH SCORE 422511.994
AT ITER 2031 NEW BEST:: SOT 5384023 SOS 4151748 HAS SOPS 3114153 HAS SOUS 436505 HAS SOUPS 418250 WITH SCORE 422401.748
AT ITER 2037 NEW BEST:: SOT 5384017 SOS 4151742 HAS SOPS 3114147 HAS SOUS 436499 HAS SOUPS 418244 WITH SCORE 422395.742
AT ITER 2044 NEW BEST:: SOT 5384039 SOS 4151764 HAS SOPS 3114169 HAS SOUS 436488 HAS SOUPS 418233 WITH SCORE 422384.764
AT ITER 2063 NEW BEST:: SOT 5387629 SOS 4153622 HAS SOPS 3117031 HAS SOUS 435754 HAS SOUPS 417563 WITH SCORE 421716.622
AT ITER 2094 NEW BEST:: SOT 5387785 SOS 4153778 HAS SOPS 3117187 HAS SOUS 435648 HAS SOUPS 417457 WITH SCORE 421610.778
AT ITER 2095 NEW BEST:: SOT 5386305 SOS 4152298 HAS SOPS 3115707 HAS SOUS 433597 HAS SOUPS 415406 WITH SCORE 419558.298
AT ITER 2110 NEW BEST:: SOT 5386305 SOS 4150538 HAS SOPS 3110083 HAS SOUS 432604 HAS SOUPS 414162 WITH SCORE 418312.538
AT ITER 2114 NEW BEST:: SOT 5386305 SOS 4140532 HAS SOPS 3095509 HAS SOUS 432557 HAS SOUPS 413926 WITH SCORE 418066.532
AT ITER 2128 NEW BEST:: SOT 5386305 SOS 4139994 HAS SOPS 3095019 HAS SOUS 431994 HAS SOUPS 413363 WITH SCORE 417502.994
AT ITER 2160 NEW BEST:: SOT 5379121 SOS 4132810 HAS SOPS 3087835 HAS SOUS 426098 HAS SOUPS 407467 WITH SCORE 411599.81
AT ITER 2173 NEW BEST:: SOT 5379121 SOS 4121786 HAS SOPS 3088535 HAS SOUS 426060 HAS SOUPS 407459 WITH SCORE 411580.786
AT ITER 2174 NEW BEST:: SOT 5376361 SOS 4119026 HAS SOPS 3085775 HAS SOUS 424158 HAS SOUPS 405557 WITH SCORE 409676.026
AT ITER 2183 NEW BEST:: SOT 5376361 SOS 4070386 HAS SOPS 3079583 HAS SOUS 423764 HAS SOUPS 405379 WITH SCORE 409449.386
AT ITER 2201 NEW BEST:: SOT 5376361 SOS 4071806 HAS SOPS 3080664 HAS SOUS 422650 HAS SOUPS 404627 WITH SCORE 408698.806
AT ITER 2203 NEW BEST:: SOT 5376361 SOS 4047634 HAS SOPS 3078640 HAS SOUS 422619 HAS SOUPS 404605 WITH SCORE 408652.634
AT ITER 2206 NEW BEST:: SOT 5379895 SOS 4051168 HAS SOPS 3082174 HAS SOUS 422613 HAS SOUPS 404599 WITH SCORE 408650.168
AT ITER 2261 NEW BEST:: SOT 5379893 SOS 4051166 HAS SOPS 3082172 HAS SOUS 422606 HAS SOUPS 404592 WITH SCORE 408643.166
AT ITER 2262 NEW BEST:: SOT 5379867 SOS 4051140 HAS SOPS 3082146 HAS SOUS 422548 HAS SOUPS 404534 WITH SCORE 408585.14
AT ITER 2269 NEW BEST:: SOT 5379867 SOS 4100076 HAS SOPS 3079990 HAS SOUS 419058 HAS SOUPS 402565 WITH SCORE 406665.076
AT ITER 2279 NEW BEST:: SOT 5379665 SOS 4099766 HAS SOPS 3079680 HAS SOUS 418802 HAS SOUPS 402309 WITH SCORE 406408.766
AT ITER 2295 NEW BEST:: SOT 5380481 SOS 4099842 HAS SOPS 3080200 HAS SOUS 418047 HAS SOUPS 401615 WITH SCORE 405714.842
AT ITER 2310 NEW BEST:: SOT 5380481 SOS 4099482 HAS SOPS 3080460 HAS SOUS 417883 HAS SOUPS 401455 WITH SCORE 405554.482
AT ITER 2312 NEW BEST:: SOT 5380491 SOS 4099418 HAS SOPS 3080470 HAS SOUS 417846 HAS SOUPS 401455 WITH SCORE 405554.418
AT ITER 2316 NEW BEST:: SOT 5380525 SOS 4099452 HAS SOPS 3080504 HAS SOUS 417766 HAS SOUPS 401375 WITH SCORE 405474.452
AT ITER 2334 NEW BEST:: SOT 5380461 SOS 4099388 HAS SOPS 3080440 HAS SOUS 417727 HAS SOUPS 401336 WITH SCORE 405435.388
AT ITER 2341 NEW BEST:: SOT 5376403 SOS 4095330 HAS SOPS 3076382 HAS SOUS 417022 HAS SOUPS 400631 WITH SCORE 404726.33
AT ITER 2354 NEW BEST:: SOT 5376211 SOS 4095138 HAS SOPS 3076190 HAS SOUS 416510 HAS SOUPS 400119 WITH SCORE 404214.138
AT ITER 2355 NEW BEST:: SOT 5381963 SOS 4100890 HAS SOPS 3081942 HAS SOUS 414221 HAS SOUPS 397830 WITH SCORE 401930.89
AT ITER 2382 NEW BEST:: SOT 5381834 SOS 4100761 HAS SOPS 3081813 HAS SOUS 413991 HAS SOUPS 397600 WITH SCORE 401700.761
AT ITER 2387 NEW BEST:: SOT 5382224 SOS 4101151 HAS SOPS 3082203 HAS SOUS 413658 HAS SOUPS 397267 WITH SCORE 401368.151
AT ITER 2403 NEW BEST:: SOT 5382164 SOS 4101091 HAS SOPS 3082143 HAS SOUS 413658 HAS SOUPS 397267 WITH SCORE 401368.091
AT ITER 2435 NEW BEST:: SOT 5385350 SOS 4104385 HAS SOPS 3082397 HAS SOUS 412380 HAS SOUPS 395962 WITH SCORE 400066.385
AT ITER 2471 NEW BEST:: SOT 5385348 SOS 4104383 HAS SOPS 3082395 HAS SOUS 412379 HAS SOUPS 395961 WITH SCORE 400065.383
AT ITER 2483 NEW BEST:: SOT 5386578 SOS 4105613 HAS SOPS 3083625 HAS SOUS 411886 HAS SOUPS 395468 WITH SCORE 399573.613
AT ITER 2491 NEW BEST:: SOT 5386230 SOS 4105265 HAS SOPS 3083277 HAS SOUS 411856 HAS SOUPS 395438 WITH SCORE 399543.265
AT ITER 2493 NEW BEST:: SOT 5378548 SOS 4097571 HAS SOPS 3075779 HAS SOUS 410680 HAS SOUPS 394298 WITH SCORE 398395.571
AT ITER 2495 NEW BEST:: SOT 5379508 SOS 4112087 HAS SOPS 3073547 HAS SOUS 410718 HAS SOUPS 394130 WITH SCORE 398242.087
AT ITER 2518 NEW BEST:: SOT 5379480 SOS 4112059 HAS SOPS 3073519 HAS SOUS 410624 HAS SOUPS 394036 WITH SCORE 398148.059
AT ITER 2527 NEW BEST:: SOT 5379480 SOS 4111691 HAS SOPS 3072911 HAS SOUS 410392 HAS SOUPS 393808 WITH SCORE 397919.691
AT ITER 2531 NEW BEST:: SOT 5380972 SOS 4106353 HAS SOPS 3064387 HAS SOUS 408979 HAS SOUPS 392313 WITH SCORE 396419.353
AT ITER 2556 NEW BEST:: SOT 5383233 SOS 4108848 HAS SOPS 3062915 HAS SOUS 403870 HAS SOUPS 387204 WITH SCORE 391312.848
AT ITER 2578 NEW BEST:: SOT 5383903 SOS 4109518 HAS SOPS 3063585 HAS SOUS 402262 HAS SOUPS 385596 WITH SCORE 389705.518
AT ITER 2582 NEW BEST:: SOT 5383903 SOS 4109530 HAS SOPS 3063533 HAS SOUS 402267 HAS SOUPS 385586 WITH SCORE 389695.53
AT ITER 2584 NEW BEST:: SOT 5383897 SOS 4109524 HAS SOPS 3063527 HAS SOUS 402265 HAS SOUPS 385584 WITH SCORE 389693.524
AT ITER 2613 NEW BEST:: SOT 5414863 SOS 4140834 HAS SOPS 3084101 HAS SOUS 395542 HAS SOUPS 378838 WITH SCORE 382978.834
AT ITER 2649 NEW BEST:: SOT 5414863 SOS 4140202 HAS SOPS 3084181 HAS SOUS 395542 HAS SOUPS 378837 WITH SCORE 382977.202
AT ITER 2664 NEW BEST:: SOT 5414863 SOS 4137566 HAS SOPS 3081881 HAS SOUS 395375 HAS SOUPS 378724 WITH SCORE 382861.566
AT ITER 2671 NEW BEST:: SOT 5417451 SOS 4140154 HAS SOPS 3084469 HAS SOUS 395112 HAS SOUPS 378461 WITH SCORE 382601.154
AT ITER 2684 NEW BEST:: SOT 5417451 SOS 4138228 HAS SOPS 3073803 HAS SOUS 394929 HAS SOUPS 378278 WITH SCORE 382416.228
AT ITER 2688 NEW BEST:: SOT 5417451 SOS 4138668 HAS SOPS 3073531 HAS SOUS 394264 HAS SOUPS 377754 WITH SCORE 381892.668
AT ITER 2695 NEW BEST:: SOT 5418179 SOS 4140258 HAS SOPS 3074257 HAS SOUS 394232 HAS SOUPS 377740 WITH SCORE 381880.258
AT ITER 2697 NEW BEST:: SOT 5388557 SOS 4331658 HAS SOPS 3917975 HAS SOUS 379711 HAS SOUPS 377061 WITH SCORE 381392.658
AT ITER 2703 NEW BEST:: SOT 5389069 SOS 4332170 HAS SOPS 3918487 HAS SOUS 378593 HAS SOUPS 375943 WITH SCORE 380275.17
AT ITER 2710 NEW BEST:: SOT 5389125 SOS 4332226 HAS SOPS 3918543 HAS SOUS 378395 HAS SOUPS 375745 WITH SCORE 380077.226
AT ITER 2711 NEW BEST:: SOT 5389105 SOS 4332206 HAS SOPS 3918523 HAS SOUS 378375 HAS SOUPS 375725 WITH SCORE 380057.206
AT ITER 2723 NEW BEST:: SOT 5388721 SOS 4331762 HAS SOPS 3918109 HAS SOUS 377769 HAS SOUPS 375134 WITH SCORE 379465.762
AT ITER 2729 NEW BEST:: SOT 5388689 SOS 4331730 HAS SOPS 3918077 HAS SOUS 377581 HAS SOUPS 374946 WITH SCORE 379277.73
AT ITER 2736 NEW BEST:: SOT 5387659 SOS 4330700 HAS SOPS 3917047 HAS SOUS 377552 HAS SOUPS 374917 WITH SCORE 379247.7
AT ITER 2768 NEW BEST:: SOT 5379661 SOS 4322702 HAS SOPS 3909049 HAS SOUS 375101 HAS SOUPS 372466 WITH SCORE 376788.702
AT ITER 2785 NEW BEST:: SOT 5379785 SOS 4322826 HAS SOPS 3909173 HAS SOUS 374993 HAS SOUPS 372358 WITH SCORE 376680.826
AT ITER 2800 NEW BEST:: SOT 5380209 SOS 4287122 HAS SOPS 3855213 HAS SOUS 372083 HAS SOUPS 369666 WITH SCORE 373953.122
AT ITER 2803 NEW BEST:: SOT 5380237 SOS 4286928 HAS SOPS 3854187 HAS SOUS 371864 HAS SOUPS 369471 WITH SCORE 373757.928
AT ITER 2818 NEW BEST:: SOT 5380905 SOS 4287596 HAS SOPS 3854855 HAS SOUS 371072 HAS SOUPS 368679 WITH SCORE 372966.596
AT ITER 2828 NEW BEST:: SOT 5384013 SOS 4290704 HAS SOPS 3857963 HAS SOUS 371064 HAS SOUPS 368671 WITH SCORE 372961.704
AT ITER 2830 NEW BEST:: SOT 5384189 SOS 4290880 HAS SOPS 3858139 HAS SOUS 370802 HAS SOUPS 368409 WITH SCORE 372699.88
AT ITER 2855 NEW BEST:: SOT 5384189 SOS 4267748 HAS SOPS 3825341 HAS SOUS 370479 HAS SOUPS 368227 WITH SCORE 372494.748
AT ITER 2859 NEW BEST:: SOT 5384189 SOS 4267582 HAS SOPS 3825935 HAS SOUS 370497 HAS SOUPS 368220 WITH SCORE 372487.582
AT ITER 2877 NEW BEST:: SOT 5384267 SOS 4267660 HAS SOPS 3826013 HAS SOUS 370181 HAS SOUPS 367904 WITH SCORE 372171.66
AT ITER 2879 NEW BEST:: SOT 5385659 SOS 4269052 HAS SOPS 3827405 HAS SOUS 369177 HAS SOUPS 366900 WITH SCORE 371169.052
AT ITER 2889 NEW BEST:: SOT 5387097 SOS 4270490 HAS SOPS 3828843 HAS SOUS 367253 HAS SOUPS 364976 WITH SCORE 369246.49
AT ITER 2903 NEW BEST:: SOT 5387097 SOS 4271274 HAS SOPS 3830419 HAS SOUS 367273 HAS SOUPS 364949 WITH SCORE 369220.274
AT ITER 2933 NEW BEST:: SOT 5381145 SOS 4265322 HAS SOPS 3824467 HAS SOUS 362721 HAS SOUPS 360397 WITH SCORE 364662.322
AT ITER 2940 NEW BEST:: SOT 5381095 SOS 4265272 HAS SOPS 3824417 HAS SOUS 362682 HAS SOUPS 360358 WITH SCORE 364623.272
AT ITER 2943 NEW BEST:: SOT 5381095 SOS 4288624 HAS SOPS 3811369 HAS SOUS 362230 HAS SOUPS 359888 WITH SCORE 364176.624
AT ITER 2946 NEW BEST:: SOT 5381063 SOS 4288592 HAS SOPS 3811337 HAS SOUS 362198 HAS SOUPS 359856 WITH SCORE 364144.592
AT ITER 2950 NEW BEST:: SOT 5381131 SOS 4282596 HAS SOPS 3804093 HAS SOUS 359607 HAS SOUPS 357369 WITH SCORE 361651.596
AT ITER 2965 NEW BEST:: SOT 5381457 SOS 4282922 HAS SOPS 3804419 HAS SOUS 358695 HAS SOUPS 356457 WITH SCORE 360739.922
AT ITER 2995 NEW BEST:: SOT 5377667 SOS 4279132 HAS SOPS 3800629 HAS SOUS 358693 HAS SOUPS 356455 WITH SCORE 360734.132
AT ITER 3004 NEW BEST:: SOT 5379453 SOS 4281128 HAS SOPS 3801857 HAS SOUS 357937 HAS SOUPS 355685 WITH SCORE 359966.128
AT ITER 3032 NEW BEST:: SOT 5379453 SOS 4281128 HAS SOPS 3801857 HAS SOUS 357873 HAS SOUPS 355621 WITH SCORE 359902.128
AT ITER 3036 NEW BEST:: SOT 5379351 SOS 4281026 HAS SOPS 3801755 HAS SOUS 357872 HAS SOUPS 355620 WITH SCORE 359901.026
AT ITER 3049 NEW BEST:: SOT 5379539 SOS 4278330 HAS SOPS 3799399 HAS SOUS 357803 HAS SOUPS 355621 WITH SCORE 359899.33
AT ITER 3060 NEW BEST:: SOT 5379509 SOS 4278300 HAS SOPS 3799369 HAS SOUS 357668 HAS SOUPS 355486 WITH SCORE 359764.3
AT ITER 3070 NEW BEST:: SOT 5359849 SOS 4258640 HAS SOPS 3779709 HAS SOUS 353367 HAS SOUPS 351185 WITH SCORE 355443.64
AT ITER 3078 NEW BEST:: SOT 5360961 SOS 4259752 HAS SOPS 3780821 HAS SOUS 352775 HAS SOUPS 350593 WITH SCORE 354852.752
AT ITER 3103 NEW BEST:: SOT 5360961 SOS 4234064 HAS SOPS 3775005 HAS SOUS 352734 HAS SOUPS 350543 WITH SCORE 354777.064
AT ITER 3105 NEW BEST:: SOT 5360979 SOS 4223986 HAS SOPS 3776003 HAS SOUS 352731 HAS SOUPS 350539 WITH SCORE 354762.986
AT ITER 3108 NEW BEST:: SOT 5360979 SOS 4222388 HAS SOPS 3775813 HAS SOUS 352661 HAS SOUPS 350504 WITH SCORE 354726.388
AT ITER 3127 NEW BEST:: SOT 5360941 SOS 4222350 HAS SOPS 3775775 HAS SOUS 352626 HAS SOUPS 350469 WITH SCORE 354691.35
AT ITER 3159 NEW BEST:: SOT 5358949 SOS 4220358 HAS SOPS 3773783 HAS SOUS 351616 HAS SOUPS 349459 WITH SCORE 353679.358
AT ITER 3175 NEW BEST:: SOT 5358945 SOS 4220354 HAS SOPS 3773779 HAS SOUS 351613 HAS SOUPS 349456 WITH SCORE 353676.354
AT ITER 3182 NEW BEST:: SOT 5361447 SOS 4222856 HAS SOPS 3776281 HAS SOUS 348242 HAS SOUPS 346085 WITH SCORE 350307.856
AT ITER 3232 NEW BEST:: SOT 5359809 SOS 4223010 HAS SOPS 3779955 HAS SOUS 347640 HAS SOUPS 345627 WITH SCORE 349850.01
AT ITER 3246 NEW BEST:: SOT 5349385 SOS 4212586 HAS SOPS 3769531 HAS SOUS 345637 HAS SOUPS 343624 WITH SCORE 347836.586
AT ITER 3263 NEW BEST:: SOT 5352335 SOS 4215536 HAS SOPS 3772481 HAS SOUS 345246 HAS SOUPS 343233 WITH SCORE 347448.536
AT ITER 3320 NEW BEST:: SOT 5350043 SOS 4213244 HAS SOPS 3770189 HAS SOUS 344686 HAS SOUPS 342673 WITH SCORE 346886.244
AT ITER 3321 NEW BEST:: SOT 5350045 SOS 4213246 HAS SOPS 3770191 HAS SOUS 344667 HAS SOUPS 342654 WITH SCORE 346867.246
AT ITER 3327 NEW BEST:: SOT 5350049 SOS 4213389 HAS SOPS 3770334 HAS SOUS 344666 HAS SOUPS 342653 WITH SCORE 346866.389
AT ITER 3337 NEW BEST:: SOT 5342397 SOS 4205737 HAS SOPS 3762682 HAS SOUS 343158 HAS SOUPS 341145 WITH SCORE 345350.737
AT ITER 3368 NEW BEST:: SOT 5345625 SOS 4208855 HAS SOPS 3765768 HAS SOUS 342440 HAS SOUPS 340411 WITH SCORE 344619.855
AT ITER 3379 NEW BEST:: SOT 5343555 SOS 4206785 HAS SOPS 3763698 HAS SOUS 341575 HAS SOUPS 339546 WITH SCORE 343752.785
AT ITER 3389 NEW BEST:: SOT 5343555 SOS 4192073 HAS SOPS 3763640 HAS SOUS 341482 HAS SOUPS 339483 WITH SCORE 343675.073
AT ITER 3403 NEW BEST:: SOT 5347807 SOS 4196325 HAS SOPS 3767892 HAS SOUS 340648 HAS SOUPS 338649 WITH SCORE 342845.325
AT ITER 3416 NEW BEST:: SOT 5347913 SOS 4195531 HAS SOPS 3768029 HAS SOUS 339781 HAS SOUPS 337802 WITH SCORE 341997.531
AT ITER 3417 NEW BEST:: SOT 5343053 SOS 4173277 HAS SOPS 3738959 HAS SOUS 338198 HAS SOUPS 336173 WITH SCORE 340346.277
AT ITER 3419 NEW BEST:: SOT 5342483 SOS 4173889 HAS SOPS 3746579 HAS SOUS 337678 HAS SOUPS 335687 WITH SCORE 339860.889
AT ITER 3433 NEW BEST:: SOT 5342543 SOS 4173949 HAS SOPS 3746639 HAS SOUS 337419 HAS SOUPS 335428 WITH SCORE 339601.949
AT ITER 3475 NEW BEST:: SOT 5342537 SOS 4173943 HAS SOPS 3746633 HAS SOUS 337406 HAS SOUPS 335415 WITH SCORE 339588.943
AT ITER 3480 NEW BEST:: SOT 5343947 SOS 4175353 HAS SOPS 3748043 HAS SOUS 337359 HAS SOUPS 335368 WITH SCORE 339543.353
AT ITER 3507 NEW BEST:: SOT 5344607 SOS 4176013 HAS SOPS 3748703 HAS SOUS 336493 HAS SOUPS 334502 WITH SCORE 338678.013
AT ITER 3528 NEW BEST:: SOT 5344733 SOS 4176139 HAS SOPS 3748829 HAS SOUS 336414 HAS SOUPS 334423 WITH SCORE 338599.139
AT ITER 3598 NEW BEST:: SOT 5343773 SOS 4175179 HAS SOPS 3747869 HAS SOUS 335966 HAS SOUPS 333975 WITH SCORE 338150.179
AT ITER 3599 NEW BEST:: SOT 5343773 SOS 4176215 HAS SOPS 3747545 HAS SOUS 335918 HAS SOUPS 333947 WITH SCORE 338123.215
AT ITER 3619 NEW BEST:: SOT 5343759 SOS 4176201 HAS SOPS 3747531 HAS SOUS 335911 HAS SOUPS 333940 WITH SCORE 338116.201
AT ITER 3656 NEW BEST:: SOT 5343757 SOS 4215635 HAS SOPS 3749629 HAS SOUS 335895 HAS SOUPS 333892 WITH SCORE 338107.635
AT ITER 3685 NEW BEST:: SOT 5343757 SOS 4215635 HAS SOPS 3749629 HAS SOUS 335889 HAS SOUPS 333886 WITH SCORE 338101.635
AT ITER 3689 NEW BEST:: SOT 5346273 SOS 4218151 HAS SOPS 3752145 HAS SOUS 334715 HAS SOUPS 332712 WITH SCORE 336930.151
AT ITER 3699 NEW BEST:: SOT 5347637 SOS 4219040 HAS SOPS 3753314 HAS SOUS 332130 HAS SOUPS 330197 WITH SCORE 334416.04
AT ITER 3704 NEW BEST:: SOT 5347635 SOS 4219038 HAS SOPS 3753312 HAS SOUS 332129 HAS SOUPS 330196 WITH SCORE 334415.038
AT ITER 3719 NEW BEST:: SOT 5347645 SOS 4219592 HAS SOPS 3753282 HAS SOUS 332087 HAS SOUPS 330162 WITH SCORE 334381.592
AT ITER 3732 NEW BEST:: SOT 5349697 SOS 4221644 HAS SOPS 3755334 HAS SOUS 331839 HAS SOUPS 329914 WITH SCORE 334135.644
AT ITER 3736 NEW BEST:: SOT 5349699 SOS 4288308 HAS SOPS 3752998 HAS SOUS 331845 HAS SOUPS 329813 WITH SCORE 334101.308
AT ITER 3739 NEW BEST:: SOT 5349691 SOS 4288300 HAS SOPS 3752990 HAS SOUS 331834 HAS SOUPS 329802 WITH SCORE 334090.3
AT ITER 3741 NEW BEST:: SOT 5349841 SOS 4288450 HAS SOPS 3753140 HAS SOUS 331687 HAS SOUPS 329655 WITH SCORE 333943.45
AT ITER 3752 NEW BEST:: SOT 5349841 SOS 4283778 HAS SOPS 3751008 HAS SOUS 331633 HAS SOUPS 329601 WITH SCORE 333884.778
AT ITER 3787 NEW BEST:: SOT 5350089 SOS 4284026 HAS SOPS 3751256 HAS SOUS 331164 HAS SOUPS 329132 WITH SCORE 333416.026
AT ITER 3795 NEW BEST:: SOT 5356843 SOS 4290780 HAS SOPS 3758010 HAS SOUS 331053 HAS SOUPS 329021 WITH SCORE 333311.78
AT ITER 3805 NEW BEST:: SOT 5356171 SOS 4290108 HAS SOPS 3757338 HAS SOUS 330129 HAS SOUPS 328097 WITH SCORE 332387.108
AT ITER 3817 NEW BEST:: SOT 5355891 SOS 4289828 HAS SOPS 3757058 HAS SOUS 329679 HAS SOUPS 327647 WITH SCORE 331936.828
AT ITER 3832 NEW BEST:: SOT 5349621 SOS 4283558 HAS SOPS 3750788 HAS SOUS 327481 HAS SOUPS 325449 WITH SCORE 329732.558
AT ITER 3851 NEW BEST:: SOT 5349579 SOS 4283516 HAS SOPS 3750746 HAS SOUS 327457 HAS SOUPS 325425 WITH SCORE 329708.516
AT ITER 3868 NEW BEST:: SOT 5349579 SOS 4278904 HAS SOPS 3745526 HAS SOUS 327429 HAS SOUPS 325409 WITH SCORE 329687.904
AT ITER 3871 NEW BEST:: SOT 5349563 SOS 4278888 HAS SOPS 3745510 HAS SOUS 327421 HAS SOUPS 325401 WITH SCORE 329679.888
AT ITER 3906 NEW BEST:: SOT 5349203 SOS 4278528 HAS SOPS 3745150 HAS SOUS 326442 HAS SOUPS 324422 WITH SCORE 328700.528
AT ITER 3910 NEW BEST:: SOT 5349203 SOS 4278528 HAS SOPS 3745150 HAS SOUS 326427 HAS SOUPS 324407 WITH SCORE 328685.528
AT ITER 3926 NEW BEST:: SOT 5349203 SOS 4277916 HAS SOPS 3745114 HAS SOUS 326409 HAS SOUPS 324401 WITH SCORE 328678.916
AT ITER 3938 NEW BEST:: SOT 5349263 SOS 4277976 HAS SOPS 3745174 HAS SOUS 326379 HAS SOUPS 324371 WITH SCORE 328648.976
AT ITER 3957 NEW BEST:: SOT 5349021 SOS 4277734 HAS SOPS 3744932 HAS SOUS 326293 HAS SOUPS 324285 WITH SCORE 328562.734
AT ITER 3966 NEW BEST:: SOT 5348193 SOS 4276906 HAS SOPS 3744104 HAS SOUS 322172 HAS SOUPS 320164 WITH SCORE 324440.906
AT ITER 3996 NEW BEST:: SOT 5345895 SOS 4291686 HAS SOPS 3765444 HAS SOUS 321451 HAS SOUPS 319443 WITH SCORE 323734.686
AT ITER 4002 NEW BEST:: SOT 5345843 SOS 4288362 HAS SOPS 3764116 HAS SOUS 321437 HAS SOUPS 319435 WITH SCORE 323723.362
AT ITER 4015 NEW BEST:: SOT 5347195 SOS 4289714 HAS SOPS 3765468 HAS SOUS 321420 HAS SOUPS 319418 WITH SCORE 323707.714
AT ITER 4030 NEW BEST:: SOT 5347317 SOS 4289836 HAS SOPS 3765590 HAS SOUS 321318 HAS SOUPS 319316 WITH SCORE 323605.836
AT ITER 4054 NEW BEST:: SOT 5347317 SOS 4270628 HAS SOPS 3764660 HAS SOUS 321266 HAS SOUPS 319269 WITH SCORE 323539.628
AT ITER 4076 NEW BEST:: SOT 5347337 SOS 4270653 HAS SOPS 3764685 HAS SOUS 321131 HAS SOUPS 319134 WITH SCORE 323404.653
AT ITER 4086 NEW BEST:: SOT 5344359 SOS 4267675 HAS SOPS 3761707 HAS SOUS 319878 HAS SOUPS 317881 WITH SCORE 322148.675
AT ITER 4087 NEW BEST:: SOT 5377811 SOS 4301127 HAS SOPS 3795159 HAS SOUS 318473 HAS SOUPS 316476 WITH SCORE 320777.127
AT ITER 4092 NEW BEST:: SOT 5380499 SOS 4303815 HAS SOPS 3797847 HAS SOUS 318162 HAS SOUPS 316165 WITH SCORE 320468.815
AT ITER 4095 NEW BEST:: SOT 5380427 SOS 4303743 HAS SOPS 3797775 HAS SOUS 318132 HAS SOUPS 316135 WITH SCORE 320438.743
AT ITER 4141 NEW BEST:: SOT 5376115 SOS 4289831 HAS SOPS 3796695 HAS SOUS 317732 HAS SOUPS 315800 WITH SCORE 320089.831
AT ITER 4150 NEW BEST:: SOT 5376351 SOS 4293897 HAS SOPS 3792809 HAS SOUS 317909 HAS SOUPS 315779 WITH SCORE 320072.897
AT ITER 4164 NEW BEST:: SOT 5376351 SOS 4267497 HAS SOPS 3792329 HAS SOUS 317897 HAS SOUPS 315767 WITH SCORE 320034.497
AT ITER 4197 NEW BEST:: SOT 5375317 SOS 4266463 HAS SOPS 3791295 HAS SOUS 316356 HAS SOUPS 314226 WITH SCORE 318492.463
AT ITER 4205 NEW BEST:: SOT 5375307 SOS 4266453 HAS SOPS 3791285 HAS SOUS 316346 HAS SOUPS 314216 WITH SCORE 318482.453
AT ITER 4238 NEW BEST:: SOT 5375213 SOS 4266359 HAS SOPS 3791191 HAS SOUS 316340 HAS SOUPS 314210 WITH SCORE 318476.359
AT ITER 4278 NEW BEST:: SOT 5375025 SOS 4266171 HAS SOPS 3791003 HAS SOUS 316208 HAS SOUPS 314078 WITH SCORE 318344.171
AT ITER 4289 NEW BEST:: SOT 5375025 SOS 4250931 HAS SOPS 3796955 HAS SOUS 316184 HAS SOUPS 314074 WITH SCORE 318324.931
AT ITER 4294 NEW BEST:: SOT 5375025 SOS 4252951 HAS SOPS 3794015 HAS SOUS 316148 HAS SOUPS 314042 WITH SCORE 318294.951
AT ITER 4296 NEW BEST:: SOT 5374807 SOS 4253195 HAS SOPS 3794483 HAS SOUS 315827 HAS SOUPS 313734 WITH SCORE 317987.195
AT ITER 4298 NEW BEST:: SOT 5374815 SOS 4281777 HAS SOPS 3831589 HAS SOUS 315433 HAS SOUPS 313403 WITH SCORE 317684.777
AT ITER 4320 NEW BEST:: SOT 5378933 SOS 4285895 HAS SOPS 3835707 HAS SOUS 314269 HAS SOUPS 312239 WITH SCORE 316524.895
AT ITER 4323 NEW BEST:: SOT 5378407 SOS 4278417 HAS SOPS 3834485 HAS SOUS 313200 HAS SOUPS 311342 WITH SCORE 315620.417
AT ITER 4353 NEW BEST:: SOT 5377919 SOS 4277929 HAS SOPS 3833997 HAS SOUS 312568 HAS SOUPS 310710 WITH SCORE 314987.929
AT ITER 4376 NEW BEST:: SOT 5377855 SOS 4277865 HAS SOPS 3833933 HAS SOUS 312422 HAS SOUPS 310564 WITH SCORE 314841.865
AT ITER 4399 NEW BEST:: SOT 5378599 SOS 4278609 HAS SOPS 3834677 HAS SOUS 309193 HAS SOUPS 307335 WITH SCORE 311613.609
AT ITER 4424 NEW BEST:: SOT 5378551 SOS 4278561 HAS SOPS 3834629 HAS SOUS 309148 HAS SOUPS 307290 WITH SCORE 311568.561
AT ITER 4433 NEW BEST:: SOT 5377039 SOS 4277049 HAS SOPS 3833117 HAS SOUS 308078 HAS SOUPS 306220 WITH SCORE 310497.049
AT ITER 4437 NEW BEST:: SOT 5379691 SOS 4279701 HAS SOPS 3835769 HAS SOUS 307632 HAS SOUPS 305774 WITH SCORE 310053.701
AT ITER 4478 NEW BEST:: SOT 5379719 SOS 4281393 HAS SOPS 3834533 HAS SOUS 307643 HAS SOUPS 305752 WITH SCORE 310033.393
AT ITER 4489 NEW BEST:: SOT 5379697 SOS 4281371 HAS SOPS 3834511 HAS SOUS 307631 HAS SOUPS 305740 WITH SCORE 310021.371
AT ITER 4517 NEW BEST:: SOT 5379571 SOS 4281245 HAS SOPS 3834385 HAS SOUS 307536 HAS SOUPS 305645 WITH SCORE 309926.245
AT ITER 4544 NEW BEST:: SOT 5379611 SOS 4280451 HAS SOPS 3831735 HAS SOUS 307337 HAS SOUPS 305471 WITH SCORE 309751.451
AT ITER 4557 NEW BEST:: SOT 5379611 SOS 4279871 HAS SOPS 3831631 HAS SOUS 307337 HAS SOUPS 305471 WITH SCORE 309750.871
AT ITER 4576 NEW BEST:: SOT 5379457 SOS 4278977 HAS SOPS 3831505 HAS SOUS 307212 HAS SOUPS 305348 WITH SCORE 309626.977
AT ITER 4577 NEW BEST:: SOT 5379429 SOS 4278949 HAS SOPS 3831477 HAS SOUS 307191 HAS SOUPS 305327 WITH SCORE 309605.949
AT ITER 4614 NEW BEST:: SOT 5380737 SOS 4280257 HAS SOPS 3832785 HAS SOUS 306990 HAS SOUPS 305126 WITH SCORE 309406.257
AT ITER 4635 NEW BEST:: SOT 5380769 SOS 4280289 HAS SOPS 3832817 HAS SOUS 306989 HAS SOUPS 305125 WITH SCORE 309405.289
AT ITER 4646 NEW BEST:: SOT 5380535 SOS 4280055 HAS SOPS 3832583 HAS SOUS 306679 HAS SOUPS 304815 WITH SCORE 309095.055
AT ITER 4668 NEW BEST:: SOT 5380595 SOS 4260549 HAS SOPS 3812037 HAS SOUS 306623 HAS SOUPS 304756 WITH SCORE 309016.549
AT ITER 4671 NEW BEST:: SOT 5380595 SOS 4260065 HAS SOPS 3812001 HAS SOUS 306621 HAS SOUPS 304754 WITH SCORE 309014.065
AT ITER 4672 NEW BEST:: SOT 5380611 SOS 4261909 HAS SOPS 3811333 HAS SOUS 306350 HAS SOUPS 304463 WITH SCORE 308724.909
AT ITER 4680 NEW BEST:: SOT 5380773 SOS 4262071 HAS SOPS 3811495 HAS SOUS 306315 HAS SOUPS 304428 WITH SCORE 308690.071
AT ITER 4718 NEW BEST:: SOT 5383379 SOS 4264677 HAS SOPS 3814101 HAS SOUS 306299 HAS SOUPS 304412 WITH SCORE 308676.677
AT ITER 4758 NEW BEST:: SOT 5383319 SOS 4264617 HAS SOPS 3814041 HAS SOUS 306032 HAS SOUPS 304145 WITH SCORE 308409.617
AT ITER 4768 NEW BEST:: SOT 5383313 SOS 4264611 HAS SOPS 3814035 HAS SOUS 306032 HAS SOUPS 304145 WITH SCORE 308409.611
AT ITER 4797 NEW BEST:: SOT 5383461 SOS 4264759 HAS SOPS 3814183 HAS SOUS 305016 HAS SOUPS 303129 WITH SCORE 307393.759
AT ITER 4817 NEW BEST:: SOT 5382575 SOS 4263873 HAS SOPS 3813297 HAS SOUS 304720 HAS SOUPS 302833 WITH SCORE 307096.873
AT ITER 4821 NEW BEST:: SOT 5382543 SOS 4263841 HAS SOPS 3813265 HAS SOUS 304657 HAS SOUPS 302770 WITH SCORE 307033.841
AT ITER 4839 NEW BEST:: SOT 5382483 SOS 4263781 HAS SOPS 3813205 HAS SOUS 304409 HAS SOUPS 302522 WITH SCORE 306785.781
AT ITER 4875 NEW BEST:: SOT 5360415 SOS 4241713 HAS SOPS 3791137 HAS SOUS 303255 HAS SOUPS 301368 WITH SCORE 305609.713
AT ITER 4885 NEW BEST:: SOT 5360415 SOS 4241679 HAS SOPS 3791137 HAS SOUS 303255 HAS SOUPS 301368 WITH SCORE 305609.679
AT ITER 4890 NEW BEST:: SOT 5360403 SOS 4241667 HAS SOPS 3791125 HAS SOUS 303252 HAS SOUPS 301365 WITH SCORE 305606.667
AT ITER 4929 NEW BEST:: SOT 5360411 SOS 4241675 HAS SOPS 3791133 HAS SOUS 303124 HAS SOUPS 301237 WITH SCORE 305478.675
AT ITER 4953 NEW BEST:: SOT 5360411 SOS 4239809 HAS SOPS 3789531 HAS SOUS 303112 HAS SOUPS 301226 WITH SCORE 305465.809
AT ITER 4959 NEW BEST:: SOT 5360379 SOS 4239777 HAS SOPS 3789499 HAS SOUS 302939 HAS SOUPS 301053 WITH SCORE 305292.777
AT ITER 4975 NEW BEST:: SOT 5362361 SOS 4241759 HAS SOPS 3791481 HAS SOUS 302682 HAS SOUPS 300796 WITH SCORE 305037.759
AT ITER 5001 NEW BEST:: SOT 5362509 SOS 4241907 HAS SOPS 3791629 HAS SOUS 302529 HAS SOUPS 300643 WITH SCORE 304884.907
AT ITER 5004 NEW BEST:: SOT 5370703 SOS 4250101 HAS SOPS 3799823 HAS SOUS 297039 HAS SOUPS 295153 WITH SCORE 299403.101
AT ITER 5006 NEW BEST:: SOT 5370087 SOS 4249473 HAS SOPS 3799207 HAS SOUS 296885 HAS SOUPS 295009 WITH SCORE 299258.473
AT ITER 5076 NEW BEST:: SOT 5369863 SOS 4249181 HAS SOPS 3798983 HAS SOUS 296763 HAS SOUPS 294921 WITH SCORE 299170.181
AT ITER 5081 NEW BEST:: SOT 5369787 SOS 4249105 HAS SOPS 3798907 HAS SOUS 296009 HAS SOUPS 294167 WITH SCORE 298416.105
AT ITER 5092 NEW BEST:: SOT 5369767 SOS 4256993 HAS SOPS 3798039 HAS SOUS 295746 HAS SOUPS 293929 WITH SCORE 298185.993
AT ITER 5104 NEW BEST:: SOT 5361735 SOS 4248961 HAS SOPS 3790007 HAS SOUS 295286 HAS SOUPS 293469 WITH SCORE 297717.961
AT ITER 5136 NEW BEST:: SOT 5363345 SOS 4250571 HAS SOPS 3791617 HAS SOUS 293332 HAS SOUPS 291515 WITH SCORE 295765.571
AT ITER 5154 NEW BEST:: SOT 5362651 SOS 4227783 HAS SOPS 3791629 HAS SOUS 293064 HAS SOUPS 291228 WITH SCORE 295455.783
AT ITER 5159 NEW BEST:: SOT 5362651 SOS 4227783 HAS SOPS 3791629 HAS SOUS 293062 HAS SOUPS 291226 WITH SCORE 295453.783
AT ITER 5161 NEW BEST:: SOT 5363107 SOS 4228239 HAS SOPS 3792085 HAS SOUS 292710 HAS SOUPS 290874 WITH SCORE 295102.239
AT ITER 5211 NEW BEST:: SOT 5357933 SOS 4223065 HAS SOPS 3786911 HAS SOUS 292521 HAS SOUPS 290685 WITH SCORE 294908.065
AT ITER 5232 NEW BEST:: SOT 5357933 SOS 4178829 HAS SOPS 3786035 HAS SOUS 292454 HAS SOUPS 290651 WITH SCORE 294829.829
AT ITER 5248 NEW BEST:: SOT 5357897 SOS 4169997 HAS SOPS 3776739 HAS SOUS 292064 HAS SOUPS 290255 WITH SCORE 294424.997
AT ITER 5255 NEW BEST:: SOT 5357895 SOS 4169995 HAS SOPS 3776737 HAS SOUS 292059 HAS SOUPS 290250 WITH SCORE 294419.995
AT ITER 5276 NEW BEST:: SOT 5357883 SOS 4169983 HAS SOPS 3776725 HAS SOUS 292058 HAS SOUPS 290249 WITH SCORE 294418.983
AT ITER 5302 NEW BEST:: SOT 5350771 SOS 4162871 HAS SOPS 3769613 HAS SOUS 291538 HAS SOUPS 289729 WITH SCORE 293891.871
AT ITER 5374 NEW BEST:: SOT 5350761 SOS 4162861 HAS SOPS 3769603 HAS SOUS 291533 HAS SOUPS 289724 WITH SCORE 293886.861
AT ITER 5387 NEW BEST:: SOT 5350761 SOS 4160716 HAS SOPS 3769538 HAS SOUS 291184 HAS SOUPS 289401 WITH SCORE 293561.716
AT ITER 5388 NEW BEST:: SOT 5350737 SOS 4151572 HAS SOPS 3767778 HAS SOUS 290664 HAS SOUPS 289067 WITH SCORE 293218.572
AT ITER 5393 NEW BEST:: SOT 5350737 SOS 4147356 HAS SOPS 3767642 HAS SOUS 290664 HAS SOUPS 289067 WITH SCORE 293214.356
AT ITER 5394 NEW BEST:: SOT 5350709 SOS 4137954 HAS SOPS 3767592 HAS SOUS 290651 HAS SOUPS 289076 WITH SCORE 293213.954
AT ITER 5431 NEW BEST:: SOT 5350073 SOS 4137318 HAS SOPS 3766956 HAS SOUS 290605 HAS SOUPS 289030 WITH SCORE 293167.318
AT ITER 5447 NEW BEST:: SOT 5350073 SOS 4134804 HAS SOPS 3771578 HAS SOUS 290529 HAS SOUPS 288980 WITH SCORE 293114.804
AT ITER 5452 NEW BEST:: SOT 5359981 SOS 4144712 HAS SOPS 3781486 HAS SOUS 289877 HAS SOUPS 288328 WITH SCORE 292472.712
AT ITER 5455 NEW BEST:: SOT 5359593 SOS 4144324 HAS SOPS 3781098 HAS SOUS 289869 HAS SOUPS 288320 WITH SCORE 292464.324
AT ITER 5462 NEW BEST:: SOT 5361455 SOS 4146186 HAS SOPS 3782960 HAS SOUS 288136 HAS SOUPS 286587 WITH SCORE 290733.186
AT ITER 5498 NEW BEST:: SOT 5361429 SOS 4132880 HAS SOPS 3782966 HAS SOUS 288145 HAS SOUPS 286580 WITH SCORE 290712.88
AT ITER 5502 NEW BEST:: SOT 5361429 SOS 4133356 HAS SOPS 3783266 HAS SOUS 288115 HAS SOUPS 286565 WITH SCORE 290698.356
AT ITER 5518 NEW BEST:: SOT 5361405 SOS 4133332 HAS SOPS 3783242 HAS SOUS 288103 HAS SOUPS 286553 WITH SCORE 290686.332
AT ITER 5539 NEW BEST:: SOT 5361269 SOS 4109640 HAS SOPS 3788542 HAS SOUS 287856 HAS SOUPS 286306 WITH SCORE 290415.64
AT ITER 5558 NEW BEST:: SOT 5361269 SOS 4109640 HAS SOPS 3788542 HAS SOUS 287848 HAS SOUPS 286298 WITH SCORE 290407.64
AT ITER 5604 NEW BEST:: SOT 5361345 SOS 4109716 HAS SOPS 3788618 HAS SOUS 287544 HAS SOUPS 285994 WITH SCORE 290103.716
AT ITER 5613 NEW BEST:: SOT 5364983 SOS 4113354 HAS SOPS 3792256 HAS SOUS 286015 HAS SOUPS 284465 WITH SCORE 288578.354
AT ITER 5633 NEW BEST:: SOT 5364935 SOS 4113199 HAS SOPS 3792085 HAS SOUS 285975 HAS SOUPS 284417 WITH SCORE 288530.199
AT ITER 5637 NEW BEST:: SOT 5367831 SOS 4116095 HAS SOPS 3794981 HAS SOUS 285879 HAS SOUPS 284321 WITH SCORE 288437.095
AT ITER 5680 NEW BEST:: SOT 5367831 SOS 4115987 HAS SOPS 3794881 HAS SOUS 285868 HAS SOUPS 284316 WITH SCORE 288431.987
AT ITER 5709 NEW BEST:: SOT 5371471 SOS 3936731 HAS SOPS 3346755 HAS SOUS 286965 HAS SOUPS 283774 WITH SCORE 287710.731
AT ITER 5718 NEW BEST:: SOT 5371471 SOS 3936731 HAS SOPS 3346755 HAS SOUS 286963 HAS SOUPS 283772 WITH SCORE 287708.731
AT ITER 5754 NEW BEST:: SOT 5371471 SOS 3929203 HAS SOPS 3347431 HAS SOUS 286878 HAS SOUPS 283680 WITH SCORE 287609.203
AT ITER 5774 NEW BEST:: SOT 5373955 SOS 3931687 HAS SOPS 3349915 HAS SOUS 284574 HAS SOUPS 281376 WITH SCORE 285307.687
AT ITER 5807 NEW BEST:: SOT 5374979 SOS 3932751 HAS SOPS 3350979 HAS SOUS 283790 HAS SOUPS 280592 WITH SCORE 284524.751
AT ITER 5839 NEW BEST:: SOT 5374979 SOS 3921455 HAS SOPS 3351715 HAS SOUS 283774 HAS SOUPS 280554 WITH SCORE 284475.455
AT ITER 5890 NEW BEST:: SOT 5374861 SOS 3921337 HAS SOPS 3351597 HAS SOUS 283763 HAS SOUPS 280543 WITH SCORE 284464.337
AT ITER 5900 NEW BEST:: SOT 5374861 SOS 3921337 HAS SOPS 3351597 HAS SOUS 283702 HAS SOUPS 280482 WITH SCORE 284403.337
AT ITER 5917 NEW BEST:: SOT 5376887 SOS 3923363 HAS SOPS 3353623 HAS SOUS 281674 HAS SOUPS 278454 WITH SCORE 282377.363
AT ITER 5939 NEW BEST:: SOT 5376887 SOS 3939351 HAS SOPS 3353483 HAS SOUS 281627 HAS SOUPS 278416 WITH SCORE 282355.351
AT ITER 5952 NEW BEST:: SOT 5377397 SOS 3939861 HAS SOPS 3353993 HAS SOUS 281606 HAS SOUPS 278395 WITH SCORE 282334.861
AT ITER 5963 NEW BEST:: SOT 5377397 SOS 3943905 HAS SOPS 3347965 HAS SOUS 281640 HAS SOUPS 278353 WITH SCORE 282296.905
AT ITER 5967 NEW BEST:: SOT 5376641 SOS 3943149 HAS SOPS 3347209 HAS SOUS 281138 HAS SOUPS 277851 WITH SCORE 281794.149
AT ITER 5973 NEW BEST:: SOT 5376619 SOS 3943127 HAS SOPS 3347187 HAS SOUS 281122 HAS SOUPS 277835 WITH SCORE 281778.127
AT ITER 5976 NEW BEST:: SOT 5376437 SOS 3942935 HAS SOPS 3347005 HAS SOUS 281046 HAS SOUPS 277764 WITH SCORE 281706.935
AT ITER 5993 NEW BEST:: SOT 5374077 SOS 3943171 HAS SOPS 3348681 HAS SOUS 280344 HAS SOUPS 277116 WITH SCORE 281059.171
AT ITER 5999 NEW BEST:: SOT 5374149 SOS 3942123 HAS SOPS 3347761 HAS SOUS 280046 HAS SOUPS 276842 WITH SCORE 280784.123
AT ITER 6003 NEW BEST:: SOT 5357359 SOS 3925333 HAS SOPS 3330971 HAS SOUS 274018 HAS SOUPS 270814 WITH SCORE 274739.333
AT ITER 6006 NEW BEST:: SOT 5357359 SOS 3922229 HAS SOPS 3330699 HAS SOUS 274008 HAS SOUPS 270804 WITH SCORE 274726.229
AT ITER 6030 NEW BEST:: SOT 5357359 SOS 3922965 HAS SOPS 3329643 HAS SOUS 274007 HAS SOUPS 270803 WITH SCORE 274725.965
AT ITER 6034 NEW BEST:: SOT 5357671 SOS 3923277 HAS SOPS 3329955 HAS SOUS 273366 HAS SOUPS 270162 WITH SCORE 274085.277
AT ITER 6044 NEW BEST:: SOT 5357987 SOS 3923723 HAS SOPS 3330273 HAS SOUS 273325 HAS SOUPS 270132 WITH SCORE 274055.723
AT ITER 6058 NEW BEST:: SOT 5358575 SOS 3924311 HAS SOPS 3330861 HAS SOUS 273261 HAS SOUPS 270068 WITH SCORE 273992.311
AT ITER 6097 NEW BEST:: SOT 5360479 SOS 3926215 HAS SOPS 3332765 HAS SOUS 273217 HAS SOUPS 270024 WITH SCORE 273950.215
AT ITER 6123 NEW BEST:: SOT 5360659 SOS 3926395 HAS SOPS 3332945 HAS SOUS 273210 HAS SOUPS 270017 WITH SCORE 273943.395
AT ITER 6125 NEW BEST:: SOT 5358859 SOS 3924595 HAS SOPS 3331145 HAS SOUS 272323 HAS SOUPS 269130 WITH SCORE 273054.595
AT ITER 6128 NEW BEST:: SOT 5358837 SOS 3924573 HAS SOPS 3331123 HAS SOUS 272305 HAS SOUPS 269112 WITH SCORE 273036.573
AT ITER 6138 NEW BEST:: SOT 5358765 SOS 3924501 HAS SOPS 3331051 HAS SOUS 272295 HAS SOUPS 269102 WITH SCORE 273026.501
AT ITER 6150 NEW BEST:: SOT 5358747 SOS 3924483 HAS SOPS 3331033 HAS SOUS 272284 HAS SOUPS 269091 WITH SCORE 273015.483
AT ITER 6161 NEW BEST:: SOT 5358747 SOS 3924015 HAS SOPS 3330625 HAS SOUS 272262 HAS SOUPS 269069 WITH SCORE 272993.015
AT ITER 6200 NEW BEST:: SOT 5358611 SOS 3924025 HAS SOPS 3330279 HAS SOUS 272273 HAS SOUPS 269018 WITH SCORE 272942.025
AT ITER 6203 NEW BEST:: SOT 5358419 SOS 3923833 HAS SOPS 3330087 HAS SOUS 272273 HAS SOUPS 269018 WITH SCORE 272941.833
AT ITER 6205 NEW BEST:: SOT 5358419 SOS 3904257 HAS SOPS 3329311 HAS SOUS 272147 HAS SOUPS 268944 WITH SCORE 272848.257
AT ITER 6210 NEW BEST:: SOT 5353209 SOS 3898035 HAS SOPS 3323993 HAS SOUS 270668 HAS SOUPS 267471 WITH SCORE 271369.035
AT ITER 6214 NEW BEST:: SOT 5333669 SOS 3878495 HAS SOPS 3304453 HAS SOUS 270279 HAS SOUPS 267082 WITH SCORE 270960.495
AT ITER 6215 NEW BEST:: SOT 5334295 SOS 3879121 HAS SOPS 3305079 HAS SOUS 269691 HAS SOUPS 266494 WITH SCORE 270373.121
AT ITER 6217 NEW BEST:: SOT 5333641 SOS 3887229 HAS SOPS 3310023 HAS SOUS 269608 HAS SOUPS 266405 WITH SCORE 270292.229
AT ITER 6245 NEW BEST:: SOT 5334949 SOS 3888537 HAS SOPS 3311331 HAS SOUS 267746 HAS SOUPS 264543 WITH SCORE 268431.537
AT ITER 6261 NEW BEST:: SOT 5334949 SOS 3886635 HAS SOPS 3311445 HAS SOUS 267714 HAS SOUPS 264524 WITH SCORE 268410.635
AT ITER 6284 NEW BEST:: SOT 5334419 SOS 3886105 HAS SOPS 3310915 HAS SOUS 266902 HAS SOUPS 263712 WITH SCORE 267598.105
AT ITER 6297 NEW BEST:: SOT 5334419 SOS 3852275 HAS SOPS 3265913 HAS SOUS 266954 HAS SOUPS 263710 WITH SCORE 267562.275
AT ITER 6299 NEW BEST:: SOT 5334419 SOS 3852779 HAS SOPS 3265073 HAS SOUS 266954 HAS SOUPS 263696 WITH SCORE 267548.779
AT ITER 6317 NEW BEST:: SOT 5334403 SOS 3852763 HAS SOPS 3265057 HAS SOUS 266570 HAS SOUPS 263312 WITH SCORE 267164.763
AT ITER 6352 NEW BEST:: SOT 5335115 SOS 3853475 HAS SOPS 3265769 HAS SOUS 266512 HAS SOUPS 263254 WITH SCORE 267107.475
AT ITER 6383 NEW BEST:: SOT 5335095 SOS 3853455 HAS SOPS 3265749 HAS SOUS 266482 HAS SOUPS 263224 WITH SCORE 267077.455
AT ITER 6386 NEW BEST:: SOT 5333427 SOS 3851787 HAS SOPS 3264081 HAS SOUS 265944 HAS SOUPS 262686 WITH SCORE 266537.787
AT ITER 6397 NEW BEST:: SOT 5333425 SOS 3851785 HAS SOPS 3264079 HAS SOUS 265928 HAS SOUPS 262670 WITH SCORE 266521.785
AT ITER 6415 NEW BEST:: SOT 5333619 SOS 3851979 HAS SOPS 3264273 HAS SOUS 265857 HAS SOUPS 262599 WITH SCORE 266450.979
AT ITER 6427 NEW BEST:: SOT 5333619 SOS 3847479 HAS SOPS 3262941 HAS SOUS 265830 HAS SOUPS 262590 WITH SCORE 266437.479
AT ITER 6461 NEW BEST:: SOT 5334063 SOS 3847923 HAS SOPS 3263385 HAS SOUS 265737 HAS SOUPS 262497 WITH SCORE 266344.923
AT ITER 6486 NEW BEST:: SOT 5333937 SOS 3847797 HAS SOPS 3263259 HAS SOUS 265500 HAS SOUPS 262260 WITH SCORE 266107.797
AT ITER 6487 NEW BEST:: SOT 5333943 SOS 3847803 HAS SOPS 3263265 HAS SOUS 265434 HAS SOUPS 262194 WITH SCORE 266041.803
AT ITER 6501 NEW BEST:: SOT 5334003 SOS 3872201 HAS SOPS 3257423 HAS SOUS 265819 HAS SOUPS 262168 WITH SCORE 266040.201
AT ITER 6506 NEW BEST:: SOT 5339851 SOS 3881239 HAS SOPS 3260629 HAS SOUS 264602 HAS SOUPS 260957 WITH SCORE 264838.239
AT ITER 6516 NEW BEST:: SOT 5339763 SOS 3868019 HAS SOPS 3260161 HAS SOUS 264510 HAS SOUPS 260915 WITH SCORE 264783.019
AT ITER 6547 NEW BEST:: SOT 5340363 SOS 3868619 HAS SOPS 3260761 HAS SOUS 264360 HAS SOUPS 260765 WITH SCORE 264633.619
AT ITER 6562 NEW BEST:: SOT 5340363 SOS 3868607 HAS SOPS 3260749 HAS SOUS 264354 HAS SOUPS 260759 WITH SCORE 264627.607
AT ITER 6575 NEW BEST:: SOT 5340023 SOS 3868267 HAS SOPS 3260409 HAS SOUS 264249 HAS SOUPS 260654 WITH SCORE 264522.267
AT ITER 6587 NEW BEST:: SOT 5340017 SOS 3868261 HAS SOPS 3260403 HAS SOUS 264247 HAS SOUPS 260652 WITH SCORE 264520.261
AT ITER 6600 NEW BEST:: SOT 5340017 SOS 3861349 HAS SOPS 3260355 HAS SOUS 264203 HAS SOUPS 260624 WITH SCORE 264485.349
AT ITER 6639 NEW BEST:: SOT 5340697 SOS 3862029 HAS SOPS 3261035 HAS SOUS 264107 HAS SOUPS 260528 WITH SCORE 264390.029
AT ITER 6656 NEW BEST:: SOT 5328393 SOS 3849725 HAS SOPS 3248731 HAS SOUS 263595 HAS SOUPS 260016 WITH SCORE 263865.725
AT ITER 6673 NEW BEST:: SOT 5328393 SOS 3849225 HAS SOPS 3248551 HAS SOUS 263590 HAS SOUPS 260016 WITH SCORE 263865.225
AT ITER 6679 NEW BEST:: SOT 5328393 SOS 3840341 HAS SOPS 3248947 HAS SOUS 263585 HAS SOUPS 260014 WITH SCORE 263854.341
AT ITER 6680 NEW BEST:: SOT 5328393 SOS 3840037 HAS SOPS 3248803 HAS SOUS 263575 HAS SOUPS 260009 WITH SCORE 263849.037
AT ITER 6712 NEW BEST:: SOT 5328443 SOS 3839993 HAS SOPS 3248759 HAS SOUS 263429 HAS SOUPS 259863 WITH SCORE 263702.993
AT ITER 6766 NEW BEST:: SOT 5328427 SOS 3839977 HAS SOPS 3248743 HAS SOUS 263421 HAS SOUPS 259855 WITH SCORE 263694.977
AT ITER 6768 NEW BEST:: SOT 5328427 SOS 3839353 HAS SOPS 3245639 HAS SOUS 263435 HAS SOUPS 259779 WITH SCORE 263618.353
AT ITER 6777 NEW BEST:: SOT 5328417 SOS 3839343 HAS SOPS 3245629 HAS SOUS 263425 HAS SOUPS 259769 WITH SCORE 263608.343
AT ITER 6781 NEW BEST:: SOT 5328193 SOS 3839119 HAS SOPS 3245405 HAS SOUS 263313 HAS SOUPS 259657 WITH SCORE 263496.119
AT ITER 6789 NEW BEST:: SOT 5328605 SOS 3839531 HAS SOPS 3245817 HAS SOUS 263291 HAS SOUPS 259635 WITH SCORE 263474.531
AT ITER 6798 NEW BEST:: SOT 5330683 SOS 3841609 HAS SOPS 3247895 HAS SOUS 263153 HAS SOUPS 259497 WITH SCORE 263338.609
AT ITER 6809 NEW BEST:: SOT 5330721 SOS 3861163 HAS SOPS 3247417 HAS SOUS 263095 HAS SOUPS 259411 WITH SCORE 263272.163
AT ITER 6812 NEW BEST:: SOT 5331329 SOS 3861771 HAS SOPS 3248025 HAS SOUS 262310 HAS SOUPS 258626 WITH SCORE 262487.771
AT ITER 6875 NEW BEST:: SOT 5331539 SOS 3861981 HAS SOPS 3248235 HAS SOUS 261344 HAS SOUPS 257660 WITH SCORE 261521.981
AT ITER 6881 NEW BEST:: SOT 5331783 SOS 3862225 HAS SOPS 3248479 HAS SOUS 261026 HAS SOUPS 257342 WITH SCORE 261204.225
AT ITER 6935 NEW BEST:: SOT 5320971 SOS 3851413 HAS SOPS 3237667 HAS SOUS 258730 HAS SOUPS 255046 WITH SCORE 258897.413
AT ITER 6986 NEW BEST:: SOT 5320971 SOS 3848807 HAS SOPS 3236949 HAS SOUS 258666 HAS SOUPS 254998 WITH SCORE 258846.807
AT ITER 6987 NEW BEST:: SOT 5321031 SOS 3848867 HAS SOPS 3237009 HAS SOUS 258658 HAS SOUPS 254990 WITH SCORE 258838.867
AT ITER 7001 NEW BEST:: SOT 5324343 SOS 3852179 HAS SOPS 3240321 HAS SOUS 256191 HAS SOUPS 252523 WITH SCORE 256375.179
AT ITER 7008 NEW BEST:: SOT 5324297 SOS 3852133 HAS SOPS 3240275 HAS SOUS 256170 HAS SOUPS 252502 WITH SCORE 256354.133
AT ITER 7017 NEW BEST:: SOT 5324025 SOS 3851861 HAS SOPS 3240003 HAS SOUS 256024 HAS SOUPS 252356 WITH SCORE 256207.861
AT ITER 7031 NEW BEST:: SOT 5324319 SOS 3852155 HAS SOPS 3240297 HAS SOUS 255430 HAS SOUPS 251762 WITH SCORE 255614.155
AT ITER 7046 NEW BEST:: SOT 5323911 SOS 3851747 HAS SOPS 3239889 HAS SOUS 255256 HAS SOUPS 251588 WITH SCORE 255439.747
AT ITER 7048 NEW BEST:: SOT 5323893 SOS 3851729 HAS SOPS 3239871 HAS SOUS 255254 HAS SOUPS 251586 WITH SCORE 255437.729
AT ITER 7060 NEW BEST:: SOT 5323685 SOS 3798441 HAS SOPS 3284195 HAS SOUS 255031 HAS SOUPS 251541 WITH SCORE 255339.441
AT ITER 7080 NEW BEST:: SOT 5323681 SOS 3798437 HAS SOPS 3284191 HAS SOUS 255027 HAS SOUPS 251537 WITH SCORE 255335.437
AT ITER 7082 NEW BEST:: SOT 5328285 SOS 3803041 HAS SOPS 3288795 HAS SOUS 254883 HAS SOUPS 251393 WITH SCORE 255196.041
AT ITER 7126 NEW BEST:: SOT 5328253 SOS 3803009 HAS SOPS 3288763 HAS SOUS 254871 HAS SOUPS 251381 WITH SCORE 255184.009
AT ITER 7154 NEW BEST:: SOT 5328361 SOS 3818937 HAS SOPS 3288723 HAS SOUS 254688 HAS SOUPS 251218 WITH SCORE 255036.937
AT ITER 7156 NEW BEST:: SOT 5328539 SOS 3809559 HAS SOPS 3287609 HAS SOUS 254195 HAS SOUPS 250867 WITH SCORE 254676.559
AT ITER 7186 NEW BEST:: SOT 5328501 SOS 3809521 HAS SOPS 3287571 HAS SOUS 254158 HAS SOUPS 250830 WITH SCORE 254639.521
AT ITER 7194 NEW BEST:: SOT 5328501 SOS 3807565 HAS SOPS 3286531 HAS SOUS 254136 HAS SOUPS 250828 WITH SCORE 254635.565
AT ITER 7209 NEW BEST:: SOT 5328501 SOS 3806305 HAS SOPS 3286423 HAS SOUS 254109 HAS SOUPS 250810 WITH SCORE 254616.305
AT ITER 7272 NEW BEST:: SOT 5328501 SOS 3816274 HAS SOPS 3286016 HAS SOUS 254130 HAS SOUPS 250744 WITH SCORE 254560.274
AT ITER 7302 NEW BEST:: SOT 5327821 SOS 3815574 HAS SOPS 3285820 HAS SOUS 253906 HAS SOUPS 250540 WITH SCORE 254355.574
AT ITER 7325 NEW BEST:: SOT 5327821 SOS 3799536 HAS SOPS 3279382 HAS SOUS 253819 HAS SOUPS 250443 WITH SCORE 254242.536
AT ITER 7326 NEW BEST:: SOT 5327821 SOS 3796532 HAS SOPS 3279606 HAS SOUS 253793 HAS SOUPS 250409 WITH SCORE 254205.532
AT ITER 7329 NEW BEST:: SOT 5327817 SOS 3796528 HAS SOPS 3279602 HAS SOUS 253777 HAS SOUPS 250393 WITH SCORE 254189.528
AT ITER 7385 NEW BEST:: SOT 5330091 SOS 3798802 HAS SOPS 3281876 HAS SOUS 253667 HAS SOUPS 250283 WITH SCORE 254081.802
AT ITER 7387 NEW BEST:: SOT 5329545 SOS 3790984 HAS SOPS 3287754 HAS SOUS 252919 HAS SOUPS 249803 WITH SCORE 253593.984
AT ITER 7388 NEW BEST:: SOT 5329545 SOS 3767328 HAS SOPS 3286856 HAS SOUS 252830 HAS SOUPS 249754 WITH SCORE 253521.328
AT ITER 7404 NEW BEST:: SOT 5332145 SOS 3769928 HAS SOPS 3289456 HAS SOUS 252600 HAS SOUPS 249524 WITH SCORE 253293.928
AT ITER 7406 NEW BEST:: SOT 5327865 SOS 3765648 HAS SOPS 3285176 HAS SOUS 249580 HAS SOUPS 246504 WITH SCORE 250269.648
AT ITER 7415 NEW BEST:: SOT 5329719 SOS 3767502 HAS SOPS 3287030 HAS SOUS 249040 HAS SOUPS 245964 WITH SCORE 249731.502
AT ITER 7437 NEW BEST:: SOT 5329719 SOS 3788314 HAS SOPS 3284002 HAS SOUS 248956 HAS SOUPS 245923 WITH SCORE 249711.314
AT ITER 7449 NEW BEST:: SOT 5329719 SOS 3795818 HAS SOPS 3283274 HAS SOUS 248942 HAS SOUPS 245902 WITH SCORE 249697.818
AT ITER 7482 NEW BEST:: SOT 5330431 SOS 3796530 HAS SOPS 3283986 HAS SOUS 248777 HAS SOUPS 245737 WITH SCORE 249533.53
AT ITER 7505 NEW BEST:: SOT 5330363 SOS 3796462 HAS SOPS 3283918 HAS SOUS 248715 HAS SOUPS 245675 WITH SCORE 249471.462
AT ITER 7520 NEW BEST:: SOT 5330343 SOS 3796442 HAS SOPS 3283898 HAS SOUS 248695 HAS SOUPS 245655 WITH SCORE 249451.442
AT ITER 7521 NEW BEST:: SOT 5326935 SOS 3793034 HAS SOPS 3280490 HAS SOUS 248694 HAS SOUPS 245654 WITH SCORE 249447.034
AT ITER 7549 NEW BEST:: SOT 5331007 SOS 3797106 HAS SOPS 3284562 HAS SOUS 248577 HAS SOUPS 245537 WITH SCORE 249334.106
AT ITER 7570 NEW BEST:: SOT 5331007 SOS 3796434 HAS SOPS 3284262 HAS SOUS 248577 HAS SOUPS 245537 WITH SCORE 249333.434
AT ITER 7580 NEW BEST:: SOT 5331007 SOS 3788678 HAS SOPS 3284522 HAS SOUS 248539 HAS SOUPS 245512 WITH SCORE 249300.678
AT ITER 7598 NEW BEST:: SOT 5330959 SOS 3792252 HAS SOPS 3287024 HAS SOUS 248504 HAS SOUPS 245456 WITH SCORE 249248.252
AT ITER 7632 NEW BEST:: SOT 5330947 SOS 3792240 HAS SOPS 3287012 HAS SOUS 248492 HAS SOUPS 245444 WITH SCORE 249236.24
AT ITER 7646 NEW BEST:: SOT 5331063 SOS 3792328 HAS SOPS 3283404 HAS SOUS 248218 HAS SOUPS 245070 WITH SCORE 248862.328
AT ITER 7656 NEW BEST:: SOT 5331049 SOS 3792314 HAS SOPS 3283390 HAS SOUS 248203 HAS SOUPS 245055 WITH SCORE 248847.314
AT ITER 7666 NEW BEST:: SOT 5331049 SOS 3791438 HAS SOPS 3283234 HAS SOUS 248200 HAS SOUPS 245055 WITH SCORE 248846.438
AT ITER 7672 NEW BEST:: SOT 5330887 SOS 3788794 HAS SOPS 3273574 HAS SOUS 248096 HAS SOUPS 244924 WITH SCORE 248712.794
AT ITER 7680 NEW BEST:: SOT 5332335 SOS 3790242 HAS SOPS 3275022 HAS SOUS 248012 HAS SOUPS 244840 WITH SCORE 248630.242
AT ITER 7684 NEW BEST:: SOT 5332335 SOS 3790218 HAS SOPS 3275014 HAS SOUS 248004 HAS SOUPS 244836 WITH SCORE 248626.218
AT ITER 7686 NEW BEST:: SOT 5332271 SOS 3790154 HAS SOPS 3274950 HAS SOUS 247988 HAS SOUPS 244820 WITH SCORE 248610.154
AT ITER 7703 NEW BEST:: SOT 5334163 SOS 3792046 HAS SOPS 3276842 HAS SOUS 247670 HAS SOUPS 244502 WITH SCORE 248294.046
AT ITER 7761 NEW BEST:: SOT 5345859 SOS 3803742 HAS SOPS 3288538 HAS SOUS 246673 HAS SOUPS 243505 WITH SCORE 247308.742
AT ITER 7818 NEW BEST:: SOT 5345859 SOS 3789182 HAS SOPS 3289058 HAS SOUS 246496 HAS SOUPS 243408 WITH SCORE 247197.182
AT ITER 7828 NEW BEST:: SOT 5346831 SOS 3790154 HAS SOPS 3290030 HAS SOUS 246414 HAS SOUPS 243326 WITH SCORE 247116.154
AT ITER 7857 NEW BEST:: SOT 5346831 SOS 3790150 HAS SOPS 3290028 HAS SOUS 246413 HAS SOUPS 243325 WITH SCORE 247115.15
AT ITER 7859 NEW BEST:: SOT 5346598 SOS 3789958 HAS SOPS 3289836 HAS SOUS 246276 HAS SOUPS 243188 WITH SCORE 246977.958
AT ITER 7863 NEW BEST:: SOT 5346566 SOS 3789926 HAS SOPS 3289804 HAS SOUS 246276 HAS SOUPS 243188 WITH SCORE 246977.926
AT ITER 7926 NEW BEST:: SOT 5346550 SOS 3789910 HAS SOPS 3289788 HAS SOUS 246270 HAS SOUPS 243182 WITH SCORE 246971.91
AT ITER 7970 NEW BEST:: SOT 5346542 SOS 3789902 HAS SOPS 3289780 HAS SOUS 246262 HAS SOUPS 243174 WITH SCORE 246963.902
AT ITER 7995 NEW BEST:: SOT 5346550 SOS 3789910 HAS SOPS 3289788 HAS SOUS 246258 HAS SOUPS 243170 WITH SCORE 246959.91
AT ITER 8014 NEW BEST:: SOT 5346532 SOS 3789892 HAS SOPS 3289770 HAS SOUS 246241 HAS SOUPS 243153 WITH SCORE 246942.892
AT ITER 8061 NEW BEST:: SOT 5346586 SOS 3790092 HAS SOPS 3289778 HAS SOUS 245908 HAS SOUPS 242910 WITH SCORE 246700.092
AT ITER 8093 NEW BEST:: SOT 5342302 SOS 3785808 HAS SOPS 3285494 HAS SOUS 245670 HAS SOUPS 242672 WITH SCORE 246457.808
AT ITER 8108 NEW BEST:: SOT 5343990 SOS 3787496 HAS SOPS 3287182 HAS SOUS 245278 HAS SOUPS 242280 WITH SCORE 246067.496
AT ITER 8114 NEW BEST:: SOT 5343986 SOS 3787492 HAS SOPS 3287178 HAS SOUS 245274 HAS SOUPS 242276 WITH SCORE 246063.492
AT ITER 8116 NEW BEST:: SOT 5342742 SOS 3786248 HAS SOPS 3285934 HAS SOUS 244646 HAS SOUPS 241648 WITH SCORE 245434.248
AT ITER 8135 NEW BEST:: SOT 5343262 SOS 3781604 HAS SOPS 3285694 HAS SOUS 244541 HAS SOUPS 241540 WITH SCORE 245321.604
AT ITER 8137 NEW BEST:: SOT 5343374 SOS 3781716 HAS SOPS 3285806 HAS SOUS 243990 HAS SOUPS 240989 WITH SCORE 244770.716
AT ITER 8154 NEW BEST:: SOT 5345030 SOS 3783069 HAS SOPS 3287111 HAS SOUS 243586 HAS SOUPS 240585 WITH SCORE 244368.069
AT ITER 8161 NEW BEST:: SOT 5344766 SOS 3782729 HAS SOPS 3286847 HAS SOUS 243310 HAS SOUPS 240347 WITH SCORE 244129.729
AT ITER 8195 NEW BEST:: SOT 5344534 SOS 3782497 HAS SOPS 3286615 HAS SOUS 242526 HAS SOUPS 239563 WITH SCORE 243345.497
AT ITER 8210 NEW BEST:: SOT 5344534 SOS 3766691 HAS SOPS 3258673 HAS SOUS 242279 HAS SOUPS 239316 WITH SCORE 243082.691
AT ITER 8241 NEW BEST:: SOT 5344534 SOS 3764841 HAS SOPS 3257719 HAS SOUS 242253 HAS SOUPS 239303 WITH SCORE 243067.841
AT ITER 8258 NEW BEST:: SOT 5344500 SOS 3764807 HAS SOPS 3257685 HAS SOUS 242227 HAS SOUPS 239277 WITH SCORE 243041.807
AT ITER 8275 NEW BEST:: SOT 5346242 SOS 3766549 HAS SOPS 3259427 HAS SOUS 241985 HAS SOUPS 239035 WITH SCORE 242801.549
AT ITER 8284 NEW BEST:: SOT 5348626 SOS 3768933 HAS SOPS 3261811 HAS SOUS 241171 HAS SOUPS 238221 WITH SCORE 241989.933
AT ITER 8297 NEW BEST:: SOT 5348626 SOS 3747139 HAS SOPS 3261777 HAS SOUS 241154 HAS SOUPS 238221 WITH SCORE 241968.139
AT ITER 8336 NEW BEST:: SOT 5348688 SOS 3747201 HAS SOPS 3261839 HAS SOUS 241129 HAS SOUPS 238196 WITH SCORE 241943.201
AT ITER 8341 NEW BEST:: SOT 5348700 SOS 3744145 HAS SOPS 3253439 HAS SOUS 241143 HAS SOUPS 238111 WITH SCORE 241855.145
AT ITER 8348 NEW BEST:: SOT 5342550 SOS 3737995 HAS SOPS 3247289 HAS SOUS 240161 HAS SOUPS 237129 WITH SCORE 240866.995
AT ITER 8363 NEW BEST:: SOT 5342530 SOS 3737975 HAS SOPS 3247269 HAS SOUS 240161 HAS SOUPS 237129 WITH SCORE 240866.975
AT ITER 8414 NEW BEST:: SOT 5342486 SOS 3737931 HAS SOPS 3247225 HAS SOUS 240128 HAS SOUPS 237096 WITH SCORE 240833.931
AT ITER 8424 NEW BEST:: SOT 5346738 SOS 3742183 HAS SOPS 3251477 HAS SOUS 237846 HAS SOUPS 234814 WITH SCORE 238556.183
AT ITER 8494 NEW BEST:: SOT 5346098 SOS 3741543 HAS SOPS 3250837 HAS SOUS 237846 HAS SOUPS 234814 WITH SCORE 238555.543
AT ITER 8548 NEW BEST:: SOT 5346098 SOS 3737079 HAS SOPS 3246629 HAS SOUS 237864 HAS SOUPS 234816 WITH SCORE 238553.079
AT ITER 8590 NEW BEST:: SOT 5348562 SOS 3739543 HAS SOPS 3249093 HAS SOUS 237738 HAS SOUPS 234690 WITH SCORE 238429.543
AT ITER 8591 NEW BEST:: SOT 5347734 SOS 3738715 HAS SOPS 3248265 HAS SOUS 237466 HAS SOUPS 234418 WITH SCORE 238156.715
AT ITER 8596 NEW BEST:: SOT 5350636 SOS 3741617 HAS SOPS 3251167 HAS SOUS 236495 HAS SOUPS 233447 WITH SCORE 237188.617
AT ITER 8601 NEW BEST:: SOT 5350698 SOS 3741679 HAS SOPS 3251229 HAS SOUS 236301 HAS SOUPS 233253 WITH SCORE 236994.679
AT ITER 8651 NEW BEST:: SOT 5350442 SOS 3741423 HAS SOPS 3250973 HAS SOUS 236018 HAS SOUPS 232970 WITH SCORE 236711.423
AT ITER 8660 NEW BEST:: SOT 5347772 SOS 3738753 HAS SOPS 3248303 HAS SOUS 235968 HAS SOUPS 232920 WITH SCORE 236658.753
AT ITER 8707 NEW BEST:: SOT 5347712 SOS 3738693 HAS SOPS 3248243 HAS SOUS 235824 HAS SOUPS 232776 WITH SCORE 236514.693
AT ITER 8718 NEW BEST:: SOT 5347700 SOS 3735631 HAS SOPS 3254965 HAS SOUS 235654 HAS SOUPS 232775 WITH SCORE 236510.631
AT ITER 8720 NEW BEST:: SOT 5347700 SOS 3730639 HAS SOPS 3254157 HAS SOUS 235622 HAS SOUPS 232768 WITH SCORE 236498.639
AT ITER 8724 NEW BEST:: SOT 5348570 SOS 3731509 HAS SOPS 3255027 HAS SOUS 235563 HAS SOUPS 232709 WITH SCORE 236440.509
AT ITER 8732 NEW BEST:: SOT 5349174 SOS 3732113 HAS SOPS 3255631 HAS SOUS 235485 HAS SOUPS 232631 WITH SCORE 236363.113
AT ITER 8734 NEW BEST:: SOT 5349174 SOS 3738369 HAS SOPS 3269331 HAS SOUS 235346 HAS SOUPS 232524 WITH SCORE 236262.369
AT ITER 8762 NEW BEST:: SOT 5346368 SOS 3735563 HAS SOPS 3266525 HAS SOUS 235114 HAS SOUPS 232292 WITH SCORE 236027.563
AT ITER 8812 NEW BEST:: SOT 5346368 SOS 3729667 HAS SOPS 3256725 HAS SOUS 235106 HAS SOUPS 232270 WITH SCORE 235999.667
AT ITER 8850 NEW BEST:: SOT 5346368 SOS 3727859 HAS SOPS 3256325 HAS SOUS 235106 HAS SOUPS 232270 WITH SCORE 235997.859
AT ITER 8879 NEW BEST:: SOT 5346352 SOS 3727843 HAS SOPS 3256309 HAS SOUS 235098 HAS SOUPS 232262 WITH SCORE 235989.843
AT ITER 8910 NEW BEST:: SOT 5345752 SOS 3727243 HAS SOPS 3255709 HAS SOUS 234958 HAS SOUPS 232122 WITH SCORE 235849.243
AT ITER 8945 NEW BEST:: SOT 5346800 SOS 3728291 HAS SOPS 3256757 HAS SOUS 234778 HAS SOUPS 231942 WITH SCORE 235670.291
AT ITER 8983 NEW BEST:: SOT 5347020 SOS 3728315 HAS SOPS 3256977 HAS SOUS 234696 HAS SOUPS 231909 WITH SCORE 235637.315
AT ITER 8999 NEW BEST:: SOT 5347020 SOS 3727295 HAS SOPS 3256597 HAS SOUS 234676 HAS SOUPS 231899 WITH SCORE 235626.295
AT ITER 9009 NEW BEST:: SOT 5346798 SOS 3727073 HAS SOPS 3256375 HAS SOUS 234431 HAS SOUPS 231654 WITH SCORE 235381.073
AT ITER 9014 NEW BEST:: SOT 5345820 SOS 3726095 HAS SOPS 3255373 HAS SOUS 233977 HAS SOUPS 231224 WITH SCORE 234950.095
AT ITER 9025 NEW BEST:: SOT 5345820 SOS 3727283 HAS SOPS 3255505 HAS SOUS 233956 HAS SOUPS 231202 WITH SCORE 234929.283
AT ITER 9045 NEW BEST:: SOT 5345876 SOS 3756557 HAS SOPS 3255043 HAS SOUS 233416 HAS SOUPS 230829 WITH SCORE 234585.557
AT ITER 9060 NEW BEST:: SOT 5346136 SOS 3756817 HAS SOPS 3255303 HAS SOUS 232787 HAS SOUPS 230200 WITH SCORE 233956.817
AT ITER 9104 NEW BEST:: SOT 5347662 SOS 3758343 HAS SOPS 3256829 HAS SOUS 232713 HAS SOUPS 230126 WITH SCORE 233884.343
AT ITER 9125 NEW BEST:: SOT 5347730 SOS 3758411 HAS SOPS 3256897 HAS SOUS 232513 HAS SOUPS 229926 WITH SCORE 233684.411
AT ITER 9126 NEW BEST:: SOT 5347730 SOS 3753875 HAS SOPS 3245473 HAS SOUS 232555 HAS SOUPS 229898 WITH SCORE 233651.875
AT ITER 9133 NEW BEST:: SOT 5349250 SOS 3755395 HAS SOPS 3246993 HAS SOUS 232059 HAS SOUPS 229402 WITH SCORE 233157.395
AT ITER 9157 NEW BEST:: SOT 5347516 SOS 3753661 HAS SOPS 3245259 HAS SOUS 231538 HAS SOUPS 228881 WITH SCORE 232634.661
AT ITER 9218 NEW BEST:: SOT 5347516 SOS 3753657 HAS SOPS 3245257 HAS SOUS 231537 HAS SOUPS 228880 WITH SCORE 232633.657
AT ITER 9308 NEW BEST:: SOT 5344427 SOS 3750523 HAS SOPS 3242123 HAS SOUS 230203 HAS SOUPS 227546 WITH SCORE 231296.523
AT ITER 9318 NEW BEST:: SOT 5353707 SOS 3759803 HAS SOPS 3251403 HAS SOUS 229460 HAS SOUPS 226803 WITH SCORE 230562.803
AT ITER 9324 NEW BEST:: SOT 5353707 SOS 3759275 HAS SOPS 3251539 HAS SOUS 229457 HAS SOUPS 226802 WITH SCORE 230561.275
AT ITER 9343 NEW BEST:: SOT 5353683 SOS 3759251 HAS SOPS 3251515 HAS SOUS 229205 HAS SOUPS 226550 WITH SCORE 230309.251
AT ITER 9351 NEW BEST:: SOT 5353683 SOS 3756851 HAS SOPS 3251195 HAS SOUS 229186 HAS SOUPS 226542 WITH SCORE 230298.851
AT ITER 9369 NEW BEST:: SOT 5353787 SOS 3756955 HAS SOPS 3251299 HAS SOUS 228711 HAS SOUPS 226067 WITH SCORE 229823.955
AT ITER 9390 NEW BEST:: SOT 5353811 SOS 3756979 HAS SOPS 3251323 HAS SOUS 228705 HAS SOUPS 226061 WITH SCORE 229817.979
AT ITER 9395 NEW BEST:: SOT 5353811 SOS 3757393 HAS SOPS 3249865 HAS SOUS 228715 HAS SOUPS 226052 WITH SCORE 229809.393
AT ITER 9406 NEW BEST:: SOT 5353269 SOS 3756851 HAS SOPS 3249323 HAS SOUS 228475 HAS SOUPS 225812 WITH SCORE 229568.851
AT ITER 9438 NEW BEST:: SOT 5353271 SOS 3756925 HAS SOPS 3249077 HAS SOUS 228331 HAS SOUPS 225667 WITH SCORE 229423.925
AT ITER 9490 NEW BEST:: SOT 5353463 SOS 3757117 HAS SOPS 3249269 HAS SOUS 228323 HAS SOUPS 225659 WITH SCORE 229416.117
AT ITER 9497 NEW BEST:: SOT 5353327 SOS 3756981 HAS SOPS 3249133 HAS SOUS 228291 HAS SOUPS 225627 WITH SCORE 229383.981
AT ITER 9529 NEW BEST:: SOT 5353327 SOS 3754837 HAS SOPS 3249005 HAS SOUS 228291 HAS SOUPS 225627 WITH SCORE 229381.837
AT ITER 9608 NEW BEST:: SOT 5354267 SOS 3755777 HAS SOPS 3249945 HAS SOUS 228119 HAS SOUPS 225455 WITH SCORE 229210.777
AT ITER 9624 NEW BEST:: SOT 5354267 SOS 3755777 HAS SOPS 3249945 HAS SOUS 228117 HAS SOUPS 225453 WITH SCORE 229208.777
AT ITER 9638 NEW BEST:: SOT 5353997 SOS 3755507 HAS SOPS 3249675 HAS SOUS 227927 HAS SOUPS 225263 WITH SCORE 229018.507
AT ITER 9645 NEW BEST:: SOT 5353965 SOS 3754741 HAS SOPS 3250721 HAS SOUS 227822 HAS SOUPS 225249 WITH SCORE 229003.741
AT ITER 9680 NEW BEST:: SOT 5349925 SOS 3750701 HAS SOPS 3246681 HAS SOUS 227648 HAS SOUPS 225075 WITH SCORE 228825.701
AT ITER 9713 NEW BEST:: SOT 5351797 SOS 3752573 HAS SOPS 3248553 HAS SOUS 227414 HAS SOUPS 224841 WITH SCORE 228593.573
AT ITER 9752 NEW BEST:: SOT 5351871 SOS 3752647 HAS SOPS 3248627 HAS SOUS 227282 HAS SOUPS 224709 WITH SCORE 228461.647
AT ITER 9794 NEW BEST:: SOT 5351039 SOS 3751815 HAS SOPS 3247795 HAS SOUS 227220 HAS SOUPS 224647 WITH SCORE 228398.815
AT ITER 9807 NEW BEST:: SOT 5351059 SOS 3762153 HAS SOPS 3248005 HAS SOUS 226741 HAS SOUPS 224181 WITH SCORE 227943.153
AT ITER 9808 NEW BEST:: SOT 5351815 SOS 3762909 HAS SOPS 3248761 HAS SOUS 226406 HAS SOUPS 223846 WITH SCORE 227608.909
AT ITER 9917 NEW BEST:: SOT 5352127 SOS 3763221 HAS SOPS 3249073 HAS SOUS 225846 HAS SOUPS 223286 WITH SCORE 227049.221
AT ITER 9940 NEW BEST:: SOT 5352129 SOS 3757167 HAS SOPS 3232059 HAS SOUS 225878 HAS SOUPS 223287 WITH SCORE 227044.167
AT ITER 9948 NEW BEST:: SOT 5348757 SOS 3753795 HAS SOPS 3228687 HAS SOUS 225686 HAS SOUPS 223095 WITH SCORE 226848.795
AT ITER 9962 NEW BEST:: SOT 5348733 SOS 3753771 HAS SOPS 3228663 HAS SOUS 225644 HAS SOUPS 223053 WITH SCORE 226806.771
AT ITER 9970 NEW BEST:: SOT 5348711 SOS 3753749 HAS SOPS 3228641 HAS SOUS 225633 HAS SOUPS 223042 WITH SCORE 226795.749
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15785228 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16033200 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="SemanticWebServices-PT-S256P15"
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 SemanticWebServices-PT-S256P15, 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 r363-smll-167891814400448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P15.tgz
mv SemanticWebServices-PT-S256P15 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 ;