About the Execution of Smart+red for SafeBus-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7729.680 | 3600000.00 | 3625284.00 | 9387.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r363-smll-167891814000288.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 SafeBus-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814000288
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 40K Feb 26 02:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 227K Feb 26 02:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 390K Feb 26 02:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.6M Feb 26 02:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 31K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 271K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 797K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Feb 26 02:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 472K Feb 26 02:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 725K Feb 26 02:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M Feb 26 02:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.5M 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 1679107059338
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=SafeBus-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 02:37:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 02:37:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 02:37:42] [INFO ] Load time of PNML (sax parser for PT used): 489 ms
[2023-03-18 02:37:42] [INFO ] Transformed 621 places.
[2023-03-18 02:37:42] [INFO ] Transformed 4771 transitions.
[2023-03-18 02:37:42] [INFO ] Parsed PT model containing 621 places and 4771 transitions and 34549 arcs in 724 ms.
[2023-03-18 02:37:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 621 places, 4771 transitions and 34549 arcs took 95 ms.
Total runtime 866 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 15
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: 621 places, 4771 transitions, 34549 arcs.
AT ITER 0 NEW BEST:: SOT 1544586 SOS 1233650 HAS SOPS 1231507 HAS SOUS 326975 HAS SOUPS 326408 WITH SCORE 327641.65
AT ITER 16 NEW BEST:: SOT 1544618 SOS 1233682 HAS SOPS 1231539 HAS SOUS 326973 HAS SOUPS 326406 WITH SCORE 327639.682
AT ITER 28 NEW BEST:: SOT 1545666 SOS 1234720 HAS SOPS 1232587 HAS SOUS 326819 HAS SOUPS 326262 WITH SCORE 327496.72
AT ITER 45 NEW BEST:: SOT 1546774 SOS 1235826 HAS SOPS 1233695 HAS SOUS 326667 HAS SOUPS 326112 WITH SCORE 327347.826
AT ITER 49 NEW BEST:: SOT 1546717 SOS 1235686 HAS SOPS 1233498 HAS SOUS 326093 HAS SOUPS 325481 WITH SCORE 326716.686
AT ITER 52 NEW BEST:: SOT 1546922 SOS 1235891 HAS SOPS 1233703 HAS SOUS 325907 HAS SOUPS 325295 WITH SCORE 326530.891
AT ITER 57 NEW BEST:: SOT 1494348 SOS 1204684 HAS SOPS 1204086 HAS SOUS 273569 HAS SOUPS 272971 WITH SCORE 274175.684
AT ITER 84 NEW BEST:: SOT 1494348 SOS 1204684 HAS SOPS 1204086 HAS SOUS 273405 HAS SOUPS 272807 WITH SCORE 274011.684
AT ITER 91 NEW BEST:: SOT 1494348 SOS 1204684 HAS SOPS 1204086 HAS SOUS 273389 HAS SOUPS 272791 WITH SCORE 273995.684
AT ITER 92 NEW BEST:: SOT 1494304 SOS 1204640 HAS SOPS 1204042 HAS SOUS 273389 HAS SOUPS 272791 WITH SCORE 273995.64
AT ITER 99 NEW BEST:: SOT 1494229 SOS 1206761 HAS SOPS 1206163 HAS SOUS 273146 HAS SOUPS 272548 WITH SCORE 273754.761
AT ITER 107 NEW BEST:: SOT 1494177 SOS 1206613 HAS SOPS 1205930 HAS SOUS 272620 HAS SOUPS 271937 WITH SCORE 273143.613
AT ITER 117 NEW BEST:: SOT 1495071 SOS 1207415 HAS SOPS 1206431 HAS SOUS 272450 HAS SOUPS 271466 WITH SCORE 272673.415
AT ITER 122 NEW BEST:: SOT 1495141 SOS 1207485 HAS SOPS 1206501 HAS SOUS 272449 HAS SOUPS 271465 WITH SCORE 272672.485
AT ITER 124 NEW BEST:: SOT 1495167 SOS 1209847 HAS SOPS 1208863 HAS SOUS 272329 HAS SOUPS 271345 WITH SCORE 272554.847
AT ITER 125 NEW BEST:: SOT 1495189 SOS 1209869 HAS SOPS 1208885 HAS SOUS 272301 HAS SOUPS 271317 WITH SCORE 272526.869
AT ITER 137 NEW BEST:: SOT 1495225 SOS 1209905 HAS SOPS 1208921 HAS SOUS 272300 HAS SOUPS 271316 WITH SCORE 272525.905
AT ITER 139 NEW BEST:: SOT 1495230 SOS 1212548 HAS SOPS 1211564 HAS SOUS 272125 HAS SOUPS 271141 WITH SCORE 272353.548
AT ITER 141 NEW BEST:: SOT 1495230 SOS 1212548 HAS SOPS 1211453 HAS SOUS 272125 HAS SOUPS 271030 WITH SCORE 272242.548
AT ITER 150 NEW BEST:: SOT 1495255 SOS 1213929 HAS SOPS 1212834 HAS SOUS 272052 HAS SOUPS 270957 WITH SCORE 272170.929
AT ITER 169 NEW BEST:: SOT 1472318 SOS 1215521 HAS SOPS 1215499 HAS SOUS 249764 HAS SOUPS 249742 WITH SCORE 250957.521
AT ITER 178 NEW BEST:: SOT 1471877 SOS 1215080 HAS SOPS 1215058 HAS SOUS 249675 HAS SOUPS 249653 WITH SCORE 250868.08
AT ITER 180 NEW BEST:: SOT 1471877 SOS 1215080 HAS SOPS 1215058 HAS SOUS 249661 HAS SOUPS 249639 WITH SCORE 250854.08
AT ITER 194 NEW BEST:: SOT 1471877 SOS 1214982 HAS SOPS 1214960 HAS SOUS 249563 HAS SOUPS 249541 WITH SCORE 250755.982
AT ITER 200 NEW BEST:: SOT 1471662 SOS 1214752 HAS SOPS 1214730 HAS SOUS 249093 HAS SOUPS 249071 WITH SCORE 250285.752
AT ITER 205 NEW BEST:: SOT 1471757 SOS 1216647 HAS SOPS 1216625 HAS SOUS 249064 HAS SOUPS 249042 WITH SCORE 250258.647
AT ITER 211 NEW BEST:: SOT 1471721 SOS 1216611 HAS SOPS 1216589 HAS SOUS 249064 HAS SOUPS 249042 WITH SCORE 250258.611
AT ITER 218 NEW BEST:: SOT 1472038 SOS 1216908 HAS SOPS 1216886 HAS SOUS 248910 HAS SOUPS 248888 WITH SCORE 250104.908
AT ITER 219 NEW BEST:: SOT 1471986 SOS 1216856 HAS SOPS 1216834 HAS SOUS 248858 HAS SOUPS 248836 WITH SCORE 250052.856
AT ITER 226 NEW BEST:: SOT 1470805 SOS 1215182 HAS SOPS 1215160 HAS SOUS 247461 HAS SOUPS 247439 WITH SCORE 248654.182
AT ITER 244 NEW BEST:: SOT 1470811 SOS 1215346 HAS SOPS 1215324 HAS SOUS 247375 HAS SOUPS 247353 WITH SCORE 248568.346
AT ITER 261 NEW BEST:: SOT 1470811 SOS 1215346 HAS SOPS 1215324 HAS SOUS 247368 HAS SOUPS 247346 WITH SCORE 248561.346
AT ITER 269 NEW BEST:: SOT 1470809 SOS 1218264 HAS SOPS 1218242 HAS SOUS 247173 HAS SOUPS 247151 WITH SCORE 248369.264
AT ITER 277 NEW BEST:: SOT 1470811 SOS 1218266 HAS SOPS 1218244 HAS SOUS 247144 HAS SOUPS 247122 WITH SCORE 248340.266
AT ITER 312 NEW BEST:: SOT 1470679 SOS 1218134 HAS SOPS 1218112 HAS SOUS 247012 HAS SOUPS 246990 WITH SCORE 248208.134
AT ITER 318 NEW BEST:: SOT 1470679 SOS 1218350 HAS SOPS 1218328 HAS SOUS 246994 HAS SOUPS 246972 WITH SCORE 248190.35
AT ITER 320 NEW BEST:: SOT 1470671 SOS 1218342 HAS SOPS 1218320 HAS SOUS 245898 HAS SOUPS 245876 WITH SCORE 247094.342
AT ITER 331 NEW BEST:: SOT 1470766 SOS 1221253 HAS SOPS 1221231 HAS SOUS 245875 HAS SOUPS 245853 WITH SCORE 247074.253
AT ITER 339 NEW BEST:: SOT 1470766 SOS 1241711 HAS SOPS 1241689 HAS SOUS 245783 HAS SOUPS 245761 WITH SCORE 247002.711
AT ITER 351 NEW BEST:: SOT 1470738 SOS 1241683 HAS SOPS 1241661 HAS SOUS 245755 HAS SOUPS 245733 WITH SCORE 246974.683
AT ITER 368 NEW BEST:: SOT 1470692 SOS 1241637 HAS SOPS 1241615 HAS SOUS 245709 HAS SOUPS 245687 WITH SCORE 246928.637
AT ITER 373 NEW BEST:: SOT 1470684 SOS 1241629 HAS SOPS 1241607 HAS SOUS 245701 HAS SOUPS 245679 WITH SCORE 246920.629
AT ITER 387 NEW BEST:: SOT 1470636 SOS 1241581 HAS SOPS 1241559 HAS SOUS 245653 HAS SOUPS 245631 WITH SCORE 246872.581
AT ITER 388 NEW BEST:: SOT 1470607 SOS 1241552 HAS SOPS 1241530 HAS SOUS 245624 HAS SOUPS 245602 WITH SCORE 246843.552
AT ITER 397 NEW BEST:: SOT 1469166 SOS 1240111 HAS SOPS 1240089 HAS SOUS 244183 HAS SOUPS 244161 WITH SCORE 245401.111
AT ITER 400 NEW BEST:: SOT 1469110 SOS 1240055 HAS SOPS 1240033 HAS SOUS 244127 HAS SOUPS 244105 WITH SCORE 245345.055
AT ITER 416 NEW BEST:: SOT 1468902 SOS 1239847 HAS SOPS 1239825 HAS SOUS 243906 HAS SOUPS 243884 WITH SCORE 245123.847
AT ITER 421 NEW BEST:: SOT 1468884 SOS 1239841 HAS SOPS 1239819 HAS SOUS 243870 HAS SOUPS 243848 WITH SCORE 245087.841
AT ITER 445 NEW BEST:: SOT 1468744 SOS 1239701 HAS SOPS 1239679 HAS SOUS 243730 HAS SOUPS 243708 WITH SCORE 244947.701
AT ITER 466 NEW BEST:: SOT 1468662 SOS 1239629 HAS SOPS 1239607 HAS SOUS 243617 HAS SOUPS 243595 WITH SCORE 244834.629
AT ITER 472 NEW BEST:: SOT 1466656 SOS 1237623 HAS SOPS 1237601 HAS SOUS 241449 HAS SOUPS 241427 WITH SCORE 242664.623
AT ITER 476 NEW BEST:: SOT 1466584 SOS 1237551 HAS SOPS 1237529 HAS SOUS 241449 HAS SOUPS 241427 WITH SCORE 242664.551
AT ITER 500 NEW BEST:: SOT 1466546 SOS 1237513 HAS SOPS 1237491 HAS SOUS 241411 HAS SOUPS 241389 WITH SCORE 242626.513
AT ITER 510 NEW BEST:: SOT 1466663 SOS 1237630 HAS SOPS 1237608 HAS SOUS 241410 HAS SOUPS 241388 WITH SCORE 242625.63
AT ITER 531 NEW BEST:: SOT 1466663 SOS 1237630 HAS SOPS 1237608 HAS SOUS 241381 HAS SOUPS 241359 WITH SCORE 242596.63
AT ITER 538 NEW BEST:: SOT 1466463 SOS 1237430 HAS SOPS 1237408 HAS SOUS 241181 HAS SOUPS 241159 WITH SCORE 242396.43
AT ITER 546 NEW BEST:: SOT 1466529 SOS 1239112 HAS SOPS 1239090 HAS SOUS 241153 HAS SOUPS 241131 WITH SCORE 242370.112
AT ITER 572 NEW BEST:: SOT 1466497 SOS 1239080 HAS SOPS 1239058 HAS SOUS 241121 HAS SOUPS 241099 WITH SCORE 242338.08
AT ITER 580 NEW BEST:: SOT 1466497 SOS 1239176 HAS SOPS 1239154 HAS SOUS 241113 HAS SOUPS 241091 WITH SCORE 242330.176
AT ITER 595 NEW BEST:: SOT 1466109 SOS 1238788 HAS SOPS 1238766 HAS SOUS 241089 HAS SOUPS 241067 WITH SCORE 242305.788
AT ITER 597 NEW BEST:: SOT 1466097 SOS 1238772 HAS SOPS 1238750 HAS SOUS 241042 HAS SOUPS 241020 WITH SCORE 242258.772
AT ITER 609 NEW BEST:: SOT 1466018 SOS 1238651 HAS SOPS 1238629 HAS SOUS 240501 HAS SOUPS 240479 WITH SCORE 241717.651
AT ITER 631 NEW BEST:: SOT 1466018 SOS 1238651 HAS SOPS 1238629 HAS SOUS 240493 HAS SOUPS 240471 WITH SCORE 241709.651
AT ITER 637 NEW BEST:: SOT 1466124 SOS 1238757 HAS SOPS 1238735 HAS SOUS 240416 HAS SOUPS 240394 WITH SCORE 241632.757
AT ITER 656 NEW BEST:: SOT 1466124 SOS 1239585 HAS SOPS 1239563 HAS SOUS 240347 HAS SOUPS 240325 WITH SCORE 241564.585
AT ITER 665 NEW BEST:: SOT 1465089 SOS 1238550 HAS SOPS 1238528 HAS SOUS 239241 HAS SOUPS 239219 WITH SCORE 240457.55
AT ITER 669 NEW BEST:: SOT 1463124 SOS 1236585 HAS SOPS 1236563 HAS SOUS 237164 HAS SOUPS 237142 WITH SCORE 238378.585
AT ITER 682 NEW BEST:: SOT 1461935 SOS 1235396 HAS SOPS 1235374 HAS SOUS 235936 HAS SOUPS 235914 WITH SCORE 237149.396
AT ITER 686 NEW BEST:: SOT 1462636 SOS 1236053 HAS SOPS 1236031 HAS SOUS 234252 HAS SOUPS 234230 WITH SCORE 235466.053
AT ITER 695 NEW BEST:: SOT 1462671 SOS 1236088 HAS SOPS 1236066 HAS SOUS 234221 HAS SOUPS 234199 WITH SCORE 235435.088
AT ITER 714 NEW BEST:: SOT 1462702 SOS 1236119 HAS SOPS 1236097 HAS SOUS 234190 HAS SOUPS 234168 WITH SCORE 235404.119
AT ITER 725 NEW BEST:: SOT 1462676 SOS 1236093 HAS SOPS 1236071 HAS SOUS 234164 HAS SOUPS 234142 WITH SCORE 235378.093
AT ITER 755 NEW BEST:: SOT 1462863 SOS 1236280 HAS SOPS 1236258 HAS SOUS 232830 HAS SOUPS 232808 WITH SCORE 234044.28
AT ITER 762 NEW BEST:: SOT 1462934 SOS 1236351 HAS SOPS 1236329 HAS SOUS 232759 HAS SOUPS 232737 WITH SCORE 233973.351
AT ITER 767 NEW BEST:: SOT 1462934 SOS 1236831 HAS SOPS 1236809 HAS SOUS 232719 HAS SOUPS 232697 WITH SCORE 233933.831
AT ITER 769 NEW BEST:: SOT 1462898 SOS 1236801 HAS SOPS 1236779 HAS SOUS 232706 HAS SOUPS 232684 WITH SCORE 233920.801
AT ITER 805 NEW BEST:: SOT 1462694 SOS 1236597 HAS SOPS 1236575 HAS SOUS 232504 HAS SOUPS 232482 WITH SCORE 233718.597
AT ITER 826 NEW BEST:: SOT 1462700 SOS 1236589 HAS SOPS 1236567 HAS SOUS 232493 HAS SOUPS 232471 WITH SCORE 233707.589
AT ITER 844 NEW BEST:: SOT 1460204 SOS 1234093 HAS SOPS 1234071 HAS SOUS 229789 HAS SOUPS 229767 WITH SCORE 231001.093
AT ITER 853 NEW BEST:: SOT 1460204 SOS 1234093 HAS SOPS 1234071 HAS SOUS 229775 HAS SOUPS 229753 WITH SCORE 230987.093
AT ITER 865 NEW BEST:: SOT 1460196 SOS 1234085 HAS SOPS 1234063 HAS SOUS 229708 HAS SOUPS 229686 WITH SCORE 230920.085
AT ITER 881 NEW BEST:: SOT 1461276 SOS 1235165 HAS SOPS 1235143 HAS SOUS 229528 HAS SOUPS 229506 WITH SCORE 230741.165
AT ITER 903 NEW BEST:: SOT 1461317 SOS 1235196 HAS SOPS 1235136 HAS SOUS 229439 HAS SOUPS 229395 WITH SCORE 230630.196
AT ITER 916 NEW BEST:: SOT 1461068 SOS 1234947 HAS SOPS 1234887 HAS SOUS 229388 HAS SOUPS 229344 WITH SCORE 230578.947
AT ITER 917 NEW BEST:: SOT 1460891 SOS 1234770 HAS SOPS 1234710 HAS SOUS 229210 HAS SOUPS 229166 WITH SCORE 230400.77
AT ITER 926 NEW BEST:: SOT 1460891 SOS 1234770 HAS SOPS 1234710 HAS SOUS 229182 HAS SOUPS 229138 WITH SCORE 230372.77
AT ITER 928 NEW BEST:: SOT 1460895 SOS 1234774 HAS SOPS 1234714 HAS SOUS 229178 HAS SOUPS 229134 WITH SCORE 230368.774
AT ITER 930 NEW BEST:: SOT 1460641 SOS 1234520 HAS SOPS 1234460 HAS SOUS 228850 HAS SOUPS 228806 WITH SCORE 230040.52
AT ITER 941 NEW BEST:: SOT 1460641 SOS 1219594 HAS SOPS 1219534 HAS SOUS 228850 HAS SOUPS 228806 WITH SCORE 230025.594
AT ITER 949 NEW BEST:: SOT 1460555 SOS 1219508 HAS SOPS 1219448 HAS SOUS 228714 HAS SOUPS 228670 WITH SCORE 229889.508
AT ITER 959 NEW BEST:: SOT 1460553 SOS 1219506 HAS SOPS 1219446 HAS SOUS 228712 HAS SOUPS 228668 WITH SCORE 229887.506
AT ITER 982 NEW BEST:: SOT 1460810 SOS 1219725 HAS SOPS 1219703 HAS SOUS 228094 HAS SOUPS 228072 WITH SCORE 229291.725
AT ITER 1002 NEW BEST:: SOT 1460750 SOS 1219719 HAS SOPS 1219697 HAS SOUS 228085 HAS SOUPS 228063 WITH SCORE 229282.719
AT ITER 1014 NEW BEST:: SOT 1460750 SOS 1245053 HAS SOPS 1245031 HAS SOUS 227979 HAS SOUPS 227957 WITH SCORE 229202.053
AT ITER 1037 NEW BEST:: SOT 1460497 SOS 1244800 HAS SOPS 1244778 HAS SOUS 227610 HAS SOUPS 227588 WITH SCORE 228832.8
AT ITER 1038 NEW BEST:: SOT 1460449 SOS 1244752 HAS SOPS 1244730 HAS SOUS 227562 HAS SOUPS 227540 WITH SCORE 228784.752
AT ITER 1045 NEW BEST:: SOT 1460539 SOS 1244818 HAS SOPS 1244796 HAS SOUS 227555 HAS SOUPS 227533 WITH SCORE 228777.818
AT ITER 1062 NEW BEST:: SOT 1460309 SOS 1244588 HAS SOPS 1244566 HAS SOUS 227325 HAS SOUPS 227303 WITH SCORE 228547.588
AT ITER 1091 NEW BEST:: SOT 1460177 SOS 1244456 HAS SOPS 1244434 HAS SOUS 227187 HAS SOUPS 227165 WITH SCORE 228409.456
AT ITER 1097 NEW BEST:: SOT 1460177 SOS 1244792 HAS SOPS 1244770 HAS SOUS 227159 HAS SOUPS 227137 WITH SCORE 228381.792
AT ITER 1104 NEW BEST:: SOT 1461346 SOS 1245953 HAS SOPS 1245931 HAS SOUS 226658 HAS SOUPS 226636 WITH SCORE 227881.953
AT ITER 1118 NEW BEST:: SOT 1461012 SOS 1245617 HAS SOPS 1245595 HAS SOUS 226330 HAS SOUPS 226308 WITH SCORE 227553.617
AT ITER 1123 NEW BEST:: SOT 1460480 SOS 1245085 HAS SOPS 1245063 HAS SOUS 226292 HAS SOUPS 226270 WITH SCORE 227515.085
AT ITER 1144 NEW BEST:: SOT 1460542 SOS 1245147 HAS SOPS 1245125 HAS SOUS 226230 HAS SOUPS 226208 WITH SCORE 227453.147
AT ITER 1155 NEW BEST:: SOT 1461556 SOS 1246164 HAS SOPS 1246139 HAS SOUS 226179 HAS SOUPS 226154 WITH SCORE 227400.164
AT ITER 1192 NEW BEST:: SOT 1461544 SOS 1246152 HAS SOPS 1246127 HAS SOUS 226167 HAS SOUPS 226142 WITH SCORE 227388.152
AT ITER 1206 NEW BEST:: SOT 1461466 SOS 1246072 HAS SOPS 1246047 HAS SOUS 226089 HAS SOUPS 226064 WITH SCORE 227310.072
AT ITER 1243 NEW BEST:: SOT 1461435 SOS 1246041 HAS SOPS 1246016 HAS SOUS 225057 HAS SOUPS 225032 WITH SCORE 226278.041
AT ITER 1245 NEW BEST:: SOT 1461016 SOS 1245622 HAS SOPS 1245597 HAS SOUS 224567 HAS SOUPS 224542 WITH SCORE 225787.622
AT ITER 1247 NEW BEST:: SOT 1461016 SOS 1245622 HAS SOPS 1245597 HAS SOUS 224539 HAS SOUPS 224514 WITH SCORE 225759.622
AT ITER 1253 NEW BEST:: SOT 1461016 SOS 1245622 HAS SOPS 1245597 HAS SOUS 224511 HAS SOUPS 224486 WITH SCORE 225731.622
AT ITER 1255 NEW BEST:: SOT 1461016 SOS 1244587 HAS SOPS 1244562 HAS SOUS 224511 HAS SOUPS 224486 WITH SCORE 225730.587
AT ITER 1263 NEW BEST:: SOT 1461077 SOS 1244916 HAS SOPS 1244891 HAS SOUS 224497 HAS SOUPS 224472 WITH SCORE 225716.916
AT ITER 1302 NEW BEST:: SOT 1461059 SOS 1244898 HAS SOPS 1244873 HAS SOUS 224479 HAS SOUPS 224454 WITH SCORE 225698.898
AT ITER 1308 NEW BEST:: SOT 1461197 SOS 1245036 HAS SOPS 1245011 HAS SOUS 224457 HAS SOUPS 224432 WITH SCORE 225677.036
AT ITER 1311 NEW BEST:: SOT 1461196 SOS 1245035 HAS SOPS 1245010 HAS SOUS 224453 HAS SOUPS 224428 WITH SCORE 225673.035
AT ITER 1312 NEW BEST:: SOT 1461144 SOS 1244983 HAS SOPS 1244958 HAS SOUS 224401 HAS SOUPS 224376 WITH SCORE 225620.983
AT ITER 1318 NEW BEST:: SOT 1461058 SOS 1244897 HAS SOPS 1244872 HAS SOUS 224353 HAS SOUPS 224328 WITH SCORE 225572.897
AT ITER 1321 NEW BEST:: SOT 1460889 SOS 1244769 HAS SOPS 1244744 HAS SOUS 224196 HAS SOUPS 224171 WITH SCORE 225415.769
AT ITER 1336 NEW BEST:: SOT 1460855 SOS 1244735 HAS SOPS 1244710 HAS SOUS 224181 HAS SOUPS 224156 WITH SCORE 225400.735
AT ITER 1371 NEW BEST:: SOT 1460856 SOS 1244742 HAS SOPS 1244717 HAS SOUS 224159 HAS SOUPS 224134 WITH SCORE 225378.742
AT ITER 1377 NEW BEST:: SOT 1460856 SOS 1244738 HAS SOPS 1244713 HAS SOUS 224158 HAS SOUPS 224133 WITH SCORE 225377.738
AT ITER 1383 NEW BEST:: SOT 1460797 SOS 1244679 HAS SOPS 1244654 HAS SOUS 224099 HAS SOUPS 224074 WITH SCORE 225318.679
AT ITER 1392 NEW BEST:: SOT 1460752 SOS 1244634 HAS SOPS 1244609 HAS SOUS 224054 HAS SOUPS 224029 WITH SCORE 225273.634
AT ITER 1405 NEW BEST:: SOT 1460752 SOS 1243809 HAS SOPS 1243784 HAS SOUS 224054 HAS SOUPS 224029 WITH SCORE 225272.809
AT ITER 1414 NEW BEST:: SOT 1460752 SOS 1243764 HAS SOPS 1243739 HAS SOUS 224054 HAS SOUPS 224029 WITH SCORE 225272.764
AT ITER 1459 NEW BEST:: SOT 1460692 SOS 1243704 HAS SOPS 1243679 HAS SOUS 223994 HAS SOUPS 223969 WITH SCORE 225212.704
AT ITER 1463 NEW BEST:: SOT 1460692 SOS 1243704 HAS SOPS 1243679 HAS SOUS 223981 HAS SOUPS 223956 WITH SCORE 225199.704
AT ITER 1484 NEW BEST:: SOT 1460084 SOS 1243096 HAS SOPS 1243071 HAS SOUS 223281 HAS SOUPS 223256 WITH SCORE 224499.096
AT ITER 1502 NEW BEST:: SOT 1460084 SOS 1241400 HAS SOPS 1241375 HAS SOUS 223281 HAS SOUPS 223256 WITH SCORE 224497.4
AT ITER 1512 NEW BEST:: SOT 1459629 SOS 1240945 HAS SOPS 1240920 HAS SOUS 221693 HAS SOUPS 221668 WITH SCORE 222908.945
AT ITER 1525 NEW BEST:: SOT 1458628 SOS 1239944 HAS SOPS 1239919 HAS SOUS 221387 HAS SOUPS 221362 WITH SCORE 222601.944
AT ITER 1528 NEW BEST:: SOT 1458155 SOS 1239493 HAS SOPS 1239468 HAS SOUS 220875 HAS SOUPS 220850 WITH SCORE 222089.493
AT ITER 1529 NEW BEST:: SOT 1458039 SOS 1239377 HAS SOPS 1239352 HAS SOUS 220875 HAS SOUPS 220850 WITH SCORE 222089.377
AT ITER 1534 NEW BEST:: SOT 1457908 SOS 1239246 HAS SOPS 1239221 HAS SOUS 220744 HAS SOUPS 220719 WITH SCORE 221958.246
AT ITER 1536 NEW BEST:: SOT 1457908 SOS 1239246 HAS SOPS 1239221 HAS SOUS 220743 HAS SOUPS 220718 WITH SCORE 221957.246
AT ITER 1539 NEW BEST:: SOT 1457730 SOS 1239068 HAS SOPS 1239043 HAS SOUS 220519 HAS SOUPS 220494 WITH SCORE 221733.068
AT ITER 1542 NEW BEST:: SOT 1457730 SOS 1222580 HAS SOPS 1222555 HAS SOUS 220478 HAS SOUPS 220453 WITH SCORE 221675.58
AT ITER 1545 NEW BEST:: SOT 1457730 SOS 1223135 HAS SOPS 1223110 HAS SOUS 220441 HAS SOUPS 220416 WITH SCORE 221639.135
AT ITER 1547 NEW BEST:: SOT 1457730 SOS 1196175 HAS SOPS 1196150 HAS SOUS 220368 HAS SOUPS 220343 WITH SCORE 221539.175
AT ITER 1550 NEW BEST:: SOT 1457587 SOS 1196032 HAS SOPS 1196007 HAS SOUS 220198 HAS SOUPS 220173 WITH SCORE 221369.032
AT ITER 1554 NEW BEST:: SOT 1457049 SOS 1195494 HAS SOPS 1195469 HAS SOUS 219671 HAS SOUPS 219646 WITH SCORE 220841.494
AT ITER 1569 NEW BEST:: SOT 1457049 SOS 1197161 HAS SOPS 1197136 HAS SOUS 219594 HAS SOUPS 219569 WITH SCORE 220766.161
AT ITER 1577 NEW BEST:: SOT 1456972 SOS 1197084 HAS SOPS 1197059 HAS SOUS 218493 HAS SOUPS 218468 WITH SCORE 219665.084
AT ITER 1579 NEW BEST:: SOT 1456972 SOS 1198435 HAS SOPS 1198410 HAS SOUS 218417 HAS SOUPS 218392 WITH SCORE 219590.435
AT ITER 1687 NEW BEST:: SOT 1456954 SOS 1198417 HAS SOPS 1198392 HAS SOUS 218399 HAS SOUPS 218374 WITH SCORE 219572.417
AT ITER 1688 NEW BEST:: SOT 1457089 SOS 1202790 HAS SOPS 1202765 HAS SOUS 218345 HAS SOUPS 218320 WITH SCORE 219522.79
AT ITER 1698 NEW BEST:: SOT 1456995 SOS 1202696 HAS SOPS 1202671 HAS SOUS 218204 HAS SOUPS 218179 WITH SCORE 219381.696
AT ITER 1703 NEW BEST:: SOT 1456959 SOS 1202660 HAS SOPS 1202635 HAS SOUS 218168 HAS SOUPS 218143 WITH SCORE 219345.66
AT ITER 1706 NEW BEST:: SOT 1457677 SOS 1203378 HAS SOPS 1203353 HAS SOUS 218024 HAS SOUPS 217999 WITH SCORE 219202.378
AT ITER 1711 NEW BEST:: SOT 1457677 SOS 1203303 HAS SOPS 1203278 HAS SOUS 218024 HAS SOUPS 217999 WITH SCORE 219202.303
AT ITER 1712 NEW BEST:: SOT 1457406 SOS 1203032 HAS SOPS 1203007 HAS SOUS 217596 HAS SOUPS 217571 WITH SCORE 218774.032
AT ITER 1719 NEW BEST:: SOT 1457830 SOS 1203456 HAS SOPS 1203431 HAS SOUS 217578 HAS SOUPS 217553 WITH SCORE 218756.456
AT ITER 1723 NEW BEST:: SOT 1457632 SOS 1203258 HAS SOPS 1203233 HAS SOUS 217370 HAS SOUPS 217345 WITH SCORE 218548.258
AT ITER 1726 NEW BEST:: SOT 1457575 SOS 1203201 HAS SOPS 1203176 HAS SOUS 217256 HAS SOUPS 217231 WITH SCORE 218434.201
AT ITER 1732 NEW BEST:: SOT 1457575 SOS 1203176 HAS SOPS 1203151 HAS SOUS 217256 HAS SOUPS 217231 WITH SCORE 218434.176
AT ITER 1739 NEW BEST:: SOT 1457564 SOS 1203165 HAS SOPS 1203140 HAS SOUS 217228 HAS SOUPS 217203 WITH SCORE 218406.165
AT ITER 1743 NEW BEST:: SOT 1457564 SOS 1202445 HAS SOPS 1202420 HAS SOUS 217220 HAS SOUPS 217195 WITH SCORE 218397.445
AT ITER 1744 NEW BEST:: SOT 1457564 SOS 1180966 HAS SOPS 1180551 HAS SOUS 216936 HAS SOUPS 216900 WITH SCORE 218080.966
AT ITER 1748 NEW BEST:: SOT 1457904 SOS 1181287 HAS SOPS 1180872 HAS SOUS 216808 HAS SOUPS 216772 WITH SCORE 217953.287
AT ITER 1770 NEW BEST:: SOT 1457904 SOS 1178549 HAS SOPS 1178134 HAS SOUS 216275 HAS SOUPS 216239 WITH SCORE 217417.549
AT ITER 1775 NEW BEST:: SOT 1457904 SOS 1179444 HAS SOPS 1179029 HAS SOUS 216216 HAS SOUPS 216180 WITH SCORE 217359.444
AT ITER 1786 NEW BEST:: SOT 1457714 SOS 1179254 HAS SOPS 1178839 HAS SOUS 215040 HAS SOUPS 215004 WITH SCORE 216183.254
AT ITER 1822 NEW BEST:: SOT 1457714 SOS 1179614 HAS SOPS 1179364 HAS SOUS 215038 HAS SOUPS 215003 WITH SCORE 216182.614
AT ITER 1843 NEW BEST:: SOT 1457534 SOS 1179434 HAS SOPS 1179184 HAS SOUS 214858 HAS SOUPS 214823 WITH SCORE 216002.434
AT ITER 1846 NEW BEST:: SOT 1457525 SOS 1179425 HAS SOPS 1179175 HAS SOUS 214858 HAS SOUPS 214823 WITH SCORE 216002.425
AT ITER 1848 NEW BEST:: SOT 1457525 SOS 1179425 HAS SOPS 1179175 HAS SOUS 214507 HAS SOUPS 214472 WITH SCORE 215651.425
AT ITER 1854 NEW BEST:: SOT 1457273 SOS 1179173 HAS SOPS 1178923 HAS SOUS 214217 HAS SOUPS 214182 WITH SCORE 215361.173
AT ITER 1857 NEW BEST:: SOT 1457273 SOS 1167295 HAS SOPS 1167045 HAS SOUS 214163 HAS SOUPS 214128 WITH SCORE 215295.295
AT ITER 1865 NEW BEST:: SOT 1456553 SOS 1166575 HAS SOPS 1166325 HAS SOUS 213347 HAS SOUPS 213312 WITH SCORE 214478.575
AT ITER 1869 NEW BEST:: SOT 1456096 SOS 1166118 HAS SOPS 1165868 HAS SOUS 212985 HAS SOUPS 212950 WITH SCORE 214116.118
AT ITER 1871 NEW BEST:: SOT 1456096 SOS 1155729 HAS SOPS 1155479 HAS SOUS 212967 HAS SOUPS 212932 WITH SCORE 214087.729
AT ITER 1873 NEW BEST:: SOT 1456238 SOS 1155871 HAS SOPS 1155621 HAS SOUS 212953 HAS SOUPS 212918 WITH SCORE 214073.871
AT ITER 1876 NEW BEST:: SOT 1456205 SOS 1155838 HAS SOPS 1155588 HAS SOUS 212854 HAS SOUPS 212819 WITH SCORE 213974.838
AT ITER 1884 NEW BEST:: SOT 1456205 SOS 1157558 HAS SOPS 1157308 HAS SOUS 212786 HAS SOUPS 212751 WITH SCORE 213908.558
AT ITER 1887 NEW BEST:: SOT 1456205 SOS 1159120 HAS SOPS 1158870 HAS SOUS 212694 HAS SOUPS 212659 WITH SCORE 213818.12
AT ITER 1897 NEW BEST:: SOT 1456205 SOS 1148299 HAS SOPS 1148049 HAS SOUS 212625 HAS SOUPS 212590 WITH SCORE 213738.299
AT ITER 1912 NEW BEST:: SOT 1456205 SOS 1149401 HAS SOPS 1149151 HAS SOUS 212558 HAS SOUPS 212523 WITH SCORE 213672.401
AT ITER 1913 NEW BEST:: SOT 1455641 SOS 1148837 HAS SOPS 1148587 HAS SOUS 212001 HAS SOUPS 211966 WITH SCORE 213114.837
AT ITER 1914 NEW BEST:: SOT 1455641 SOS 1148989 HAS SOPS 1148739 HAS SOUS 211996 HAS SOUPS 211961 WITH SCORE 213109.989
AT ITER 1923 NEW BEST:: SOT 1455641 SOS 1148932 HAS SOPS 1148682 HAS SOUS 211996 HAS SOUPS 211961 WITH SCORE 213109.932
AT ITER 1934 NEW BEST:: SOT 1455641 SOS 1149614 HAS SOPS 1149364 HAS SOUS 211972 HAS SOUPS 211937 WITH SCORE 213086.614
AT ITER 1947 NEW BEST:: SOT 1455641 SOS 1151485 HAS SOPS 1151310 HAS SOUS 211886 HAS SOUPS 211851 WITH SCORE 213002.485
AT ITER 1955 NEW BEST:: SOT 1455641 SOS 1151957 HAS SOPS 1151782 HAS SOUS 211861 HAS SOUPS 211826 WITH SCORE 212977.957
AT ITER 1966 NEW BEST:: SOT 1456924 SOS 1153240 HAS SOPS 1153065 HAS SOUS 211597 HAS SOUPS 211562 WITH SCORE 212715.24
AT ITER 1977 NEW BEST:: SOT 1456908 SOS 1153224 HAS SOPS 1153049 HAS SOUS 211581 HAS SOUPS 211546 WITH SCORE 212699.224
AT ITER 1987 NEW BEST:: SOT 1456908 SOS 1153158 HAS SOPS 1152983 HAS SOUS 211581 HAS SOUPS 211546 WITH SCORE 212699.158
AT ITER 1989 NEW BEST:: SOT 1455754 SOS 1152004 HAS SOPS 1151829 HAS SOUS 210426 HAS SOUPS 210391 WITH SCORE 211543.004
AT ITER 1998 NEW BEST:: SOT 1455733 SOS 1151983 HAS SOPS 1151808 HAS SOUS 210400 HAS SOUPS 210365 WITH SCORE 211516.983
AT ITER 2000 NEW BEST:: SOT 1455733 SOS 1143979 HAS SOPS 1143804 HAS SOUS 210014 HAS SOUPS 209979 WITH SCORE 211122.979
AT ITER 2012 NEW BEST:: SOT 1455784 SOS 1144030 HAS SOPS 1143855 HAS SOUS 209940 HAS SOUPS 209905 WITH SCORE 211049.03
AT ITER 2015 NEW BEST:: SOT 1455784 SOS 1144941 HAS SOPS 1144766 HAS SOUS 209887 HAS SOUPS 209852 WITH SCORE 210996.941
AT ITER 2027 NEW BEST:: SOT 1455784 SOS 1145341 HAS SOPS 1145166 HAS SOUS 209862 HAS SOUPS 209827 WITH SCORE 210972.341
AT ITER 2032 NEW BEST:: SOT 1455784 SOS 1144624 HAS SOPS 1144449 HAS SOUS 209862 HAS SOUPS 209827 WITH SCORE 210971.624
AT ITER 2060 NEW BEST:: SOT 1455784 SOS 1130988 HAS SOPS 1130813 HAS SOUS 209822 HAS SOUPS 209787 WITH SCORE 210917.988
AT ITER 2068 NEW BEST:: SOT 1455738 SOS 1130942 HAS SOPS 1130767 HAS SOUS 209753 HAS SOUPS 209718 WITH SCORE 210848.942
AT ITER 2069 NEW BEST:: SOT 1455738 SOS 1132120 HAS SOPS 1131945 HAS SOUS 209703 HAS SOUPS 209668 WITH SCORE 210800.12
AT ITER 2077 NEW BEST:: SOT 1455738 SOS 1132089 HAS SOPS 1131914 HAS SOUS 209703 HAS SOUPS 209668 WITH SCORE 210800.089
AT ITER 2078 NEW BEST:: SOT 1455738 SOS 1131863 HAS SOPS 1131688 HAS SOUS 209703 HAS SOUPS 209668 WITH SCORE 210799.863
AT ITER 2079 NEW BEST:: SOT 1454836 SOS 1130958 HAS SOPS 1130786 HAS SOUS 208798 HAS SOUPS 208766 WITH SCORE 209896.958
AT ITER 2097 NEW BEST:: SOT 1454947 SOS 1131069 HAS SOPS 1130897 HAS SOUS 208716 HAS SOUPS 208684 WITH SCORE 209815.069
AT ITER 2100 NEW BEST:: SOT 1454947 SOS 1133606 HAS SOPS 1133434 HAS SOUS 208577 HAS SOUPS 208545 WITH SCORE 209678.606
AT ITER 2120 NEW BEST:: SOT 1454947 SOS 1133966 HAS SOPS 1133794 HAS SOUS 208553 HAS SOUPS 208521 WITH SCORE 209654.966
AT ITER 2134 NEW BEST:: SOT 1453583 SOS 1132602 HAS SOPS 1132430 HAS SOUS 207913 HAS SOUPS 207881 WITH SCORE 209013.602
AT ITER 2143 NEW BEST:: SOT 1453583 SOS 1132602 HAS SOPS 1132430 HAS SOUS 207838 HAS SOUPS 207806 WITH SCORE 208938.602
AT ITER 2149 NEW BEST:: SOT 1453583 SOS 1132257 HAS SOPS 1132085 HAS SOUS 207838 HAS SOUPS 207806 WITH SCORE 208938.257
AT ITER 2152 NEW BEST:: SOT 1453587 SOS 1132261 HAS SOPS 1132089 HAS SOUS 207834 HAS SOUPS 207802 WITH SCORE 208934.261
AT ITER 2154 NEW BEST:: SOT 1453587 SOS 1132537 HAS SOPS 1132365 HAS SOUS 207824 HAS SOUPS 207792 WITH SCORE 208924.537
AT ITER 2168 NEW BEST:: SOT 1453587 SOS 1132363 HAS SOPS 1132191 HAS SOUS 207824 HAS SOUPS 207792 WITH SCORE 208924.363
AT ITER 2187 NEW BEST:: SOT 1453587 SOS 1132185 HAS SOPS 1132013 HAS SOUS 207824 HAS SOUPS 207792 WITH SCORE 208924.185
AT ITER 2190 NEW BEST:: SOT 1453587 SOS 1117940 HAS SOPS 1117768 HAS SOUS 207824 HAS SOUPS 207792 WITH SCORE 208909.94
AT ITER 2198 NEW BEST:: SOT 1453587 SOS 1117940 HAS SOPS 1117768 HAS SOUS 207818 HAS SOUPS 207786 WITH SCORE 208903.94
AT ITER 2208 NEW BEST:: SOT 1453401 SOS 1117754 HAS SOPS 1117582 HAS SOUS 207623 HAS SOUPS 207591 WITH SCORE 208708.754
AT ITER 2227 NEW BEST:: SOT 1453316 SOS 1117669 HAS SOPS 1117497 HAS SOUS 207494 HAS SOUPS 207462 WITH SCORE 208579.669
AT ITER 2231 NEW BEST:: SOT 1453284 SOS 1117637 HAS SOPS 1117465 HAS SOUS 207474 HAS SOUPS 207442 WITH SCORE 208559.637
AT ITER 2233 NEW BEST:: SOT 1453309 SOS 1119374 HAS SOPS 1119202 HAS SOUS 207453 HAS SOUPS 207421 WITH SCORE 208540.374
AT ITER 2235 NEW BEST:: SOT 1453309 SOS 1119867 HAS SOPS 1119695 HAS SOUS 207423 HAS SOUPS 207391 WITH SCORE 208510.867
AT ITER 2243 NEW BEST:: SOT 1453309 SOS 1119862 HAS SOPS 1119690 HAS SOUS 207423 HAS SOUPS 207391 WITH SCORE 208510.862
AT ITER 2244 NEW BEST:: SOT 1453278 SOS 1119831 HAS SOPS 1119659 HAS SOUS 207392 HAS SOUPS 207360 WITH SCORE 208479.831
AT ITER 2253 NEW BEST:: SOT 1453278 SOS 1120686 HAS SOPS 1120514 HAS SOUS 207335 HAS SOUPS 207303 WITH SCORE 208423.686
AT ITER 2255 NEW BEST:: SOT 1453278 SOS 1095266 HAS SOPS 1094779 HAS SOUS 207349 HAS SOUPS 207317 WITH SCORE 208412.266
AT ITER 2258 NEW BEST:: SOT 1453216 SOS 1095204 HAS SOPS 1094717 HAS SOUS 207287 HAS SOUPS 207255 WITH SCORE 208350.204
AT ITER 2273 NEW BEST:: SOT 1453216 SOS 1095286 HAS SOPS 1094799 HAS SOUS 207281 HAS SOUPS 207249 WITH SCORE 208344.286
AT ITER 2275 NEW BEST:: SOT 1453188 SOS 1095258 HAS SOPS 1094771 HAS SOUS 207253 HAS SOUPS 207221 WITH SCORE 208316.258
AT ITER 2276 NEW BEST:: SOT 1453188 SOS 1095791 HAS SOPS 1095304 HAS SOUS 207212 HAS SOUPS 207180 WITH SCORE 208275.791
AT ITER 2280 NEW BEST:: SOT 1453136 SOS 1095739 HAS SOPS 1095252 HAS SOUS 207156 HAS SOUPS 207124 WITH SCORE 208219.739
AT ITER 2286 NEW BEST:: SOT 1453136 SOS 1072601 HAS SOPS 1071319 HAS SOUS 206585 HAS SOUPS 206542 WITH SCORE 207614.601
AT ITER 2290 NEW BEST:: SOT 1453102 SOS 1072567 HAS SOPS 1071285 HAS SOUS 206547 HAS SOUPS 206504 WITH SCORE 207576.567
AT ITER 2295 NEW BEST:: SOT 1453110 SOS 1072355 HAS SOPS 1071073 HAS SOUS 206538 HAS SOUPS 206495 WITH SCORE 207567.355
AT ITER 2309 NEW BEST:: SOT 1453237 SOS 1072482 HAS SOPS 1071200 HAS SOUS 206349 HAS SOUPS 206306 WITH SCORE 207378.482
AT ITER 2310 NEW BEST:: SOT 1453223 SOS 1072468 HAS SOPS 1071186 HAS SOUS 206335 HAS SOUPS 206292 WITH SCORE 207364.468
AT ITER 2330 NEW BEST:: SOT 1453223 SOS 1073856 HAS SOPS 1072619 HAS SOUS 206331 HAS SOUPS 206288 WITH SCORE 207361.856
AT ITER 2338 NEW BEST:: SOT 1453223 SOS 1073856 HAS SOPS 1072619 HAS SOUS 206309 HAS SOUPS 206266 WITH SCORE 207339.856
AT ITER 2344 NEW BEST:: SOT 1453223 SOS 1073601 HAS SOPS 1072349 HAS SOUS 206309 HAS SOUPS 206266 WITH SCORE 207339.601
AT ITER 2370 NEW BEST:: SOT 1453209 SOS 1073587 HAS SOPS 1072335 HAS SOUS 206261 HAS SOUPS 206218 WITH SCORE 207291.587
AT ITER 2379 NEW BEST:: SOT 1453209 SOS 1073486 HAS SOPS 1071919 HAS SOUS 206251 HAS SOUPS 206208 WITH SCORE 207281.486
AT ITER 2384 NEW BEST:: SOT 1453157 SOS 1073434 HAS SOPS 1071867 HAS SOUS 206199 HAS SOUPS 206156 WITH SCORE 207229.434
AT ITER 2424 NEW BEST:: SOT 1453157 SOS 1073430 HAS SOPS 1071863 HAS SOUS 206199 HAS SOUPS 206156 WITH SCORE 207229.43
AT ITER 2425 NEW BEST:: SOT 1453312 SOS 1073585 HAS SOPS 1072018 HAS SOUS 205996 HAS SOUPS 205953 WITH SCORE 207026.585
AT ITER 2426 NEW BEST:: SOT 1453228 SOS 1073501 HAS SOPS 1071934 HAS SOUS 205870 HAS SOUPS 205827 WITH SCORE 206900.501
AT ITER 2433 NEW BEST:: SOT 1453196 SOS 1073469 HAS SOPS 1071902 HAS SOUS 205774 HAS SOUPS 205731 WITH SCORE 206804.469
AT ITER 2434 NEW BEST:: SOT 1453093 SOS 1073346 HAS SOPS 1071779 HAS SOUS 205642 HAS SOUPS 205599 WITH SCORE 206672.346
AT ITER 2446 NEW BEST:: SOT 1453019 SOS 1073272 HAS SOPS 1071705 HAS SOUS 205596 HAS SOUPS 205553 WITH SCORE 206626.272
AT ITER 2448 NEW BEST:: SOT 1453013 SOS 1073266 HAS SOPS 1071699 HAS SOUS 205590 HAS SOUPS 205547 WITH SCORE 206620.266
AT ITER 2453 NEW BEST:: SOT 1453013 SOS 1073225 HAS SOPS 1071658 HAS SOUS 205590 HAS SOUPS 205547 WITH SCORE 206620.225
AT ITER 2455 NEW BEST:: SOT 1453013 SOS 1073234 HAS SOPS 1071667 HAS SOUS 205581 HAS SOUPS 205538 WITH SCORE 206611.234
AT ITER 2463 NEW BEST:: SOT 1452920 SOS 1073141 HAS SOPS 1071574 HAS SOUS 205421 HAS SOUPS 205378 WITH SCORE 206451.141
AT ITER 2467 NEW BEST:: SOT 1452902 SOS 1073135 HAS SOPS 1071568 HAS SOUS 205346 HAS SOUPS 205303 WITH SCORE 206376.135
AT ITER 2472 NEW BEST:: SOT 1453454 SOS 1073687 HAS SOPS 1072120 HAS SOUS 205254 HAS SOUPS 205211 WITH SCORE 206284.687
AT ITER 2490 NEW BEST:: SOT 1453424 SOS 1073657 HAS SOPS 1072090 HAS SOUS 205224 HAS SOUPS 205181 WITH SCORE 206254.657
AT ITER 2491 NEW BEST:: SOT 1453344 SOS 1073577 HAS SOPS 1072010 HAS SOUS 205144 HAS SOUPS 205101 WITH SCORE 206174.577
AT ITER 2506 NEW BEST:: SOT 1452970 SOS 1073203 HAS SOPS 1071636 HAS SOUS 204804 HAS SOUPS 204761 WITH SCORE 205834.203
AT ITER 2509 NEW BEST:: SOT 1452970 SOS 1073173 HAS SOPS 1071606 HAS SOUS 204804 HAS SOUPS 204761 WITH SCORE 205834.173
AT ITER 2520 NEW BEST:: SOT 1452970 SOS 1072948 HAS SOPS 1071381 HAS SOUS 204804 HAS SOUPS 204761 WITH SCORE 205833.948
AT ITER 2522 NEW BEST:: SOT 1452918 SOS 1072896 HAS SOPS 1071329 HAS SOUS 204739 HAS SOUPS 204696 WITH SCORE 205768.896
AT ITER 2528 NEW BEST:: SOT 1452918 SOS 1072896 HAS SOPS 1071329 HAS SOUS 204734 HAS SOUPS 204691 WITH SCORE 205763.896
AT ITER 2530 NEW BEST:: SOT 1451352 SOS 1071330 HAS SOPS 1069763 HAS SOUS 202938 HAS SOUPS 202895 WITH SCORE 203966.33
AT ITER 2532 NEW BEST:: SOT 1451352 SOS 1071330 HAS SOPS 1069763 HAS SOUS 202902 HAS SOUPS 202859 WITH SCORE 203930.33
AT ITER 2540 NEW BEST:: SOT 1451352 SOS 1071826 HAS SOPS 1070259 HAS SOUS 202873 HAS SOUPS 202830 WITH SCORE 203901.826
AT ITER 2545 NEW BEST:: SOT 1451206 SOS 1071680 HAS SOPS 1070113 HAS SOUS 202862 HAS SOUPS 202819 WITH SCORE 203890.68
AT ITER 2546 NEW BEST:: SOT 1451206 SOS 1071660 HAS SOPS 1070093 HAS SOUS 202862 HAS SOUPS 202819 WITH SCORE 203890.66
AT ITER 2548 NEW BEST:: SOT 1451142 SOS 1071596 HAS SOPS 1070029 HAS SOUS 202680 HAS SOUPS 202637 WITH SCORE 203708.596
AT ITER 2549 NEW BEST:: SOT 1451172 SOS 1072869 HAS SOPS 1070987 HAS SOUS 202588 HAS SOUPS 202545 WITH SCORE 203617.869
AT ITER 2550 NEW BEST:: SOT 1451172 SOS 1072934 HAS SOPS 1071052 HAS SOUS 202523 HAS SOUPS 202480 WITH SCORE 203552.934
AT ITER 2565 NEW BEST:: SOT 1451206 SOS 1075060 HAS SOPS 1073178 HAS SOUS 202459 HAS SOUPS 202416 WITH SCORE 203491.06
AT ITER 2569 NEW BEST:: SOT 1451206 SOS 1075060 HAS SOPS 1073178 HAS SOUS 202415 HAS SOUPS 202372 WITH SCORE 203447.06
AT ITER 2574 NEW BEST:: SOT 1451206 SOS 1076716 HAS SOPS 1074834 HAS SOUS 202311 HAS SOUPS 202268 WITH SCORE 203344.716
AT ITER 2581 NEW BEST:: SOT 1451206 SOS 1076731 HAS SOPS 1074849 HAS SOUS 202310 HAS SOUPS 202267 WITH SCORE 203343.731
AT ITER 2589 NEW BEST:: SOT 1451229 SOS 1078716 HAS SOPS 1076834 HAS SOUS 202219 HAS SOUPS 202176 WITH SCORE 203254.716
AT ITER 2599 NEW BEST:: SOT 1451253 SOS 1080775 HAS SOPS 1078893 HAS SOUS 202181 HAS SOUPS 202138 WITH SCORE 203218.775
AT ITER 2605 NEW BEST:: SOT 1451220 SOS 1080730 HAS SOPS 1078848 HAS SOUS 202128 HAS SOUPS 202085 WITH SCORE 203165.73
AT ITER 2622 NEW BEST:: SOT 1451192 SOS 1080702 HAS SOPS 1078820 HAS SOUS 202098 HAS SOUPS 202055 WITH SCORE 203135.702
AT ITER 2631 NEW BEST:: SOT 1451192 SOS 1080650 HAS SOPS 1078768 HAS SOUS 202098 HAS SOUPS 202055 WITH SCORE 203135.65
AT ITER 2636 NEW BEST:: SOT 1451147 SOS 1080605 HAS SOPS 1078723 HAS SOUS 201769 HAS SOUPS 201726 WITH SCORE 202806.605
AT ITER 2639 NEW BEST:: SOT 1450865 SOS 1080323 HAS SOPS 1078441 HAS SOUS 201361 HAS SOUPS 201318 WITH SCORE 202398.323
AT ITER 2673 NEW BEST:: SOT 1450788 SOS 1078967 HAS SOPS 1077085 HAS SOUS 201357 HAS SOUPS 201314 WITH SCORE 202392.967
AT ITER 2686 NEW BEST:: SOT 1450750 SOS 1078929 HAS SOPS 1077047 HAS SOUS 201313 HAS SOUPS 201270 WITH SCORE 202348.929
AT ITER 2694 NEW BEST:: SOT 1450528 SOS 1078706 HAS SOPS 1076831 HAS SOUS 201028 HAS SOUPS 200992 WITH SCORE 202070.706
AT ITER 2697 NEW BEST:: SOT 1450528 SOS 1079544 HAS SOPS 1077669 HAS SOUS 201016 HAS SOUPS 200980 WITH SCORE 202059.544
AT ITER 2722 NEW BEST:: SOT 1450530 SOS 1079546 HAS SOPS 1077671 HAS SOUS 200851 HAS SOUPS 200815 WITH SCORE 201894.546
AT ITER 2739 NEW BEST:: SOT 1450491 SOS 1079507 HAS SOPS 1077632 HAS SOUS 200812 HAS SOUPS 200776 WITH SCORE 201855.507
AT ITER 2759 NEW BEST:: SOT 1450491 SOS 1078269 HAS SOPS 1076394 HAS SOUS 200812 HAS SOUPS 200776 WITH SCORE 201854.269
AT ITER 2764 NEW BEST:: SOT 1450349 SOS 1078127 HAS SOPS 1076252 HAS SOUS 200612 HAS SOUPS 200576 WITH SCORE 201654.127
AT ITER 2773 NEW BEST:: SOT 1450349 SOS 1078093 HAS SOPS 1076218 HAS SOUS 200612 HAS SOUPS 200576 WITH SCORE 201654.093
AT ITER 2778 NEW BEST:: SOT 1450349 SOS 1078059 HAS SOPS 1076184 HAS SOUS 200612 HAS SOUPS 200576 WITH SCORE 201654.059
AT ITER 2790 NEW BEST:: SOT 1450125 SOS 1077829 HAS SOPS 1075954 HAS SOUS 200428 HAS SOUPS 200392 WITH SCORE 201469.829
AT ITER 2796 NEW BEST:: SOT 1450125 SOS 1077813 HAS SOPS 1075938 HAS SOUS 200428 HAS SOUPS 200392 WITH SCORE 201469.813
AT ITER 2799 NEW BEST:: SOT 1450125 SOS 1077813 HAS SOPS 1075938 HAS SOUS 200408 HAS SOUPS 200372 WITH SCORE 201449.813
AT ITER 2815 NEW BEST:: SOT 1450125 SOS 1077563 HAS SOPS 1075638 HAS SOUS 200388 HAS SOUPS 200302 WITH SCORE 201379.563
AT ITER 2840 NEW BEST:: SOT 1450117 SOS 1077563 HAS SOPS 1075630 HAS SOUS 200388 HAS SOUPS 200294 WITH SCORE 201371.563
AT ITER 2842 NEW BEST:: SOT 1449953 SOS 1077399 HAS SOPS 1075466 HAS SOUS 200139 HAS SOUPS 200045 WITH SCORE 201122.399
AT ITER 2859 NEW BEST:: SOT 1449946 SOS 1077392 HAS SOPS 1075459 HAS SOUS 200132 HAS SOUPS 200038 WITH SCORE 201115.392
AT ITER 2864 NEW BEST:: SOT 1449914 SOS 1077360 HAS SOPS 1075427 HAS SOUS 200132 HAS SOUPS 200038 WITH SCORE 201115.36
AT ITER 2867 NEW BEST:: SOT 1449914 SOS 1077282 HAS SOPS 1075349 HAS SOUS 200132 HAS SOUPS 200038 WITH SCORE 201115.282
AT ITER 2868 NEW BEST:: SOT 1449686 SOS 1077054 HAS SOPS 1075121 HAS SOUS 199870 HAS SOUPS 199776 WITH SCORE 200853.054
AT ITER 2869 NEW BEST:: SOT 1449679 SOS 1077047 HAS SOPS 1075114 HAS SOUS 199863 HAS SOUPS 199769 WITH SCORE 200846.047
AT ITER 2878 NEW BEST:: SOT 1449679 SOS 1077310 HAS SOPS 1075377 HAS SOUS 199848 HAS SOUPS 199754 WITH SCORE 200831.31
AT ITER 2898 NEW BEST:: SOT 1449679 SOS 1077310 HAS SOPS 1075377 HAS SOUS 199844 HAS SOUPS 199750 WITH SCORE 200827.31
AT ITER 2905 NEW BEST:: SOT 1449679 SOS 1077309 HAS SOPS 1075421 HAS SOUS 199842 HAS SOUPS 199749 WITH SCORE 200826.309
AT ITER 2940 NEW BEST:: SOT 1449657 SOS 1077287 HAS SOPS 1075399 HAS SOUS 199798 HAS SOUPS 199705 WITH SCORE 200782.287
AT ITER 2942 NEW BEST:: SOT 1449657 SOS 1077287 HAS SOPS 1075399 HAS SOUS 199792 HAS SOUPS 199699 WITH SCORE 200776.287
AT ITER 2944 NEW BEST:: SOT 1449657 SOS 1077149 HAS SOPS 1075261 HAS SOUS 199792 HAS SOUPS 199699 WITH SCORE 200776.149
AT ITER 2954 NEW BEST:: SOT 1449604 SOS 1077096 HAS SOPS 1075208 HAS SOUS 199670 HAS SOUPS 199577 WITH SCORE 200654.096
AT ITER 2955 NEW BEST:: SOT 1449604 SOS 1077062 HAS SOPS 1075174 HAS SOUS 199670 HAS SOUPS 199577 WITH SCORE 200654.062
AT ITER 3011 NEW BEST:: SOT 1449604 SOS 1078311 HAS SOPS 1076573 HAS SOUS 199611 HAS SOUPS 199518 WITH SCORE 200596.311
AT ITER 3068 NEW BEST:: SOT 1449769 SOS 1079515 HAS SOPS 1077777 HAS SOUS 199488 HAS SOUPS 199395 WITH SCORE 200474.515
AT ITER 3071 NEW BEST:: SOT 1449769 SOS 1079515 HAS SOPS 1077777 HAS SOUS 199472 HAS SOUPS 199379 WITH SCORE 200458.515
AT ITER 3088 NEW BEST:: SOT 1449769 SOS 1079515 HAS SOPS 1077777 HAS SOUS 199463 HAS SOUPS 199370 WITH SCORE 200449.515
AT ITER 3100 NEW BEST:: SOT 1449724 SOS 1079376 HAS SOPS 1077638 HAS SOUS 199440 HAS SOUPS 199347 WITH SCORE 200426.376
AT ITER 3106 NEW BEST:: SOT 1449721 SOS 1079373 HAS SOPS 1077635 HAS SOUS 199437 HAS SOUPS 199344 WITH SCORE 200423.373
AT ITER 3110 NEW BEST:: SOT 1449721 SOS 1080818 HAS SOPS 1079380 HAS SOUS 199357 HAS SOUPS 199264 WITH SCORE 200344.818
AT ITER 3112 NEW BEST:: SOT 1449721 SOS 1080818 HAS SOPS 1079380 HAS SOUS 199350 HAS SOUPS 199257 WITH SCORE 200337.818
AT ITER 3122 NEW BEST:: SOT 1449639 SOS 1080736 HAS SOPS 1079298 HAS SOUS 199027 HAS SOUPS 198934 WITH SCORE 200014.736
AT ITER 3131 NEW BEST:: SOT 1448262 SOS 1079359 HAS SOPS 1077921 HAS SOUS 197613 HAS SOUPS 197520 WITH SCORE 198599.359
AT ITER 3141 NEW BEST:: SOT 1448262 SOS 1080096 HAS SOPS 1078658 HAS SOUS 197568 HAS SOUPS 197475 WITH SCORE 198555.096
AT ITER 3145 NEW BEST:: SOT 1448451 SOS 1080260 HAS SOPS 1078804 HAS SOUS 197278 HAS SOUPS 197167 WITH SCORE 198247.26
AT ITER 3183 NEW BEST:: SOT 1448451 SOS 1080296 HAS SOPS 1078840 HAS SOUS 197242 HAS SOUPS 197131 WITH SCORE 198211.296
AT ITER 3196 NEW BEST:: SOT 1448451 SOS 1074680 HAS SOPS 1073224 HAS SOUS 197242 HAS SOUPS 197131 WITH SCORE 198205.68
AT ITER 3219 NEW BEST:: SOT 1448367 SOS 1074596 HAS SOPS 1073140 HAS SOUS 197140 HAS SOUPS 197029 WITH SCORE 198103.596
AT ITER 3226 NEW BEST:: SOT 1448637 SOS 1074866 HAS SOPS 1073410 HAS SOUS 197137 HAS SOUPS 197026 WITH SCORE 198100.866
AT ITER 3233 NEW BEST:: SOT 1448558 SOS 1074787 HAS SOPS 1073331 HAS SOUS 196737 HAS SOUPS 196626 WITH SCORE 197700.787
AT ITER 3250 NEW BEST:: SOT 1448558 SOS 1074771 HAS SOPS 1073315 HAS SOUS 196737 HAS SOUPS 196626 WITH SCORE 197700.771
AT ITER 3251 NEW BEST:: SOT 1448501 SOS 1074714 HAS SOPS 1073258 HAS SOUS 196658 HAS SOUPS 196547 WITH SCORE 197621.714
AT ITER 3270 NEW BEST:: SOT 1448501 SOS 1076229 HAS SOPS 1074773 HAS SOUS 196612 HAS SOUPS 196501 WITH SCORE 197577.229
AT ITER 3283 NEW BEST:: SOT 1448501 SOS 1042663 HAS SOPS 1041492 HAS SOUS 196642 HAS SOUPS 196531 WITH SCORE 197573.663
AT ITER 3288 NEW BEST:: SOT 1448535 SOS 1042697 HAS SOPS 1041526 HAS SOUS 196608 HAS SOUPS 196497 WITH SCORE 197539.697
AT ITER 3295 NEW BEST:: SOT 1448535 SOS 1025455 HAS SOPS 1018884 HAS SOUS 196263 HAS SOUPS 196132 WITH SCORE 197157.455
AT ITER 3297 NEW BEST:: SOT 1448535 SOS 1024488 HAS SOPS 1017917 HAS SOUS 196263 HAS SOUPS 196132 WITH SCORE 197156.488
AT ITER 3299 NEW BEST:: SOT 1447716 SOS 1019547 HAS SOPS 1012473 HAS SOUS 196711 HAS SOUPS 196077 WITH SCORE 197096.547
AT ITER 3307 NEW BEST:: SOT 1447716 SOS 1021234 HAS SOPS 1014160 HAS SOUS 196605 HAS SOUPS 195971 WITH SCORE 196992.234
AT ITER 3328 NEW BEST:: SOT 1447702 SOS 1021220 HAS SOPS 1014146 HAS SOUS 196553 HAS SOUPS 195919 WITH SCORE 196940.22
AT ITER 3333 NEW BEST:: SOT 1447702 SOS 1021198 HAS SOPS 1014124 HAS SOUS 196553 HAS SOUPS 195919 WITH SCORE 196940.198
AT ITER 3339 NEW BEST:: SOT 1447702 SOS 1021188 HAS SOPS 1014114 HAS SOUS 196553 HAS SOUPS 195919 WITH SCORE 196940.188
AT ITER 3340 NEW BEST:: SOT 1447390 SOS 1022234 HAS SOPS 1015160 HAS SOUS 196489 HAS SOUPS 195855 WITH SCORE 196877.234
AT ITER 3367 NEW BEST:: SOT 1447332 SOS 1022186 HAS SOPS 1015102 HAS SOUS 196376 HAS SOUPS 195732 WITH SCORE 196754.186
AT ITER 3368 NEW BEST:: SOT 1447332 SOS 997891 HAS SOPS 990177 HAS SOUS 196238 HAS SOUPS 195594 WITH SCORE 196591.891
AT ITER 3388 NEW BEST:: SOT 1447332 SOS 999090 HAS SOPS 991646 HAS SOUS 196222 HAS SOUPS 195578 WITH SCORE 196577.09
AT ITER 3417 NEW BEST:: SOT 1448774 SOS 1000461 HAS SOPS 993017 HAS SOUS 196126 HAS SOUPS 195482 WITH SCORE 196482.461
AT ITER 3418 NEW BEST:: SOT 1448774 SOS 1000461 HAS SOPS 993017 HAS SOUS 196074 HAS SOUPS 195430 WITH SCORE 196430.461
AT ITER 3425 NEW BEST:: SOT 1448258 SOS 999945 HAS SOPS 992501 HAS SOUS 195605 HAS SOUPS 194961 WITH SCORE 195960.945
AT ITER 3441 NEW BEST:: SOT 1448258 SOS 999934 HAS SOPS 992490 HAS SOUS 195605 HAS SOUPS 194961 WITH SCORE 195960.934
AT ITER 3442 NEW BEST:: SOT 1448347 SOS 1000072 HAS SOPS 992628 HAS SOUS 195551 HAS SOUPS 194907 WITH SCORE 195907.072
AT ITER 3443 NEW BEST:: SOT 1448355 SOS 1000637 HAS SOPS 993493 HAS SOUS 195507 HAS SOUPS 194863 WITH SCORE 195863.637
AT ITER 3452 NEW BEST:: SOT 1447892 SOS 1000114 HAS SOPS 992970 HAS SOUS 195059 HAS SOUPS 194415 WITH SCORE 195415.114
AT ITER 3459 NEW BEST:: SOT 1447892 SOS 1000086 HAS SOPS 992942 HAS SOUS 195059 HAS SOUPS 194415 WITH SCORE 195415.086
AT ITER 3475 NEW BEST:: SOT 1447961 SOS 1001820 HAS SOPS 995276 HAS SOUS 195001 HAS SOUPS 194357 WITH SCORE 195358.82
AT ITER 3480 NEW BEST:: SOT 1447949 SOS 1001827 HAS SOPS 995264 HAS SOUS 194992 HAS SOUPS 194329 WITH SCORE 195330.827
AT ITER 3483 NEW BEST:: SOT 1447949 SOS 1001602 HAS SOPS 994709 HAS SOUS 194992 HAS SOUPS 194329 WITH SCORE 195330.602
AT ITER 3501 NEW BEST:: SOT 1447949 SOS 1001584 HAS SOPS 994691 HAS SOUS 194992 HAS SOUPS 194329 WITH SCORE 195330.584
AT ITER 3510 NEW BEST:: SOT 1447949 SOS 999985 HAS SOPS 993092 HAS SOUS 194915 HAS SOUPS 194252 WITH SCORE 195251.985
AT ITER 3544 NEW BEST:: SOT 1447949 SOS 999980 HAS SOPS 993087 HAS SOUS 194915 HAS SOUPS 194252 WITH SCORE 195251.98
AT ITER 3547 NEW BEST:: SOT 1447501 SOS 999564 HAS SOPS 992671 HAS SOUS 194484 HAS SOUPS 193821 WITH SCORE 194820.564
AT ITER 3549 NEW BEST:: SOT 1447501 SOS 973023 HAS SOPS 966130 HAS SOUS 194165 HAS SOUPS 193502 WITH SCORE 194475.023
AT ITER 3557 NEW BEST:: SOT 1447501 SOS 973149 HAS SOPS 966256 HAS SOUS 194139 HAS SOUPS 193476 WITH SCORE 194449.149
AT ITER 3561 NEW BEST:: SOT 1447457 SOS 973135 HAS SOPS 966242 HAS SOUS 194049 HAS SOUPS 193386 WITH SCORE 194359.135
AT ITER 3569 NEW BEST:: SOT 1447457 SOS 974343 HAS SOPS 967465 HAS SOUS 193966 HAS SOUPS 193303 WITH SCORE 194277.343
AT ITER 3588 NEW BEST:: SOT 1447457 SOS 975079 HAS SOPS 968201 HAS SOUS 193920 HAS SOUPS 193257 WITH SCORE 194232.079
AT ITER 3603 NEW BEST:: SOT 1447457 SOS 975079 HAS SOPS 968201 HAS SOUS 193918 HAS SOUPS 193255 WITH SCORE 194230.079
AT ITER 3614 NEW BEST:: SOT 1447457 SOS 969090 HAS SOPS 962122 HAS SOUS 193575 HAS SOUPS 192912 WITH SCORE 193881.09
AT ITER 3615 NEW BEST:: SOT 1446003 SOS 967515 HAS SOPS 960862 HAS SOUS 192094 HAS SOUPS 191431 WITH SCORE 192398.515
AT ITER 3631 NEW BEST:: SOT 1446003 SOS 967535 HAS SOPS 960882 HAS SOUS 192089 HAS SOUPS 191426 WITH SCORE 192393.535
AT ITER 3635 NEW BEST:: SOT 1446003 SOS 968927 HAS SOPS 962364 HAS SOUS 191795 HAS SOUPS 191132 WITH SCORE 192100.927
AT ITER 3670 NEW BEST:: SOT 1446003 SOS 969037 HAS SOPS 962669 HAS SOUS 191790 HAS SOUPS 191127 WITH SCORE 192096.037
AT ITER 3671 NEW BEST:: SOT 1445998 SOS 969032 HAS SOPS 962664 HAS SOUS 191785 HAS SOUPS 191122 WITH SCORE 192091.032
AT ITER 3712 NEW BEST:: SOT 1445998 SOS 969032 HAS SOPS 962664 HAS SOUS 191696 HAS SOUPS 191033 WITH SCORE 192002.032
AT ITER 3757 NEW BEST:: SOT 1445998 SOS 969032 HAS SOPS 962664 HAS SOUS 191677 HAS SOUPS 191014 WITH SCORE 191983.032
AT ITER 3792 NEW BEST:: SOT 1445998 SOS 969020 HAS SOPS 962652 HAS SOUS 191677 HAS SOUPS 191014 WITH SCORE 191983.02
AT ITER 3805 NEW BEST:: SOT 1445965 SOS 968987 HAS SOPS 962619 HAS SOUS 191633 HAS SOUPS 190970 WITH SCORE 191938.987
AT ITER 3809 NEW BEST:: SOT 1445829 SOS 950030 HAS SOPS 943704 HAS SOUS 191390 HAS SOUPS 190769 WITH SCORE 191719.03
AT ITER 3822 NEW BEST:: SOT 1445811 SOS 950012 HAS SOPS 943686 HAS SOUS 191372 HAS SOUPS 190751 WITH SCORE 191701.012
AT ITER 3863 NEW BEST:: SOT 1445739 SOS 949940 HAS SOPS 943614 HAS SOUS 191372 HAS SOUPS 190751 WITH SCORE 191700.94
AT ITER 3889 NEW BEST:: SOT 1445691 SOS 949892 HAS SOPS 943566 HAS SOUS 191372 HAS SOUPS 190751 WITH SCORE 191700.892
AT ITER 3903 NEW BEST:: SOT 1445454 SOS 949697 HAS SOPS 943329 HAS SOUS 191201 HAS SOUPS 190538 WITH SCORE 191487.697
AT ITER 3910 NEW BEST:: SOT 1445454 SOS 950907 HAS SOPS 944539 HAS SOUS 191129 HAS SOUPS 190466 WITH SCORE 191416.907
AT ITER 3918 NEW BEST:: SOT 1445454 SOS 951876 HAS SOPS 945508 HAS SOUS 191067 HAS SOUPS 190404 WITH SCORE 191355.876
AT ITER 3921 NEW BEST:: SOT 1445534 SOS 951956 HAS SOPS 945588 HAS SOUS 191012 HAS SOUPS 190349 WITH SCORE 191300.956
AT ITER 3929 NEW BEST:: SOT 1445534 SOS 952541 HAS SOPS 946173 HAS SOUS 190980 HAS SOUPS 190317 WITH SCORE 191269.541
AT ITER 3934 NEW BEST:: SOT 1445534 SOS 952475 HAS SOPS 946107 HAS SOUS 190963 HAS SOUPS 190300 WITH SCORE 191252.475
AT ITER 3939 NEW BEST:: SOT 1445534 SOS 952403 HAS SOPS 946035 HAS SOUS 190963 HAS SOUPS 190300 WITH SCORE 191252.403
AT ITER 3947 NEW BEST:: SOT 1445534 SOS 952834 HAS SOPS 946466 HAS SOUS 190940 HAS SOUPS 190277 WITH SCORE 191229.834
AT ITER 3955 NEW BEST:: SOT 1445539 SOS 952839 HAS SOPS 946471 HAS SOUS 190935 HAS SOUPS 190272 WITH SCORE 191224.839
AT ITER 3966 NEW BEST:: SOT 1445539 SOS 949719 HAS SOPS 943351 HAS SOUS 190935 HAS SOUPS 190272 WITH SCORE 191221.719
AT ITER 3976 NEW BEST:: SOT 1445539 SOS 949719 HAS SOPS 943351 HAS SOUS 190911 HAS SOUPS 190248 WITH SCORE 191197.719
AT ITER 3998 NEW BEST:: SOT 1445529 SOS 949709 HAS SOPS 943341 HAS SOUS 190901 HAS SOUPS 190238 WITH SCORE 191187.709
AT ITER 4001 NEW BEST:: SOT 1445529 SOS 949649 HAS SOPS 943281 HAS SOUS 190670 HAS SOUPS 190007 WITH SCORE 190956.649
AT ITER 4022 NEW BEST:: SOT 1445343 SOS 949463 HAS SOPS 943095 HAS SOUS 190428 HAS SOUPS 189765 WITH SCORE 190714.463
AT ITER 4024 NEW BEST:: SOT 1445343 SOS 949534 HAS SOPS 943166 HAS SOUS 190357 HAS SOUPS 189694 WITH SCORE 190643.534
AT ITER 4041 NEW BEST:: SOT 1445334 SOS 949343 HAS SOPS 942975 HAS SOUS 190351 HAS SOUPS 189688 WITH SCORE 190637.343
AT ITER 4050 NEW BEST:: SOT 1445334 SOS 947882 HAS SOPS 941514 HAS SOUS 190285 HAS SOUPS 189622 WITH SCORE 190569.882
AT ITER 4065 NEW BEST:: SOT 1445334 SOS 947768 HAS SOPS 941400 HAS SOUS 190255 HAS SOUPS 189592 WITH SCORE 190539.768
AT ITER 4085 NEW BEST:: SOT 1445253 SOS 946188 HAS SOPS 940420 HAS SOUS 190120 HAS SOUPS 189457 WITH SCORE 190403.188
AT ITER 4124 NEW BEST:: SOT 1445253 SOS 945944 HAS SOPS 940176 HAS SOUS 190120 HAS SOUPS 189457 WITH SCORE 190402.944
AT ITER 4138 NEW BEST:: SOT 1445253 SOS 945767 HAS SOPS 939819 HAS SOUS 190120 HAS SOUPS 189457 WITH SCORE 190402.767
AT ITER 4144 NEW BEST:: SOT 1445579 SOS 946093 HAS SOPS 940145 HAS SOUS 190069 HAS SOUPS 189406 WITH SCORE 190352.093
AT ITER 4151 NEW BEST:: SOT 1445579 SOS 945951 HAS SOPS 940003 HAS SOUS 190069 HAS SOUPS 189406 WITH SCORE 190351.951
AT ITER 4160 NEW BEST:: SOT 1445945 SOS 946317 HAS SOPS 940369 HAS SOUS 190029 HAS SOUPS 189366 WITH SCORE 190312.317
AT ITER 4176 NEW BEST:: SOT 1445921 SOS 946197 HAS SOPS 940249 HAS SOUS 189967 HAS SOUPS 189304 WITH SCORE 190250.197
AT ITER 4211 NEW BEST:: SOT 1445921 SOS 946127 HAS SOPS 939774 HAS SOUS 189946 HAS SOUPS 189283 WITH SCORE 190229.127
AT ITER 4213 NEW BEST:: SOT 1445921 SOS 947902 HAS SOPS 941549 HAS SOUS 189834 HAS SOUPS 189171 WITH SCORE 190118.902
AT ITER 4215 NEW BEST:: SOT 1445924 SOS 947905 HAS SOPS 941552 HAS SOUS 189831 HAS SOUPS 189168 WITH SCORE 190115.905
AT ITER 4221 NEW BEST:: SOT 1445924 SOS 948044 HAS SOPS 941691 HAS SOUS 189827 HAS SOUPS 189164 WITH SCORE 190112.044
AT ITER 4238 NEW BEST:: SOT 1445923 SOS 948043 HAS SOPS 941690 HAS SOUS 189826 HAS SOUPS 189163 WITH SCORE 190111.043
AT ITER 4242 NEW BEST:: SOT 1445923 SOS 947748 HAS SOPS 941245 HAS SOUS 189826 HAS SOUPS 189163 WITH SCORE 190110.748
AT ITER 4268 NEW BEST:: SOT 1445935 SOS 947760 HAS SOPS 941257 HAS SOUS 189814 HAS SOUPS 189151 WITH SCORE 190098.76
AT ITER 4285 NEW BEST:: SOT 1445921 SOS 947746 HAS SOPS 941243 HAS SOUS 189780 HAS SOUPS 189117 WITH SCORE 190064.746
AT ITER 4297 NEW BEST:: SOT 1445898 SOS 947217 HAS SOPS 940644 HAS SOUS 189291 HAS SOUPS 188558 WITH SCORE 189505.217
AT ITER 4298 NEW BEST:: SOT 1445898 SOS 947154 HAS SOPS 940581 HAS SOUS 189291 HAS SOUPS 188558 WITH SCORE 189505.154
AT ITER 4303 NEW BEST:: SOT 1445863 SOS 947119 HAS SOPS 940547 HAS SOUS 189284 HAS SOUPS 188552 WITH SCORE 189499.119
AT ITER 4304 NEW BEST:: SOT 1445863 SOS 947361 HAS SOPS 940789 HAS SOUS 189280 HAS SOUPS 188548 WITH SCORE 189495.361
AT ITER 4309 NEW BEST:: SOT 1445863 SOS 947551 HAS SOPS 941384 HAS SOUS 189279 HAS SOUPS 188547 WITH SCORE 189494.551
AT ITER 4330 NEW BEST:: SOT 1445863 SOS 947773 HAS SOPS 941606 HAS SOUS 189276 HAS SOUPS 188544 WITH SCORE 189491.773
AT ITER 4344 NEW BEST:: SOT 1445863 SOS 947683 HAS SOPS 941216 HAS SOUS 189251 HAS SOUPS 188519 WITH SCORE 189466.683
AT ITER 4351 NEW BEST:: SOT 1446222 SOS 948042 HAS SOPS 941575 HAS SOUS 188886 HAS SOUPS 188154 WITH SCORE 189102.042
AT ITER 4364 NEW BEST:: SOT 1446222 SOS 948058 HAS SOPS 941591 HAS SOUS 188885 HAS SOUPS 188153 WITH SCORE 189101.058
AT ITER 4401 NEW BEST:: SOT 1446263 SOS 948106 HAS SOPS 941618 HAS SOUS 188491 HAS SOUPS 187738 WITH SCORE 188686.106
AT ITER 4411 NEW BEST:: SOT 1446263 SOS 948121 HAS SOPS 941633 HAS SOUS 188471 HAS SOUPS 187718 WITH SCORE 188666.121
AT ITER 4414 NEW BEST:: SOT 1446263 SOS 948209 HAS SOPS 941721 HAS SOUS 188446 HAS SOUPS 187693 WITH SCORE 188641.209
AT ITER 4458 NEW BEST:: SOT 1446263 SOS 948317 HAS SOPS 941829 HAS SOUS 188443 HAS SOUPS 187690 WITH SCORE 188638.317
AT ITER 4463 NEW BEST:: SOT 1446203 SOS 948305 HAS SOPS 941817 HAS SOUS 188380 HAS SOUPS 187627 WITH SCORE 188575.305
AT ITER 4503 NEW BEST:: SOT 1446153 SOS 948255 HAS SOPS 941767 HAS SOUS 188191 HAS SOUPS 187438 WITH SCORE 188386.255
AT ITER 4509 NEW BEST:: SOT 1446153 SOS 948511 HAS SOPS 942023 HAS SOUS 188175 HAS SOUPS 187422 WITH SCORE 188370.511
AT ITER 4510 NEW BEST:: SOT 1446153 SOS 948495 HAS SOPS 942007 HAS SOUS 188175 HAS SOUPS 187422 WITH SCORE 188370.495
AT ITER 4527 NEW BEST:: SOT 1446143 SOS 948483 HAS SOPS 941997 HAS SOUS 188163 HAS SOUPS 187412 WITH SCORE 188360.483
AT ITER 4537 NEW BEST:: SOT 1446143 SOS 948448 HAS SOPS 945112 HAS SOUS 188111 HAS SOUPS 187377 WITH SCORE 188325.448
AT ITER 4559 NEW BEST:: SOT 1446138 SOS 948465 HAS SOPS 945129 HAS SOUS 188094 HAS SOUPS 187360 WITH SCORE 188308.465
AT ITER 4598 NEW BEST:: SOT 1446138 SOS 934822 HAS SOPS 931486 HAS SOUS 188092 HAS SOUPS 187358 WITH SCORE 188292.822
AT ITER 4602 NEW BEST:: SOT 1446131 SOS 934796 HAS SOPS 931460 HAS SOUS 188059 HAS SOUPS 187325 WITH SCORE 188259.796
AT ITER 4620 NEW BEST:: SOT 1446126 SOS 934477 HAS SOPS 931141 HAS SOUS 188040 HAS SOUPS 187306 WITH SCORE 188240.477
AT ITER 4641 NEW BEST:: SOT 1445935 SOS 934249 HAS SOPS 930950 HAS SOUS 187703 HAS SOUPS 187006 WITH SCORE 187940.249
AT ITER 4647 NEW BEST:: SOT 1445935 SOS 934949 HAS SOPS 931980 HAS SOUS 187672 HAS SOUPS 186975 WITH SCORE 187909.949
AT ITER 4665 NEW BEST:: SOT 1445500 SOS 934438 HAS SOPS 931469 HAS SOUS 187237 HAS SOUPS 186540 WITH SCORE 187474.438
AT ITER 4689 NEW BEST:: SOT 1445451 SOS 934236 HAS SOPS 931267 HAS SOUS 187044 HAS SOUPS 186347 WITH SCORE 187281.236
AT ITER 4701 NEW BEST:: SOT 1445451 SOS 933692 HAS SOPS 930220 HAS SOUS 186320 HAS SOUPS 185623 WITH SCORE 186556.692
AT ITER 4718 NEW BEST:: SOT 1445231 SOS 933479 HAS SOPS 930018 HAS SOUS 186070 HAS SOUPS 185384 WITH SCORE 186317.479
AT ITER 4724 NEW BEST:: SOT 1445212 SOS 933460 HAS SOPS 929999 HAS SOUS 185975 HAS SOUPS 185289 WITH SCORE 186222.46
AT ITER 4728 NEW BEST:: SOT 1445210 SOS 933458 HAS SOPS 929997 HAS SOUS 185973 HAS SOUPS 185287 WITH SCORE 186220.458
AT ITER 4735 NEW BEST:: SOT 1445189 SOS 933437 HAS SOPS 929976 HAS SOUS 185952 HAS SOUPS 185266 WITH SCORE 186199.437
AT ITER 4751 NEW BEST:: SOT 1445189 SOS 919222 HAS SOPS 915761 HAS SOUS 185952 HAS SOUPS 185266 WITH SCORE 186185.222
AT ITER 4766 NEW BEST:: SOT 1444570 SOS 918093 HAS SOPS 914497 HAS SOUS 184935 HAS SOUPS 184114 WITH SCORE 185032.093
AT ITER 4787 NEW BEST:: SOT 1444502 SOS 918019 HAS SOPS 914429 HAS SOUS 184842 HAS SOUPS 184027 WITH SCORE 184945.019
AT ITER 4809 NEW BEST:: SOT 1444657 SOS 918709 HAS SOPS 915169 HAS SOUS 184765 HAS SOUPS 183950 WITH SCORE 184868.709
AT ITER 4836 NEW BEST:: SOT 1444657 SOS 918709 HAS SOPS 915349 HAS SOUS 184755 HAS SOUPS 183940 WITH SCORE 184858.709
AT ITER 4841 NEW BEST:: SOT 1444657 SOS 918687 HAS SOPS 915327 HAS SOUS 184751 HAS SOUPS 183936 WITH SCORE 184854.687
AT ITER 4850 NEW BEST:: SOT 1444650 SOS 918501 HAS SOPS 915141 HAS SOUS 184738 HAS SOUPS 183923 WITH SCORE 184841.501
AT ITER 4851 NEW BEST:: SOT 1444420 SOS 918271 HAS SOPS 914911 HAS SOUS 184436 HAS SOUPS 183621 WITH SCORE 184539.271
AT ITER 4861 NEW BEST:: SOT 1444262 SOS 918092 HAS SOPS 914732 HAS SOUS 184229 HAS SOUPS 183414 WITH SCORE 184332.092
AT ITER 4866 NEW BEST:: SOT 1444262 SOS 918336 HAS SOPS 914976 HAS SOUS 184216 HAS SOUPS 183401 WITH SCORE 184319.336
AT ITER 4875 NEW BEST:: SOT 1444262 SOS 918339 HAS SOPS 914979 HAS SOUS 184213 HAS SOUPS 183398 WITH SCORE 184316.339
AT ITER 4922 NEW BEST:: SOT 1444217 SOS 918294 HAS SOPS 914934 HAS SOUS 184171 HAS SOUPS 183356 WITH SCORE 184274.294
AT ITER 4925 NEW BEST:: SOT 1443813 SOS 917890 HAS SOPS 914530 HAS SOUS 183701 HAS SOUPS 182886 WITH SCORE 183803.89
AT ITER 4926 NEW BEST:: SOT 1443813 SOS 915265 HAS SOPS 911905 HAS SOUS 183400 HAS SOUPS 182585 WITH SCORE 183500.265
AT ITER 4929 NEW BEST:: SOT 1443813 SOS 915183 HAS SOPS 911823 HAS SOUS 183394 HAS SOUPS 182579 WITH SCORE 183494.183
AT ITER 4934 NEW BEST:: SOT 1443813 SOS 916292 HAS SOPS 912917 HAS SOUS 183322 HAS SOUPS 182507 WITH SCORE 183423.292
AT ITER 4942 NEW BEST:: SOT 1443813 SOS 916981 HAS SOPS 913606 HAS SOUS 183301 HAS SOUPS 182486 WITH SCORE 183402.981
AT ITER 4951 NEW BEST:: SOT 1443813 SOS 917430 HAS SOPS 914055 HAS SOUS 183291 HAS SOUPS 182476 WITH SCORE 183393.43
AT ITER 4974 NEW BEST:: SOT 1443813 SOS 916578 HAS SOPS 913175 HAS SOUS 183233 HAS SOUPS 182418 WITH SCORE 183334.578
AT ITER 4987 NEW BEST:: SOT 1443813 SOS 916578 HAS SOPS 913175 HAS SOUS 183214 HAS SOUPS 182399 WITH SCORE 183315.578
AT ITER 4992 NEW BEST:: SOT 1443813 SOS 916789 HAS SOPS 913686 HAS SOUS 183183 HAS SOUPS 182368 WITH SCORE 183284.789
AT ITER 5000 NEW BEST:: SOT 1443813 SOS 919201 HAS SOPS 916227 HAS SOUS 183083 HAS SOUPS 182268 WITH SCORE 183187.201
AT ITER 5002 NEW BEST:: SOT 1443786 SOS 919174 HAS SOPS 916200 HAS SOUS 183056 HAS SOUPS 182241 WITH SCORE 183160.174
AT ITER 5006 NEW BEST:: SOT 1443246 SOS 918644 HAS SOPS 915670 HAS SOUS 182465 HAS SOUPS 181650 WITH SCORE 182568.644
AT ITER 5007 NEW BEST:: SOT 1442929 SOS 918659 HAS SOPS 915971 HAS SOUS 182148 HAS SOUPS 181619 WITH SCORE 182537.659
AT ITER 5046 NEW BEST:: SOT 1442929 SOS 918767 HAS SOPS 916091 HAS SOUS 181820 HAS SOUPS 181291 WITH SCORE 182209.767
AT ITER 5071 NEW BEST:: SOT 1442981 SOS 919759 HAS SOPS 917083 HAS SOUS 181804 HAS SOUPS 181275 WITH SCORE 182194.759
AT ITER 5114 NEW BEST:: SOT 1442981 SOS 920585 HAS SOPS 917913 HAS SOUS 181753 HAS SOUPS 181224 WITH SCORE 182144.585
AT ITER 5122 NEW BEST:: SOT 1443000 SOS 920604 HAS SOPS 917932 HAS SOUS 181483 HAS SOUPS 180954 WITH SCORE 181874.604
AT ITER 5135 NEW BEST:: SOT 1442939 SOS 920543 HAS SOPS 917871 HAS SOUS 181422 HAS SOUPS 180893 WITH SCORE 181813.543
AT ITER 5140 NEW BEST:: SOT 1442939 SOS 920191 HAS SOPS 917519 HAS SOUS 181422 HAS SOUPS 180893 WITH SCORE 181813.191
AT ITER 5145 NEW BEST:: SOT 1442939 SOS 920191 HAS SOPS 917519 HAS SOUS 181420 HAS SOUPS 180891 WITH SCORE 181811.191
AT ITER 5146 NEW BEST:: SOT 1442939 SOS 920191 HAS SOPS 917519 HAS SOUS 181388 HAS SOUPS 180859 WITH SCORE 181779.191
AT ITER 5175 NEW BEST:: SOT 1442784 SOS 920036 HAS SOPS 917364 HAS SOUS 181164 HAS SOUPS 180635 WITH SCORE 181555.036
AT ITER 5180 NEW BEST:: SOT 1442784 SOS 920126 HAS SOPS 917529 HAS SOUS 181150 HAS SOUPS 180621 WITH SCORE 181541.126
AT ITER 5193 NEW BEST:: SOT 1442784 SOS 919512 HAS SOPS 916915 HAS SOUS 181150 HAS SOUPS 180621 WITH SCORE 181540.512
AT ITER 5233 NEW BEST:: SOT 1442768 SOS 919496 HAS SOPS 916899 HAS SOUS 181127 HAS SOUPS 180598 WITH SCORE 181517.496
AT ITER 5238 NEW BEST:: SOT 1442202 SOS 918930 HAS SOPS 916333 HAS SOUS 180602 HAS SOUPS 180073 WITH SCORE 180991.93
AT ITER 5245 NEW BEST:: SOT 1442342 SOS 919094 HAS SOPS 916473 HAS SOUS 179955 HAS SOUPS 179402 WITH SCORE 180321.094
AT ITER 5250 NEW BEST:: SOT 1442342 SOS 919076 HAS SOPS 916455 HAS SOUS 179955 HAS SOUPS 179402 WITH SCORE 180321.076
AT ITER 5260 NEW BEST:: SOT 1442322 SOS 919056 HAS SOPS 916435 HAS SOUS 179935 HAS SOUPS 179382 WITH SCORE 180301.056
AT ITER 5265 NEW BEST:: SOT 1442214 SOS 918948 HAS SOPS 916327 HAS SOUS 179827 HAS SOUPS 179274 WITH SCORE 180192.948
AT ITER 5284 NEW BEST:: SOT 1442214 SOS 918948 HAS SOPS 916327 HAS SOUS 179802 HAS SOUPS 179249 WITH SCORE 180167.948
AT ITER 5318 NEW BEST:: SOT 1442098 SOS 918832 HAS SOPS 916153 HAS SOUS 179778 HAS SOUPS 179225 WITH SCORE 180143.832
AT ITER 5329 NEW BEST:: SOT 1442098 SOS 918786 HAS SOPS 916107 HAS SOUS 179778 HAS SOUPS 179225 WITH SCORE 180143.786
AT ITER 5332 NEW BEST:: SOT 1442173 SOS 919567 HAS SOPS 916978 HAS SOUS 179677 HAS SOUPS 179124 WITH SCORE 180043.567
AT ITER 5344 NEW BEST:: SOT 1442134 SOS 919528 HAS SOPS 916939 HAS SOUS 179638 HAS SOUPS 179085 WITH SCORE 180004.528
AT ITER 5347 NEW BEST:: SOT 1441932 SOS 919326 HAS SOPS 916737 HAS SOUS 179411 HAS SOUPS 178858 WITH SCORE 179777.326
AT ITER 5348 NEW BEST:: SOT 1441932 SOS 919322 HAS SOPS 916733 HAS SOUS 179411 HAS SOUPS 178858 WITH SCORE 179777.322
AT ITER 5357 NEW BEST:: SOT 1441932 SOS 919457 HAS SOPS 916868 HAS SOUS 179402 HAS SOUPS 178849 WITH SCORE 179768.457
AT ITER 5414 NEW BEST:: SOT 1441949 SOS 919474 HAS SOPS 916885 HAS SOUS 179147 HAS SOUPS 178594 WITH SCORE 179513.474
AT ITER 5432 NEW BEST:: SOT 1441949 SOS 919535 HAS SOPS 916950 HAS SOUS 179141 HAS SOUPS 178588 WITH SCORE 179507.535
AT ITER 5437 NEW BEST:: SOT 1441949 SOS 919547 HAS SOPS 916962 HAS SOUS 179129 HAS SOUPS 178576 WITH SCORE 179495.547
AT ITER 5466 NEW BEST:: SOT 1441948 SOS 919546 HAS SOPS 916961 HAS SOUS 179128 HAS SOUPS 178575 WITH SCORE 179494.546
AT ITER 5476 NEW BEST:: SOT 1441948 SOS 919546 HAS SOPS 916961 HAS SOUS 179116 HAS SOUPS 178563 WITH SCORE 179482.546
AT ITER 5487 NEW BEST:: SOT 1441948 SOS 919546 HAS SOPS 916961 HAS SOUS 179113 HAS SOUPS 178560 WITH SCORE 179479.546
AT ITER 5504 NEW BEST:: SOT 1441947 SOS 919545 HAS SOPS 916960 HAS SOUS 179108 HAS SOUPS 178555 WITH SCORE 179474.545
AT ITER 5512 NEW BEST:: SOT 1441850 SOS 919467 HAS SOPS 916863 HAS SOUS 177949 HAS SOUPS 177377 WITH SCORE 178296.467
AT ITER 5523 NEW BEST:: SOT 1441842 SOS 919459 HAS SOPS 916855 HAS SOUS 177941 HAS SOUPS 177369 WITH SCORE 178288.459
AT ITER 5556 NEW BEST:: SOT 1441842 SOS 919301 HAS SOPS 916697 HAS SOUS 177941 HAS SOUPS 177369 WITH SCORE 178288.301
AT ITER 5557 NEW BEST:: SOT 1441746 SOS 919205 HAS SOPS 916601 HAS SOUS 177891 HAS SOUPS 177319 WITH SCORE 178238.205
AT ITER 5560 NEW BEST:: SOT 1442279 SOS 919738 HAS SOPS 917134 HAS SOUS 177324 HAS SOUPS 176752 WITH SCORE 177671.738
AT ITER 5562 NEW BEST:: SOT 1442418 SOS 919852 HAS SOPS 917273 HAS SOUS 175953 HAS SOUPS 175406 WITH SCORE 176325.852
AT ITER 5568 NEW BEST:: SOT 1442418 SOS 919852 HAS SOPS 917273 HAS SOUS 175952 HAS SOUPS 175405 WITH SCORE 176324.852
AT ITER 5588 NEW BEST:: SOT 1442119 SOS 919553 HAS SOPS 916974 HAS SOUS 175951 HAS SOUPS 175404 WITH SCORE 176323.553
AT ITER 5639 NEW BEST:: SOT 1442119 SOS 920626 HAS SOPS 918047 HAS SOUS 175885 HAS SOUPS 175338 WITH SCORE 176258.626
AT ITER 5666 NEW BEST:: SOT 1442179 SOS 921942 HAS SOPS 919678 HAS SOUS 175881 HAS SOUPS 175334 WITH SCORE 176255.942
AT ITER 5693 NEW BEST:: SOT 1442155 SOS 921906 HAS SOPS 919642 HAS SOUS 175865 HAS SOUPS 175318 WITH SCORE 176239.906
AT ITER 5698 NEW BEST:: SOT 1442155 SOS 921074 HAS SOPS 918810 HAS SOUS 175865 HAS SOUPS 175318 WITH SCORE 176239.074
AT ITER 5699 NEW BEST:: SOT 1442155 SOS 921097 HAS SOPS 916928 HAS SOUS 175803 HAS SOUPS 175251 WITH SCORE 176172.097
AT ITER 5705 NEW BEST:: SOT 1442164 SOS 921090 HAS SOPS 916937 HAS SOUS 175764 HAS SOUPS 175228 WITH SCORE 176149.09
AT ITER 5710 NEW BEST:: SOT 1443366 SOS 922329 HAS SOPS 918174 HAS SOUS 175708 HAS SOUPS 175170 WITH SCORE 176092.329
AT ITER 5721 NEW BEST:: SOT 1443366 SOS 922419 HAS SOPS 918609 HAS SOUS 175683 HAS SOUPS 175145 WITH SCORE 176067.419
AT ITER 5732 NEW BEST:: SOT 1443269 SOS 922303 HAS SOPS 918512 HAS SOUS 175528 HAS SOUPS 175009 WITH SCORE 175931.303
AT ITER 5748 NEW BEST:: SOT 1443269 SOS 922303 HAS SOPS 918512 HAS SOUS 175524 HAS SOUPS 175005 WITH SCORE 175927.303
AT ITER 5758 NEW BEST:: SOT 1443255 SOS 922149 HAS SOPS 918358 HAS SOUS 175510 HAS SOUPS 174991 WITH SCORE 175913.149
AT ITER 5762 NEW BEST:: SOT 1442854 SOS 921748 HAS SOPS 917957 HAS SOUS 175047 HAS SOUPS 174528 WITH SCORE 175449.748
AT ITER 5771 NEW BEST:: SOT 1442854 SOS 921577 HAS SOPS 917786 HAS SOUS 175047 HAS SOUPS 174528 WITH SCORE 175449.577
AT ITER 5775 NEW BEST:: SOT 1442905 SOS 921628 HAS SOPS 917837 HAS SOUS 174982 HAS SOUPS 174463 WITH SCORE 175384.628
AT ITER 5785 NEW BEST:: SOT 1442905 SOS 912988 HAS SOPS 909197 HAS SOUS 174982 HAS SOUPS 174463 WITH SCORE 175375.988
AT ITER 5794 NEW BEST:: SOT 1442908 SOS 912983 HAS SOPS 909192 HAS SOUS 174977 HAS SOUPS 174458 WITH SCORE 175370.983
AT ITER 5807 NEW BEST:: SOT 1442908 SOS 912968 HAS SOPS 909177 HAS SOUS 174977 HAS SOUPS 174458 WITH SCORE 175370.968
AT ITER 5842 NEW BEST:: SOT 1442896 SOS 912956 HAS SOPS 909165 HAS SOUS 174890 HAS SOUPS 174371 WITH SCORE 175283.956
AT ITER 5855 NEW BEST:: SOT 1442896 SOS 912928 HAS SOPS 909137 HAS SOUS 174890 HAS SOUPS 174371 WITH SCORE 175283.928
AT ITER 5859 NEW BEST:: SOT 1442896 SOS 912784 HAS SOPS 908993 HAS SOUS 174890 HAS SOUPS 174371 WITH SCORE 175283.784
AT ITER 5887 NEW BEST:: SOT 1442896 SOS 912784 HAS SOPS 908993 HAS SOUS 174875 HAS SOUPS 174356 WITH SCORE 175268.784
AT ITER 5905 NEW BEST:: SOT 1442897 SOS 914387 HAS SOPS 910596 HAS SOUS 174813 HAS SOUPS 174294 WITH SCORE 175208.387
AT ITER 5910 NEW BEST:: SOT 1442863 SOS 916933 HAS SOPS 913085 HAS SOUS 174762 HAS SOUPS 174186 WITH SCORE 175102.933
AT ITER 5918 NEW BEST:: SOT 1442863 SOS 916925 HAS SOPS 913077 HAS SOUS 174762 HAS SOUPS 174186 WITH SCORE 175102.925
AT ITER 5940 NEW BEST:: SOT 1442863 SOS 916845 HAS SOPS 912997 HAS SOUS 174762 HAS SOUPS 174186 WITH SCORE 175102.845
AT ITER 5955 NEW BEST:: SOT 1442784 SOS 916952 HAS SOPS 913104 HAS SOUS 174687 HAS SOUPS 174111 WITH SCORE 175027.952
AT ITER 5964 NEW BEST:: SOT 1442769 SOS 915315 HAS SOPS 911467 HAS SOUS 174559 HAS SOUPS 173983 WITH SCORE 174898.315
AT ITER 5971 NEW BEST:: SOT 1442247 SOS 914813 HAS SOPS 910965 HAS SOUS 174074 HAS SOUPS 173498 WITH SCORE 174412.813
AT ITER 5991 NEW BEST:: SOT 1442247 SOS 911942 HAS SOPS 908046 HAS SOUS 174032 HAS SOUPS 173456 WITH SCORE 174367.942
AT ITER 6050 NEW BEST:: SOT 1442170 SOS 911838 HAS SOPS 907969 HAS SOUS 173920 HAS SOUPS 173371 WITH SCORE 174282.838
AT ITER 6054 NEW BEST:: SOT 1441681 SOS 911313 HAS SOPS 907444 HAS SOUS 173420 HAS SOUPS 172871 WITH SCORE 173782.313
AT ITER 6055 NEW BEST:: SOT 1441439 SOS 911054 HAS SOPS 907173 HAS SOUS 173382 HAS SOUPS 172821 WITH SCORE 173732.054
AT ITER 6059 NEW BEST:: SOT 1441439 SOS 910383 HAS SOPS 901642 HAS SOUS 173299 HAS SOUPS 172723 WITH SCORE 173633.383
AT ITER 6069 NEW BEST:: SOT 1441439 SOS 910559 HAS SOPS 901818 HAS SOUS 173288 HAS SOUPS 172712 WITH SCORE 173622.559
AT ITER 6091 NEW BEST:: SOT 1441214 SOS 910545 HAS SOPS 901804 HAS SOUS 173104 HAS SOUPS 172528 WITH SCORE 173438.545
AT ITER 6095 NEW BEST:: SOT 1441320 SOS 910651 HAS SOPS 901910 HAS SOUS 173002 HAS SOUPS 172426 WITH SCORE 173336.651
AT ITER 6109 NEW BEST:: SOT 1441320 SOS 902731 HAS SOPS 889850 HAS SOUS 172819 HAS SOUPS 172243 WITH SCORE 173145.731
AT ITER 6116 NEW BEST:: SOT 1441371 SOS 902782 HAS SOPS 889901 HAS SOUS 172731 HAS SOUPS 172155 WITH SCORE 173057.782
AT ITER 6128 NEW BEST:: SOT 1441371 SOS 902814 HAS SOPS 889933 HAS SOUS 172495 HAS SOUPS 171919 WITH SCORE 172821.814
AT ITER 6159 NEW BEST:: SOT 1441371 SOS 903474 HAS SOPS 890593 HAS SOUS 172452 HAS SOUPS 171876 WITH SCORE 172779.474
AT ITER 6165 NEW BEST:: SOT 1441340 SOS 903431 HAS SOPS 890562 HAS SOUS 172401 HAS SOUPS 171837 WITH SCORE 172740.431
AT ITER 6178 NEW BEST:: SOT 1441340 SOS 904529 HAS SOPS 891664 HAS SOUS 172333 HAS SOUPS 171769 WITH SCORE 172673.529
AT ITER 6179 NEW BEST:: SOT 1441340 SOS 904505 HAS SOPS 891640 HAS SOUS 172333 HAS SOUPS 171769 WITH SCORE 172673.505
AT ITER 6213 NEW BEST:: SOT 1441420 SOS 904585 HAS SOPS 891720 HAS SOUS 172331 HAS SOUPS 171767 WITH SCORE 172671.585
AT ITER 6214 NEW BEST:: SOT 1441419 SOS 904566 HAS SOPS 892046 HAS SOUS 172327 HAS SOUPS 171763 WITH SCORE 172667.566
AT ITER 6269 NEW BEST:: SOT 1441403 SOS 904550 HAS SOPS 892030 HAS SOUS 172311 HAS SOUPS 171747 WITH SCORE 172651.55
AT ITER 6297 NEW BEST:: SOT 1441369 SOS 904516 HAS SOPS 892167 HAS SOUS 172301 HAS SOUPS 171737 WITH SCORE 172641.516
AT ITER 6302 NEW BEST:: SOT 1441369 SOS 904666 HAS SOPS 892583 HAS SOUS 172276 HAS SOUPS 171712 WITH SCORE 172616.666
AT ITER 6312 NEW BEST:: SOT 1442658 SOS 905913 HAS SOPS 893872 HAS SOUS 172104 HAS SOUPS 171582 WITH SCORE 172487.913
AT ITER 6318 NEW BEST:: SOT 1442645 SOS 905900 HAS SOPS 893859 HAS SOUS 172092 HAS SOUPS 171570 WITH SCORE 172475.9
AT ITER 6328 NEW BEST:: SOT 1442645 SOS 905900 HAS SOPS 893859 HAS SOUS 172071 HAS SOUPS 171549 WITH SCORE 172454.9
AT ITER 6330 NEW BEST:: SOT 1442562 SOS 905772 HAS SOPS 893759 HAS SOUS 171961 HAS SOUPS 171467 WITH SCORE 172372.772
AT ITER 6348 NEW BEST:: SOT 1442605 SOS 905815 HAS SOPS 893802 HAS SOUS 171850 HAS SOUPS 171356 WITH SCORE 172261.815
AT ITER 6361 NEW BEST:: SOT 1442605 SOS 902881 HAS SOPS 890868 HAS SOUS 171850 HAS SOUPS 171356 WITH SCORE 172258.881
AT ITER 6372 NEW BEST:: SOT 1442509 SOS 902785 HAS SOPS 890772 HAS SOUS 171757 HAS SOUPS 171263 WITH SCORE 172165.785
AT ITER 6386 NEW BEST:: SOT 1442509 SOS 903601 HAS SOPS 891780 HAS SOUS 171694 HAS SOUPS 171200 WITH SCORE 172103.601
AT ITER 6387 NEW BEST:: SOT 1442509 SOS 903601 HAS SOPS 891780 HAS SOUS 171669 HAS SOUPS 171175 WITH SCORE 172078.601
AT ITER 6392 NEW BEST:: SOT 1442509 SOS 904211 HAS SOPS 892390 HAS SOUS 171649 HAS SOUPS 171155 WITH SCORE 172059.211
AT ITER 6427 NEW BEST:: SOT 1442534 SOS 904236 HAS SOPS 892415 HAS SOUS 171632 HAS SOUPS 171138 WITH SCORE 172042.236
AT ITER 6453 NEW BEST:: SOT 1442533 SOS 904235 HAS SOPS 892414 HAS SOUS 171631 HAS SOUPS 171137 WITH SCORE 172041.235
AT ITER 6470 NEW BEST:: SOT 1442533 SOS 904250 HAS SOPS 892178 HAS SOUS 171081 HAS SOUPS 170587 WITH SCORE 171491.25
AT ITER 6489 NEW BEST:: SOT 1442486 SOS 903978 HAS SOPS 891231 HAS SOUS 171061 HAS SOUPS 170567 WITH SCORE 171470.978
AT ITER 6497 NEW BEST:: SOT 1442470 SOS 903962 HAS SOPS 891215 HAS SOUS 171061 HAS SOUPS 170567 WITH SCORE 171470.962
AT ITER 6546 NEW BEST:: SOT 1442475 SOS 904511 HAS SOPS 892355 HAS SOUS 171026 HAS SOUPS 170532 WITH SCORE 171436.511
AT ITER 6556 NEW BEST:: SOT 1442247 SOS 903902 HAS SOPS 891704 HAS SOUS 170468 HAS SOUPS 169932 WITH SCORE 170835.902
AT ITER 6580 NEW BEST:: SOT 1442247 SOS 903822 HAS SOPS 891624 HAS SOUS 170468 HAS SOUPS 169932 WITH SCORE 170835.822
AT ITER 6581 NEW BEST:: SOT 1442247 SOS 903812 HAS SOPS 892664 HAS SOUS 170454 HAS SOUPS 169922 WITH SCORE 170825.812
AT ITER 6590 NEW BEST:: SOT 1442105 SOS 903670 HAS SOPS 892522 HAS SOUS 170241 HAS SOUPS 169709 WITH SCORE 170612.67
AT ITER 6592 NEW BEST:: SOT 1442105 SOS 903672 HAS SOPS 892524 HAS SOUS 170239 HAS SOUPS 169707 WITH SCORE 170610.672
AT ITER 6600 NEW BEST:: SOT 1441893 SOS 903460 HAS SOPS 892312 HAS SOUS 170226 HAS SOUPS 169694 WITH SCORE 170597.46
AT ITER 6613 NEW BEST:: SOT 1441821 SOS 903388 HAS SOPS 892240 HAS SOUS 170154 HAS SOUPS 169622 WITH SCORE 170525.388
AT ITER 6617 NEW BEST:: SOT 1441821 SOS 903232 HAS SOPS 892084 HAS SOUS 170015 HAS SOUPS 169483 WITH SCORE 170386.232
AT ITER 6641 NEW BEST:: SOT 1441825 SOS 903236 HAS SOPS 892088 HAS SOUS 170012 HAS SOUPS 169480 WITH SCORE 170383.236
AT ITER 6648 NEW BEST:: SOT 1441843 SOS 903914 HAS SOPS 893291 HAS SOUS 169973 HAS SOUPS 169441 WITH SCORE 170344.914
AT ITER 6649 NEW BEST:: SOT 1441842 SOS 903913 HAS SOPS 893290 HAS SOUS 169966 HAS SOUPS 169434 WITH SCORE 170337.913
AT ITER 6655 NEW BEST:: SOT 1441842 SOS 903953 HAS SOPS 893330 HAS SOUS 169960 HAS SOUPS 169428 WITH SCORE 170331.953
AT ITER 6659 NEW BEST:: SOT 1441842 SOS 903938 HAS SOPS 893289 HAS SOUS 169931 HAS SOUPS 169399 WITH SCORE 170302.938
AT ITER 6660 NEW BEST:: SOT 1441823 SOS 903911 HAS SOPS 893273 HAS SOUS 169834 HAS SOUPS 169313 WITH SCORE 170216.911
AT ITER 6696 NEW BEST:: SOT 1441823 SOS 903975 HAS SOPS 893337 HAS SOUS 169820 HAS SOUPS 169299 WITH SCORE 170202.975
AT ITER 6724 NEW BEST:: SOT 1440430 SOS 902582 HAS SOPS 891944 HAS SOUS 169770 HAS SOUPS 169249 WITH SCORE 170151.582
AT ITER 6778 NEW BEST:: SOT 1440430 SOS 900975 HAS SOPS 890337 HAS SOUS 169763 HAS SOUPS 169242 WITH SCORE 170142.975
AT ITER 6780 NEW BEST:: SOT 1440430 SOS 900975 HAS SOPS 890337 HAS SOUS 169753 HAS SOUPS 169232 WITH SCORE 170132.975
AT ITER 6809 NEW BEST:: SOT 1440429 SOS 902188 HAS SOPS 891550 HAS SOUS 169719 HAS SOUPS 169198 WITH SCORE 170100.188
AT ITER 6814 NEW BEST:: SOT 1440483 SOS 903008 HAS SOPS 892820 HAS SOUS 169697 HAS SOUPS 169176 WITH SCORE 170079.008
AT ITER 6883 NEW BEST:: SOT 1440469 SOS 902994 HAS SOPS 892806 HAS SOUS 169668 HAS SOUPS 169147 WITH SCORE 170049.994
AT ITER 6896 NEW BEST:: SOT 1440469 SOS 902851 HAS SOPS 892663 HAS SOUS 169668 HAS SOUPS 169147 WITH SCORE 170049.851
AT ITER 6925 NEW BEST:: SOT 1440466 SOS 902818 HAS SOPS 892630 HAS SOUS 169667 HAS SOUPS 169146 WITH SCORE 170048.818
AT ITER 6939 NEW BEST:: SOT 1440396 SOS 902741 HAS SOPS 892560 HAS SOUS 169478 HAS SOUPS 168964 WITH SCORE 169866.741
AT ITER 6977 NEW BEST:: SOT 1440396 SOS 902725 HAS SOPS 892544 HAS SOUS 169478 HAS SOUPS 168964 WITH SCORE 169866.725
AT ITER 6978 NEW BEST:: SOT 1440626 SOS 902955 HAS SOPS 892774 HAS SOUS 169374 HAS SOUPS 168860 WITH SCORE 169762.955
AT ITER 6984 NEW BEST:: SOT 1440528 SOS 902879 HAS SOPS 892698 HAS SOUS 169281 HAS SOUPS 168767 WITH SCORE 169669.879
AT ITER 6989 NEW BEST:: SOT 1440583 SOS 902934 HAS SOPS 892753 HAS SOUS 169050 HAS SOUPS 168536 WITH SCORE 169438.934
AT ITER 7001 NEW BEST:: SOT 1440583 SOS 903040 HAS SOPS 892859 HAS SOUS 169045 HAS SOUPS 168531 WITH SCORE 169434.04
AT ITER 7004 NEW BEST:: SOT 1440581 SOS 903038 HAS SOPS 892857 HAS SOUS 169043 HAS SOUPS 168529 WITH SCORE 169432.038
AT ITER 7036 NEW BEST:: SOT 1440581 SOS 903950 HAS SOPS 893769 HAS SOUS 168986 HAS SOUPS 168472 WITH SCORE 169375.95
AT ITER 7040 NEW BEST:: SOT 1440581 SOS 904162 HAS SOPS 893981 HAS SOUS 168969 HAS SOUPS 168455 WITH SCORE 169359.162
AT ITER 7056 NEW BEST:: SOT 1440561 SOS 904058 HAS SOPS 893952 HAS SOUS 168931 HAS SOUPS 168417 WITH SCORE 169321.058
AT ITER 7068 NEW BEST:: SOT 1440574 SOS 904071 HAS SOPS 893965 HAS SOUS 168926 HAS SOUPS 168412 WITH SCORE 169316.071
AT ITER 7074 NEW BEST:: SOT 1440937 SOS 904434 HAS SOPS 894328 HAS SOUS 168804 HAS SOUPS 168290 WITH SCORE 169194.434
AT ITER 7079 NEW BEST:: SOT 1440937 SOS 904539 HAS SOPS 894433 HAS SOUS 168797 HAS SOUPS 168283 WITH SCORE 169187.539
AT ITER 7155 NEW BEST:: SOT 1440943 SOS 904545 HAS SOPS 894439 HAS SOUS 168777 HAS SOUPS 168263 WITH SCORE 169167.545
AT ITER 7184 NEW BEST:: SOT 1440943 SOS 904545 HAS SOPS 894439 HAS SOUS 168743 HAS SOUPS 168229 WITH SCORE 169133.545
AT ITER 7194 NEW BEST:: SOT 1440943 SOS 904606 HAS SOPS 894504 HAS SOUS 168737 HAS SOUPS 168223 WITH SCORE 169127.606
AT ITER 7207 NEW BEST:: SOT 1441021 SOS 904684 HAS SOPS 894582 HAS SOUS 168576 HAS SOUPS 168062 WITH SCORE 168966.684
AT ITER 7222 NEW BEST:: SOT 1441019 SOS 904682 HAS SOPS 894580 HAS SOUS 168568 HAS SOUPS 168054 WITH SCORE 168958.682
AT ITER 7247 NEW BEST:: SOT 1441019 SOS 904682 HAS SOPS 894580 HAS SOUS 168555 HAS SOUPS 168041 WITH SCORE 168945.682
AT ITER 7266 NEW BEST:: SOT 1441019 SOS 904642 HAS SOPS 894540 HAS SOUS 168555 HAS SOUPS 168041 WITH SCORE 168945.642
AT ITER 7308 NEW BEST:: SOT 1440907 SOS 904545 HAS SOPS 894476 HAS SOUS 167997 HAS SOUPS 167516 WITH SCORE 168420.545
AT ITER 7321 NEW BEST:: SOT 1440907 SOS 904067 HAS SOPS 892324 HAS SOUS 167619 HAS SOUPS 167133 WITH SCORE 168037.067
AT ITER 7323 NEW BEST:: SOT 1440907 SOS 904704 HAS SOPS 892961 HAS SOUS 167584 HAS SOUPS 167098 WITH SCORE 168002.704
AT ITER 7358 NEW BEST:: SOT 1440899 SOS 904696 HAS SOPS 892953 HAS SOUS 167578 HAS SOUPS 167092 WITH SCORE 167996.696
AT ITER 7363 NEW BEST:: SOT 1440899 SOS 904660 HAS SOPS 892917 HAS SOUS 167562 HAS SOUPS 167076 WITH SCORE 167980.66
AT ITER 7375 NEW BEST:: SOT 1440826 SOS 904587 HAS SOPS 892844 HAS SOUS 167434 HAS SOUPS 166948 WITH SCORE 167852.587
AT ITER 7381 NEW BEST:: SOT 1440826 SOS 904593 HAS SOPS 892850 HAS SOUS 167428 HAS SOUPS 166942 WITH SCORE 167846.593
AT ITER 7391 NEW BEST:: SOT 1440634 SOS 904401 HAS SOPS 892658 HAS SOUS 167236 HAS SOUPS 166750 WITH SCORE 167654.401
AT ITER 7428 NEW BEST:: SOT 1440634 SOS 905113 HAS SOPS 893370 HAS SOUS 167196 HAS SOUPS 166710 WITH SCORE 167615.113
AT ITER 7433 NEW BEST:: SOT 1440624 SOS 905103 HAS SOPS 893360 HAS SOUS 167196 HAS SOUPS 166710 WITH SCORE 167615.103
AT ITER 7443 NEW BEST:: SOT 1440634 SOS 905113 HAS SOPS 893370 HAS SOUS 167194 HAS SOUPS 166708 WITH SCORE 167613.113
AT ITER 7497 NEW BEST:: SOT 1440634 SOS 905141 HAS SOPS 893398 HAS SOUS 167171 HAS SOUPS 166685 WITH SCORE 167590.141
AT ITER 7498 NEW BEST:: SOT 1440547 SOS 905054 HAS SOPS 893311 HAS SOUS 166789 HAS SOUPS 166303 WITH SCORE 167208.054
AT ITER 7511 NEW BEST:: SOT 1440547 SOS 905054 HAS SOPS 893401 HAS SOUS 166775 HAS SOUPS 166289 WITH SCORE 167194.054
AT ITER 7536 NEW BEST:: SOT 1440388 SOS 904895 HAS SOPS 893242 HAS SOUS 166604 HAS SOUPS 166118 WITH SCORE 167022.895
AT ITER 7570 NEW BEST:: SOT 1440388 SOS 905271 HAS SOPS 893618 HAS SOUS 166580 HAS SOUPS 166094 WITH SCORE 166999.271
AT ITER 7574 NEW BEST:: SOT 1440388 SOS 905153 HAS SOPS 893500 HAS SOUS 166580 HAS SOUPS 166094 WITH SCORE 166999.153
AT ITER 7588 NEW BEST:: SOT 1439618 SOS 904398 HAS SOPS 892730 HAS SOUS 166545 HAS SOUPS 166044 WITH SCORE 166948.398
AT ITER 7607 NEW BEST:: SOT 1439618 SOS 904928 HAS SOPS 893506 HAS SOUS 166542 HAS SOUPS 166041 WITH SCORE 166945.928
AT ITER 7609 NEW BEST:: SOT 1439618 SOS 904640 HAS SOPS 893218 HAS SOUS 166541 HAS SOUPS 166040 WITH SCORE 166944.64
AT ITER 7644 NEW BEST:: SOT 1438641 SOS 903391 HAS SOPS 892659 HAS SOUS 165680 HAS SOUPS 165179 WITH SCORE 166082.391
AT ITER 7669 NEW BEST:: SOT 1438543 SOS 903293 HAS SOPS 892561 HAS SOUS 165680 HAS SOUPS 165179 WITH SCORE 166082.293
AT ITER 7701 NEW BEST:: SOT 1438543 SOS 903293 HAS SOPS 892561 HAS SOUS 165667 HAS SOUPS 165166 WITH SCORE 166069.293
AT ITER 7706 NEW BEST:: SOT 1438543 SOS 903293 HAS SOPS 892578 HAS SOUS 165650 HAS SOUPS 165149 WITH SCORE 166052.293
AT ITER 7751 NEW BEST:: SOT 1438543 SOS 898309 HAS SOPS 887594 HAS SOUS 165594 HAS SOUPS 165093 WITH SCORE 165991.309
AT ITER 7766 NEW BEST:: SOT 1438543 SOS 884949 HAS SOPS 872929 HAS SOUS 165586 HAS SOUPS 165085 WITH SCORE 165969.949
AT ITER 7774 NEW BEST:: SOT 1438519 SOS 884925 HAS SOPS 872905 HAS SOUS 165568 HAS SOUPS 165067 WITH SCORE 165951.925
AT ITER 7779 NEW BEST:: SOT 1438540 SOS 886178 HAS SOPS 874608 HAS SOUS 165519 HAS SOUPS 165018 WITH SCORE 165904.178
AT ITER 7786 NEW BEST:: SOT 1438878 SOS 886514 HAS SOPS 874946 HAS SOUS 165493 HAS SOUPS 164994 WITH SCORE 165880.514
AT ITER 7826 NEW BEST:: SOT 1438871 SOS 886482 HAS SOPS 874939 HAS SOUS 165468 HAS SOUPS 164994 WITH SCORE 165880.482
AT ITER 7834 NEW BEST:: SOT 1438970 SOS 886581 HAS SOPS 875038 HAS SOUS 165431 HAS SOUPS 164957 WITH SCORE 165843.581
AT ITER 7880 NEW BEST:: SOT 1438970 SOS 887597 HAS SOPS 876054 HAS SOUS 165367 HAS SOUPS 164893 WITH SCORE 165780.597
AT ITER 7890 NEW BEST:: SOT 1438994 SOS 887828 HAS SOPS 876810 HAS SOUS 165351 HAS SOUPS 164877 WITH SCORE 165764.828
AT ITER 7924 NEW BEST:: SOT 1438994 SOS 888372 HAS SOPS 877354 HAS SOUS 165317 HAS SOUPS 164843 WITH SCORE 165731.372
AT ITER 7928 NEW BEST:: SOT 1438935 SOS 888287 HAS SOPS 877269 HAS SOUS 165265 HAS SOUPS 164791 WITH SCORE 165679.287
AT ITER 7947 NEW BEST:: SOT 1438832 SOS 888184 HAS SOPS 877166 HAS SOUS 165112 HAS SOUPS 164638 WITH SCORE 165526.184
AT ITER 7990 NEW BEST:: SOT 1438832 SOS 888152 HAS SOPS 876304 HAS SOUS 165118 HAS SOUPS 164636 WITH SCORE 165524.152
AT ITER 8026 NEW BEST:: SOT 1438831 SOS 888151 HAS SOPS 876303 HAS SOUS 165117 HAS SOUPS 164635 WITH SCORE 165523.151
AT ITER 8034 NEW BEST:: SOT 1438632 SOS 887929 HAS SOPS 876104 HAS SOUS 164892 HAS SOUPS 164433 WITH SCORE 165320.929
AT ITER 8067 NEW BEST:: SOT 1438616 SOS 887959 HAS SOPS 875644 HAS SOUS 164818 HAS SOUPS 164359 WITH SCORE 165246.959
AT ITER 8086 NEW BEST:: SOT 1438616 SOS 887847 HAS SOPS 875326 HAS SOUS 164746 HAS SOUPS 164287 WITH SCORE 165174.847
AT ITER 8091 NEW BEST:: SOT 1438589 SOS 887820 HAS SOPS 875299 HAS SOUS 164709 HAS SOUPS 164250 WITH SCORE 165137.82
AT ITER 8103 NEW BEST:: SOT 1438663 SOS 887894 HAS SOPS 875373 HAS SOUS 164688 HAS SOUPS 164229 WITH SCORE 165116.894
AT ITER 8107 NEW BEST:: SOT 1438625 SOS 887856 HAS SOPS 875335 HAS SOUS 164634 HAS SOUPS 164175 WITH SCORE 165062.856
AT ITER 8132 NEW BEST:: SOT 1438615 SOS 887844 HAS SOPS 875325 HAS SOUS 164624 HAS SOUPS 164167 WITH SCORE 165054.844
AT ITER 8151 NEW BEST:: SOT 1438615 SOS 887844 HAS SOPS 875325 HAS SOUS 164601 HAS SOUPS 164144 WITH SCORE 165031.844
AT ITER 8206 NEW BEST:: SOT 1438614 SOS 887843 HAS SOPS 875324 HAS SOUS 164601 HAS SOUPS 164144 WITH SCORE 165031.843
AT ITER 8222 NEW BEST:: SOT 1438611 SOS 887870 HAS SOPS 875732 HAS SOUS 164572 HAS SOUPS 164115 WITH SCORE 165002.87
AT ITER 8225 NEW BEST:: SOT 1438650 SOS 887909 HAS SOPS 875771 HAS SOUS 164406 HAS SOUPS 163949 WITH SCORE 164836.909
AT ITER 8288 NEW BEST:: SOT 1438650 SOS 887910 HAS SOPS 875772 HAS SOUS 164405 HAS SOUPS 163948 WITH SCORE 164835.91
AT ITER 8294 NEW BEST:: SOT 1438644 SOS 887904 HAS SOPS 875766 HAS SOUS 164384 HAS SOUPS 163927 WITH SCORE 164814.904
AT ITER 8305 NEW BEST:: SOT 1438624 SOS 887227 HAS SOPS 874309 HAS SOUS 164346 HAS SOUPS 163889 WITH SCORE 164776.227
AT ITER 8309 NEW BEST:: SOT 1438782 SOS 887427 HAS SOPS 874538 HAS SOUS 164226 HAS SOUPS 163798 WITH SCORE 164685.427
AT ITER 8351 NEW BEST:: SOT 1438833 SOS 887621 HAS SOPS 875257 HAS SOUS 164200 HAS SOUPS 163772 WITH SCORE 164659.621
AT ITER 8381 NEW BEST:: SOT 1438833 SOS 888352 HAS SOPS 875988 HAS SOUS 164156 HAS SOUPS 163728 WITH SCORE 164616.352
AT ITER 8420 NEW BEST:: SOT 1438803 SOS 888322 HAS SOPS 876114 HAS SOUS 164152 HAS SOUPS 163724 WITH SCORE 164612.322
AT ITER 8430 NEW BEST:: SOT 1438787 SOS 888304 HAS SOPS 876096 HAS SOUS 164136 HAS SOUPS 163708 WITH SCORE 164596.304
AT ITER 8456 NEW BEST:: SOT 1438763 SOS 888280 HAS SOPS 876072 HAS SOUS 164122 HAS SOUPS 163694 WITH SCORE 164582.28
AT ITER 8482 NEW BEST:: SOT 1438799 SOS 888316 HAS SOPS 876108 HAS SOUS 164086 HAS SOUPS 163658 WITH SCORE 164546.316
AT ITER 8502 NEW BEST:: SOT 1438799 SOS 888316 HAS SOPS 875928 HAS SOUS 164085 HAS SOUPS 163657 WITH SCORE 164545.316
AT ITER 8539 NEW BEST:: SOT 1438799 SOS 888348 HAS SOPS 875760 HAS SOUS 163705 HAS SOUPS 163277 WITH SCORE 164165.348
AT ITER 8550 NEW BEST:: SOT 1438795 SOS 888344 HAS SOPS 875756 HAS SOUS 163673 HAS SOUPS 163245 WITH SCORE 164133.344
AT ITER 8565 NEW BEST:: SOT 1438752 SOS 888301 HAS SOPS 875713 HAS SOUS 163564 HAS SOUPS 163136 WITH SCORE 164024.301
AT ITER 8580 NEW BEST:: SOT 1438752 SOS 888301 HAS SOPS 875713 HAS SOUS 163534 HAS SOUPS 163106 WITH SCORE 163994.301
AT ITER 8584 NEW BEST:: SOT 1438751 SOS 888300 HAS SOPS 875712 HAS SOUS 163533 HAS SOUPS 163105 WITH SCORE 163993.3
AT ITER 8625 NEW BEST:: SOT 1438751 SOS 887952 HAS SOPS 875298 HAS SOUS 163193 HAS SOUPS 162765 WITH SCORE 163652.952
AT ITER 8636 NEW BEST:: SOT 1438509 SOS 887986 HAS SOPS 875332 HAS SOUS 162951 HAS SOUPS 162523 WITH SCORE 163410.986
AT ITER 8659 NEW BEST:: SOT 1438509 SOS 887986 HAS SOPS 875662 HAS SOUS 162930 HAS SOUPS 162502 WITH SCORE 163389.986
AT ITER 8683 NEW BEST:: SOT 1438508 SOS 887985 HAS SOPS 875661 HAS SOUS 162929 HAS SOUPS 162501 WITH SCORE 163388.985
AT ITER 8698 NEW BEST:: SOT 1438445 SOS 887897 HAS SOPS 875598 HAS SOUS 162830 HAS SOUPS 162427 WITH SCORE 163314.897
AT ITER 8717 NEW BEST:: SOT 1438437 SOS 887799 HAS SOPS 875290 HAS SOUS 162822 HAS SOUPS 162419 WITH SCORE 163306.799
AT ITER 8752 NEW BEST:: SOT 1438405 SOS 887767 HAS SOPS 875258 HAS SOUS 162776 HAS SOUPS 162373 WITH SCORE 163260.767
AT ITER 8758 NEW BEST:: SOT 1438343 SOS 887705 HAS SOPS 875196 HAS SOUS 162684 HAS SOUPS 162281 WITH SCORE 163168.705
AT ITER 8793 NEW BEST:: SOT 1438338 SOS 887644 HAS SOPS 875135 HAS SOUS 162657 HAS SOUPS 162254 WITH SCORE 163141.644
AT ITER 8803 NEW BEST:: SOT 1438320 SOS 887598 HAS SOPS 875085 HAS SOUS 162609 HAS SOUPS 162202 WITH SCORE 163089.598
AT ITER 8804 NEW BEST:: SOT 1438320 SOS 887598 HAS SOPS 875085 HAS SOUS 162607 HAS SOUPS 162200 WITH SCORE 163087.598
AT ITER 8812 NEW BEST:: SOT 1438657 SOS 887888 HAS SOPS 875422 HAS SOUS 162534 HAS SOUPS 162174 WITH SCORE 163061.888
AT ITER 8826 NEW BEST:: SOT 1438657 SOS 881254 HAS SOPS 868788 HAS SOUS 162503 HAS SOUPS 162143 WITH SCORE 163024.254
AT ITER 8907 NEW BEST:: SOT 1438707 SOS 882214 HAS SOPS 870574 HAS SOUS 162468 HAS SOUPS 162108 WITH SCORE 162990.214
AT ITER 8918 NEW BEST:: SOT 1438707 SOS 882250 HAS SOPS 870770 HAS SOUS 162437 HAS SOUPS 162077 WITH SCORE 162959.25
AT ITER 8932 NEW BEST:: SOT 1438707 SOS 882270 HAS SOPS 870790 HAS SOUS 162434 HAS SOUPS 162074 WITH SCORE 162956.27
AT ITER 8977 NEW BEST:: SOT 1438707 SOS 882270 HAS SOPS 870790 HAS SOUS 162426 HAS SOUPS 162066 WITH SCORE 162948.27
AT ITER 9081 NEW BEST:: SOT 1438598 SOS 882229 HAS SOPS 870749 HAS SOUS 162351 HAS SOUPS 161991 WITH SCORE 162873.229
AT ITER 9082 NEW BEST:: SOT 1438778 SOS 882409 HAS SOPS 870929 HAS SOUS 162332 HAS SOUPS 161972 WITH SCORE 162854.409
AT ITER 9121 NEW BEST:: SOT 1438773 SOS 882404 HAS SOPS 870924 HAS SOUS 162262 HAS SOUPS 161902 WITH SCORE 162784.404
AT ITER 9198 NEW BEST:: SOT 1438773 SOS 882551 HAS SOPS 871071 HAS SOUS 162250 HAS SOUPS 161890 WITH SCORE 162772.551
AT ITER 9230 NEW BEST:: SOT 1438604 SOS 882382 HAS SOPS 870902 HAS SOUS 161986 HAS SOUPS 161626 WITH SCORE 162508.382
AT ITER 9300 NEW BEST:: SOT 1438332 SOS 882110 HAS SOPS 870630 HAS SOUS 161724 HAS SOUPS 161364 WITH SCORE 162246.11
AT ITER 9315 NEW BEST:: SOT 1437828 SOS 881606 HAS SOPS 870126 HAS SOUS 161141 HAS SOUPS 160781 WITH SCORE 161662.606
AT ITER 9329 NEW BEST:: SOT 1437798 SOS 881576 HAS SOPS 870096 HAS SOUS 161096 HAS SOUPS 160736 WITH SCORE 161617.576
AT ITER 9339 NEW BEST:: SOT 1437752 SOS 881530 HAS SOPS 870050 HAS SOUS 161082 HAS SOUPS 160722 WITH SCORE 161603.53
AT ITER 9363 NEW BEST:: SOT 1437752 SOS 881991 HAS SOPS 870511 HAS SOUS 161056 HAS SOUPS 160696 WITH SCORE 161577.991
AT ITER 9366 NEW BEST:: SOT 1437752 SOS 882025 HAS SOPS 871089 HAS SOUS 161003 HAS SOUPS 160643 WITH SCORE 161525.025
AT ITER 9375 NEW BEST:: SOT 1437752 SOS 882025 HAS SOPS 871089 HAS SOUS 160988 HAS SOUPS 160628 WITH SCORE 161510.025
AT ITER 9387 NEW BEST:: SOT 1437752 SOS 882092 HAS SOPS 871156 HAS SOUS 160981 HAS SOUPS 160621 WITH SCORE 161503.092
AT ITER 9403 NEW BEST:: SOT 1437721 SOS 882061 HAS SOPS 871125 HAS SOUS 160918 HAS SOUPS 160558 WITH SCORE 161440.061
AT ITER 9489 NEW BEST:: SOT 1437721 SOS 882061 HAS SOPS 871125 HAS SOUS 160914 HAS SOUPS 160554 WITH SCORE 161436.061
AT ITER 9562 NEW BEST:: SOT 1437753 SOS 882093 HAS SOPS 871157 HAS SOUS 160628 HAS SOUPS 160268 WITH SCORE 161150.093
AT ITER 9572 NEW BEST:: SOT 1437753 SOS 882093 HAS SOPS 871067 HAS SOUS 160578 HAS SOUPS 160218 WITH SCORE 161100.093
AT ITER 9584 NEW BEST:: SOT 1437753 SOS 881918 HAS SOPS 870892 HAS SOUS 160573 HAS SOUPS 160213 WITH SCORE 161094.918
AT ITER 9598 NEW BEST:: SOT 1437675 SOS 881840 HAS SOPS 870814 HAS SOUS 160483 HAS SOUPS 160123 WITH SCORE 161004.84
AT ITER 9614 NEW BEST:: SOT 1437672 SOS 881837 HAS SOPS 870811 HAS SOUS 160480 HAS SOUPS 160120 WITH SCORE 161001.837
AT ITER 9616 NEW BEST:: SOT 1437672 SOS 882257 HAS SOPS 871231 HAS SOUS 160453 HAS SOUPS 160093 WITH SCORE 160975.257
AT ITER 9640 NEW BEST:: SOT 1437671 SOS 882256 HAS SOPS 871230 HAS SOUS 160453 HAS SOUPS 160093 WITH SCORE 160975.256
AT ITER 9661 NEW BEST:: SOT 1437671 SOS 880384 HAS SOPS 869358 HAS SOUS 160453 HAS SOUPS 160093 WITH SCORE 160973.384
AT ITER 9672 NEW BEST:: SOT 1437758 SOS 880471 HAS SOPS 869445 HAS SOUS 160372 HAS SOUPS 160012 WITH SCORE 160892.471
AT ITER 9673 NEW BEST:: SOT 1437758 SOS 881063 HAS SOPS 870453 HAS SOUS 160309 HAS SOUPS 159949 WITH SCORE 160830.063
AT ITER 9695 NEW BEST:: SOT 1437750 SOS 881055 HAS SOPS 870445 HAS SOUS 160297 HAS SOUPS 159937 WITH SCORE 160818.055
AT ITER 9696 NEW BEST:: SOT 1437750 SOS 881055 HAS SOPS 870445 HAS SOUS 160284 HAS SOUPS 159924 WITH SCORE 160805.055
AT ITER 9706 NEW BEST:: SOT 1437646 SOS 880951 HAS SOPS 870341 HAS SOUS 160141 HAS SOUPS 159781 WITH SCORE 160661.951
AT ITER 9733 NEW BEST:: SOT 1437646 SOS 880963 HAS SOPS 870353 HAS SOUS 160138 HAS SOUPS 159778 WITH SCORE 160658.963
AT ITER 9751 NEW BEST:: SOT 1437409 SOS 880726 HAS SOPS 870116 HAS SOUS 159965 HAS SOUPS 159605 WITH SCORE 160485.726
AT ITER 9771 NEW BEST:: SOT 1437198 SOS 880543 HAS SOPS 869933 HAS SOUS 159768 HAS SOUPS 159408 WITH SCORE 160288.543
AT ITER 9789 NEW BEST:: SOT 1437172 SOS 880517 HAS SOPS 869907 HAS SOUS 159755 HAS SOUPS 159395 WITH SCORE 160275.517
AT ITER 9835 NEW BEST:: SOT 1437149 SOS 880494 HAS SOPS 869884 HAS SOUS 159719 HAS SOUPS 159359 WITH SCORE 160239.494
AT ITER 9836 NEW BEST:: SOT 1437212 SOS 880557 HAS SOPS 869947 HAS SOUS 159713 HAS SOUPS 159353 WITH SCORE 160233.557
AT ITER 9840 NEW BEST:: SOT 1437212 SOS 880557 HAS SOPS 869947 HAS SOUS 159710 HAS SOUPS 159350 WITH SCORE 160230.557
AT ITER 9846 NEW BEST:: SOT 1437212 SOS 880557 HAS SOPS 869947 HAS SOUS 159700 HAS SOUPS 159340 WITH SCORE 160220.557
AT ITER 9848 NEW BEST:: SOT 1437080 SOS 880425 HAS SOPS 869815 HAS SOUS 159557 HAS SOUPS 159197 WITH SCORE 160077.425
AT ITER 9880 NEW BEST:: SOT 1437303 SOS 880648 HAS SOPS 870038 HAS SOUS 159540 HAS SOUPS 159180 WITH SCORE 160060.648
AT ITER 9885 NEW BEST:: SOT 1437303 SOS 855754 HAS SOPS 843060 HAS SOUS 159507 HAS SOUPS 159147 WITH SCORE 160002.754
AT ITER 9906 NEW BEST:: SOT 1437303 SOS 855758 HAS SOPS 842683 HAS SOUS 159497 HAS SOUPS 159137 WITH SCORE 159992.758
AT ITER 9908 NEW BEST:: SOT 1437303 SOS 855758 HAS SOPS 842683 HAS SOUS 159439 HAS SOUPS 159079 WITH SCORE 159934.758
AT ITER 9915 NEW BEST:: SOT 1437415 SOS 855870 HAS SOPS 842795 HAS SOUS 159422 HAS SOUPS 159062 WITH SCORE 159917.87
AT ITER 9965 NEW BEST:: SOT 1436717 SOS 855170 HAS SOPS 842095 HAS SOUS 158739 HAS SOUPS 158379 WITH SCORE 159234.17
AT ITER 9980 NEW BEST:: SOT 1436717 SOS 834162 HAS SOPS 821087 HAS SOUS 158739 HAS SOUPS 158379 WITH SCORE 159213.162
AT ITER 9992 NEW BEST:: SOT 1436717 SOS 834162 HAS SOPS 821087 HAS SOUS 158725 HAS SOUPS 158365 WITH SCORE 159199.162
AT ITER 9994 NEW BEST:: SOT 1436677 SOS 834122 HAS SOPS 821047 HAS SOUS 158666 HAS SOUPS 158306 WITH SCORE 159140.122
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8419824 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16104600 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="SafeBus-PT-15"
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 SafeBus-PT-15, 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-167891814000288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-15.tgz
mv SafeBus-PT-15 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 ;