About the Execution of Smart+red for Anderson-PT-07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15478.936 | 3600000.00 | 3650057.00 | 8222.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.r523-tall-167987247500032.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 Anderson-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500032
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 924K
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 11K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 461K Mar 31 16:48 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 1680821778405
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=Anderson-PT-07
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 22:56:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 22:56:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 22:56:20] [INFO ] Load time of PNML (sax parser for PT used): 87 ms
[2023-04-06 22:56:20] [INFO ] Transformed 309 places.
[2023-04-06 22:56:20] [INFO ] Transformed 917 transitions.
[2023-04-06 22:56:20] [INFO ] Found NUPN structural information;
[2023-04-06 22:56:20] [INFO ] Parsed PT model containing 309 places and 917 transitions and 3500 arcs in 163 ms.
[2023-04-06 22:56:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 309 places, 917 transitions and 3500 arcs took 10 ms.
Total runtime 207 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 07
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: 309 places, 917 transitions, 3500 arcs.
AT ITER 0 NEW BEST:: SOT 170573 SOS 140190 HAS SOPS 140189 HAS SOUS 39012 HAS SOUPS 39011 WITH SCORE 39151.19
AT ITER 2 NEW BEST:: SOT 168130 SOS 138114 HAS SOPS 138113 HAS SOUS 36642 HAS SOUPS 36641 WITH SCORE 36779.114
AT ITER 3 NEW BEST:: SOT 167730 SOS 139455 HAS SOPS 138584 HAS SOUS 36558 HAS SOUPS 36254 WITH SCORE 36393.455
AT ITER 5 NEW BEST:: SOT 167684 SOS 139409 HAS SOPS 138538 HAS SOUS 36500 HAS SOUPS 36196 WITH SCORE 36335.409
AT ITER 8 NEW BEST:: SOT 167643 SOS 139368 HAS SOPS 138497 HAS SOUS 36424 HAS SOUPS 36120 WITH SCORE 36259.368
AT ITER 18 NEW BEST:: SOT 167571 SOS 139330 HAS SOPS 138459 HAS SOUS 36362 HAS SOUPS 36058 WITH SCORE 36197.33
AT ITER 23 NEW BEST:: SOT 167401 SOS 139198 HAS SOPS 138327 HAS SOUS 36279 HAS SOUPS 35975 WITH SCORE 36114.198
AT ITER 28 NEW BEST:: SOT 167349 SOS 139146 HAS SOPS 138275 HAS SOUS 36201 HAS SOUPS 35897 WITH SCORE 36036.146
AT ITER 29 NEW BEST:: SOT 167297 SOS 139184 HAS SOPS 138313 HAS SOUS 36138 HAS SOUPS 35834 WITH SCORE 35973.184
AT ITER 30 NEW BEST:: SOT 167217 SOS 139198 HAS SOPS 138327 HAS SOUS 36043 HAS SOUPS 35739 WITH SCORE 35878.198
AT ITER 39 NEW BEST:: SOT 167145 SOS 139164 HAS SOPS 138293 HAS SOUS 35985 HAS SOUPS 35681 WITH SCORE 35820.164
AT ITER 42 NEW BEST:: SOT 167145 SOS 139134 HAS SOPS 138263 HAS SOUS 35985 HAS SOUPS 35681 WITH SCORE 35820.134
AT ITER 45 NEW BEST:: SOT 166932 SOS 138924 HAS SOPS 138053 HAS SOUS 35698 HAS SOUPS 35394 WITH SCORE 35532.924
AT ITER 56 NEW BEST:: SOT 166910 SOS 138845 HAS SOPS 138009 HAS SOUS 35723 HAS SOUPS 35361 WITH SCORE 35499.845
AT ITER 75 NEW BEST:: SOT 166868 SOS 138803 HAS SOPS 137967 HAS SOUS 35652 HAS SOUPS 35290 WITH SCORE 35428.803
AT ITER 77 NEW BEST:: SOT 166843 SOS 138778 HAS SOPS 137942 HAS SOUS 35608 HAS SOUPS 35246 WITH SCORE 35384.778
AT ITER 80 NEW BEST:: SOT 166802 SOS 138737 HAS SOPS 137901 HAS SOUS 35547 HAS SOUPS 35185 WITH SCORE 35323.737
AT ITER 86 NEW BEST:: SOT 167882 SOS 139817 HAS SOPS 138981 HAS SOUS 35481 HAS SOUPS 35119 WITH SCORE 35258.817
AT ITER 88 NEW BEST:: SOT 167848 SOS 139783 HAS SOPS 138947 HAS SOUS 35440 HAS SOUPS 35078 WITH SCORE 35217.783
AT ITER 89 NEW BEST:: SOT 167841 SOS 139776 HAS SOPS 138940 HAS SOUS 35426 HAS SOUPS 35064 WITH SCORE 35203.776
AT ITER 97 NEW BEST:: SOT 168293 SOS 140228 HAS SOPS 139441 HAS SOUS 35381 HAS SOUPS 35019 WITH SCORE 35159.228
AT ITER 99 NEW BEST:: SOT 168217 SOS 140254 HAS SOPS 139467 HAS SOUS 35272 HAS SOUPS 34910 WITH SCORE 35050.254
AT ITER 106 NEW BEST:: SOT 168078 SOS 140140 HAS SOPS 139353 HAS SOUS 35079 HAS SOUPS 34717 WITH SCORE 34857.14
AT ITER 113 NEW BEST:: SOT 168046 SOS 140108 HAS SOPS 139321 HAS SOUS 35021 HAS SOUPS 34659 WITH SCORE 34799.108
AT ITER 117 NEW BEST:: SOT 168030 SOS 140092 HAS SOPS 139305 HAS SOUS 34983 HAS SOUPS 34621 WITH SCORE 34761.092
AT ITER 124 NEW BEST:: SOT 167666 SOS 139342 HAS SOPS 138583 HAS SOUS 34927 HAS SOUPS 34593 WITH SCORE 34732.342
AT ITER 126 NEW BEST:: SOT 167629 SOS 139342 HAS SOPS 138583 HAS SOUS 34890 HAS SOUPS 34556 WITH SCORE 34695.342
AT ITER 136 NEW BEST:: SOT 167594 SOS 139307 HAS SOPS 138548 HAS SOUS 34820 HAS SOUPS 34486 WITH SCORE 34625.307
AT ITER 146 NEW BEST:: SOT 167533 SOS 139325 HAS SOPS 138566 HAS SOUS 34779 HAS SOUPS 34445 WITH SCORE 34584.325
AT ITER 148 NEW BEST:: SOT 167520 SOS 139312 HAS SOPS 138553 HAS SOUS 34766 HAS SOUPS 34432 WITH SCORE 34571.312
AT ITER 164 NEW BEST:: SOT 167520 SOS 139312 HAS SOPS 138553 HAS SOUS 34763 HAS SOUPS 34429 WITH SCORE 34568.312
AT ITER 169 NEW BEST:: SOT 167500 SOS 138786 HAS SOPS 138027 HAS SOUS 34757 HAS SOUPS 34423 WITH SCORE 34561.786
AT ITER 173 NEW BEST:: SOT 167478 SOS 138764 HAS SOPS 138005 HAS SOUS 34735 HAS SOUPS 34401 WITH SCORE 34539.764
AT ITER 175 NEW BEST:: SOT 167471 SOS 138757 HAS SOPS 137998 HAS SOUS 34728 HAS SOUPS 34394 WITH SCORE 34532.757
AT ITER 176 NEW BEST:: SOT 167268 SOS 138579 HAS SOPS 137820 HAS SOUS 34426 HAS SOUPS 34092 WITH SCORE 34230.579
AT ITER 178 NEW BEST:: SOT 167250 SOS 138543 HAS SOPS 137784 HAS SOUS 34402 HAS SOUPS 34068 WITH SCORE 34206.543
AT ITER 180 NEW BEST:: SOT 167278 SOS 138575 HAS SOPS 137816 HAS SOUS 34378 HAS SOUPS 34044 WITH SCORE 34182.575
AT ITER 197 NEW BEST:: SOT 167278 SOS 138574 HAS SOPS 137815 HAS SOUS 34378 HAS SOUPS 34044 WITH SCORE 34182.574
AT ITER 217 NEW BEST:: SOT 167261 SOS 138557 HAS SOPS 137798 HAS SOUS 34344 HAS SOUPS 34010 WITH SCORE 34148.557
AT ITER 219 NEW BEST:: SOT 167217 SOS 138513 HAS SOPS 137754 HAS SOUS 34278 HAS SOUPS 33944 WITH SCORE 34082.513
AT ITER 221 NEW BEST:: SOT 167007 SOS 138309 HAS SOPS 137550 HAS SOUS 33966 HAS SOUPS 33632 WITH SCORE 33770.309
AT ITER 224 NEW BEST:: SOT 166965 SOS 138275 HAS SOPS 137516 HAS SOUS 33924 HAS SOUPS 33590 WITH SCORE 33728.275
AT ITER 226 NEW BEST:: SOT 166962 SOS 138272 HAS SOPS 137513 HAS SOUS 33921 HAS SOUPS 33587 WITH SCORE 33725.272
AT ITER 253 NEW BEST:: SOT 166986 SOS 137882 HAS SOPS 137123 HAS SOUS 33899 HAS SOUPS 33565 WITH SCORE 33702.882
AT ITER 263 NEW BEST:: SOT 166939 SOS 137835 HAS SOPS 137076 HAS SOUS 33819 HAS SOUPS 33485 WITH SCORE 33622.835
AT ITER 264 NEW BEST:: SOT 166914 SOS 137785 HAS SOPS 137026 HAS SOUS 33788 HAS SOUPS 33454 WITH SCORE 33591.785
AT ITER 275 NEW BEST:: SOT 166914 SOS 137747 HAS SOPS 136988 HAS SOUS 33788 HAS SOUPS 33454 WITH SCORE 33591.747
AT ITER 281 NEW BEST:: SOT 166904 SOS 137737 HAS SOPS 136978 HAS SOUS 33773 HAS SOUPS 33439 WITH SCORE 33576.737
AT ITER 282 NEW BEST:: SOT 166876 SOS 137681 HAS SOPS 136922 HAS SOUS 33727 HAS SOUPS 33393 WITH SCORE 33530.681
AT ITER 285 NEW BEST:: SOT 166845 SOS 137650 HAS SOPS 136891 HAS SOUS 33685 HAS SOUPS 33351 WITH SCORE 33488.65
AT ITER 298 NEW BEST:: SOT 166481 SOS 136943 HAS SOPS 136184 HAS SOUS 33644 HAS SOUPS 33310 WITH SCORE 33446.943
AT ITER 305 NEW BEST:: SOT 166441 SOS 136943 HAS SOPS 136184 HAS SOUS 33615 HAS SOUPS 33281 WITH SCORE 33417.943
AT ITER 306 NEW BEST:: SOT 166383 SOS 136885 HAS SOPS 136126 HAS SOUS 33557 HAS SOUPS 33223 WITH SCORE 33359.885
AT ITER 315 NEW BEST:: SOT 166379 SOS 136877 HAS SOPS 136118 HAS SOUS 33553 HAS SOUPS 33219 WITH SCORE 33355.877
AT ITER 320 NEW BEST:: SOT 166371 SOS 136869 HAS SOPS 136110 HAS SOUS 33537 HAS SOUPS 33203 WITH SCORE 33339.869
AT ITER 322 NEW BEST:: SOT 166370 SOS 136868 HAS SOPS 136109 HAS SOUS 33535 HAS SOUPS 33201 WITH SCORE 33337.868
AT ITER 345 NEW BEST:: SOT 165876 SOS 136349 HAS SOPS 135590 HAS SOUS 33510 HAS SOUPS 33176 WITH SCORE 33312.349
AT ITER 350 NEW BEST:: SOT 165858 SOS 136331 HAS SOPS 135572 HAS SOUS 33492 HAS SOUPS 33158 WITH SCORE 33294.331
AT ITER 359 NEW BEST:: SOT 165824 SOS 136297 HAS SOPS 135538 HAS SOUS 33441 HAS SOUPS 33107 WITH SCORE 33243.297
AT ITER 362 NEW BEST:: SOT 165811 SOS 136284 HAS SOPS 135525 HAS SOUS 33428 HAS SOUPS 33094 WITH SCORE 33230.284
AT ITER 365 NEW BEST:: SOT 165781 SOS 136240 HAS SOPS 135481 HAS SOUS 33370 HAS SOUPS 33036 WITH SCORE 33172.24
AT ITER 397 NEW BEST:: SOT 165771 SOS 136230 HAS SOPS 135471 HAS SOUS 33350 HAS SOUPS 33016 WITH SCORE 33152.23
AT ITER 399 NEW BEST:: SOT 165729 SOS 136188 HAS SOPS 135429 HAS SOUS 33308 HAS SOUPS 32974 WITH SCORE 33110.188
AT ITER 400 NEW BEST:: SOT 165696 SOS 136155 HAS SOPS 135396 HAS SOUS 33242 HAS SOUPS 32908 WITH SCORE 33044.155
AT ITER 409 NEW BEST:: SOT 165612 SOS 136100 HAS SOPS 135435 HAS SOUS 33225 HAS SOUPS 32891 WITH SCORE 33027.1
AT ITER 422 NEW BEST:: SOT 165570 SOS 136058 HAS SOPS 135393 HAS SOUS 33177 HAS SOUPS 32843 WITH SCORE 32979.058
AT ITER 438 NEW BEST:: SOT 165511 SOS 135999 HAS SOPS 135375 HAS SOUS 33068 HAS SOUPS 32775 WITH SCORE 32910.999
AT ITER 439 NEW BEST:: SOT 165053 SOS 135531 HAS SOPS 134907 HAS SOUS 33066 HAS SOUPS 32773 WITH SCORE 32908.531
AT ITER 449 NEW BEST:: SOT 166377 SOS 136855 HAS SOPS 136231 HAS SOUS 33019 HAS SOUPS 32726 WITH SCORE 32862.855
AT ITER 452 NEW BEST:: SOT 166353 SOS 136828 HAS SOPS 136225 HAS SOUS 33013 HAS SOUPS 32720 WITH SCORE 32856.828
AT ITER 459 NEW BEST:: SOT 166347 SOS 136822 HAS SOPS 136219 HAS SOUS 33007 HAS SOUPS 32714 WITH SCORE 32850.822
AT ITER 472 NEW BEST:: SOT 165915 SOS 136083 HAS SOPS 135514 HAS SOUS 32949 HAS SOUPS 32690 WITH SCORE 32826.083
AT ITER 489 NEW BEST:: SOT 165909 SOS 136077 HAS SOPS 135508 HAS SOUS 32937 HAS SOUPS 32678 WITH SCORE 32814.077
AT ITER 490 NEW BEST:: SOT 165884 SOS 136027 HAS SOPS 135458 HAS SOUS 32920 HAS SOUPS 32661 WITH SCORE 32797.027
AT ITER 496 NEW BEST:: SOT 165836 SOS 135919 HAS SOPS 135350 HAS SOUS 32860 HAS SOUPS 32601 WITH SCORE 32736.919
AT ITER 519 NEW BEST:: SOT 165814 SOS 135635 HAS SOPS 135141 HAS SOUS 32816 HAS SOUPS 32572 WITH SCORE 32707.635
AT ITER 520 NEW BEST:: SOT 165787 SOS 135581 HAS SOPS 135087 HAS SOUS 32789 HAS SOUPS 32545 WITH SCORE 32680.581
AT ITER 525 NEW BEST:: SOT 165725 SOS 135635 HAS SOPS 135141 HAS SOUS 32759 HAS SOUPS 32515 WITH SCORE 32650.635
AT ITER 532 NEW BEST:: SOT 165517 SOS 135427 HAS SOPS 134933 HAS SOUS 32743 HAS SOUPS 32499 WITH SCORE 32634.427
AT ITER 538 NEW BEST:: SOT 165479 SOS 134304 HAS SOPS 134145 HAS SOUS 32526 HAS SOUPS 32367 WITH SCORE 32501.304
AT ITER 545 NEW BEST:: SOT 165438 SOS 134408 HAS SOPS 134249 HAS SOUS 32473 HAS SOUPS 32314 WITH SCORE 32448.408
AT ITER 550 NEW BEST:: SOT 165606 SOS 134576 HAS SOPS 134417 HAS SOUS 32459 HAS SOUPS 32300 WITH SCORE 32434.576
AT ITER 553 NEW BEST:: SOT 165606 SOS 134576 HAS SOPS 134417 HAS SOUS 32446 HAS SOUPS 32287 WITH SCORE 32421.576
AT ITER 557 NEW BEST:: SOT 165613 SOS 134584 HAS SOPS 134425 HAS SOUS 32441 HAS SOUPS 32282 WITH SCORE 32416.584
AT ITER 586 NEW BEST:: SOT 165584 SOS 134628 HAS SOPS 134469 HAS SOUS 32426 HAS SOUPS 32267 WITH SCORE 32401.628
AT ITER 600 NEW BEST:: SOT 165573 SOS 134617 HAS SOPS 134458 HAS SOUS 32404 HAS SOUPS 32245 WITH SCORE 32379.617
AT ITER 603 NEW BEST:: SOT 165563 SOS 134592 HAS SOPS 134433 HAS SOUS 32379 HAS SOUPS 32220 WITH SCORE 32354.592
AT ITER 606 NEW BEST:: SOT 165551 SOS 134580 HAS SOPS 134421 HAS SOUS 32361 HAS SOUPS 32202 WITH SCORE 32336.58
AT ITER 611 NEW BEST:: SOT 165544 SOS 134580 HAS SOPS 134421 HAS SOUS 32354 HAS SOUPS 32195 WITH SCORE 32329.58
AT ITER 616 NEW BEST:: SOT 165536 SOS 134594 HAS SOPS 134435 HAS SOUS 32345 HAS SOUPS 32186 WITH SCORE 32320.594
AT ITER 617 NEW BEST:: SOT 165500 SOS 134558 HAS SOPS 134399 HAS SOUS 32296 HAS SOUPS 32137 WITH SCORE 32271.558
AT ITER 643 NEW BEST:: SOT 165476 SOS 134534 HAS SOPS 134375 HAS SOUS 32257 HAS SOUPS 32098 WITH SCORE 32232.534
AT ITER 644 NEW BEST:: SOT 166249 SOS 135307 HAS SOPS 135148 HAS SOUS 32219 HAS SOUPS 32060 WITH SCORE 32195.307
AT ITER 666 NEW BEST:: SOT 166249 SOS 135289 HAS SOPS 135130 HAS SOUS 32201 HAS SOUPS 32042 WITH SCORE 32177.289
AT ITER 672 NEW BEST:: SOT 166237 SOS 135269 HAS SOPS 135106 HAS SOUS 32181 HAS SOUPS 32018 WITH SCORE 32153.269
AT ITER 674 NEW BEST:: SOT 167197 SOS 136229 HAS SOPS 136066 HAS SOUS 32166 HAS SOUPS 32003 WITH SCORE 32139.229
AT ITER 692 NEW BEST:: SOT 167043 SOS 136027 HAS SOPS 135864 HAS SOUS 31988 HAS SOUPS 31825 WITH SCORE 31961.027
AT ITER 751 NEW BEST:: SOT 167043 SOS 136032 HAS SOPS 135869 HAS SOUS 31975 HAS SOUPS 31812 WITH SCORE 31948.032
AT ITER 752 NEW BEST:: SOT 166983 SOS 135984 HAS SOPS 135821 HAS SOUS 31891 HAS SOUPS 31728 WITH SCORE 31863.984
AT ITER 759 NEW BEST:: SOT 166987 SOS 135983 HAS SOPS 135805 HAS SOUS 31879 HAS SOUPS 31716 WITH SCORE 31851.983
AT ITER 762 NEW BEST:: SOT 167287 SOS 136283 HAS SOPS 136105 HAS SOUS 31854 HAS SOUPS 31691 WITH SCORE 31827.283
AT ITER 764 NEW BEST:: SOT 167287 SOS 136283 HAS SOPS 136105 HAS SOUS 31824 HAS SOUPS 31661 WITH SCORE 31797.283
AT ITER 771 NEW BEST:: SOT 167277 SOS 136263 HAS SOPS 136085 HAS SOUS 31804 HAS SOUPS 31641 WITH SCORE 31777.263
AT ITER 788 NEW BEST:: SOT 167263 SOS 136263 HAS SOPS 136085 HAS SOUS 31790 HAS SOUPS 31627 WITH SCORE 31763.263
AT ITER 789 NEW BEST:: SOT 167210 SOS 136201 HAS SOPS 136023 HAS SOUS 31789 HAS SOUPS 31626 WITH SCORE 31762.201
AT ITER 797 NEW BEST:: SOT 166490 SOS 135481 HAS SOPS 135303 HAS SOUS 31782 HAS SOUPS 31619 WITH SCORE 31754.481
AT ITER 810 NEW BEST:: SOT 166494 SOS 135479 HAS SOPS 135301 HAS SOUS 31780 HAS SOUPS 31617 WITH SCORE 31752.479
AT ITER 818 NEW BEST:: SOT 166542 SOS 135523 HAS SOPS 135345 HAS SOUS 31776 HAS SOUPS 31613 WITH SCORE 31748.523
AT ITER 841 NEW BEST:: SOT 167011 SOS 135992 HAS SOPS 135814 HAS SOUS 31743 HAS SOUPS 31580 WITH SCORE 31715.992
AT ITER 860 NEW BEST:: SOT 166992 SOS 135973 HAS SOPS 135795 HAS SOUS 31711 HAS SOUPS 31548 WITH SCORE 31683.973
AT ITER 871 NEW BEST:: SOT 166973 SOS 135954 HAS SOPS 135776 HAS SOUS 31687 HAS SOUPS 31524 WITH SCORE 31659.954
AT ITER 894 NEW BEST:: SOT 166673 SOS 135610 HAS SOPS 135432 HAS SOUS 31687 HAS SOUPS 31524 WITH SCORE 31659.61
AT ITER 910 NEW BEST:: SOT 166705 SOS 135609 HAS SOPS 135382 HAS SOUS 31703 HAS SOUPS 31519 WITH SCORE 31654.609
AT ITER 956 NEW BEST:: SOT 166080 SOS 134984 HAS SOPS 134757 HAS SOUS 31703 HAS SOUPS 31519 WITH SCORE 31653.984
AT ITER 966 NEW BEST:: SOT 166069 SOS 134973 HAS SOPS 134746 HAS SOUS 31692 HAS SOUPS 31508 WITH SCORE 31642.973
AT ITER 975 NEW BEST:: SOT 165932 SOS 134836 HAS SOPS 134609 HAS SOUS 31534 HAS SOUPS 31350 WITH SCORE 31484.836
AT ITER 985 NEW BEST:: SOT 165894 SOS 134798 HAS SOPS 134571 HAS SOUS 31458 HAS SOUPS 31274 WITH SCORE 31408.798
AT ITER 993 NEW BEST:: SOT 167127 SOS 136029 HAS SOPS 135802 HAS SOUS 31428 HAS SOUPS 31244 WITH SCORE 31380.029
AT ITER 1011 NEW BEST:: SOT 166349 SOS 135251 HAS SOPS 135024 HAS SOUS 31339 HAS SOUPS 31155 WITH SCORE 31290.251
AT ITER 1019 NEW BEST:: SOT 166349 SOS 135243 HAS SOPS 134972 HAS SOUS 31287 HAS SOUPS 31103 WITH SCORE 31238.243
AT ITER 1026 NEW BEST:: SOT 166290 SOS 135291 HAS SOPS 135020 HAS SOUS 31228 HAS SOUPS 31044 WITH SCORE 31179.291
AT ITER 1027 NEW BEST:: SOT 166278 SOS 135279 HAS SOPS 135008 HAS SOUS 31213 HAS SOUPS 31029 WITH SCORE 31164.279
AT ITER 1028 NEW BEST:: SOT 166254 SOS 135255 HAS SOPS 134984 HAS SOUS 31165 HAS SOUPS 30981 WITH SCORE 31116.255
AT ITER 1036 NEW BEST:: SOT 166243 SOS 135244 HAS SOPS 134984 HAS SOUS 31154 HAS SOUPS 30970 WITH SCORE 31105.244
AT ITER 1050 NEW BEST:: SOT 166159 SOS 135160 HAS SOPS 134900 HAS SOUS 31154 HAS SOUPS 30970 WITH SCORE 31105.16
AT ITER 1072 NEW BEST:: SOT 166159 SOS 135066 HAS SOPS 134806 HAS SOUS 31154 HAS SOUPS 30970 WITH SCORE 31105.066
AT ITER 1078 NEW BEST:: SOT 166132 SOS 135012 HAS SOPS 134752 HAS SOUS 31097 HAS SOUPS 30913 WITH SCORE 31048.012
AT ITER 1084 NEW BEST:: SOT 166062 SOS 134942 HAS SOPS 134682 HAS SOUS 31017 HAS SOUPS 30833 WITH SCORE 30967.942
AT ITER 1095 NEW BEST:: SOT 165906 SOS 134786 HAS SOPS 134526 HAS SOUS 31017 HAS SOUPS 30833 WITH SCORE 30967.786
AT ITER 1132 NEW BEST:: SOT 166330 SOS 135206 HAS SOPS 134946 HAS SOUS 30986 HAS SOUPS 30802 WITH SCORE 30937.206
AT ITER 1134 NEW BEST:: SOT 166322 SOS 135198 HAS SOPS 134938 HAS SOUS 30978 HAS SOUPS 30794 WITH SCORE 30929.198
AT ITER 1144 NEW BEST:: SOT 166258 SOS 135134 HAS SOPS 134874 HAS SOUS 30882 HAS SOUPS 30698 WITH SCORE 30833.134
AT ITER 1146 NEW BEST:: SOT 166245 SOS 135108 HAS SOPS 134848 HAS SOUS 30856 HAS SOUPS 30672 WITH SCORE 30807.108
AT ITER 1154 NEW BEST:: SOT 166250 SOS 135110 HAS SOPS 134809 HAS SOUS 30822 HAS SOUPS 30638 WITH SCORE 30773.11
AT ITER 1156 NEW BEST:: SOT 166245 SOS 135105 HAS SOPS 134804 HAS SOUS 30817 HAS SOUPS 30633 WITH SCORE 30768.105
AT ITER 1162 NEW BEST:: SOT 166193 SOS 135053 HAS SOPS 134752 HAS SOUS 30739 HAS SOUPS 30555 WITH SCORE 30690.053
AT ITER 1164 NEW BEST:: SOT 166193 SOS 134857 HAS SOPS 134618 HAS SOUS 30667 HAS SOUPS 30517 WITH SCORE 30651.857
AT ITER 1167 NEW BEST:: SOT 166163 SOS 134797 HAS SOPS 134558 HAS SOUS 30607 HAS SOUPS 30457 WITH SCORE 30591.797
AT ITER 1170 NEW BEST:: SOT 166075 SOS 134822 HAS SOPS 134598 HAS SOUS 30557 HAS SOUPS 30407 WITH SCORE 30541.822
AT ITER 1174 NEW BEST:: SOT 166062 SOS 134809 HAS SOPS 134585 HAS SOUS 30531 HAS SOUPS 30381 WITH SCORE 30515.809
AT ITER 1181 NEW BEST:: SOT 166062 SOS 134807 HAS SOPS 134583 HAS SOUS 30531 HAS SOUPS 30381 WITH SCORE 30515.807
AT ITER 1229 NEW BEST:: SOT 166038 SOS 134783 HAS SOPS 134559 HAS SOUS 30490 HAS SOUPS 30340 WITH SCORE 30474.783
AT ITER 1237 NEW BEST:: SOT 166033 SOS 134778 HAS SOPS 134563 HAS SOUS 30480 HAS SOUPS 30339 WITH SCORE 30473.778
AT ITER 1249 NEW BEST:: SOT 166027 SOS 134772 HAS SOPS 134557 HAS SOUS 30471 HAS SOUPS 30330 WITH SCORE 30464.772
AT ITER 1252 NEW BEST:: SOT 165969 SOS 134820 HAS SOPS 134605 HAS SOUS 30396 HAS SOUPS 30255 WITH SCORE 30389.82
AT ITER 1264 NEW BEST:: SOT 165967 SOS 134818 HAS SOPS 134603 HAS SOUS 30392 HAS SOUPS 30251 WITH SCORE 30385.818
AT ITER 1280 NEW BEST:: SOT 165967 SOS 134788 HAS SOPS 134573 HAS SOUS 30392 HAS SOUPS 30251 WITH SCORE 30385.788
AT ITER 1288 NEW BEST:: SOT 165935 SOS 134694 HAS SOPS 134509 HAS SOUS 30311 HAS SOUPS 30200 WITH SCORE 30334.694
AT ITER 1299 NEW BEST:: SOT 165935 SOS 134690 HAS SOPS 134505 HAS SOUS 30309 HAS SOUPS 30198 WITH SCORE 30332.69
AT ITER 1319 NEW BEST:: SOT 165775 SOS 134497 HAS SOPS 134345 HAS SOUS 30085 HAS SOUPS 29974 WITH SCORE 30108.497
AT ITER 1322 NEW BEST:: SOT 165728 SOS 134464 HAS SOPS 134312 HAS SOUS 30038 HAS SOUPS 29927 WITH SCORE 30061.464
AT ITER 1344 NEW BEST:: SOT 165715 SOS 134443 HAS SOPS 134291 HAS SOUS 30037 HAS SOUPS 29926 WITH SCORE 30060.443
AT ITER 1347 NEW BEST:: SOT 165847 SOS 134564 HAS SOPS 134412 HAS SOUS 30015 HAS SOUPS 29904 WITH SCORE 30038.564
AT ITER 1352 NEW BEST:: SOT 165913 SOS 134630 HAS SOPS 134478 HAS SOUS 29995 HAS SOUPS 29884 WITH SCORE 30018.63
AT ITER 1353 NEW BEST:: SOT 165897 SOS 134598 HAS SOPS 134446 HAS SOUS 29971 HAS SOUPS 29860 WITH SCORE 29994.598
AT ITER 1361 NEW BEST:: SOT 165897 SOS 134598 HAS SOPS 134446 HAS SOUS 29953 HAS SOUPS 29842 WITH SCORE 29976.598
AT ITER 1363 NEW BEST:: SOT 165884 SOS 134572 HAS SOPS 134420 HAS SOUS 29934 HAS SOUPS 29823 WITH SCORE 29957.572
AT ITER 1393 NEW BEST:: SOT 165877 SOS 134565 HAS SOPS 134413 HAS SOUS 29920 HAS SOUPS 29809 WITH SCORE 29943.565
AT ITER 1407 NEW BEST:: SOT 165861 SOS 134533 HAS SOPS 134381 HAS SOUS 29888 HAS SOUPS 29777 WITH SCORE 29911.533
AT ITER 1422 NEW BEST:: SOT 165679 SOS 134381 HAS SOPS 134229 HAS SOUS 29702 HAS SOUPS 29591 WITH SCORE 29725.381
AT ITER 1433 NEW BEST:: SOT 165662 SOS 134364 HAS SOPS 134212 HAS SOUS 29668 HAS SOUPS 29557 WITH SCORE 29691.364
AT ITER 1438 NEW BEST:: SOT 165649 SOS 134350 HAS SOPS 134198 HAS SOUS 29667 HAS SOUPS 29556 WITH SCORE 29690.35
AT ITER 1455 NEW BEST:: SOT 165649 SOS 134330 HAS SOPS 134178 HAS SOUS 29627 HAS SOUPS 29516 WITH SCORE 29650.33
AT ITER 1456 NEW BEST:: SOT 165642 SOS 134316 HAS SOPS 134164 HAS SOUS 29622 HAS SOUPS 29511 WITH SCORE 29645.316
AT ITER 1466 NEW BEST:: SOT 165633 SOS 134298 HAS SOPS 134146 HAS SOUS 29605 HAS SOUPS 29494 WITH SCORE 29628.298
AT ITER 1481 NEW BEST:: SOT 165710 SOS 134375 HAS SOPS 134223 HAS SOUS 29591 HAS SOUPS 29480 WITH SCORE 29614.375
AT ITER 1490 NEW BEST:: SOT 165646 SOS 134247 HAS SOPS 134095 HAS SOUS 29486 HAS SOUPS 29375 WITH SCORE 29509.247
AT ITER 1500 NEW BEST:: SOT 165623 SOS 134224 HAS SOPS 134072 HAS SOUS 29440 HAS SOUPS 29329 WITH SCORE 29463.224
AT ITER 1514 NEW BEST:: SOT 165602 SOS 134222 HAS SOPS 134070 HAS SOUS 29418 HAS SOUPS 29307 WITH SCORE 29441.222
AT ITER 1531 NEW BEST:: SOT 165602 SOS 134222 HAS SOPS 134070 HAS SOUS 29405 HAS SOUPS 29294 WITH SCORE 29428.222
AT ITER 1544 NEW BEST:: SOT 165434 SOS 134054 HAS SOPS 133902 HAS SOUS 29276 HAS SOUPS 29165 WITH SCORE 29299.054
AT ITER 1565 NEW BEST:: SOT 165434 SOS 134054 HAS SOPS 133902 HAS SOUS 29238 HAS SOUPS 29127 WITH SCORE 29261.054
AT ITER 1597 NEW BEST:: SOT 165431 SOS 134048 HAS SOPS 133896 HAS SOUS 29232 HAS SOUPS 29121 WITH SCORE 29255.048
AT ITER 1616 NEW BEST:: SOT 165439 SOS 134064 HAS SOPS 133912 HAS SOUS 29224 HAS SOUPS 29113 WITH SCORE 29247.064
AT ITER 1629 NEW BEST:: SOT 165413 SOS 134012 HAS SOPS 133860 HAS SOUS 29198 HAS SOUPS 29087 WITH SCORE 29221.012
AT ITER 1660 NEW BEST:: SOT 165412 SOS 134011 HAS SOPS 133859 HAS SOUS 29197 HAS SOUPS 29086 WITH SCORE 29220.011
AT ITER 1679 NEW BEST:: SOT 165410 SOS 134011 HAS SOPS 133859 HAS SOUS 29195 HAS SOUPS 29084 WITH SCORE 29218.011
AT ITER 1701 NEW BEST:: SOT 165375 SOS 133966 HAS SOPS 133814 HAS SOUS 29155 HAS SOUPS 29044 WITH SCORE 29177.966
AT ITER 1706 NEW BEST:: SOT 165372 SOS 133960 HAS SOPS 133808 HAS SOUS 29146 HAS SOUPS 29035 WITH SCORE 29168.96
AT ITER 1720 NEW BEST:: SOT 166105 SOS 134693 HAS SOPS 134541 HAS SOUS 29142 HAS SOUPS 29031 WITH SCORE 29165.693
AT ITER 1721 NEW BEST:: SOT 166093 SOS 134681 HAS SOPS 134529 HAS SOUS 29128 HAS SOUPS 29017 WITH SCORE 29151.681
AT ITER 1762 NEW BEST:: SOT 166075 SOS 134645 HAS SOPS 134493 HAS SOUS 29092 HAS SOUPS 28981 WITH SCORE 29115.645
AT ITER 1782 NEW BEST:: SOT 166059 SOS 134618 HAS SOPS 134466 HAS SOUS 29089 HAS SOUPS 28978 WITH SCORE 29112.618
AT ITER 1791 NEW BEST:: SOT 166059 SOS 134569 HAS SOPS 134417 HAS SOUS 29078 HAS SOUPS 28967 WITH SCORE 29101.569
AT ITER 1809 NEW BEST:: SOT 166059 SOS 134568 HAS SOPS 134416 HAS SOUS 29076 HAS SOUPS 28965 WITH SCORE 29099.568
AT ITER 1844 NEW BEST:: SOT 166048 SOS 134557 HAS SOPS 134405 HAS SOUS 29054 HAS SOUPS 28943 WITH SCORE 29077.557
AT ITER 1846 NEW BEST:: SOT 166043 SOS 134552 HAS SOPS 134400 HAS SOUS 29044 HAS SOUPS 28933 WITH SCORE 29067.552
AT ITER 1850 NEW BEST:: SOT 166040 SOS 134560 HAS SOPS 134408 HAS SOUS 29041 HAS SOUPS 28930 WITH SCORE 29064.56
AT ITER 1885 NEW BEST:: SOT 166037 SOS 134557 HAS SOPS 134405 HAS SOUS 29035 HAS SOUPS 28924 WITH SCORE 29058.557
AT ITER 1886 NEW BEST:: SOT 166032 SOS 134547 HAS SOPS 134395 HAS SOUS 29025 HAS SOUPS 28914 WITH SCORE 29048.547
AT ITER 1890 NEW BEST:: SOT 166056 SOS 134571 HAS SOPS 134419 HAS SOUS 29005 HAS SOUPS 28894 WITH SCORE 29028.571
AT ITER 1911 NEW BEST:: SOT 166041 SOS 134569 HAS SOPS 134417 HAS SOUS 28990 HAS SOUPS 28879 WITH SCORE 29013.569
AT ITER 1922 NEW BEST:: SOT 166651 SOS 135179 HAS SOPS 135027 HAS SOUS 28893 HAS SOUPS 28782 WITH SCORE 28917.179
AT ITER 1944 NEW BEST:: SOT 166627 SOS 135162 HAS SOPS 135010 HAS SOUS 28849 HAS SOUPS 28738 WITH SCORE 28873.162
AT ITER 1981 NEW BEST:: SOT 166627 SOS 135156 HAS SOPS 135004 HAS SOUS 28849 HAS SOUPS 28738 WITH SCORE 28873.156
AT ITER 1982 NEW BEST:: SOT 166521 SOS 135076 HAS SOPS 134924 HAS SOUS 28761 HAS SOUPS 28650 WITH SCORE 28785.076
AT ITER 2008 NEW BEST:: SOT 166521 SOS 135060 HAS SOPS 134908 HAS SOUS 28748 HAS SOUPS 28637 WITH SCORE 28772.06
AT ITER 2020 NEW BEST:: SOT 166551 SOS 134976 HAS SOPS 134824 HAS SOUS 28736 HAS SOUPS 28625 WITH SCORE 28759.976
AT ITER 2033 NEW BEST:: SOT 166574 SOS 134984 HAS SOPS 134832 HAS SOUS 28655 HAS SOUPS 28544 WITH SCORE 28678.984
AT ITER 2034 NEW BEST:: SOT 166568 SOS 134978 HAS SOPS 134826 HAS SOUS 28649 HAS SOUPS 28538 WITH SCORE 28672.978
AT ITER 2052 NEW BEST:: SOT 166568 SOS 135566 HAS SOPS 135414 HAS SOUS 28648 HAS SOUPS 28537 WITH SCORE 28672.566
AT ITER 2061 NEW BEST:: SOT 166544 SOS 135620 HAS SOPS 135468 HAS SOUS 28624 HAS SOUPS 28513 WITH SCORE 28648.62
AT ITER 2066 NEW BEST:: SOT 166544 SOS 135620 HAS SOPS 135437 HAS SOUS 28624 HAS SOUPS 28482 WITH SCORE 28617.62
AT ITER 2081 NEW BEST:: SOT 166539 SOS 135610 HAS SOPS 135427 HAS SOUS 28619 HAS SOUPS 28477 WITH SCORE 28612.61
AT ITER 2128 NEW BEST:: SOT 166538 SOS 135609 HAS SOPS 135426 HAS SOUS 28617 HAS SOUPS 28475 WITH SCORE 28610.609
AT ITER 2143 NEW BEST:: SOT 166534 SOS 135605 HAS SOPS 135422 HAS SOUS 28609 HAS SOUPS 28467 WITH SCORE 28602.605
AT ITER 2166 NEW BEST:: SOT 166513 SOS 135542 HAS SOPS 135359 HAS SOUS 28574 HAS SOUPS 28432 WITH SCORE 28567.542
AT ITER 2172 NEW BEST:: SOT 166501 SOS 135552 HAS SOPS 135369 HAS SOUS 28562 HAS SOUPS 28420 WITH SCORE 28555.552
AT ITER 2192 NEW BEST:: SOT 166461 SOS 135472 HAS SOPS 135289 HAS SOUS 28526 HAS SOUPS 28384 WITH SCORE 28519.472
AT ITER 2195 NEW BEST:: SOT 166442 SOS 135453 HAS SOPS 135270 HAS SOUS 28491 HAS SOUPS 28349 WITH SCORE 28484.453
AT ITER 2201 NEW BEST:: SOT 166442 SOS 135447 HAS SOPS 135264 HAS SOUS 28491 HAS SOUPS 28349 WITH SCORE 28484.447
AT ITER 2202 NEW BEST:: SOT 166469 SOS 135477 HAS SOPS 135294 HAS SOUS 28479 HAS SOUPS 28337 WITH SCORE 28472.477
AT ITER 2291 NEW BEST:: SOT 166448 SOS 135435 HAS SOPS 135252 HAS SOUS 28428 HAS SOUPS 28286 WITH SCORE 28421.435
AT ITER 2318 NEW BEST:: SOT 166427 SOS 135493 HAS SOPS 135310 HAS SOUS 28423 HAS SOUPS 28281 WITH SCORE 28416.493
AT ITER 2349 NEW BEST:: SOT 166435 SOS 135501 HAS SOPS 135318 HAS SOUS 28418 HAS SOUPS 28276 WITH SCORE 28411.501
AT ITER 2367 NEW BEST:: SOT 166431 SOS 135497 HAS SOPS 135314 HAS SOUS 28412 HAS SOUPS 28270 WITH SCORE 28405.497
AT ITER 2375 NEW BEST:: SOT 166419 SOS 135377 HAS SOPS 135194 HAS SOUS 28386 HAS SOUPS 28244 WITH SCORE 28379.377
AT ITER 2419 NEW BEST:: SOT 166410 SOS 135368 HAS SOPS 135185 HAS SOUS 28368 HAS SOUPS 28226 WITH SCORE 28361.368
AT ITER 2442 NEW BEST:: SOT 166410 SOS 135354 HAS SOPS 135171 HAS SOUS 28368 HAS SOUPS 28226 WITH SCORE 28361.354
AT ITER 2447 NEW BEST:: SOT 166673 SOS 135617 HAS SOPS 135434 HAS SOUS 28355 HAS SOUPS 28213 WITH SCORE 28348.617
AT ITER 2469 NEW BEST:: SOT 166650 SOS 135571 HAS SOPS 135388 HAS SOUS 28309 HAS SOUPS 28167 WITH SCORE 28302.571
AT ITER 2470 NEW BEST:: SOT 166619 SOS 135563 HAS SOPS 135380 HAS SOUS 28270 HAS SOUPS 28128 WITH SCORE 28263.563
AT ITER 2492 NEW BEST:: SOT 166862 SOS 135806 HAS SOPS 135623 HAS SOUS 28227 HAS SOUPS 28085 WITH SCORE 28220.806
AT ITER 2513 NEW BEST:: SOT 166853 SOS 135900 HAS SOPS 135717 HAS SOUS 28218 HAS SOUPS 28076 WITH SCORE 28211.9
AT ITER 2525 NEW BEST:: SOT 166861 SOS 135908 HAS SOPS 135725 HAS SOUS 28215 HAS SOUPS 28073 WITH SCORE 28208.908
AT ITER 2530 NEW BEST:: SOT 166856 SOS 135903 HAS SOPS 135720 HAS SOUS 28210 HAS SOUPS 28068 WITH SCORE 28203.903
AT ITER 2536 NEW BEST:: SOT 166848 SOS 135955 HAS SOPS 135772 HAS SOUS 28198 HAS SOUPS 28056 WITH SCORE 28191.955
AT ITER 2539 NEW BEST:: SOT 166848 SOS 135946 HAS SOPS 135763 HAS SOUS 28198 HAS SOUPS 28056 WITH SCORE 28191.946
AT ITER 2545 NEW BEST:: SOT 166833 SOS 135931 HAS SOPS 135748 HAS SOUS 28170 HAS SOUPS 28028 WITH SCORE 28163.931
AT ITER 2585 NEW BEST:: SOT 166820 SOS 135953 HAS SOPS 135770 HAS SOUS 28168 HAS SOUPS 28026 WITH SCORE 28161.953
AT ITER 2589 NEW BEST:: SOT 166817 SOS 135950 HAS SOPS 135767 HAS SOUS 28167 HAS SOUPS 28025 WITH SCORE 28160.95
AT ITER 2638 NEW BEST:: SOT 166817 SOS 135944 HAS SOPS 135761 HAS SOUS 28164 HAS SOUPS 28022 WITH SCORE 28157.944
AT ITER 2644 NEW BEST:: SOT 166817 SOS 135941 HAS SOPS 135758 HAS SOUS 28156 HAS SOUPS 28014 WITH SCORE 28149.941
AT ITER 2698 NEW BEST:: SOT 166810 SOS 135934 HAS SOPS 135751 HAS SOUS 28149 HAS SOUPS 28007 WITH SCORE 28142.934
AT ITER 2707 NEW BEST:: SOT 166801 SOS 135916 HAS SOPS 135733 HAS SOUS 28140 HAS SOUPS 27998 WITH SCORE 28133.916
AT ITER 2739 NEW BEST:: SOT 166816 SOS 135931 HAS SOPS 135748 HAS SOUS 28125 HAS SOUPS 27983 WITH SCORE 28118.931
AT ITER 2767 NEW BEST:: SOT 166815 SOS 135931 HAS SOPS 135748 HAS SOUS 28124 HAS SOUPS 27982 WITH SCORE 28117.931
AT ITER 2772 NEW BEST:: SOT 166798 SOS 135897 HAS SOPS 135714 HAS SOUS 28107 HAS SOUPS 27965 WITH SCORE 28100.897
AT ITER 2773 NEW BEST:: SOT 166797 SOS 135887 HAS SOPS 135704 HAS SOUS 28102 HAS SOUPS 27960 WITH SCORE 28095.887
AT ITER 2783 NEW BEST:: SOT 166796 SOS 135886 HAS SOPS 135703 HAS SOUS 28085 HAS SOUPS 27943 WITH SCORE 28078.886
AT ITER 2803 NEW BEST:: SOT 166791 SOS 135881 HAS SOPS 135698 HAS SOUS 28080 HAS SOUPS 27938 WITH SCORE 28073.881
AT ITER 2808 NEW BEST:: SOT 166790 SOS 135879 HAS SOPS 135696 HAS SOUS 28078 HAS SOUPS 27936 WITH SCORE 28071.879
AT ITER 2838 NEW BEST:: SOT 166790 SOS 135879 HAS SOPS 135696 HAS SOUS 28076 HAS SOUPS 27934 WITH SCORE 28069.879
AT ITER 2846 NEW BEST:: SOT 166782 SOS 135871 HAS SOPS 135688 HAS SOUS 28060 HAS SOUPS 27918 WITH SCORE 28053.871
AT ITER 2912 NEW BEST:: SOT 166782 SOS 135871 HAS SOPS 135688 HAS SOUS 28059 HAS SOUPS 27917 WITH SCORE 28052.871
AT ITER 2922 NEW BEST:: SOT 166766 SOS 135839 HAS SOPS 135656 HAS SOUS 28040 HAS SOUPS 27898 WITH SCORE 28033.839
AT ITER 2925 NEW BEST:: SOT 166762 SOS 135814 HAS SOPS 135631 HAS SOUS 28033 HAS SOUPS 27891 WITH SCORE 28026.814
AT ITER 2939 NEW BEST:: SOT 166749 SOS 135820 HAS SOPS 135637 HAS SOUS 28017 HAS SOUPS 27875 WITH SCORE 28010.82
AT ITER 2941 NEW BEST:: SOT 166746 SOS 135817 HAS SOPS 135634 HAS SOUS 28014 HAS SOUPS 27872 WITH SCORE 28007.817
AT ITER 2945 NEW BEST:: SOT 166746 SOS 135803 HAS SOPS 135620 HAS SOUS 28007 HAS SOUPS 27865 WITH SCORE 28000.803
AT ITER 2989 NEW BEST:: SOT 166746 SOS 135803 HAS SOPS 135620 HAS SOUS 27991 HAS SOUPS 27849 WITH SCORE 27984.803
AT ITER 3029 NEW BEST:: SOT 166764 SOS 135819 HAS SOPS 135636 HAS SOUS 27983 HAS SOUPS 27841 WITH SCORE 27976.819
AT ITER 3030 NEW BEST:: SOT 166764 SOS 135779 HAS SOPS 135596 HAS SOUS 27983 HAS SOUPS 27841 WITH SCORE 27976.779
AT ITER 3040 NEW BEST:: SOT 166748 SOS 135747 HAS SOPS 135564 HAS SOUS 27949 HAS SOUPS 27807 WITH SCORE 27942.747
AT ITER 3053 NEW BEST:: SOT 166707 SOS 135747 HAS SOPS 135564 HAS SOUS 27908 HAS SOUPS 27766 WITH SCORE 27901.747
AT ITER 3085 NEW BEST:: SOT 166819 SOS 135868 HAS SOPS 135685 HAS SOUS 27903 HAS SOUPS 27761 WITH SCORE 27896.868
AT ITER 3088 NEW BEST:: SOT 166816 SOS 135862 HAS SOPS 135679 HAS SOUS 27897 HAS SOUPS 27755 WITH SCORE 27890.862
AT ITER 3110 NEW BEST:: SOT 166812 SOS 135858 HAS SOPS 135675 HAS SOUS 27889 HAS SOUPS 27747 WITH SCORE 27882.858
AT ITER 3113 NEW BEST:: SOT 166800 SOS 135854 HAS SOPS 135671 HAS SOUS 27879 HAS SOUPS 27737 WITH SCORE 27872.854
AT ITER 3134 NEW BEST:: SOT 166800 SOS 135848 HAS SOPS 135665 HAS SOUS 27879 HAS SOUPS 27737 WITH SCORE 27872.848
AT ITER 3144 NEW BEST:: SOT 166800 SOS 135844 HAS SOPS 135661 HAS SOUS 27879 HAS SOUPS 27737 WITH SCORE 27872.844
AT ITER 3147 NEW BEST:: SOT 166817 SOS 135861 HAS SOPS 135678 HAS SOUS 27875 HAS SOUPS 27733 WITH SCORE 27868.861
AT ITER 3151 NEW BEST:: SOT 166817 SOS 135861 HAS SOPS 135678 HAS SOUS 27873 HAS SOUPS 27731 WITH SCORE 27866.861
AT ITER 3169 NEW BEST:: SOT 166817 SOS 135877 HAS SOPS 135694 HAS SOUS 27809 HAS SOUPS 27667 WITH SCORE 27802.877
AT ITER 3288 NEW BEST:: SOT 166730 SOS 135780 HAS SOPS 135597 HAS SOUS 27806 HAS SOUPS 27664 WITH SCORE 27799.78
AT ITER 3290 NEW BEST:: SOT 166726 SOS 135776 HAS SOPS 135593 HAS SOUS 27798 HAS SOUPS 27656 WITH SCORE 27791.776
AT ITER 3335 NEW BEST:: SOT 166719 SOS 135769 HAS SOPS 135586 HAS SOUS 27784 HAS SOUPS 27642 WITH SCORE 27777.769
AT ITER 3351 NEW BEST:: SOT 166709 SOS 135729 HAS SOPS 135546 HAS SOUS 27765 HAS SOUPS 27623 WITH SCORE 27758.729
AT ITER 3388 NEW BEST:: SOT 166707 SOS 135725 HAS SOPS 135542 HAS SOUS 27763 HAS SOUPS 27621 WITH SCORE 27756.725
AT ITER 3390 NEW BEST:: SOT 166707 SOS 135723 HAS SOPS 135540 HAS SOUS 27763 HAS SOUPS 27621 WITH SCORE 27756.723
AT ITER 3430 NEW BEST:: SOT 166707 SOS 135711 HAS SOPS 135528 HAS SOUS 27757 HAS SOUPS 27615 WITH SCORE 27750.711
AT ITER 3443 NEW BEST:: SOT 166707 SOS 135705 HAS SOPS 135522 HAS SOUS 27757 HAS SOUPS 27615 WITH SCORE 27750.705
AT ITER 3495 NEW BEST:: SOT 166706 SOS 135705 HAS SOPS 135522 HAS SOUS 27756 HAS SOUPS 27614 WITH SCORE 27749.705
AT ITER 3502 NEW BEST:: SOT 166704 SOS 135701 HAS SOPS 135518 HAS SOUS 27752 HAS SOUPS 27610 WITH SCORE 27745.701
AT ITER 3504 NEW BEST:: SOT 166703 SOS 135699 HAS SOPS 135516 HAS SOUS 27750 HAS SOUPS 27608 WITH SCORE 27743.699
AT ITER 3508 NEW BEST:: SOT 166703 SOS 135697 HAS SOPS 135514 HAS SOUS 27750 HAS SOUPS 27608 WITH SCORE 27743.697
AT ITER 3523 NEW BEST:: SOT 166708 SOS 135702 HAS SOPS 135519 HAS SOUS 27749 HAS SOUPS 27607 WITH SCORE 27742.702
AT ITER 3544 NEW BEST:: SOT 166766 SOS 135760 HAS SOPS 135582 HAS SOUS 27747 HAS SOUPS 27605 WITH SCORE 27740.76
AT ITER 3552 NEW BEST:: SOT 166754 SOS 135748 HAS SOPS 135570 HAS SOUS 27729 HAS SOUPS 27587 WITH SCORE 27722.748
AT ITER 3572 NEW BEST:: SOT 166752 SOS 135744 HAS SOPS 135566 HAS SOUS 27716 HAS SOUPS 27574 WITH SCORE 27709.744
AT ITER 3575 NEW BEST:: SOT 166713 SOS 135705 HAS SOPS 135527 HAS SOUS 27716 HAS SOUPS 27574 WITH SCORE 27709.705
AT ITER 3623 NEW BEST:: SOT 166705 SOS 135689 HAS SOPS 135511 HAS SOUS 27703 HAS SOUPS 27561 WITH SCORE 27696.689
AT ITER 3653 NEW BEST:: SOT 166705 SOS 135683 HAS SOPS 135505 HAS SOUS 27703 HAS SOUPS 27561 WITH SCORE 27696.683
AT ITER 3660 NEW BEST:: SOT 166689 SOS 135667 HAS SOPS 135489 HAS SOUS 27671 HAS SOUPS 27529 WITH SCORE 27664.667
AT ITER 3694 NEW BEST:: SOT 166711 SOS 135691 HAS SOPS 135513 HAS SOUS 27669 HAS SOUPS 27527 WITH SCORE 27662.691
AT ITER 3730 NEW BEST:: SOT 166672 SOS 135652 HAS SOPS 135474 HAS SOUS 27669 HAS SOUPS 27527 WITH SCORE 27662.652
AT ITER 3737 NEW BEST:: SOT 166664 SOS 135636 HAS SOPS 135458 HAS SOUS 27656 HAS SOUPS 27514 WITH SCORE 27649.636
AT ITER 3806 NEW BEST:: SOT 166661 SOS 135630 HAS SOPS 135452 HAS SOUS 27650 HAS SOUPS 27508 WITH SCORE 27643.63
AT ITER 3819 NEW BEST:: SOT 166658 SOS 135640 HAS SOPS 135462 HAS SOUS 27649 HAS SOUPS 27507 WITH SCORE 27642.64
AT ITER 3923 NEW BEST:: SOT 166385 SOS 135367 HAS SOPS 135189 HAS SOUS 27649 HAS SOUPS 27507 WITH SCORE 27642.367
AT ITER 3980 NEW BEST:: SOT 166385 SOS 135363 HAS SOPS 135185 HAS SOUS 27649 HAS SOUPS 27507 WITH SCORE 27642.363
AT ITER 3993 NEW BEST:: SOT 166382 SOS 135357 HAS SOPS 135179 HAS SOUS 27644 HAS SOUPS 27502 WITH SCORE 27637.357
AT ITER 4062 NEW BEST:: SOT 166239 SOS 135214 HAS SOPS 135036 HAS SOUS 27644 HAS SOUPS 27502 WITH SCORE 27637.214
AT ITER 4123 NEW BEST:: SOT 165953 SOS 134928 HAS SOPS 134750 HAS SOUS 27644 HAS SOUPS 27502 WITH SCORE 27636.928
AT ITER 4136 NEW BEST:: SOT 165953 SOS 134928 HAS SOPS 134738 HAS SOUS 27644 HAS SOUPS 27490 WITH SCORE 27624.928
AT ITER 4156 NEW BEST:: SOT 165941 SOS 134930 HAS SOPS 134740 HAS SOUS 27632 HAS SOUPS 27478 WITH SCORE 27612.93
AT ITER 4211 NEW BEST:: SOT 165935 SOS 134918 HAS SOPS 134728 HAS SOUS 27623 HAS SOUPS 27469 WITH SCORE 27603.918
AT ITER 4216 NEW BEST:: SOT 165927 SOS 134866 HAS SOPS 134676 HAS SOUS 27600 HAS SOUPS 27446 WITH SCORE 27580.866
AT ITER 4239 NEW BEST:: SOT 165925 SOS 134866 HAS SOPS 134676 HAS SOUS 27598 HAS SOUPS 27444 WITH SCORE 27578.866
AT ITER 4243 NEW BEST:: SOT 165915 SOS 134856 HAS SOPS 134666 HAS SOUS 27588 HAS SOUPS 27434 WITH SCORE 27568.856
AT ITER 4250 NEW BEST:: SOT 165907 SOS 134840 HAS SOPS 134650 HAS SOUS 27563 HAS SOUPS 27409 WITH SCORE 27543.84
AT ITER 4316 NEW BEST:: SOT 165898 SOS 134831 HAS SOPS 134641 HAS SOUS 27545 HAS SOUPS 27391 WITH SCORE 27525.831
AT ITER 4335 NEW BEST:: SOT 165894 SOS 134837 HAS SOPS 134647 HAS SOUS 27541 HAS SOUPS 27387 WITH SCORE 27521.837
AT ITER 4336 NEW BEST:: SOT 165881 SOS 134817 HAS SOPS 134627 HAS SOUS 27521 HAS SOUPS 27367 WITH SCORE 27501.817
AT ITER 4414 NEW BEST:: SOT 165870 SOS 134806 HAS SOPS 134616 HAS SOUS 27499 HAS SOUPS 27345 WITH SCORE 27479.806
AT ITER 4450 NEW BEST:: SOT 165886 SOS 134819 HAS SOPS 134613 HAS SOUS 27496 HAS SOUPS 27342 WITH SCORE 27476.819
AT ITER 4507 NEW BEST:: SOT 165879 SOS 134849 HAS SOPS 134643 HAS SOUS 27490 HAS SOUPS 27336 WITH SCORE 27470.849
AT ITER 4516 NEW BEST:: SOT 165872 SOS 134842 HAS SOPS 134636 HAS SOUS 27476 HAS SOUPS 27322 WITH SCORE 27456.842
AT ITER 4541 NEW BEST:: SOT 165863 SOS 134824 HAS SOPS 134618 HAS SOUS 27467 HAS SOUPS 27313 WITH SCORE 27447.824
AT ITER 4558 NEW BEST:: SOT 165935 SOS 134890 HAS SOPS 134684 HAS SOUS 27458 HAS SOUPS 27304 WITH SCORE 27438.89
AT ITER 4562 NEW BEST:: SOT 165935 SOS 134890 HAS SOPS 134684 HAS SOUS 27452 HAS SOUPS 27298 WITH SCORE 27432.89
AT ITER 4583 NEW BEST:: SOT 165935 SOS 134890 HAS SOPS 134684 HAS SOUS 27446 HAS SOUPS 27292 WITH SCORE 27426.89
AT ITER 4592 NEW BEST:: SOT 165934 SOS 134888 HAS SOPS 134682 HAS SOUS 27444 HAS SOUPS 27290 WITH SCORE 27424.888
AT ITER 4605 NEW BEST:: SOT 165934 SOS 134503 HAS SOPS 134297 HAS SOUS 27442 HAS SOUPS 27288 WITH SCORE 27422.503
AT ITER 4709 NEW BEST:: SOT 165917 SOS 134473 HAS SOPS 134267 HAS SOUS 27412 HAS SOUPS 27258 WITH SCORE 27392.473
AT ITER 4727 NEW BEST:: SOT 165855 SOS 134411 HAS SOPS 134205 HAS SOUS 27340 HAS SOUPS 27186 WITH SCORE 27320.411
AT ITER 4752 NEW BEST:: SOT 165852 SOS 134405 HAS SOPS 134199 HAS SOUS 27337 HAS SOUPS 27183 WITH SCORE 27317.405
AT ITER 4779 NEW BEST:: SOT 165847 SOS 134385 HAS SOPS 134179 HAS SOUS 27327 HAS SOUPS 27173 WITH SCORE 27307.385
AT ITER 4797 NEW BEST:: SOT 165847 SOS 134382 HAS SOPS 134176 HAS SOUS 27327 HAS SOUPS 27173 WITH SCORE 27307.382
AT ITER 4802 NEW BEST:: SOT 165816 SOS 134351 HAS SOPS 134145 HAS SOUS 27309 HAS SOUPS 27155 WITH SCORE 27289.351
AT ITER 4831 NEW BEST:: SOT 165804 SOS 134339 HAS SOPS 134133 HAS SOUS 27285 HAS SOUPS 27131 WITH SCORE 27265.339
AT ITER 4840 NEW BEST:: SOT 165803 SOS 134338 HAS SOPS 134132 HAS SOUS 27283 HAS SOUPS 27129 WITH SCORE 27263.338
AT ITER 4850 NEW BEST:: SOT 165778 SOS 134340 HAS SOPS 134134 HAS SOUS 27254 HAS SOUPS 27100 WITH SCORE 27234.34
AT ITER 4858 NEW BEST:: SOT 165778 SOS 134340 HAS SOPS 134134 HAS SOUS 27244 HAS SOUPS 27090 WITH SCORE 27224.34
AT ITER 4926 NEW BEST:: SOT 165761 SOS 134306 HAS SOPS 134100 HAS SOUS 27212 HAS SOUPS 27058 WITH SCORE 27192.306
AT ITER 4994 NEW BEST:: SOT 165751 SOS 134296 HAS SOPS 134090 HAS SOUS 27191 HAS SOUPS 27037 WITH SCORE 27171.296
AT ITER 4998 NEW BEST:: SOT 165749 SOS 134292 HAS SOPS 134086 HAS SOUS 27189 HAS SOUPS 27035 WITH SCORE 27169.292
AT ITER 5005 NEW BEST:: SOT 165720 SOS 134268 HAS SOPS 134062 HAS SOUS 27155 HAS SOUPS 27001 WITH SCORE 27135.268
AT ITER 5016 NEW BEST:: SOT 165590 SOS 134138 HAS SOPS 133932 HAS SOUS 27146 HAS SOUPS 26992 WITH SCORE 27126.138
AT ITER 5019 NEW BEST:: SOT 165580 SOS 134109 HAS SOPS 133903 HAS SOUS 27144 HAS SOUPS 26990 WITH SCORE 27124.109
AT ITER 5030 NEW BEST:: SOT 165577 SOS 134267 HAS SOPS 134061 HAS SOUS 27143 HAS SOUPS 26989 WITH SCORE 27123.267
AT ITER 5128 NEW BEST:: SOT 165574 SOS 134261 HAS SOPS 134055 HAS SOUS 27133 HAS SOUPS 26979 WITH SCORE 27113.261
AT ITER 5154 NEW BEST:: SOT 165571 SOS 134255 HAS SOPS 134049 HAS SOUS 27124 HAS SOUPS 26970 WITH SCORE 27104.255
AT ITER 5194 NEW BEST:: SOT 165581 SOS 134248 HAS SOPS 134015 HAS SOUS 27121 HAS SOUPS 26967 WITH SCORE 27101.248
AT ITER 5204 NEW BEST:: SOT 165566 SOS 134236 HAS SOPS 134003 HAS SOUS 27106 HAS SOUPS 26952 WITH SCORE 27086.236
AT ITER 5324 NEW BEST:: SOT 165565 SOS 134228 HAS SOPS 133995 HAS SOUS 27105 HAS SOUPS 26951 WITH SCORE 27085.228
AT ITER 5328 NEW BEST:: SOT 165589 SOS 134272 HAS SOPS 134039 HAS SOUS 27103 HAS SOUPS 26949 WITH SCORE 27083.272
AT ITER 5351 NEW BEST:: SOT 165584 SOS 134267 HAS SOPS 134034 HAS SOUS 27093 HAS SOUPS 26939 WITH SCORE 27073.267
AT ITER 5367 NEW BEST:: SOT 165494 SOS 134170 HAS SOPS 133937 HAS SOUS 27087 HAS SOUPS 26933 WITH SCORE 27067.17
AT ITER 5393 NEW BEST:: SOT 165489 SOS 134165 HAS SOPS 133932 HAS SOUS 27077 HAS SOUPS 26923 WITH SCORE 27057.165
AT ITER 5431 NEW BEST:: SOT 165474 SOS 134130 HAS SOPS 133897 HAS SOUS 27059 HAS SOUPS 26905 WITH SCORE 27039.13
AT ITER 5447 NEW BEST:: SOT 165475 SOS 134126 HAS SOPS 133893 HAS SOUS 27058 HAS SOUPS 26904 WITH SCORE 27038.126
AT ITER 5469 NEW BEST:: SOT 165411 SOS 134062 HAS SOPS 133829 HAS SOUS 27054 HAS SOUPS 26900 WITH SCORE 27034.062
AT ITER 5536 NEW BEST:: SOT 165164 SOS 133815 HAS SOPS 133582 HAS SOUS 27054 HAS SOUPS 26900 WITH SCORE 27033.815
AT ITER 5545 NEW BEST:: SOT 165163 SOS 133815 HAS SOPS 133582 HAS SOUS 27052 HAS SOUPS 26898 WITH SCORE 27031.815
AT ITER 5609 NEW BEST:: SOT 165162 SOS 133813 HAS SOPS 133580 HAS SOUS 27050 HAS SOUPS 26896 WITH SCORE 27029.813
AT ITER 5631 NEW BEST:: SOT 165145 SOS 133797 HAS SOPS 133564 HAS SOUS 27030 HAS SOUPS 26876 WITH SCORE 27009.797
AT ITER 5654 NEW BEST:: SOT 165144 SOS 133795 HAS SOPS 133562 HAS SOUS 27028 HAS SOUPS 26874 WITH SCORE 27007.795
AT ITER 5759 NEW BEST:: SOT 165138 SOS 133783 HAS SOPS 133550 HAS SOUS 27012 HAS SOUPS 26858 WITH SCORE 26991.783
AT ITER 5791 NEW BEST:: SOT 165133 SOS 133773 HAS SOPS 133540 HAS SOUS 27012 HAS SOUPS 26858 WITH SCORE 26991.773
AT ITER 5852 NEW BEST:: SOT 165130 SOS 133755 HAS SOPS 133522 HAS SOUS 27009 HAS SOUPS 26855 WITH SCORE 26988.755
AT ITER 5872 NEW BEST:: SOT 165127 SOS 133752 HAS SOPS 133519 HAS SOUS 27003 HAS SOUPS 26849 WITH SCORE 26982.752
AT ITER 5878 NEW BEST:: SOT 165131 SOS 133756 HAS SOPS 133523 HAS SOUS 26973 HAS SOUPS 26819 WITH SCORE 26952.756
AT ITER 5891 NEW BEST:: SOT 165149 SOS 133774 HAS SOPS 133541 HAS SOUS 26968 HAS SOUPS 26814 WITH SCORE 26947.774
AT ITER 5957 NEW BEST:: SOT 164928 SOS 133553 HAS SOPS 133320 HAS SOUS 26968 HAS SOUPS 26814 WITH SCORE 26947.553
AT ITER 5998 NEW BEST:: SOT 164924 SOS 133549 HAS SOPS 133316 HAS SOUS 26960 HAS SOUPS 26806 WITH SCORE 26939.549
AT ITER 6047 NEW BEST:: SOT 164935 SOS 133561 HAS SOPS 133328 HAS SOUS 26958 HAS SOUPS 26804 WITH SCORE 26937.561
AT ITER 6087 NEW BEST:: SOT 164935 SOS 133757 HAS SOPS 133524 HAS SOUS 26957 HAS SOUPS 26803 WITH SCORE 26936.757
AT ITER 6148 NEW BEST:: SOT 164831 SOS 133653 HAS SOPS 133420 HAS SOUS 26944 HAS SOUPS 26790 WITH SCORE 26923.653
AT ITER 6176 NEW BEST:: SOT 164816 SOS 133638 HAS SOPS 133420 HAS SOUS 26914 HAS SOUPS 26775 WITH SCORE 26908.638
AT ITER 6222 NEW BEST:: SOT 164813 SOS 133635 HAS SOPS 133417 HAS SOUS 26908 HAS SOUPS 26769 WITH SCORE 26902.635
AT ITER 6247 NEW BEST:: SOT 164811 SOS 133633 HAS SOPS 133415 HAS SOUS 26906 HAS SOUPS 26767 WITH SCORE 26900.633
AT ITER 6347 NEW BEST:: SOT 164810 SOS 133632 HAS SOPS 133414 HAS SOUS 26906 HAS SOUPS 26767 WITH SCORE 26900.632
AT ITER 6376 NEW BEST:: SOT 164810 SOS 133631 HAS SOPS 133413 HAS SOUS 26906 HAS SOUPS 26767 WITH SCORE 26900.631
AT ITER 6419 NEW BEST:: SOT 164807 SOS 133625 HAS SOPS 133407 HAS SOUS 26903 HAS SOUPS 26764 WITH SCORE 26897.625
AT ITER 6426 NEW BEST:: SOT 164807 SOS 133625 HAS SOPS 133407 HAS SOUS 26877 HAS SOUPS 26738 WITH SCORE 26871.625
AT ITER 6465 NEW BEST:: SOT 164803 SOS 133641 HAS SOPS 133423 HAS SOUS 26873 HAS SOUPS 26734 WITH SCORE 26867.641
AT ITER 6556 NEW BEST:: SOT 164803 SOS 133639 HAS SOPS 133421 HAS SOUS 26872 HAS SOUPS 26733 WITH SCORE 26866.639
AT ITER 6698 NEW BEST:: SOT 164802 SOS 133638 HAS SOPS 133420 HAS SOUS 26870 HAS SOUPS 26731 WITH SCORE 26864.638
AT ITER 6700 NEW BEST:: SOT 164784 SOS 133620 HAS SOPS 133402 HAS SOUS 26833 HAS SOUPS 26694 WITH SCORE 26827.62
AT ITER 6738 NEW BEST:: SOT 164948 SOS 133784 HAS SOPS 133566 HAS SOUS 26829 HAS SOUPS 26690 WITH SCORE 26823.784
AT ITER 6810 NEW BEST:: SOT 165114 SOS 133950 HAS SOPS 133732 HAS SOUS 26827 HAS SOUPS 26688 WITH SCORE 26821.95
AT ITER 6845 NEW BEST:: SOT 165090 SOS 133926 HAS SOPS 133708 HAS SOUS 26796 HAS SOUPS 26657 WITH SCORE 26790.926
AT ITER 6897 NEW BEST:: SOT 165088 SOS 133924 HAS SOPS 133706 HAS SOUS 26792 HAS SOUPS 26653 WITH SCORE 26786.924
AT ITER 6966 NEW BEST:: SOT 165087 SOS 133923 HAS SOPS 133705 HAS SOUS 26790 HAS SOUPS 26651 WITH SCORE 26784.923
AT ITER 6978 NEW BEST:: SOT 165068 SOS 133904 HAS SOPS 133686 HAS SOUS 26771 HAS SOUPS 26632 WITH SCORE 26765.904
AT ITER 6994 NEW BEST:: SOT 165067 SOS 133903 HAS SOPS 133685 HAS SOUS 26771 HAS SOUPS 26632 WITH SCORE 26765.903
AT ITER 7006 NEW BEST:: SOT 164978 SOS 133867 HAS SOPS 133665 HAS SOUS 26695 HAS SOUPS 26556 WITH SCORE 26689.867
AT ITER 7015 NEW BEST:: SOT 164830 SOS 133727 HAS SOPS 133525 HAS SOUS 26664 HAS SOUPS 26525 WITH SCORE 26658.727
AT ITER 7017 NEW BEST:: SOT 164829 SOS 133740 HAS SOPS 133538 HAS SOUS 26663 HAS SOUPS 26524 WITH SCORE 26657.74
AT ITER 7020 NEW BEST:: SOT 164813 SOS 133701 HAS SOPS 133499 HAS SOUS 26648 HAS SOUPS 26509 WITH SCORE 26642.701
AT ITER 7025 NEW BEST:: SOT 164800 SOS 133688 HAS SOPS 133486 HAS SOUS 26634 HAS SOUPS 26495 WITH SCORE 26628.688
AT ITER 7091 NEW BEST:: SOT 164558 SOS 133446 HAS SOPS 133244 HAS SOUS 26626 HAS SOUPS 26487 WITH SCORE 26620.446
AT ITER 7095 NEW BEST:: SOT 164506 SOS 133422 HAS SOPS 133178 HAS SOUS 26616 HAS SOUPS 26456 WITH SCORE 26589.422
AT ITER 7102 NEW BEST:: SOT 164505 SOS 133420 HAS SOPS 133176 HAS SOUS 26615 HAS SOUPS 26455 WITH SCORE 26588.42
AT ITER 7129 NEW BEST:: SOT 164582 SOS 133497 HAS SOPS 133253 HAS SOUS 26601 HAS SOUPS 26441 WITH SCORE 26574.497
AT ITER 7136 NEW BEST:: SOT 164546 SOS 133464 HAS SOPS 133220 HAS SOUS 26591 HAS SOUPS 26431 WITH SCORE 26564.464
AT ITER 7137 NEW BEST:: SOT 164531 SOS 133449 HAS SOPS 133205 HAS SOUS 26561 HAS SOUPS 26401 WITH SCORE 26534.449
AT ITER 7163 NEW BEST:: SOT 164485 SOS 133373 HAS SOPS 133129 HAS SOUS 26555 HAS SOUPS 26395 WITH SCORE 26528.373
AT ITER 7165 NEW BEST:: SOT 164465 SOS 133333 HAS SOPS 133089 HAS SOUS 26538 HAS SOUPS 26378 WITH SCORE 26511.333
AT ITER 7206 NEW BEST:: SOT 164585 SOS 133443 HAS SOPS 133199 HAS SOUS 26534 HAS SOUPS 26374 WITH SCORE 26507.443
AT ITER 7362 NEW BEST:: SOT 164581 SOS 133439 HAS SOPS 133195 HAS SOUS 26526 HAS SOUPS 26366 WITH SCORE 26499.439
AT ITER 7398 NEW BEST:: SOT 164578 SOS 133431 HAS SOPS 133187 HAS SOUS 26518 HAS SOUPS 26358 WITH SCORE 26491.431
AT ITER 7450 NEW BEST:: SOT 164573 SOS 133440 HAS SOPS 133196 HAS SOUS 26511 HAS SOUPS 26351 WITH SCORE 26484.44
AT ITER 7461 NEW BEST:: SOT 164567 SOS 133434 HAS SOPS 133190 HAS SOUS 26508 HAS SOUPS 26348 WITH SCORE 26481.434
AT ITER 7524 NEW BEST:: SOT 164567 SOS 133386 HAS SOPS 133142 HAS SOUS 26502 HAS SOUPS 26342 WITH SCORE 26475.386
AT ITER 7566 NEW BEST:: SOT 164567 SOS 133376 HAS SOPS 133132 HAS SOUS 26502 HAS SOUPS 26342 WITH SCORE 26475.376
AT ITER 7629 NEW BEST:: SOT 164563 SOS 133372 HAS SOPS 133128 HAS SOUS 26498 HAS SOUPS 26338 WITH SCORE 26471.372
AT ITER 7681 NEW BEST:: SOT 164563 SOS 133366 HAS SOPS 133122 HAS SOUS 26498 HAS SOUPS 26338 WITH SCORE 26471.366
AT ITER 7803 NEW BEST:: SOT 164563 SOS 133332 HAS SOPS 133088 HAS SOUS 26498 HAS SOUPS 26338 WITH SCORE 26471.332
AT ITER 7817 NEW BEST:: SOT 164524 SOS 133293 HAS SOPS 133049 HAS SOUS 26498 HAS SOUPS 26338 WITH SCORE 26471.293
AT ITER 7857 NEW BEST:: SOT 164523 SOS 133292 HAS SOPS 133048 HAS SOUS 26495 HAS SOUPS 26335 WITH SCORE 26468.292
AT ITER 7913 NEW BEST:: SOT 164499 SOS 133273 HAS SOPS 133029 HAS SOUS 26443 HAS SOUPS 26283 WITH SCORE 26416.273
AT ITER 7956 NEW BEST:: SOT 164491 SOS 133257 HAS SOPS 133013 HAS SOUS 26428 HAS SOUPS 26268 WITH SCORE 26401.257
AT ITER 7988 NEW BEST:: SOT 164489 SOS 133253 HAS SOPS 133009 HAS SOUS 26424 HAS SOUPS 26264 WITH SCORE 26397.253
AT ITER 8000 NEW BEST:: SOT 164483 SOS 133227 HAS SOPS 132983 HAS SOUS 26416 HAS SOUPS 26256 WITH SCORE 26389.227
AT ITER 8071 NEW BEST:: SOT 164483 SOS 133226 HAS SOPS 132982 HAS SOUS 26416 HAS SOUPS 26256 WITH SCORE 26389.226
AT ITER 8084 NEW BEST:: SOT 164480 SOS 133223 HAS SOPS 132979 HAS SOUS 26410 HAS SOUPS 26250 WITH SCORE 26383.223
AT ITER 8113 NEW BEST:: SOT 164478 SOS 133225 HAS SOPS 132981 HAS SOUS 26409 HAS SOUPS 26249 WITH SCORE 26382.225
AT ITER 8170 NEW BEST:: SOT 164478 SOS 133212 HAS SOPS 132968 HAS SOUS 26407 HAS SOUPS 26247 WITH SCORE 26380.212
AT ITER 8184 NEW BEST:: SOT 164476 SOS 133208 HAS SOPS 132964 HAS SOUS 26404 HAS SOUPS 26244 WITH SCORE 26377.208
AT ITER 8206 NEW BEST:: SOT 164471 SOS 133176 HAS SOPS 132932 HAS SOUS 26398 HAS SOUPS 26238 WITH SCORE 26371.176
AT ITER 8208 NEW BEST:: SOT 164460 SOS 133154 HAS SOPS 132910 HAS SOUS 26379 HAS SOUPS 26219 WITH SCORE 26352.154
AT ITER 8254 NEW BEST:: SOT 164456 SOS 133150 HAS SOPS 132906 HAS SOUS 26377 HAS SOUPS 26217 WITH SCORE 26350.15
AT ITER 8265 NEW BEST:: SOT 164456 SOS 133143 HAS SOPS 132899 HAS SOUS 26364 HAS SOUPS 26204 WITH SCORE 26337.143
AT ITER 8294 NEW BEST:: SOT 164455 SOS 133142 HAS SOPS 132898 HAS SOUS 26362 HAS SOUPS 26202 WITH SCORE 26335.142
AT ITER 8295 NEW BEST:: SOT 164452 SOS 133120 HAS SOPS 132876 HAS SOUS 26359 HAS SOUPS 26199 WITH SCORE 26332.12
AT ITER 8479 NEW BEST:: SOT 164452 SOS 133116 HAS SOPS 132872 HAS SOUS 26357 HAS SOUPS 26197 WITH SCORE 26330.116
AT ITER 8494 NEW BEST:: SOT 164450 SOS 133114 HAS SOPS 132870 HAS SOUS 26353 HAS SOUPS 26193 WITH SCORE 26326.114
AT ITER 8498 NEW BEST:: SOT 164425 SOS 133089 HAS SOPS 132845 HAS SOUS 26333 HAS SOUPS 26173 WITH SCORE 26306.089
AT ITER 8536 NEW BEST:: SOT 164425 SOS 132991 HAS SOPS 132747 HAS SOUS 26333 HAS SOUPS 26173 WITH SCORE 26305.991
AT ITER 8540 NEW BEST:: SOT 164422 SOS 132988 HAS SOPS 132744 HAS SOUS 26327 HAS SOUPS 26167 WITH SCORE 26299.988
AT ITER 8558 NEW BEST:: SOT 164420 SOS 132984 HAS SOPS 132740 HAS SOUS 26325 HAS SOUPS 26165 WITH SCORE 26297.984
AT ITER 8664 NEW BEST:: SOT 164420 SOS 132965 HAS SOPS 132721 HAS SOUS 26325 HAS SOUPS 26165 WITH SCORE 26297.965
AT ITER 8745 NEW BEST:: SOT 164420 SOS 132965 HAS SOPS 132721 HAS SOUS 26324 HAS SOUPS 26164 WITH SCORE 26296.965
AT ITER 8851 NEW BEST:: SOT 164419 SOS 132964 HAS SOPS 132720 HAS SOUS 26323 HAS SOUPS 26163 WITH SCORE 26295.964
AT ITER 8930 NEW BEST:: SOT 164419 SOS 132964 HAS SOPS 132718 HAS SOUS 26321 HAS SOUPS 26161 WITH SCORE 26293.964
AT ITER 9054 NEW BEST:: SOT 164424 SOS 132941 HAS SOPS 132695 HAS SOUS 26295 HAS SOUPS 26135 WITH SCORE 26267.941
AT ITER 9149 NEW BEST:: SOT 164423 SOS 132940 HAS SOPS 132694 HAS SOUS 26294 HAS SOUPS 26134 WITH SCORE 26266.94
AT ITER 9205 NEW BEST:: SOT 164423 SOS 132744 HAS SOPS 132498 HAS SOUS 26294 HAS SOUPS 26134 WITH SCORE 26266.744
AT ITER 9304 NEW BEST:: SOT 164504 SOS 132825 HAS SOPS 132579 HAS SOUS 26289 HAS SOUPS 26129 WITH SCORE 26261.825
AT ITER 9324 NEW BEST:: SOT 164503 SOS 132824 HAS SOPS 132578 HAS SOUS 26288 HAS SOUPS 26128 WITH SCORE 26260.824
AT ITER 9338 NEW BEST:: SOT 164497 SOS 132818 HAS SOPS 132572 HAS SOUS 26281 HAS SOUPS 26121 WITH SCORE 26253.818
AT ITER 9371 NEW BEST:: SOT 164492 SOS 132890 HAS SOPS 132644 HAS SOUS 26278 HAS SOUPS 26118 WITH SCORE 26250.89
AT ITER 9398 NEW BEST:: SOT 164488 SOS 132864 HAS SOPS 132618 HAS SOUS 26272 HAS SOUPS 26112 WITH SCORE 26244.864
AT ITER 9459 NEW BEST:: SOT 164486 SOS 132862 HAS SOPS 132616 HAS SOUS 26265 HAS SOUPS 26105 WITH SCORE 26237.862
AT ITER 9543 NEW BEST:: SOT 164485 SOS 132860 HAS SOPS 132614 HAS SOUS 26264 HAS SOUPS 26104 WITH SCORE 26236.86
AT ITER 9568 NEW BEST:: SOT 164261 SOS 132644 HAS SOPS 132398 HAS SOUS 26256 HAS SOUPS 26096 WITH SCORE 26228.644
AT ITER 9575 NEW BEST:: SOT 164271 SOS 132641 HAS SOPS 132395 HAS SOUS 26250 HAS SOUPS 26090 WITH SCORE 26222.641
AT ITER 9664 NEW BEST:: SOT 164270 SOS 132659 HAS SOPS 132413 HAS SOUS 26249 HAS SOUPS 26089 WITH SCORE 26221.659
AT ITER 9728 NEW BEST:: SOT 164242 SOS 132616 HAS SOPS 132370 HAS SOUS 26245 HAS SOUPS 26085 WITH SCORE 26217.616
AT ITER 9802 NEW BEST:: SOT 164224 SOS 132601 HAS SOPS 132355 HAS SOUS 26230 HAS SOUPS 26070 WITH SCORE 26202.601
AT ITER 9846 NEW BEST:: SOT 164218 SOS 132595 HAS SOPS 132349 HAS SOUS 26226 HAS SOUPS 26066 WITH SCORE 26198.595
AT ITER 9913 NEW BEST:: SOT 164208 SOS 132585 HAS SOPS 132339 HAS SOUS 26209 HAS SOUPS 26049 WITH SCORE 26181.585
AT ITER 9980 NEW BEST:: SOT 164088 SOS 132455 HAS SOPS 132209 HAS SOUS 26198 HAS SOUPS 26038 WITH SCORE 26170.455
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 695692 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125656 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="Anderson-PT-07"
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 Anderson-PT-07, 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 r523-tall-167987247500032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-07.tgz
mv Anderson-PT-07 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 ;