About the Execution of Smart+red for SmartHome-PT-13
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15162.716 | 3600000.00 | 3623503.00 | 7201.20 | [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.r459-smll-167912651000256.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 SmartHome-PT-13, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000256
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 5.6K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 05:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 92K 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 1679268915193
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=SmartHome-PT-13
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 23:35:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 23:35:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 23:35:18] [INFO ] Load time of PNML (sax parser for PT used): 96 ms
[2023-03-19 23:35:18] [INFO ] Transformed 385 places.
[2023-03-19 23:35:18] [INFO ] Transformed 407 transitions.
[2023-03-19 23:35:18] [INFO ] Found NUPN structural information;
[2023-03-19 23:35:18] [INFO ] Parsed PT model containing 385 places and 407 transitions and 935 arcs in 216 ms.
[2023-03-19 23:35:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 385 places, 407 transitions and 935 arcs took 9 ms.
Total runtime 267 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 13
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: 385 places, 407 transitions, 935 arcs.
AT ITER 0 NEW BEST:: SOT 93821 SOS 23023 HAS SOPS 23023 HAS SOUS 22378 HAS SOUPS 22378 WITH SCORE 22401.023
AT ITER 2 NEW BEST:: SOT 93821 SOS 23014 HAS SOPS 23014 HAS SOUS 22369 HAS SOUPS 22369 WITH SCORE 22392.014
AT ITER 5 NEW BEST:: SOT 92435 SOS 22650 HAS SOPS 22650 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21136.65
AT ITER 12 NEW BEST:: SOT 92422 SOS 22637 HAS SOPS 22637 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21136.637
AT ITER 14 NEW BEST:: SOT 92404 SOS 22601 HAS SOPS 22601 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21100.601
AT ITER 19 NEW BEST:: SOT 92397 SOS 22612 HAS SOPS 22612 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21074.612
AT ITER 21 NEW BEST:: SOT 92002 SOS 23855 HAS SOPS 23855 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20961.855
AT ITER 23 NEW BEST:: SOT 92002 SOS 23810 HAS SOPS 23810 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20961.81
AT ITER 48 NEW BEST:: SOT 91344 SOS 24671 HAS SOPS 24671 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20380.671
AT ITER 58 NEW BEST:: SOT 91224 SOS 24370 HAS SOPS 24370 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20210.37
AT ITER 82 NEW BEST:: SOT 91207 SOS 24336 HAS SOPS 24336 HAS SOUS 20152 HAS SOUPS 20152 WITH SCORE 20176.336
AT ITER 85 NEW BEST:: SOT 91202 SOS 24325 HAS SOPS 24325 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20153.325
AT ITER 92 NEW BEST:: SOT 91199 SOS 24322 HAS SOPS 24322 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20153.322
AT ITER 109 NEW BEST:: SOT 91230 SOS 24335 HAS SOPS 24335 HAS SOUS 20099 HAS SOUPS 20099 WITH SCORE 20123.335
AT ITER 121 NEW BEST:: SOT 91229 SOS 24333 HAS SOPS 24333 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20121.333
AT ITER 122 NEW BEST:: SOT 90743 SOS 24694 HAS SOPS 24694 HAS SOUS 19777 HAS SOUPS 19777 WITH SCORE 19801.694
AT ITER 127 NEW BEST:: SOT 90566 SOS 24529 HAS SOPS 24529 HAS SOUS 19614 HAS SOUPS 19614 WITH SCORE 19638.529
AT ITER 129 NEW BEST:: SOT 90566 SOS 24526 HAS SOPS 24526 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19635.526
AT ITER 131 NEW BEST:: SOT 90558 SOS 24510 HAS SOPS 24510 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19627.51
AT ITER 137 NEW BEST:: SOT 90551 SOS 24503 HAS SOPS 24503 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19627.503
AT ITER 148 NEW BEST:: SOT 90552 SOS 24505 HAS SOPS 24505 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19616.505
AT ITER 151 NEW BEST:: SOT 90511 SOS 24464 HAS SOPS 24464 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19616.464
AT ITER 165 NEW BEST:: SOT 90528 SOS 24498 HAS SOPS 24498 HAS SOUS 19588 HAS SOUPS 19588 WITH SCORE 19612.498
AT ITER 174 NEW BEST:: SOT 90490 SOS 24484 HAS SOPS 24484 HAS SOUS 19574 HAS SOUPS 19574 WITH SCORE 19598.484
AT ITER 177 NEW BEST:: SOT 90384 SOS 24360 HAS SOPS 24360 HAS SOUS 19482 HAS SOUPS 19482 WITH SCORE 19506.36
AT ITER 181 NEW BEST:: SOT 90250 SOS 24212 HAS SOPS 24212 HAS SOUS 19351 HAS SOUPS 19351 WITH SCORE 19375.212
AT ITER 182 NEW BEST:: SOT 90246 SOS 24204 HAS SOPS 24204 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19367.204
AT ITER 184 NEW BEST:: SOT 90246 SOS 24179 HAS SOPS 24179 HAS SOUS 19343 HAS SOUPS 19343 WITH SCORE 19367.179
AT ITER 186 NEW BEST:: SOT 90261 SOS 24094 HAS SOPS 24094 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19282.094
AT ITER 192 NEW BEST:: SOT 90168 SOS 23908 HAS SOPS 23908 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19148.908
AT ITER 209 NEW BEST:: SOT 90158 SOS 23888 HAS SOPS 23888 HAS SOUS 19115 HAS SOUPS 19115 WITH SCORE 19138.888
AT ITER 215 NEW BEST:: SOT 89396 SOS 25832 HAS SOPS 25832 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18564.832
AT ITER 218 NEW BEST:: SOT 89311 SOS 25662 HAS SOPS 25662 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18521.662
AT ITER 220 NEW BEST:: SOT 89298 SOS 25636 HAS SOPS 25636 HAS SOUS 18470 HAS SOUPS 18470 WITH SCORE 18495.636
AT ITER 240 NEW BEST:: SOT 89294 SOS 25624 HAS SOPS 25624 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18487.624
AT ITER 253 NEW BEST:: SOT 89302 SOS 25640 HAS SOPS 25640 HAS SOUS 18435 HAS SOUPS 18435 WITH SCORE 18460.64
AT ITER 255 NEW BEST:: SOT 89292 SOS 25636 HAS SOPS 25636 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18450.636
AT ITER 277 NEW BEST:: SOT 89134 SOS 25320 HAS SOPS 25320 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18449.32
AT ITER 282 NEW BEST:: SOT 89133 SOS 25318 HAS SOPS 25318 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18447.318
AT ITER 310 NEW BEST:: SOT 89143 SOS 25312 HAS SOPS 25312 HAS SOUS 18419 HAS SOUPS 18419 WITH SCORE 18444.312
AT ITER 312 NEW BEST:: SOT 89143 SOS 25285 HAS SOPS 25285 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18417.285
AT ITER 314 NEW BEST:: SOT 89143 SOS 25275 HAS SOPS 25275 HAS SOUS 18382 HAS SOUPS 18382 WITH SCORE 18407.275
AT ITER 315 NEW BEST:: SOT 88731 SOS 25193 HAS SOPS 25193 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18039.193
AT ITER 316 NEW BEST:: SOT 88729 SOS 25190 HAS SOPS 25190 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18036.19
AT ITER 325 NEW BEST:: SOT 88729 SOS 25183 HAS SOPS 25183 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18029.183
AT ITER 329 NEW BEST:: SOT 88729 SOS 25127 HAS SOPS 25127 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17973.127
AT ITER 330 NEW BEST:: SOT 88732 SOS 25130 HAS SOPS 25130 HAS SOUS 17940 HAS SOUPS 17940 WITH SCORE 17965.13
AT ITER 355 NEW BEST:: SOT 88584 SOS 24844 HAS SOPS 24844 HAS SOUS 17711 HAS SOUPS 17711 WITH SCORE 17735.844
AT ITER 361 NEW BEST:: SOT 88558 SOS 24818 HAS SOPS 24818 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17709.818
AT ITER 376 NEW BEST:: SOT 88523 SOS 24766 HAS SOPS 24766 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17675.766
AT ITER 395 NEW BEST:: SOT 88519 SOS 24712 HAS SOPS 24712 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17625.712
AT ITER 411 NEW BEST:: SOT 88476 SOS 24574 HAS SOPS 24574 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17530.574
AT ITER 423 NEW BEST:: SOT 88434 SOS 24542 HAS SOPS 24542 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17498.542
AT ITER 438 NEW BEST:: SOT 88412 SOS 24518 HAS SOPS 24518 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17474.518
AT ITER 452 NEW BEST:: SOT 87302 SOS 24108 HAS SOPS 24108 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16619.108
AT ITER 465 NEW BEST:: SOT 87296 SOS 24096 HAS SOPS 24096 HAS SOUS 16580 HAS SOUPS 16580 WITH SCORE 16604.096
AT ITER 478 NEW BEST:: SOT 87256 SOS 24051 HAS SOPS 24051 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16564.051
AT ITER 485 NEW BEST:: SOT 87246 SOS 24087 HAS SOPS 24087 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16544.087
AT ITER 505 NEW BEST:: SOT 86999 SOS 23788 HAS SOPS 23788 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16301.788
AT ITER 507 NEW BEST:: SOT 86899 SOS 23684 HAS SOPS 23684 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16201.684
AT ITER 514 NEW BEST:: SOT 86856 SOS 23635 HAS SOPS 23635 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16195.635
AT ITER 522 NEW BEST:: SOT 86884 SOS 23626 HAS SOPS 23626 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16186.626
AT ITER 559 NEW BEST:: SOT 86889 SOS 23631 HAS SOPS 23631 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16145.631
AT ITER 564 NEW BEST:: SOT 86884 SOS 23626 HAS SOPS 23626 HAS SOUS 16121 HAS SOUPS 16121 WITH SCORE 16144.626
AT ITER 577 NEW BEST:: SOT 86826 SOS 23551 HAS SOPS 23551 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16134.551
AT ITER 617 NEW BEST:: SOT 86803 SOS 23519 HAS SOPS 23519 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16100.519
AT ITER 622 NEW BEST:: SOT 86774 SOS 23428 HAS SOPS 23428 HAS SOUS 16019 HAS SOUPS 16019 WITH SCORE 16042.428
AT ITER 671 NEW BEST:: SOT 86752 SOS 23384 HAS SOPS 23384 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16025.384
AT ITER 695 NEW BEST:: SOT 86684 SOS 23320 HAS SOPS 23320 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15961.32
AT ITER 697 NEW BEST:: SOT 86640 SOS 23232 HAS SOPS 23232 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15935.232
AT ITER 717 NEW BEST:: SOT 86607 SOS 23198 HAS SOPS 23198 HAS SOUS 15911 HAS SOUPS 15911 WITH SCORE 15934.198
AT ITER 723 NEW BEST:: SOT 86591 SOS 23166 HAS SOPS 23166 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15902.166
AT ITER 747 NEW BEST:: SOT 86447 SOS 23320 HAS SOPS 23320 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15814.32
AT ITER 751 NEW BEST:: SOT 86440 SOS 23313 HAS SOPS 23313 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15807.313
AT ITER 784 NEW BEST:: SOT 86435 SOS 23303 HAS SOPS 23303 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15797.303
AT ITER 802 NEW BEST:: SOT 86400 SOS 23233 HAS SOPS 23233 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15774.233
AT ITER 805 NEW BEST:: SOT 86278 SOS 22989 HAS SOPS 22989 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15657.989
AT ITER 811 NEW BEST:: SOT 86278 SOS 22973 HAS SOPS 22973 HAS SOUS 15635 HAS SOUPS 15635 WITH SCORE 15657.973
AT ITER 812 NEW BEST:: SOT 86278 SOS 22973 HAS SOPS 22973 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15643.973
AT ITER 817 NEW BEST:: SOT 86250 SOS 22917 HAS SOPS 22917 HAS SOUS 15545 HAS SOUPS 15545 WITH SCORE 15567.917
AT ITER 820 NEW BEST:: SOT 86228 SOS 23209 HAS SOPS 23209 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15546.209
AT ITER 829 NEW BEST:: SOT 86215 SOS 23183 HAS SOPS 23183 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15520.183
AT ITER 832 NEW BEST:: SOT 86313 SOS 22106 HAS SOPS 22106 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15520.106
AT ITER 841 NEW BEST:: SOT 86275 SOS 22150 HAS SOPS 22150 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15480.15
AT ITER 852 NEW BEST:: SOT 86246 SOS 22092 HAS SOPS 22092 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15451.092
AT ITER 855 NEW BEST:: SOT 86235 SOS 22087 HAS SOPS 22087 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15440.087
AT ITER 869 NEW BEST:: SOT 86223 SOS 22075 HAS SOPS 22075 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15428.075
AT ITER 880 NEW BEST:: SOT 86222 SOS 22063 HAS SOPS 22063 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15416.063
AT ITER 882 NEW BEST:: SOT 86130 SOS 21879 HAS SOPS 21879 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15351.879
AT ITER 901 NEW BEST:: SOT 86130 SOS 21879 HAS SOPS 21879 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15345.879
AT ITER 913 NEW BEST:: SOT 86108 SOS 21197 HAS SOPS 21197 HAS SOUS 15292 HAS SOUPS 15292 WITH SCORE 15313.197
AT ITER 944 NEW BEST:: SOT 86105 SOS 21194 HAS SOPS 21194 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15310.194
AT ITER 946 NEW BEST:: SOT 86096 SOS 21176 HAS SOPS 21176 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15287.176
AT ITER 961 NEW BEST:: SOT 86095 SOS 21174 HAS SOPS 21174 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15285.174
AT ITER 969 NEW BEST:: SOT 86117 SOS 21043 HAS SOPS 21043 HAS SOUS 15197 HAS SOUPS 15197 WITH SCORE 15218.043
AT ITER 984 NEW BEST:: SOT 86132 SOS 20996 HAS SOPS 20996 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15203.996
AT ITER 986 NEW BEST:: SOT 86106 SOS 20944 HAS SOPS 20944 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15151.944
AT ITER 995 NEW BEST:: SOT 86095 SOS 20978 HAS SOPS 20978 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15129.978
AT ITER 1057 NEW BEST:: SOT 86012 SOS 20972 HAS SOPS 20972 HAS SOUS 15103 HAS SOUPS 15103 WITH SCORE 15123.972
AT ITER 1100 NEW BEST:: SOT 85988 SOS 20924 HAS SOPS 20924 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15075.924
AT ITER 1108 NEW BEST:: SOT 85961 SOS 20870 HAS SOPS 20870 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14916.87
AT ITER 1123 NEW BEST:: SOT 85958 SOS 20861 HAS SOPS 20861 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14910.861
AT ITER 1134 NEW BEST:: SOT 85932 SOS 20822 HAS SOPS 20822 HAS SOUS 14864 HAS SOUPS 14864 WITH SCORE 14884.822
AT ITER 1214 NEW BEST:: SOT 85843 SOS 20733 HAS SOPS 20733 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14875.733
AT ITER 1217 NEW BEST:: SOT 85832 SOS 20625 HAS SOPS 20625 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14861.625
AT ITER 1230 NEW BEST:: SOT 85819 SOS 20612 HAS SOPS 20612 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14861.612
AT ITER 1235 NEW BEST:: SOT 85801 SOS 20594 HAS SOPS 20594 HAS SOUS 14814 HAS SOUPS 14814 WITH SCORE 14834.594
AT ITER 1242 NEW BEST:: SOT 85594 SOS 20981 HAS SOPS 20981 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14690.981
AT ITER 1250 NEW BEST:: SOT 85589 SOS 20976 HAS SOPS 20976 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14582.976
AT ITER 1274 NEW BEST:: SOT 85437 SOS 20825 HAS SOPS 20825 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14533.825
AT ITER 1275 NEW BEST:: SOT 85427 SOS 20805 HAS SOPS 20805 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14513.805
AT ITER 1292 NEW BEST:: SOT 85426 SOS 20803 HAS SOPS 20803 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14511.803
AT ITER 1308 NEW BEST:: SOT 85228 SOS 20659 HAS SOPS 20659 HAS SOUS 14448 HAS SOUPS 14448 WITH SCORE 14468.659
AT ITER 1338 NEW BEST:: SOT 85228 SOS 20653 HAS SOPS 20653 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14462.653
AT ITER 1392 NEW BEST:: SOT 85224 SOS 20641 HAS SOPS 20641 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14454.641
AT ITER 1400 NEW BEST:: SOT 85224 SOS 20641 HAS SOPS 20641 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14453.641
AT ITER 1415 NEW BEST:: SOT 85214 SOS 20592 HAS SOPS 20592 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14433.592
AT ITER 1424 NEW BEST:: SOT 85219 SOS 20579 HAS SOPS 20579 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14427.579
AT ITER 1465 NEW BEST:: SOT 85209 SOS 20525 HAS SOPS 20525 HAS SOUS 14397 HAS SOUPS 14397 WITH SCORE 14417.525
AT ITER 1469 NEW BEST:: SOT 85155 SOS 20438 HAS SOPS 20438 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14368.438
AT ITER 1476 NEW BEST:: SOT 85153 SOS 20433 HAS SOPS 20433 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14366.433
AT ITER 1509 NEW BEST:: SOT 85154 SOS 20414 HAS SOPS 20414 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14316.414
AT ITER 1510 NEW BEST:: SOT 85136 SOS 20378 HAS SOPS 20378 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14280.378
AT ITER 1539 NEW BEST:: SOT 85096 SOS 20522 HAS SOPS 20522 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14240.522
AT ITER 1603 NEW BEST:: SOT 85096 SOS 20508 HAS SOPS 20508 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14240.508
AT ITER 1605 NEW BEST:: SOT 85093 SOS 20501 HAS SOPS 20501 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14234.501
AT ITER 1616 NEW BEST:: SOT 85072 SOS 20459 HAS SOPS 20459 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14192.459
AT ITER 1623 NEW BEST:: SOT 85107 SOS 20510 HAS SOPS 20510 HAS SOUS 14164 HAS SOUPS 14164 WITH SCORE 14184.51
AT ITER 1627 NEW BEST:: SOT 85114 SOS 20524 HAS SOPS 20524 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14179.524
AT ITER 1642 NEW BEST:: SOT 85111 SOS 20495 HAS SOPS 20495 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14153.495
AT ITER 1678 NEW BEST:: SOT 85090 SOS 20467 HAS SOPS 20467 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14139.467
AT ITER 1679 NEW BEST:: SOT 85079 SOS 20434 HAS SOPS 20434 HAS SOUS 14097 HAS SOUPS 14097 WITH SCORE 14117.434
AT ITER 1692 NEW BEST:: SOT 85051 SOS 20419 HAS SOPS 20419 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14102.419
AT ITER 1703 NEW BEST:: SOT 84907 SOS 20218 HAS SOPS 20218 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13901.218
AT ITER 1709 NEW BEST:: SOT 84900 SOS 20204 HAS SOPS 20204 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13887.204
AT ITER 1746 NEW BEST:: SOT 84876 SOS 20156 HAS SOPS 20156 HAS SOUS 13859 HAS SOUPS 13859 WITH SCORE 13879.156
AT ITER 1748 NEW BEST:: SOT 84846 SOS 20128 HAS SOPS 20128 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13851.128
AT ITER 1752 NEW BEST:: SOT 84839 SOS 20114 HAS SOPS 20114 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13851.114
AT ITER 1769 NEW BEST:: SOT 84832 SOS 19983 HAS SOPS 19983 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13834.983
AT ITER 1770 NEW BEST:: SOT 84812 SOS 19911 HAS SOPS 19911 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13821.911
AT ITER 1772 NEW BEST:: SOT 84768 SOS 19867 HAS SOPS 19867 HAS SOUS 13758 HAS SOUPS 13758 WITH SCORE 13777.867
AT ITER 1775 NEW BEST:: SOT 84763 SOS 19857 HAS SOPS 19857 HAS SOUS 13748 HAS SOUPS 13748 WITH SCORE 13767.857
AT ITER 1789 NEW BEST:: SOT 84763 SOS 19857 HAS SOPS 19857 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13753.857
AT ITER 1794 NEW BEST:: SOT 84733 SOS 19825 HAS SOPS 19825 HAS SOUS 13704 HAS SOUPS 13704 WITH SCORE 13723.825
AT ITER 1799 NEW BEST:: SOT 84727 SOS 19818 HAS SOPS 19818 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13712.818
AT ITER 1804 NEW BEST:: SOT 84727 SOS 19799 HAS SOPS 19799 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13712.799
AT ITER 1820 NEW BEST:: SOT 84653 SOS 19751 HAS SOPS 19751 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13693.751
AT ITER 1832 NEW BEST:: SOT 84653 SOS 19679 HAS SOPS 19679 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13693.679
AT ITER 1838 NEW BEST:: SOT 84642 SOS 19666 HAS SOPS 19666 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13680.666
AT ITER 1847 NEW BEST:: SOT 84648 SOS 19636 HAS SOPS 19636 HAS SOUS 13646 HAS SOUPS 13646 WITH SCORE 13665.636
AT ITER 1848 NEW BEST:: SOT 84648 SOS 19636 HAS SOPS 19636 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13656.636
AT ITER 1867 NEW BEST:: SOT 84658 SOS 19702 HAS SOPS 19702 HAS SOUS 13635 HAS SOUPS 13635 WITH SCORE 13654.702
AT ITER 1872 NEW BEST:: SOT 84694 SOS 19723 HAS SOPS 19723 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13586.723
AT ITER 1881 NEW BEST:: SOT 84756 SOS 19697 HAS SOPS 19697 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13560.697
AT ITER 1903 NEW BEST:: SOT 84748 SOS 19681 HAS SOPS 19681 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13544.681
AT ITER 1908 NEW BEST:: SOT 84764 SOS 19713 HAS SOPS 19713 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13535.713
AT ITER 1910 NEW BEST:: SOT 84758 SOS 19701 HAS SOPS 19701 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13505.701
AT ITER 1980 NEW BEST:: SOT 84726 SOS 19637 HAS SOPS 19637 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13441.637
AT ITER 1996 NEW BEST:: SOT 84726 SOS 19616 HAS SOPS 19616 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13441.616
AT ITER 2007 NEW BEST:: SOT 84708 SOS 19580 HAS SOPS 19580 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13405.58
AT ITER 2037 NEW BEST:: SOT 84695 SOS 19554 HAS SOPS 19554 HAS SOUS 13373 HAS SOUPS 13373 WITH SCORE 13392.554
AT ITER 2040 NEW BEST:: SOT 84678 SOS 19537 HAS SOPS 19537 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13375.537
AT ITER 2070 NEW BEST:: SOT 84688 SOS 19531 HAS SOPS 19531 HAS SOUS 13321 HAS SOUPS 13321 WITH SCORE 13340.531
AT ITER 2075 NEW BEST:: SOT 84614 SOS 19457 HAS SOPS 19457 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13339.457
AT ITER 2078 NEW BEST:: SOT 84582 SOS 19393 HAS SOPS 19393 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13275.393
AT ITER 2108 NEW BEST:: SOT 84571 SOS 19358 HAS SOPS 19358 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13257.358
AT ITER 2122 NEW BEST:: SOT 84571 SOS 19356 HAS SOPS 19356 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13255.356
AT ITER 2152 NEW BEST:: SOT 84560 SOS 19334 HAS SOPS 19334 HAS SOUS 13228 HAS SOUPS 13228 WITH SCORE 13247.334
AT ITER 2153 NEW BEST:: SOT 84554 SOS 19322 HAS SOPS 19322 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13235.322
AT ITER 2167 NEW BEST:: SOT 84553 SOS 19320 HAS SOPS 19320 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13233.32
AT ITER 2172 NEW BEST:: SOT 84533 SOS 19280 HAS SOPS 19280 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13213.28
AT ITER 2194 NEW BEST:: SOT 84524 SOS 19252 HAS SOPS 19252 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13194.252
AT ITER 2200 NEW BEST:: SOT 84521 SOS 19246 HAS SOPS 19246 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13188.246
AT ITER 2205 NEW BEST:: SOT 84429 SOS 19191 HAS SOPS 19191 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13133.191
AT ITER 2213 NEW BEST:: SOT 84414 SOS 19161 HAS SOPS 19161 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13103.161
AT ITER 2240 NEW BEST:: SOT 84386 SOS 18997 HAS SOPS 18997 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12970.997
AT ITER 2249 NEW BEST:: SOT 84376 SOS 18977 HAS SOPS 18977 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12950.977
AT ITER 2259 NEW BEST:: SOT 84372 SOS 18969 HAS SOPS 18969 HAS SOUS 12924 HAS SOUPS 12924 WITH SCORE 12942.969
AT ITER 2297 NEW BEST:: SOT 84372 SOS 18937 HAS SOPS 18937 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12910.937
AT ITER 2303 NEW BEST:: SOT 84372 SOS 18937 HAS SOPS 18937 HAS SOUS 12885 HAS SOUPS 12885 WITH SCORE 12903.937
AT ITER 2318 NEW BEST:: SOT 84350 SOS 18893 HAS SOPS 18893 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12881.893
AT ITER 2330 NEW BEST:: SOT 84308 SOS 18841 HAS SOPS 18841 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12829.841
AT ITER 2338 NEW BEST:: SOT 84299 SOS 18823 HAS SOPS 18823 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12820.823
AT ITER 2346 NEW BEST:: SOT 84295 SOS 18815 HAS SOPS 18815 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12816.815
AT ITER 2356 NEW BEST:: SOT 84256 SOS 18737 HAS SOPS 18737 HAS SOUS 12759 HAS SOUPS 12759 WITH SCORE 12777.737
AT ITER 2363 NEW BEST:: SOT 84251 SOS 18727 HAS SOPS 18727 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12767.727
AT ITER 2407 NEW BEST:: SOT 84237 SOS 18708 HAS SOPS 18708 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12745.708
AT ITER 2436 NEW BEST:: SOT 84236 SOS 18706 HAS SOPS 18706 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12743.706
AT ITER 2440 NEW BEST:: SOT 84226 SOS 18696 HAS SOPS 18696 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12733.696
AT ITER 2458 NEW BEST:: SOT 84247 SOS 18400 HAS SOPS 18400 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12732.4
AT ITER 2471 NEW BEST:: SOT 84247 SOS 18392 HAS SOPS 18392 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12732.392
AT ITER 2521 NEW BEST:: SOT 84234 SOS 18366 HAS SOPS 18366 HAS SOUS 12699 HAS SOUPS 12699 WITH SCORE 12717.366
AT ITER 2532 NEW BEST:: SOT 84219 SOS 18364 HAS SOPS 18364 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12702.364
AT ITER 2533 NEW BEST:: SOT 84221 SOS 18357 HAS SOPS 18357 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12695.357
AT ITER 2547 NEW BEST:: SOT 84217 SOS 18349 HAS SOPS 18349 HAS SOUS 12673 HAS SOUPS 12673 WITH SCORE 12691.349
AT ITER 2551 NEW BEST:: SOT 84203 SOS 18321 HAS SOPS 18321 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12663.321
AT ITER 2555 NEW BEST:: SOT 84184 SOS 18305 HAS SOPS 18305 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12618.305
AT ITER 2559 NEW BEST:: SOT 84168 SOS 18273 HAS SOPS 18273 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12602.273
AT ITER 2585 NEW BEST:: SOT 84157 SOS 18271 HAS SOPS 18271 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12600.271
AT ITER 2616 NEW BEST:: SOT 84085 SOS 18271 HAS SOPS 18271 HAS SOUS 12562 HAS SOUPS 12562 WITH SCORE 12580.271
AT ITER 2621 NEW BEST:: SOT 84029 SOS 18215 HAS SOPS 18215 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12552.215
AT ITER 2636 NEW BEST:: SOT 84014 SOS 18185 HAS SOPS 18185 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12517.185
AT ITER 2745 NEW BEST:: SOT 84014 SOS 18172 HAS SOPS 18172 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12517.172
AT ITER 2746 NEW BEST:: SOT 84031 SOS 18206 HAS SOPS 18206 HAS SOUS 12495 HAS SOUPS 12495 WITH SCORE 12513.206
AT ITER 2786 NEW BEST:: SOT 84023 SOS 18198 HAS SOPS 18198 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12509.198
AT ITER 2789 NEW BEST:: SOT 84022 SOS 18197 HAS SOPS 18197 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12508.197
AT ITER 2804 NEW BEST:: SOT 84002 SOS 18177 HAS SOPS 18177 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12499.177
AT ITER 2818 NEW BEST:: SOT 83999 SOS 18174 HAS SOPS 18174 HAS SOUS 12478 HAS SOUPS 12478 WITH SCORE 12496.174
AT ITER 2835 NEW BEST:: SOT 83965 SOS 18106 HAS SOPS 18106 HAS SOUS 12449 HAS SOUPS 12449 WITH SCORE 12467.106
AT ITER 2855 NEW BEST:: SOT 83948 SOS 18072 HAS SOPS 18072 HAS SOUS 12433 HAS SOUPS 12433 WITH SCORE 12451.072
AT ITER 2908 NEW BEST:: SOT 83928 SOS 18058 HAS SOPS 18058 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12437.058
AT ITER 2919 NEW BEST:: SOT 83921 SOS 18044 HAS SOPS 18044 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12430.044
AT ITER 2926 NEW BEST:: SOT 83893 SOS 17988 HAS SOPS 17988 HAS SOUS 12384 HAS SOUPS 12384 WITH SCORE 12401.988
AT ITER 2989 NEW BEST:: SOT 83893 SOS 17985 HAS SOPS 17985 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12398.985
AT ITER 2990 NEW BEST:: SOT 83877 SOS 17969 HAS SOPS 17969 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12398.969
AT ITER 3029 NEW BEST:: SOT 83875 SOS 17965 HAS SOPS 17965 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12395.965
AT ITER 3067 NEW BEST:: SOT 83875 SOS 17965 HAS SOPS 17965 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12389.965
AT ITER 3079 NEW BEST:: SOT 83874 SOS 17963 HAS SOPS 17963 HAS SOUS 12370 HAS SOUPS 12370 WITH SCORE 12387.963
AT ITER 3110 NEW BEST:: SOT 83862 SOS 17951 HAS SOPS 17951 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12353.951
AT ITER 3114 NEW BEST:: SOT 83863 SOS 17939 HAS SOPS 17939 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12341.939
AT ITER 3138 NEW BEST:: SOT 83860 SOS 17936 HAS SOPS 17936 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12335.936
AT ITER 3154 NEW BEST:: SOT 83857 SOS 17916 HAS SOPS 17916 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12329.916
AT ITER 3157 NEW BEST:: SOT 83856 SOS 17914 HAS SOPS 17914 HAS SOUS 12311 HAS SOUPS 12311 WITH SCORE 12328.914
AT ITER 3167 NEW BEST:: SOT 83806 SOS 18288 HAS SOPS 18288 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12322.288
AT ITER 3192 NEW BEST:: SOT 83730 SOS 18136 HAS SOPS 18136 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12290.136
AT ITER 3194 NEW BEST:: SOT 83729 SOS 18134 HAS SOPS 18134 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12288.134
AT ITER 3218 NEW BEST:: SOT 83715 SOS 18106 HAS SOPS 18106 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12288.106
AT ITER 3233 NEW BEST:: SOT 83683 SOS 18073 HAS SOPS 18073 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12255.073
AT ITER 3238 NEW BEST:: SOT 83683 SOS 18064 HAS SOPS 18064 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12246.064
AT ITER 3295 NEW BEST:: SOT 83683 SOS 18064 HAS SOPS 18064 HAS SOUS 12222 HAS SOUPS 12222 WITH SCORE 12240.064
AT ITER 3299 NEW BEST:: SOT 83679 SOS 18044 HAS SOPS 18044 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12232.044
AT ITER 3364 NEW BEST:: SOT 83679 SOS 18044 HAS SOPS 18044 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12228.044
AT ITER 3380 NEW BEST:: SOT 83623 SOS 18531 HAS SOPS 18531 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12201.531
AT ITER 3387 NEW BEST:: SOT 83603 SOS 18491 HAS SOPS 18491 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12161.491
AT ITER 3416 NEW BEST:: SOT 83574 SOS 18472 HAS SOPS 18472 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12132.472
AT ITER 3417 NEW BEST:: SOT 83580 SOS 18468 HAS SOPS 18468 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12130.468
AT ITER 3426 NEW BEST:: SOT 83565 SOS 18438 HAS SOPS 18438 HAS SOUS 12082 HAS SOUPS 12082 WITH SCORE 12100.438
AT ITER 3517 NEW BEST:: SOT 83561 SOS 18434 HAS SOPS 18434 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12092.434
AT ITER 3528 NEW BEST:: SOT 83556 SOS 18409 HAS SOPS 18409 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12077.409
AT ITER 3559 NEW BEST:: SOT 83513 SOS 18366 HAS SOPS 18366 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12034.366
AT ITER 3567 NEW BEST:: SOT 83520 SOS 18356 HAS SOPS 18356 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12029.356
AT ITER 3578 NEW BEST:: SOT 83526 SOS 18368 HAS SOPS 18368 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11962.368
AT ITER 3635 NEW BEST:: SOT 83523 SOS 18362 HAS SOPS 18362 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11956.362
AT ITER 3639 NEW BEST:: SOT 83509 SOS 18350 HAS SOPS 18350 HAS SOUS 11934 HAS SOUPS 11934 WITH SCORE 11952.35
AT ITER 3643 NEW BEST:: SOT 83476 SOS 18314 HAS SOPS 18314 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11916.314
AT ITER 3644 NEW BEST:: SOT 83456 SOS 18274 HAS SOPS 18274 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11891.274
AT ITER 3666 NEW BEST:: SOT 83448 SOS 18254 HAS SOPS 18254 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11881.254
AT ITER 3749 NEW BEST:: SOT 83373 SOS 18197 HAS SOPS 18197 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11848.197
AT ITER 3766 NEW BEST:: SOT 83388 SOS 18196 HAS SOPS 18196 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11847.196
AT ITER 3770 NEW BEST:: SOT 83392 SOS 18204 HAS SOPS 18204 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11833.204
AT ITER 3778 NEW BEST:: SOT 83268 SOS 18045 HAS SOPS 18045 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11771.045
AT ITER 3793 NEW BEST:: SOT 83265 SOS 18039 HAS SOPS 18039 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11764.039
AT ITER 3802 NEW BEST:: SOT 83207 SOS 17981 HAS SOPS 17981 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11705.981
AT ITER 3803 NEW BEST:: SOT 83191 SOS 17949 HAS SOPS 17949 HAS SOUS 11665 HAS SOUPS 11665 WITH SCORE 11682.949
AT ITER 3836 NEW BEST:: SOT 83182 SOS 17931 HAS SOPS 17931 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11664.931
AT ITER 3838 NEW BEST:: SOT 83202 SOS 17930 HAS SOPS 17930 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11663.93
AT ITER 3848 NEW BEST:: SOT 83196 SOS 17912 HAS SOPS 17912 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11651.912
AT ITER 3914 NEW BEST:: SOT 83135 SOS 17720 HAS SOPS 17720 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11583.72
AT ITER 3917 NEW BEST:: SOT 83131 SOS 17712 HAS SOPS 17712 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11579.712
AT ITER 3948 NEW BEST:: SOT 83131 SOS 17701 HAS SOPS 17701 HAS SOUS 11551 HAS SOUPS 11551 WITH SCORE 11568.701
AT ITER 3995 NEW BEST:: SOT 83084 SOS 17636 HAS SOPS 17636 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11501.636
AT ITER 4010 NEW BEST:: SOT 83079 SOS 17626 HAS SOPS 17626 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11496.626
AT ITER 4026 NEW BEST:: SOT 83082 SOS 17612 HAS SOPS 17612 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11482.612
AT ITER 4035 NEW BEST:: SOT 83088 SOS 17600 HAS SOPS 17600 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11476.6
AT ITER 4038 NEW BEST:: SOT 83089 SOS 17476 HAS SOPS 17476 HAS SOUS 11451 HAS SOUPS 11451 WITH SCORE 11468.476
AT ITER 4053 NEW BEST:: SOT 83089 SOS 17410 HAS SOPS 17410 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11402.41
AT ITER 4077 NEW BEST:: SOT 83073 SOS 17714 HAS SOPS 17714 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11386.714
AT ITER 4084 NEW BEST:: SOT 83072 SOS 17712 HAS SOPS 17712 HAS SOUS 11367 HAS SOUPS 11367 WITH SCORE 11384.712
AT ITER 4093 NEW BEST:: SOT 83066 SOS 17910 HAS SOPS 17910 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11378.91
AT ITER 4121 NEW BEST:: SOT 83072 SOS 17900 HAS SOPS 17900 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11368.9
AT ITER 4191 NEW BEST:: SOT 83068 SOS 17892 HAS SOPS 17892 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11364.892
AT ITER 4223 NEW BEST:: SOT 83047 SOS 17850 HAS SOPS 17850 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11322.85
AT ITER 4225 NEW BEST:: SOT 82959 SOS 17762 HAS SOPS 17762 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11322.762
AT ITER 4240 NEW BEST:: SOT 82944 SOS 17732 HAS SOPS 17732 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11286.732
AT ITER 4346 NEW BEST:: SOT 82914 SOS 17672 HAS SOPS 17672 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11226.672
AT ITER 4368 NEW BEST:: SOT 82885 SOS 17628 HAS SOPS 17628 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11196.628
AT ITER 4415 NEW BEST:: SOT 82840 SOS 17538 HAS SOPS 17538 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11151.538
AT ITER 4428 NEW BEST:: SOT 82852 SOS 17530 HAS SOPS 17530 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11143.53
AT ITER 4445 NEW BEST:: SOT 82848 SOS 17526 HAS SOPS 17526 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11139.526
AT ITER 4466 NEW BEST:: SOT 82835 SOS 17500 HAS SOPS 17500 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11119.5
AT ITER 4501 NEW BEST:: SOT 82817 SOS 17464 HAS SOPS 17464 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11101.464
AT ITER 4574 NEW BEST:: SOT 82824 SOS 17465 HAS SOPS 17465 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11095.465
AT ITER 4621 NEW BEST:: SOT 82818 SOS 17453 HAS SOPS 17453 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11083.453
AT ITER 4755 NEW BEST:: SOT 82786 SOS 17389 HAS SOPS 17389 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11039.389
AT ITER 4808 NEW BEST:: SOT 82785 SOS 17388 HAS SOPS 17388 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11038.388
AT ITER 4814 NEW BEST:: SOT 82788 SOS 17381 HAS SOPS 17381 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11038.381
AT ITER 4823 NEW BEST:: SOT 82758 SOS 17469 HAS SOPS 17469 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11008.469
AT ITER 4894 NEW BEST:: SOT 82752 SOS 17474 HAS SOPS 17474 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 11001.474
AT ITER 4916 NEW BEST:: SOT 82737 SOS 17444 HAS SOPS 17444 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10991.444
AT ITER 4919 NEW BEST:: SOT 82608 SOS 17186 HAS SOPS 17186 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10867.186
AT ITER 4927 NEW BEST:: SOT 82595 SOS 17173 HAS SOPS 17173 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10867.173
AT ITER 4931 NEW BEST:: SOT 82587 SOS 17157 HAS SOPS 17157 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10855.157
AT ITER 4968 NEW BEST:: SOT 82589 SOS 17127 HAS SOPS 17127 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10852.127
AT ITER 5048 NEW BEST:: SOT 82581 SOS 17111 HAS SOPS 17111 HAS SOUS 10831 HAS SOUPS 10831 WITH SCORE 10848.111
AT ITER 5108 NEW BEST:: SOT 82492 SOS 17027 HAS SOPS 17027 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10806.027
AT ITER 5142 NEW BEST:: SOT 82482 SOS 17007 HAS SOPS 17007 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10776.007
AT ITER 5168 NEW BEST:: SOT 82473 SOS 16989 HAS SOPS 16989 HAS SOUS 10750 HAS SOUPS 10750 WITH SCORE 10766.989
AT ITER 5240 NEW BEST:: SOT 82473 SOS 16988 HAS SOPS 16988 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10765.988
AT ITER 5262 NEW BEST:: SOT 82471 SOS 16984 HAS SOPS 16984 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10763.984
AT ITER 5296 NEW BEST:: SOT 82470 SOS 16837 HAS SOPS 16837 HAS SOUS 10745 HAS SOUPS 10745 WITH SCORE 10761.837
AT ITER 5349 NEW BEST:: SOT 82461 SOS 16829 HAS SOPS 16829 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10753.829
AT ITER 5380 NEW BEST:: SOT 82444 SOS 16795 HAS SOPS 16795 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10722.795
AT ITER 5419 NEW BEST:: SOT 82432 SOS 16771 HAS SOPS 16771 HAS SOUS 10680 HAS SOUPS 10680 WITH SCORE 10696.771
AT ITER 5422 NEW BEST:: SOT 82414 SOS 16754 HAS SOPS 16754 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10679.754
AT ITER 5466 NEW BEST:: SOT 82414 SOS 16744 HAS SOPS 16744 HAS SOUS 10660 HAS SOUPS 10660 WITH SCORE 10676.744
AT ITER 5489 NEW BEST:: SOT 82408 SOS 16732 HAS SOPS 16732 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10670.732
AT ITER 5541 NEW BEST:: SOT 82381 SOS 16678 HAS SOPS 16678 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10643.678
AT ITER 5562 NEW BEST:: SOT 82381 SOS 16674 HAS SOPS 16674 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10642.674
AT ITER 5566 NEW BEST:: SOT 82363 SOS 16670 HAS SOPS 16670 HAS SOUS 10622 HAS SOUPS 10622 WITH SCORE 10638.67
AT ITER 5577 NEW BEST:: SOT 82355 SOS 16662 HAS SOPS 16662 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10620.662
AT ITER 5642 NEW BEST:: SOT 82339 SOS 16630 HAS SOPS 16630 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10591.63
AT ITER 5658 NEW BEST:: SOT 82330 SOS 16603 HAS SOPS 16603 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10573.603
AT ITER 5685 NEW BEST:: SOT 82331 SOS 16605 HAS SOPS 16605 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10565.605
AT ITER 5687 NEW BEST:: SOT 82329 SOS 16601 HAS SOPS 16601 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10561.601
AT ITER 5775 NEW BEST:: SOT 82323 SOS 16593 HAS SOPS 16593 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10557.593
AT ITER 5806 NEW BEST:: SOT 82321 SOS 16589 HAS SOPS 16589 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10553.589
AT ITER 5908 NEW BEST:: SOT 82319 SOS 16587 HAS SOPS 16587 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10551.587
AT ITER 5917 NEW BEST:: SOT 82315 SOS 16579 HAS SOPS 16579 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10543.579
AT ITER 5962 NEW BEST:: SOT 82307 SOS 16571 HAS SOPS 16571 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10535.571
AT ITER 5977 NEW BEST:: SOT 82314 SOS 16561 HAS SOPS 16561 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10518.561
AT ITER 6023 NEW BEST:: SOT 82311 SOS 16558 HAS SOPS 16558 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10515.558
AT ITER 6053 NEW BEST:: SOT 82329 SOS 16557 HAS SOPS 16557 HAS SOUS 10493 HAS SOUPS 10493 WITH SCORE 10509.557
AT ITER 6130 NEW BEST:: SOT 82329 SOS 16542 HAS SOPS 16542 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10494.542
AT ITER 6138 NEW BEST:: SOT 82327 SOS 16579 HAS SOPS 16579 HAS SOUS 10474 HAS SOUPS 10474 WITH SCORE 10490.579
AT ITER 6185 NEW BEST:: SOT 82322 SOS 16569 HAS SOPS 16569 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10481.569
AT ITER 6206 NEW BEST:: SOT 82316 SOS 16557 HAS SOPS 16557 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10472.557
AT ITER 6230 NEW BEST:: SOT 82316 SOS 16569 HAS SOPS 16569 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10464.569
AT ITER 6252 NEW BEST:: SOT 82316 SOS 16547 HAS SOPS 16547 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10453.547
AT ITER 6326 NEW BEST:: SOT 82327 SOS 16531 HAS SOPS 16531 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10453.531
AT ITER 6360 NEW BEST:: SOT 82321 SOS 16525 HAS SOPS 16525 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10447.525
AT ITER 6385 NEW BEST:: SOT 82304 SOS 16518 HAS SOPS 16518 HAS SOUS 10424 HAS SOUPS 10424 WITH SCORE 10440.518
AT ITER 6521 NEW BEST:: SOT 82283 SOS 16497 HAS SOPS 16497 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10418.497
AT ITER 6555 NEW BEST:: SOT 82264 SOS 16470 HAS SOPS 16470 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10401.47
AT ITER 6596 NEW BEST:: SOT 82256 SOS 16454 HAS SOPS 16454 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10393.454
AT ITER 6608 NEW BEST:: SOT 82238 SOS 16436 HAS SOPS 16436 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10375.436
AT ITER 6631 NEW BEST:: SOT 82234 SOS 16428 HAS SOPS 16428 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10374.428
AT ITER 6669 NEW BEST:: SOT 82234 SOS 16428 HAS SOPS 16428 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10372.428
AT ITER 6680 NEW BEST:: SOT 82222 SOS 16404 HAS SOPS 16404 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10360.404
AT ITER 6699 NEW BEST:: SOT 82213 SOS 16374 HAS SOPS 16374 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10342.374
AT ITER 6743 NEW BEST:: SOT 82211 SOS 16372 HAS SOPS 16372 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10342.372
AT ITER 6773 NEW BEST:: SOT 82177 SOS 16338 HAS SOPS 16338 HAS SOUS 10283 HAS SOUPS 10283 WITH SCORE 10299.338
AT ITER 6821 NEW BEST:: SOT 82132 SOS 16862 HAS SOPS 16862 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10298.862
AT ITER 6835 NEW BEST:: SOT 82132 SOS 16862 HAS SOPS 16862 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10297.862
AT ITER 6917 NEW BEST:: SOT 82178 SOS 16905 HAS SOPS 16905 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10295.905
AT ITER 6930 NEW BEST:: SOT 82176 SOS 16914 HAS SOPS 16914 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10294.914
AT ITER 6932 NEW BEST:: SOT 82182 SOS 16926 HAS SOPS 16926 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10251.926
AT ITER 6947 NEW BEST:: SOT 82175 SOS 16912 HAS SOPS 16912 HAS SOUS 10228 HAS SOUPS 10228 WITH SCORE 10244.912
AT ITER 6975 NEW BEST:: SOT 82175 SOS 16888 HAS SOPS 16888 HAS SOUS 10228 HAS SOUPS 10228 WITH SCORE 10244.888
AT ITER 7123 NEW BEST:: SOT 82141 SOS 16820 HAS SOPS 16820 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10224.82
AT ITER 7246 NEW BEST:: SOT 82125 SOS 16804 HAS SOPS 16804 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10208.804
AT ITER 7251 NEW BEST:: SOT 82126 SOS 16803 HAS SOPS 16803 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10207.803
AT ITER 7281 NEW BEST:: SOT 82129 SOS 16777 HAS SOPS 16777 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10204.777
AT ITER 7283 NEW BEST:: SOT 82126 SOS 16771 HAS SOPS 16771 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10198.771
AT ITER 7365 NEW BEST:: SOT 82125 SOS 16770 HAS SOPS 16770 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10197.77
AT ITER 7399 NEW BEST:: SOT 82124 SOS 16756 HAS SOPS 16756 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10190.756
AT ITER 7415 NEW BEST:: SOT 82121 SOS 16764 HAS SOPS 16764 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10188.764
AT ITER 7416 NEW BEST:: SOT 82121 SOS 16764 HAS SOPS 16764 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10171.764
AT ITER 7438 NEW BEST:: SOT 82124 SOS 16763 HAS SOPS 16763 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10170.763
AT ITER 7462 NEW BEST:: SOT 82109 SOS 16711 HAS SOPS 16711 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10140.711
AT ITER 7534 NEW BEST:: SOT 82108 SOS 16742 HAS SOPS 16742 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10139.742
AT ITER 7548 NEW BEST:: SOT 82108 SOS 16742 HAS SOPS 16742 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10130.742
AT ITER 7555 NEW BEST:: SOT 82108 SOS 16742 HAS SOPS 16742 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10124.742
AT ITER 7611 NEW BEST:: SOT 82099 SOS 16733 HAS SOPS 16733 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10115.733
AT ITER 7613 NEW BEST:: SOT 82024 SOS 16611 HAS SOPS 16611 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10068.611
AT ITER 7658 NEW BEST:: SOT 82010 SOS 16597 HAS SOPS 16597 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10054.597
AT ITER 7689 NEW BEST:: SOT 82008 SOS 16625 HAS SOPS 16625 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10052.625
AT ITER 7706 NEW BEST:: SOT 81989 SOS 16587 HAS SOPS 16587 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10014.587
AT ITER 7846 NEW BEST:: SOT 81988 SOS 16585 HAS SOPS 16585 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10012.585
AT ITER 7964 NEW BEST:: SOT 81992 SOS 16583 HAS SOPS 16583 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10010.583
AT ITER 8015 NEW BEST:: SOT 81979 SOS 16557 HAS SOPS 16557 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9984.557
AT ITER 8017 NEW BEST:: SOT 81979 SOS 16514 HAS SOPS 16514 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9984.514
AT ITER 8198 NEW BEST:: SOT 81970 SOS 16505 HAS SOPS 16505 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9975.505
AT ITER 8222 NEW BEST:: SOT 81950 SOS 16569 HAS SOPS 16569 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9959.569
AT ITER 8227 NEW BEST:: SOT 81932 SOS 16533 HAS SOPS 16533 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9959.533
AT ITER 8275 NEW BEST:: SOT 81924 SOS 16525 HAS SOPS 16525 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9951.525
AT ITER 8294 NEW BEST:: SOT 81937 SOS 16551 HAS SOPS 16551 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9946.551
AT ITER 8405 NEW BEST:: SOT 81931 SOS 16539 HAS SOPS 16539 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9934.539
AT ITER 8477 NEW BEST:: SOT 81925 SOS 16533 HAS SOPS 16533 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9928.533
AT ITER 8519 NEW BEST:: SOT 81922 SOS 16530 HAS SOPS 16530 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9925.53
AT ITER 8526 NEW BEST:: SOT 81922 SOS 16530 HAS SOPS 16530 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9924.53
AT ITER 8567 NEW BEST:: SOT 81921 SOS 16528 HAS SOPS 16528 HAS SOUS 9907 HAS SOUPS 9907 WITH SCORE 9923.528
AT ITER 8634 NEW BEST:: SOT 81913 SOS 16512 HAS SOPS 16512 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9913.512
AT ITER 8637 NEW BEST:: SOT 81907 SOS 16500 HAS SOPS 16500 HAS SOUS 9884 HAS SOUPS 9884 WITH SCORE 9900.5
AT ITER 8693 NEW BEST:: SOT 81907 SOS 16499 HAS SOPS 16499 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9899.499
AT ITER 8796 NEW BEST:: SOT 81905 SOS 16495 HAS SOPS 16495 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9895.495
AT ITER 8917 NEW BEST:: SOT 81896 SOS 16480 HAS SOPS 16480 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9887.48
AT ITER 9119 NEW BEST:: SOT 81890 SOS 16468 HAS SOPS 16468 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9875.468
AT ITER 9123 NEW BEST:: SOT 81882 SOS 16452 HAS SOPS 16452 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9869.452
AT ITER 9131 NEW BEST:: SOT 81885 SOS 16433 HAS SOPS 16433 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9851.433
AT ITER 9144 NEW BEST:: SOT 81882 SOS 16427 HAS SOPS 16427 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9845.427
AT ITER 9148 NEW BEST:: SOT 81869 SOS 16401 HAS SOPS 16401 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9835.401
AT ITER 9153 NEW BEST:: SOT 81868 SOS 16399 HAS SOPS 16399 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9833.399
AT ITER 9218 NEW BEST:: SOT 81857 SOS 16388 HAS SOPS 16388 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9826.388
AT ITER 9257 NEW BEST:: SOT 81808 SOS 16339 HAS SOPS 16339 HAS SOUS 9805 HAS SOUPS 9805 WITH SCORE 9821.339
AT ITER 9293 NEW BEST:: SOT 81807 SOS 16334 HAS SOPS 16334 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9817.334
AT ITER 9315 NEW BEST:: SOT 81785 SOS 16488 HAS SOPS 16488 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9808.488
AT ITER 9365 NEW BEST:: SOT 81737 SOS 16440 HAS SOPS 16440 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9795.44
AT ITER 9387 NEW BEST:: SOT 81730 SOS 16433 HAS SOPS 16433 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9788.433
AT ITER 9404 NEW BEST:: SOT 81729 SOS 16432 HAS SOPS 16432 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9787.432
AT ITER 9418 NEW BEST:: SOT 81729 SOS 16432 HAS SOPS 16432 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9786.432
AT ITER 9459 NEW BEST:: SOT 81717 SOS 16423 HAS SOPS 16423 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9777.423
AT ITER 9476 NEW BEST:: SOT 81724 SOS 16325 HAS SOPS 16325 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9771.325
AT ITER 9489 NEW BEST:: SOT 81716 SOS 16309 HAS SOPS 16309 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9752.309
AT ITER 9518 NEW BEST:: SOT 81716 SOS 16305 HAS SOPS 16305 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9752.305
AT ITER 9531 NEW BEST:: SOT 81653 SOS 16231 HAS SOPS 16231 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9730.231
AT ITER 9622 NEW BEST:: SOT 81650 SOS 16225 HAS SOPS 16225 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9724.225
AT ITER 9634 NEW BEST:: SOT 81651 SOS 16224 HAS SOPS 16224 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9723.224
AT ITER 9663 NEW BEST:: SOT 81649 SOS 16220 HAS SOPS 16220 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9719.22
AT ITER 9808 NEW BEST:: SOT 81536 SOS 17327 HAS SOPS 17327 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9684.327
AT ITER 9814 NEW BEST:: SOT 81536 SOS 17309 HAS SOPS 17309 HAS SOUS 9667 HAS SOUPS 9667 WITH SCORE 9684.309
AT ITER 9820 NEW BEST:: SOT 81526 SOS 17289 HAS SOPS 17289 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9674.289
AT ITER 9859 NEW BEST:: SOT 81540 SOS 17232 HAS SOPS 17232 HAS SOUS 9629 HAS SOUPS 9629 WITH SCORE 9646.232
AT ITER 9877 NEW BEST:: SOT 81552 SOS 17228 HAS SOPS 17228 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9642.228
AT ITER 9904 NEW BEST:: SOT 81513 SOS 17202 HAS SOPS 17202 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9616.202
AT ITER 9936 NEW BEST:: SOT 81491 SOS 17080 HAS SOPS 17080 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9555.08
AT ITER 9952 NEW BEST:: SOT 81484 SOS 17077 HAS SOPS 17077 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9552.077
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1005180 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123040 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="SmartHome-PT-13"
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 SmartHome-PT-13, 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 r459-smll-167912651000256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-13.tgz
mv SmartHome-PT-13 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 ;