About the Execution of smart for Dekker-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.460 | 1847370.00 | 1847060.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807300328.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Dekker-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807300328
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 247K Apr 27 14:36 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 1589360995994
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 020
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 100 places, 440 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 38527 SOS 34746 HAS SOPS 31950 HAS SOUS 31744 HAS SOUPS 30088 WITH SCORE 30122.746
AT ITER 2 NEW BEST:: SOT 38129 SOS 34362 HAS SOPS 31552 HAS SOUS 31360 HAS SOUPS 29690 WITH SCORE 29724.362
AT ITER 5 NEW BEST:: SOT 37449 SOS 34208 HAS SOPS 30473 HAS SOUS 29113 HAS SOUPS 27460 WITH SCORE 27494.208
AT ITER 6 NEW BEST:: SOT 37449 SOS 34116 HAS SOPS 30221 HAS SOUS 28689 HAS SOUPS 27048 WITH SCORE 27082.116
AT ITER 7 NEW BEST:: SOT 37455 SOS 34029 HAS SOPS 30057 HAS SOUS 28039 HAS SOUPS 26427 WITH SCORE 26461.029
AT ITER 10 NEW BEST:: SOT 37498 SOS 33894 HAS SOPS 29758 HAS SOUS 26778 HAS SOUPS 25223 WITH SCORE 25256.894
AT ITER 11 NEW BEST:: SOT 37498 SOS 33894 HAS SOPS 29744 HAS SOUS 26750 HAS SOUPS 25195 WITH SCORE 25228.894
AT ITER 12 NEW BEST:: SOT 38051 SOS 34220 HAS SOPS 30069 HAS SOUS 25622 HAS SOUPS 24179 WITH SCORE 24213.22
AT ITER 14 NEW BEST:: SOT 38051 SOS 34220 HAS SOPS 30050 HAS SOUS 25588 HAS SOUPS 24141 WITH SCORE 24175.22
AT ITER 16 NEW BEST:: SOT 37669 SOS 33863 HAS SOPS 29731 HAS SOUS 25300 HAS SOUPS 23810 WITH SCORE 23843.863
AT ITER 17 NEW BEST:: SOT 37700 SOS 33580 HAS SOPS 29420 HAS SOUS 24163 HAS SOUPS 22730 WITH SCORE 22763.58
AT ITER 19 NEW BEST:: SOT 37186 SOS 33066 HAS SOPS 28887 HAS SOUS 23617 HAS SOUPS 22178 WITH SCORE 22211.066
AT ITER 20 NEW BEST:: SOT 37450 SOS 32886 HAS SOPS 28820 HAS SOUS 22652 HAS SOUPS 21296 WITH SCORE 21328.886
AT ITER 21 NEW BEST:: SOT 37066 SOS 32517 HAS SOPS 28436 HAS SOUS 22315 HAS SOUPS 20912 WITH SCORE 20944.517
AT ITER 23 NEW BEST:: SOT 37079 SOS 32530 HAS SOPS 28424 HAS SOUS 22303 HAS SOUPS 20875 WITH SCORE 20907.53
AT ITER 24 NEW BEST:: SOT 36837 SOS 32301 HAS SOPS 28182 HAS SOUS 22308 HAS SOUPS 20867 WITH SCORE 20899.301
AT ITER 25 NEW BEST:: SOT 36588 SOS 32052 HAS SOPS 27933 HAS SOUS 22059 HAS SOUPS 20618 WITH SCORE 20650.052
AT ITER 29 NEW BEST:: SOT 36606 SOS 31892 HAS SOPS 28016 HAS SOUS 20746 HAS SOUPS 19374 WITH SCORE 19405.892
AT ITER 32 NEW BEST:: SOT 36372 SOS 31501 HAS SOPS 27635 HAS SOUS 19185 HAS SOUPS 17863 WITH SCORE 17894.501
AT ITER 33 NEW BEST:: SOT 36372 SOS 31474 HAS SOPS 27575 HAS SOUS 19149 HAS SOUPS 17827 WITH SCORE 17858.474
AT ITER 35 NEW BEST:: SOT 36372 SOS 31423 HAS SOPS 27524 HAS SOUS 19111 HAS SOUPS 17776 WITH SCORE 17807.423
AT ITER 36 NEW BEST:: SOT 36372 SOS 31225 HAS SOPS 27115 HAS SOUS 18875 HAS SOUPS 17517 WITH SCORE 17548.225
AT ITER 38 NEW BEST:: SOT 36766 SOS 31262 HAS SOPS 27485 HAS SOUS 18352 HAS SOUPS 17059 WITH SCORE 17090.262
AT ITER 40 NEW BEST:: SOT 36766 SOS 31247 HAS SOPS 27485 HAS SOUS 18347 HAS SOUPS 17055 WITH SCORE 17086.247
AT ITER 41 NEW BEST:: SOT 36675 SOS 30963 HAS SOPS 27041 HAS SOUS 18047 HAS SOUPS 16755 WITH SCORE 16785.963
AT ITER 42 NEW BEST:: SOT 36878 SOS 31145 HAS SOPS 27618 HAS SOUS 17675 HAS SOUPS 16398 WITH SCORE 16429.145
AT ITER 44 NEW BEST:: SOT 37370 SOS 30955 HAS SOPS 27795 HAS SOUS 16754 HAS SOUPS 15599 WITH SCORE 15629.955
AT ITER 45 NEW BEST:: SOT 37518 SOS 31094 HAS SOPS 27943 HAS SOUS 16731 HAS SOUPS 15585 WITH SCORE 15616.094
AT ITER 47 NEW BEST:: SOT 37533 SOS 31109 HAS SOPS 27939 HAS SOUS 16739 HAS SOUPS 15562 WITH SCORE 15593.109
AT ITER 48 NEW BEST:: SOT 37533 SOS 31089 HAS SOPS 27876 HAS SOUS 16690 HAS SOUPS 15513 WITH SCORE 15544.089
AT ITER 49 NEW BEST:: SOT 37396 SOS 30386 HAS SOPS 27525 HAS SOUS 15867 HAS SOUPS 14773 WITH SCORE 14803.386
AT ITER 50 NEW BEST:: SOT 37427 SOS 29788 HAS SOPS 27231 HAS SOUS 15129 HAS SOUPS 14120 WITH SCORE 14149.788
AT ITER 52 NEW BEST:: SOT 37427 SOS 29788 HAS SOPS 27225 HAS SOUS 15123 HAS SOUPS 14108 WITH SCORE 14137.788
AT ITER 53 NEW BEST:: SOT 37369 SOS 29733 HAS SOPS 27167 HAS SOUS 15122 HAS SOUPS 14104 WITH SCORE 14133.733
AT ITER 54 NEW BEST:: SOT 37369 SOS 29470 HAS SOPS 26812 HAS SOUS 15006 HAS SOUPS 13993 WITH SCORE 14022.47
AT ITER 55 NEW BEST:: SOT 37069 SOS 28593 HAS SOPS 25739 HAS SOUS 14387 HAS SOUPS 13409 WITH SCORE 13437.593
AT ITER 56 NEW BEST:: SOT 37026 SOS 28550 HAS SOPS 25696 HAS SOUS 14333 HAS SOUPS 13366 WITH SCORE 13394.55
AT ITER 58 NEW BEST:: SOT 36814 SOS 28338 HAS SOPS 25484 HAS SOUS 14121 HAS SOUPS 13154 WITH SCORE 13182.338
AT ITER 61 NEW BEST:: SOT 36798 SOS 28322 HAS SOPS 25468 HAS SOUS 14105 HAS SOUPS 13138 WITH SCORE 13166.322
AT ITER 68 NEW BEST:: SOT 36798 SOS 28252 HAS SOPS 25380 HAS SOUS 14077 HAS SOUPS 13122 WITH SCORE 13150.252
AT ITER 70 NEW BEST:: SOT 36798 SOS 28224 HAS SOPS 25340 HAS SOUS 14061 HAS SOUPS 13108 WITH SCORE 13136.224
AT ITER 72 NEW BEST:: SOT 36850 SOS 27791 HAS SOPS 25251 HAS SOUS 13470 HAS SOUPS 12566 WITH SCORE 12593.791
AT ITER 73 NEW BEST:: SOT 36850 SOS 27791 HAS SOPS 25241 HAS SOUS 13460 HAS SOUPS 12546 WITH SCORE 12573.791
AT ITER 78 NEW BEST:: SOT 36850 SOS 27509 HAS SOPS 24890 HAS SOUS 13375 HAS SOUPS 12461 WITH SCORE 12488.509
AT ITER 79 NEW BEST:: SOT 36904 SOS 27541 HAS SOPS 24944 HAS SOUS 13111 HAS SOUPS 12214 WITH SCORE 12241.541
AT ITER 80 NEW BEST:: SOT 36944 SOS 27333 HAS SOPS 25252 HAS SOUS 12773 HAS SOUPS 11922 WITH SCORE 11949.333
AT ITER 81 NEW BEST:: SOT 36924 SOS 27313 HAS SOPS 25225 HAS SOUS 12746 HAS SOUPS 11888 WITH SCORE 11915.313
AT ITER 82 NEW BEST:: SOT 37309 SOS 27685 HAS SOPS 25650 HAS SOUS 12348 HAS SOUPS 11532 WITH SCORE 11559.685
AT ITER 83 NEW BEST:: SOT 37309 SOS 27685 HAS SOPS 25648 HAS SOUS 12369 HAS SOUPS 11528 WITH SCORE 11555.685
AT ITER 84 NEW BEST:: SOT 37309 SOS 27685 HAS SOPS 25641 HAS SOUS 12362 HAS SOUPS 11521 WITH SCORE 11548.685
AT ITER 86 NEW BEST:: SOT 37309 SOS 27464 HAS SOPS 25352 HAS SOUS 12264 HAS SOUPS 11446 WITH SCORE 11473.464
AT ITER 90 NEW BEST:: SOT 37065 SOS 27135 HAS SOPS 25003 HAS SOUS 11999 HAS SOUPS 11172 WITH SCORE 11199.135
AT ITER 92 NEW BEST:: SOT 37065 SOS 27103 HAS SOPS 24963 HAS SOUS 11987 HAS SOUPS 11160 WITH SCORE 11187.103
AT ITER 96 NEW BEST:: SOT 37294 SOS 27311 HAS SOPS 25192 HAS SOUS 11917 HAS SOUPS 11106 WITH SCORE 11133.311
AT ITER 97 NEW BEST:: SOT 37294 SOS 27247 HAS SOPS 25112 HAS SOUS 11893 HAS SOUPS 11086 WITH SCORE 11113.247
AT ITER 102 NEW BEST:: SOT 37294 SOS 27215 HAS SOPS 25072 HAS SOUS 11883 HAS SOUPS 11076 WITH SCORE 11103.215
AT ITER 105 NEW BEST:: SOT 37440 SOS 27288 HAS SOPS 25133 HAS SOUS 11622 HAS SOUPS 10835 WITH SCORE 10862.288
AT ITER 106 NEW BEST:: SOT 37245 SOS 27178 HAS SOPS 25020 HAS SOUS 11447 HAS SOUPS 10624 WITH SCORE 10651.178
AT ITER 107 NEW BEST:: SOT 37245 SOS 26797 HAS SOPS 24588 HAS SOUS 11347 HAS SOUPS 10559 WITH SCORE 10585.797
AT ITER 108 NEW BEST:: SOT 36905 SOS 25918 HAS SOPS 23444 HAS SOUS 10667 HAS SOUPS 9876 WITH SCORE 9901.918
AT ITER 110 NEW BEST:: SOT 36905 SOS 26035 HAS SOPS 23552 HAS SOUS 10627 HAS SOUPS 9856 WITH SCORE 9882.035
AT ITER 112 NEW BEST:: SOT 37045 SOS 25740 HAS SOPS 23746 HAS SOUS 10278 HAS SOUPS 9580 WITH SCORE 9605.74
AT ITER 122 NEW BEST:: SOT 36997 SOS 25861 HAS SOPS 23869 HAS SOUS 10239 HAS SOUPS 9541 WITH SCORE 9566.861
AT ITER 126 NEW BEST:: SOT 36997 SOS 25861 HAS SOPS 23867 HAS SOUS 10235 HAS SOUPS 9537 WITH SCORE 9562.861
AT ITER 129 NEW BEST:: SOT 36997 SOS 25814 HAS SOPS 23782 HAS SOUS 10163 HAS SOUPS 9461 WITH SCORE 9486.814
AT ITER 132 NEW BEST:: SOT 36990 SOS 25239 HAS SOPS 23183 HAS SOUS 10098 HAS SOUPS 9413 WITH SCORE 9438.239
AT ITER 136 NEW BEST:: SOT 36985 SOS 25234 HAS SOPS 23178 HAS SOUS 10093 HAS SOUPS 9408 WITH SCORE 9433.234
AT ITER 137 NEW BEST:: SOT 36973 SOS 25222 HAS SOPS 23166 HAS SOUS 10081 HAS SOUPS 9396 WITH SCORE 9421.222
AT ITER 143 NEW BEST:: SOT 37317 SOS 25914 HAS SOPS 24351 HAS SOUS 9858 HAS SOUPS 9230 WITH SCORE 9255.914
AT ITER 149 NEW BEST:: SOT 37199 SOS 25569 HAS SOPS 23953 HAS SOUS 9659 HAS SOUPS 9031 WITH SCORE 9056.569
AT ITER 151 NEW BEST:: SOT 37176 SOS 25538 HAS SOPS 23882 HAS SOUS 9590 HAS SOUPS 8935 WITH SCORE 8960.538
AT ITER 157 NEW BEST:: SOT 37176 SOS 25348 HAS SOPS 23672 HAS SOUS 9550 HAS SOUPS 8895 WITH SCORE 8920.348
AT ITER 166 NEW BEST:: SOT 37170 SOS 25335 HAS SOPS 23659 HAS SOUS 9537 HAS SOUPS 8882 WITH SCORE 8907.335
AT ITER 170 NEW BEST:: SOT 37170 SOS 25333 HAS SOPS 23657 HAS SOUS 9537 HAS SOUPS 8882 WITH SCORE 8907.333
AT ITER 176 NEW BEST:: SOT 37170 SOS 25189 HAS SOPS 23505 HAS SOUS 9521 HAS SOUPS 8866 WITH SCORE 8891.189
AT ITER 177 NEW BEST:: SOT 37170 SOS 25173 HAS SOPS 23465 HAS SOUS 9493 HAS SOUPS 8838 WITH SCORE 8863.173
AT ITER 178 NEW BEST:: SOT 37122 SOS 25125 HAS SOPS 23417 HAS SOUS 9445 HAS SOUPS 8790 WITH SCORE 8815.125
AT ITER 180 NEW BEST:: SOT 37081 SOS 24775 HAS SOPS 23067 HAS SOUS 9370 HAS SOUPS 8750 WITH SCORE 8774.775
AT ITER 183 NEW BEST:: SOT 37554 SOS 25191 HAS SOPS 23540 HAS SOUS 9340 HAS SOUPS 8748 WITH SCORE 8773.191
AT ITER 184 NEW BEST:: SOT 37554 SOS 25174 HAS SOPS 23520 HAS SOUS 9335 HAS SOUPS 8743 WITH SCORE 8768.174
AT ITER 189 NEW BEST:: SOT 37554 SOS 25132 HAS SOPS 23437 HAS SOUS 9255 HAS SOUPS 8661 WITH SCORE 8686.132
AT ITER 193 NEW BEST:: SOT 37554 SOS 24930 HAS SOPS 23215 HAS SOUS 9215 HAS SOUPS 8621 WITH SCORE 8645.93
AT ITER 197 NEW BEST:: SOT 37097 SOS 24486 HAS SOPS 22708 HAS SOUS 9195 HAS SOUPS 8551 WITH SCORE 8575.486
AT ITER 198 NEW BEST:: SOT 37133 SOS 24729 HAS SOPS 23227 HAS SOUS 9116 HAS SOUPS 8472 WITH SCORE 8496.729
AT ITER 200 NEW BEST:: SOT 37133 SOS 24729 HAS SOPS 23223 HAS SOUS 9112 HAS SOUPS 8468 WITH SCORE 8492.729
AT ITER 202 NEW BEST:: SOT 37133 SOS 24694 HAS SOPS 23153 HAS SOUS 9042 HAS SOUPS 8398 WITH SCORE 8422.694
AT ITER 204 NEW BEST:: SOT 37133 SOS 24685 HAS SOPS 23135 HAS SOUS 9024 HAS SOUPS 8380 WITH SCORE 8404.685
AT ITER 205 NEW BEST:: SOT 37512 SOS 25012 HAS SOPS 23514 HAS SOUS 8955 HAS SOUPS 8336 WITH SCORE 8361.012
AT ITER 206 NEW BEST:: SOT 37212 SOS 24681 HAS SOPS 23074 HAS SOUS 8752 HAS SOUPS 8122 WITH SCORE 8146.681
AT ITER 220 NEW BEST:: SOT 37221 SOS 24832 HAS SOPS 23205 HAS SOUS 8748 HAS SOUPS 8089 WITH SCORE 8113.832
AT ITER 226 NEW BEST:: SOT 37309 SOS 24622 HAS SOPS 23377 HAS SOUS 8420 HAS SOUPS 7803 WITH SCORE 7827.622
AT ITER 245 NEW BEST:: SOT 37309 SOS 24402 HAS SOPS 23146 HAS SOUS 8387 HAS SOUPS 7770 WITH SCORE 7794.402
AT ITER 252 NEW BEST:: SOT 36858 SOS 23979 HAS SOPS 22695 HAS SOUS 8268 HAS SOUPS 7633 WITH SCORE 7656.979
AT ITER 257 NEW BEST:: SOT 36760 SOS 24033 HAS SOPS 22730 HAS SOUS 8167 HAS SOUPS 7505 WITH SCORE 7529.033
AT ITER 262 NEW BEST:: SOT 36756 SOS 24029 HAS SOPS 22726 HAS SOUS 8163 HAS SOUPS 7501 WITH SCORE 7525.029
AT ITER 279 NEW BEST:: SOT 36756 SOS 24005 HAS SOPS 22701 HAS SOUS 8129 HAS SOUPS 7494 WITH SCORE 7518.005
AT ITER 290 NEW BEST:: SOT 36546 SOS 23815 HAS SOPS 22484 HAS SOUS 8092 HAS SOUPS 7440 WITH SCORE 7463.815
AT ITER 295 NEW BEST:: SOT 36481 SOS 23736 HAS SOPS 22399 HAS SOUS 8007 HAS SOUPS 7355 WITH SCORE 7378.736
AT ITER 299 NEW BEST:: SOT 36481 SOS 23618 HAS SOPS 22279 HAS SOUS 7993 HAS SOUPS 7341 WITH SCORE 7364.618
AT ITER 300 NEW BEST:: SOT 36263 SOS 23400 HAS SOPS 22061 HAS SOUS 7775 HAS SOUPS 7123 WITH SCORE 7146.4
AT ITER 302 NEW BEST:: SOT 36263 SOS 23399 HAS SOPS 22060 HAS SOUS 7775 HAS SOUPS 7122 WITH SCORE 7145.399
AT ITER 310 NEW BEST:: SOT 36263 SOS 23728 HAS SOPS 22282 HAS SOUS 7790 HAS SOUPS 7119 WITH SCORE 7142.728
AT ITER 328 NEW BEST:: SOT 36375 SOS 23824 HAS SOPS 22402 HAS SOUS 7766 HAS SOUPS 7111 WITH SCORE 7134.824
AT ITER 339 NEW BEST:: SOT 36375 SOS 24023 HAS SOPS 22582 HAS SOUS 7756 HAS SOUPS 7101 WITH SCORE 7125.023
AT ITER 346 NEW BEST:: SOT 36501 SOS 24127 HAS SOPS 22719 HAS SOUS 7695 HAS SOUPS 7062 WITH SCORE 7086.127
AT ITER 347 NEW BEST:: SOT 36501 SOS 24469 HAS SOPS 23043 HAS SOUS 7693 HAS SOUPS 7060 WITH SCORE 7084.469
AT ITER 354 NEW BEST:: SOT 36501 SOS 24271 HAS SOPS 22812 HAS SOUS 7721 HAS SOUPS 7030 WITH SCORE 7054.271
AT ITER 355 NEW BEST:: SOT 36501 SOS 24137 HAS SOPS 22678 HAS SOUS 7701 HAS SOUPS 7010 WITH SCORE 7034.137
AT ITER 364 NEW BEST:: SOT 36569 SOS 24178 HAS SOPS 22749 HAS SOUS 7582 HAS SOUPS 6902 WITH SCORE 6926.178
AT ITER 366 NEW BEST:: SOT 36466 SOS 24087 HAS SOPS 22640 HAS SOUS 7581 HAS SOUPS 6889 WITH SCORE 6913.087
AT ITER 373 NEW BEST:: SOT 36466 SOS 24379 HAS SOPS 22866 HAS SOUS 7508 HAS SOUPS 6814 WITH SCORE 6838.379
AT ITER 385 NEW BEST:: SOT 36466 SOS 24304 HAS SOPS 22776 HAS SOUS 7479 HAS SOUPS 6785 WITH SCORE 6809.304
AT ITER 393 NEW BEST:: SOT 36466 SOS 24304 HAS SOPS 22775 HAS SOUS 7478 HAS SOUPS 6783 WITH SCORE 6807.304
AT ITER 397 NEW BEST:: SOT 36466 SOS 24048 HAS SOPS 22525 HAS SOUS 7435 HAS SOUPS 6761 WITH SCORE 6785.048
AT ITER 398 NEW BEST:: SOT 36466 SOS 23985 HAS SOPS 22462 HAS SOUS 7416 HAS SOUPS 6755 WITH SCORE 6778.985
AT ITER 399 NEW BEST:: SOT 36466 SOS 23985 HAS SOPS 22459 HAS SOUS 7413 HAS SOUPS 6749 WITH SCORE 6772.985
AT ITER 401 NEW BEST:: SOT 36466 SOS 23978 HAS SOPS 22436 HAS SOUS 7385 HAS SOUPS 6717 WITH SCORE 6740.978
AT ITER 402 NEW BEST:: SOT 36466 SOS 23977 HAS SOPS 22436 HAS SOUS 7384 HAS SOUPS 6717 WITH SCORE 6740.977
AT ITER 405 NEW BEST:: SOT 36466 SOS 23977 HAS SOPS 22432 HAS SOUS 7380 HAS SOUPS 6709 WITH SCORE 6732.977
AT ITER 410 NEW BEST:: SOT 36204 SOS 23733 HAS SOPS 22162 HAS SOUS 7332 HAS SOUPS 6641 WITH SCORE 6664.733
AT ITER 433 NEW BEST:: SOT 35698 SOS 23260 HAS SOPS 21756 HAS SOUS 7221 HAS SOUPS 6515 WITH SCORE 6538.26
AT ITER 449 NEW BEST:: SOT 35698 SOS 23240 HAS SOPS 21737 HAS SOUS 7221 HAS SOUPS 6515 WITH SCORE 6538.24
AT ITER 452 NEW BEST:: SOT 35778 SOS 23125 HAS SOPS 21523 HAS SOUS 7174 HAS SOUPS 6468 WITH SCORE 6491.125
AT ITER 457 NEW BEST:: SOT 35762 SOS 23110 HAS SOPS 21506 HAS SOUS 7176 HAS SOUPS 6468 WITH SCORE 6491.11
AT ITER 459 NEW BEST:: SOT 35762 SOS 23119 HAS SOPS 21506 HAS SOUS 7176 HAS SOUPS 6459 WITH SCORE 6482.119
AT ITER 462 NEW BEST:: SOT 35762 SOS 23118 HAS SOPS 21505 HAS SOUS 7175 HAS SOUPS 6458 WITH SCORE 6481.118
AT ITER 469 NEW BEST:: SOT 35798 SOS 23145 HAS SOPS 21541 HAS SOUS 7160 HAS SOUPS 6446 WITH SCORE 6469.145
AT ITER 474 NEW BEST:: SOT 35818 SOS 23103 HAS SOPS 21561 HAS SOUS 7042 HAS SOUPS 6338 WITH SCORE 6361.103
AT ITER 484 NEW BEST:: SOT 35849 SOS 23132 HAS SOPS 21594 HAS SOUS 7037 HAS SOUPS 6337 WITH SCORE 6360.132
AT ITER 491 NEW BEST:: SOT 35849 SOS 23363 HAS SOPS 21808 HAS SOUS 7042 HAS SOUPS 6325 WITH SCORE 6348.363
AT ITER 513 NEW BEST:: SOT 35849 SOS 23090 HAS SOPS 21535 HAS SOUS 7028 HAS SOUPS 6299 WITH SCORE 6322.09
AT ITER 521 NEW BEST:: SOT 35849 SOS 23089 HAS SOPS 21535 HAS SOUS 7027 HAS SOUPS 6299 WITH SCORE 6322.089
AT ITER 532 NEW BEST:: SOT 35849 SOS 22879 HAS SOPS 21328 HAS SOUS 7010 HAS SOUPS 6285 WITH SCORE 6307.879
AT ITER 534 NEW BEST:: SOT 35851 SOS 22878 HAS SOPS 21326 HAS SOUS 7003 HAS SOUPS 6285 WITH SCORE 6307.878
AT ITER 553 NEW BEST:: SOT 35851 SOS 22763 HAS SOPS 21211 HAS SOUS 6990 HAS SOUPS 6284 WITH SCORE 6306.763
AT ITER 580 NEW BEST:: SOT 35851 SOS 22644 HAS SOPS 21211 HAS SOUS 6981 HAS SOUPS 6282 WITH SCORE 6304.644
AT ITER 606 NEW BEST:: SOT 35851 SOS 22473 HAS SOPS 21040 HAS SOUS 6972 HAS SOUPS 6273 WITH SCORE 6295.473
AT ITER 644 NEW BEST:: SOT 35801 SOS 22423 HAS SOPS 20990 HAS SOUS 6922 HAS SOUPS 6223 WITH SCORE 6245.423
AT ITER 700 NEW BEST:: SOT 35801 SOS 22360 HAS SOPS 20927 HAS SOUS 6898 HAS SOUPS 6217 WITH SCORE 6239.36
AT ITER 701 NEW BEST:: SOT 35801 SOS 22276 HAS SOPS 20844 HAS SOUS 6891 HAS SOUPS 6211 WITH SCORE 6233.276
AT ITER 727 NEW BEST:: SOT 35801 SOS 22213 HAS SOPS 20781 HAS SOUS 6885 HAS SOUPS 6205 WITH SCORE 6227.213
AT ITER 730 NEW BEST:: SOT 35811 SOS 22207 HAS SOPS 20795 HAS SOUS 6835 HAS SOUPS 6163 WITH SCORE 6185.207
AT ITER 738 NEW BEST:: SOT 35811 SOS 22207 HAS SOPS 20794 HAS SOUS 6834 HAS SOUPS 6161 WITH SCORE 6183.207
AT ITER 745 NEW BEST:: SOT 35801 SOS 22192 HAS SOPS 20771 HAS SOUS 6819 HAS SOUPS 6138 WITH SCORE 6160.192
AT ITER 755 NEW BEST:: SOT 35801 SOS 22192 HAS SOPS 20770 HAS SOUS 6818 HAS SOUPS 6136 WITH SCORE 6158.192
AT ITER 783 NEW BEST:: SOT 36037 SOS 22413 HAS SOPS 21006 HAS SOUS 6789 HAS SOUPS 6121 WITH SCORE 6143.413
AT ITER 796 NEW BEST:: SOT 36037 SOS 22413 HAS SOPS 21004 HAS SOUS 6787 HAS SOUPS 6117 WITH SCORE 6139.413
AT ITER 827 NEW BEST:: SOT 36037 SOS 22413 HAS SOPS 20997 HAS SOUS 6778 HAS SOUPS 6103 WITH SCORE 6125.413
AT ITER 835 NEW BEST:: SOT 36206 SOS 22543 HAS SOPS 21061 HAS SOUS 6671 HAS SOUPS 6006 WITH SCORE 6028.543
AT ITER 845 NEW BEST:: SOT 36206 SOS 22542 HAS SOPS 21060 HAS SOUS 6670 HAS SOUPS 6006 WITH SCORE 6028.542
AT ITER 869 NEW BEST:: SOT 36137 SOS 22476 HAS SOPS 20991 HAS SOUS 6658 HAS SOUPS 5991 WITH SCORE 6013.476
AT ITER 873 NEW BEST:: SOT 36134 SOS 22473 HAS SOPS 20988 HAS SOUS 6655 HAS SOUPS 5988 WITH SCORE 6010.473
AT ITER 888 NEW BEST:: SOT 36134 SOS 22455 HAS SOPS 20964 HAS SOUS 6647 HAS SOUPS 5977 WITH SCORE 5999.455
AT ITER 896 NEW BEST:: SOT 36134 SOS 22434 HAS SOPS 20944 HAS SOUS 6646 HAS SOUPS 5977 WITH SCORE 5999.434
AT ITER 910 NEW BEST:: SOT 36134 SOS 22367 HAS SOPS 20877 HAS SOUS 6640 HAS SOUPS 5971 WITH SCORE 5993.367
AT ITER 957 NEW BEST:: SOT 36134 SOS 22283 HAS SOPS 20793 HAS SOUS 6628 HAS SOUPS 5963 WITH SCORE 5985.283
AT ITER 962 NEW BEST:: SOT 36134 SOS 22283 HAS SOPS 20789 HAS SOUS 6624 HAS SOUPS 5955 WITH SCORE 5977.283
AT ITER 987 NEW BEST:: SOT 36143 SOS 22237 HAS SOPS 20542 HAS SOUS 6406 HAS SOUPS 5741 WITH SCORE 5763.237
AT ITER 1003 NEW BEST:: SOT 36143 SOS 22237 HAS SOPS 20538 HAS SOUS 6402 HAS SOUPS 5733 WITH SCORE 5755.237
AT ITER 1015 NEW BEST:: SOT 36139 SOS 22233 HAS SOPS 20534 HAS SOUS 6398 HAS SOUPS 5729 WITH SCORE 5751.233
AT ITER 1020 NEW BEST:: SOT 36027 SOS 22142 HAS SOPS 20422 HAS SOUS 6405 HAS SOUPS 5729 WITH SCORE 5751.142
AT ITER 1034 NEW BEST:: SOT 36035 SOS 22142 HAS SOPS 20432 HAS SOUS 6383 HAS SOUPS 5711 WITH SCORE 5733.142
AT ITER 1044 NEW BEST:: SOT 36035 SOS 22226 HAS SOPS 20424 HAS SOUS 6383 HAS SOUPS 5704 WITH SCORE 5726.226
AT ITER 1045 NEW BEST:: SOT 36393 SOS 22486 HAS SOPS 20808 HAS SOUS 6265 HAS SOUPS 5642 WITH SCORE 5664.486
AT ITER 1062 NEW BEST:: SOT 36393 SOS 22479 HAS SOPS 20798 HAS SOUS 6255 HAS SOUPS 5636 WITH SCORE 5658.479
AT ITER 1090 NEW BEST:: SOT 36393 SOS 22466 HAS SOPS 20772 HAS SOUS 6229 HAS SOUPS 5610 WITH SCORE 5632.466
AT ITER 1092 NEW BEST:: SOT 36835 SOS 22808 HAS SOPS 21214 HAS SOUS 6131 HAS SOUPS 5544 WITH SCORE 5566.808
AT ITER 1134 NEW BEST:: SOT 36811 SOS 22787 HAS SOPS 21190 HAS SOUS 6124 HAS SOUPS 5536 WITH SCORE 5558.787
AT ITER 1219 NEW BEST:: SOT 36811 SOS 22787 HAS SOPS 21187 HAS SOUS 6121 HAS SOUPS 5530 WITH SCORE 5552.787
AT ITER 1229 NEW BEST:: SOT 36811 SOS 22785 HAS SOPS 21185 HAS SOUS 6119 HAS SOUPS 5530 WITH SCORE 5552.785
AT ITER 1246 NEW BEST:: SOT 36811 SOS 22635 HAS SOPS 21035 HAS SOUS 6105 HAS SOUPS 5513 WITH SCORE 5535.635
AT ITER 1265 NEW BEST:: SOT 36811 SOS 22558 HAS SOPS 20957 HAS SOUS 6099 HAS SOUPS 5507 WITH SCORE 5529.558
AT ITER 1269 NEW BEST:: SOT 36483 SOS 22253 HAS SOPS 20605 HAS SOUS 5952 HAS SOUPS 5348 WITH SCORE 5370.253
AT ITER 1359 NEW BEST:: SOT 36483 SOS 22193 HAS SOPS 20545 HAS SOUS 5949 HAS SOUPS 5342 WITH SCORE 5364.193
AT ITER 1361 NEW BEST:: SOT 36483 SOS 22293 HAS SOPS 20638 HAS SOUS 5947 HAS SOUPS 5338 WITH SCORE 5360.293
AT ITER 1390 NEW BEST:: SOT 36483 SOS 22293 HAS SOPS 20634 HAS SOUS 5943 HAS SOUPS 5330 WITH SCORE 5352.293
AT ITER 1441 NEW BEST:: SOT 36483 SOS 22213 HAS SOPS 20556 HAS SOUS 5937 HAS SOUPS 5326 WITH SCORE 5348.213
AT ITER 1469 NEW BEST:: SOT 36483 SOS 22214 HAS SOPS 20555 HAS SOUS 5936 HAS SOUPS 5323 WITH SCORE 5345.214
AT ITER 1499 NEW BEST:: SOT 36483 SOS 22237 HAS SOPS 20575 HAS SOUS 5937 HAS SOUPS 5321 WITH SCORE 5343.237
AT ITER 1505 NEW BEST:: SOT 36483 SOS 22233 HAS SOPS 20567 HAS SOUS 5929 HAS SOUPS 5313 WITH SCORE 5335.233
AT ITER 1548 NEW BEST:: SOT 36483 SOS 22191 HAS SOPS 20525 HAS SOUS 5933 HAS SOUPS 5309 WITH SCORE 5331.191
AT ITER 1631 NEW BEST:: SOT 36483 SOS 22338 HAS SOPS 20663 HAS SOUS 5946 HAS SOUPS 5305 WITH SCORE 5327.338
AT ITER 1633 NEW BEST:: SOT 36483 SOS 22338 HAS SOPS 20645 HAS SOUS 5928 HAS SOUPS 5269 WITH SCORE 5291.338
AT ITER 1653 NEW BEST:: SOT 36483 SOS 22278 HAS SOPS 20588 HAS SOUS 5925 HAS SOUPS 5269 WITH SCORE 5291.278
AT ITER 1669 NEW BEST:: SOT 36483 SOS 22276 HAS SOPS 20584 HAS SOUS 5921 HAS SOUPS 5265 WITH SCORE 5287.276
AT ITER 1696 NEW BEST:: SOT 36483 SOS 22356 HAS SOPS 20659 HAS SOUS 5924 HAS SOUPS 5262 WITH SCORE 5284.356
AT ITER 1787 NEW BEST:: SOT 36483 SOS 22357 HAS SOPS 20659 HAS SOUS 5924 HAS SOUPS 5261 WITH SCORE 5283.357
AT ITER 1791 NEW BEST:: SOT 36483 SOS 22564 HAS SOPS 20854 HAS SOUS 5932 HAS SOUPS 5257 WITH SCORE 5279.564
AT ITER 1795 NEW BEST:: SOT 36483 SOS 22599 HAS SOPS 20882 HAS SOUS 5929 HAS SOUPS 5247 WITH SCORE 5269.599
AT ITER 1849 NEW BEST:: SOT 36429 SOS 22548 HAS SOPS 20828 HAS SOUS 5932 HAS SOUPS 5247 WITH SCORE 5269.548
AT ITER 1857 NEW BEST:: SOT 36429 SOS 22506 HAS SOPS 20786 HAS SOUS 5930 HAS SOUPS 5243 WITH SCORE 5265.506
AT ITER 1860 NEW BEST:: SOT 36429 SOS 22443 HAS SOPS 20725 HAS SOUS 5920 HAS SOUPS 5241 WITH SCORE 5263.443
AT ITER 1884 NEW BEST:: SOT 36429 SOS 22422 HAS SOPS 20704 HAS SOUS 5918 HAS SOUPS 5239 WITH SCORE 5261.422
AT ITER 1911 NEW BEST:: SOT 36428 SOS 22421 HAS SOPS 20703 HAS SOUS 5917 HAS SOUPS 5238 WITH SCORE 5260.421
AT ITER 1928 NEW BEST:: SOT 36428 SOS 22234 HAS SOPS 20520 HAS SOUS 5903 HAS SOUPS 5228 WITH SCORE 5250.234
AT ITER 1983 NEW BEST:: SOT 36428 SOS 22232 HAS SOPS 20518 HAS SOUS 5901 HAS SOUPS 5228 WITH SCORE 5250.232
AT ITER 2032 NEW BEST:: SOT 36428 SOS 22212 HAS SOPS 20498 HAS SOUS 5899 HAS SOUPS 5226 WITH SCORE 5248.212
AT ITER 2038 NEW BEST:: SOT 36428 SOS 22107 HAS SOPS 20393 HAS SOUS 5884 HAS SOUPS 5216 WITH SCORE 5238.107
AT ITER 2069 NEW BEST:: SOT 36428 SOS 22107 HAS SOPS 20392 HAS SOUS 5883 HAS SOUPS 5214 WITH SCORE 5236.107
AT ITER 2114 NEW BEST:: SOT 36428 SOS 22044 HAS SOPS 20329 HAS SOUS 5877 HAS SOUPS 5208 WITH SCORE 5230.044
AT ITER 2150 NEW BEST:: SOT 36428 SOS 22046 HAS SOPS 20330 HAS SOUS 5878 HAS SOUPS 5207 WITH SCORE 5229.046
AT ITER 2205 NEW BEST:: SOT 36428 SOS 22046 HAS SOPS 20328 HAS SOUS 5876 HAS SOUPS 5203 WITH SCORE 5225.046
AT ITER 2264 NEW BEST:: SOT 36428 SOS 22027 HAS SOPS 20328 HAS SOUS 5875 HAS SOUPS 5203 WITH SCORE 5225.027
AT ITER 2275 NEW BEST:: SOT 36372 SOS 21977 HAS SOPS 20272 HAS SOUS 5853 HAS SOUPS 5179 WITH SCORE 5200.977
AT ITER 2315 NEW BEST:: SOT 36354 SOS 21959 HAS SOPS 20254 HAS SOUS 5835 HAS SOUPS 5161 WITH SCORE 5182.959
AT ITER 2364 NEW BEST:: SOT 36354 SOS 21959 HAS SOPS 20253 HAS SOUS 5834 HAS SOUPS 5159 WITH SCORE 5180.959
AT ITER 2417 NEW BEST:: SOT 36066 SOS 21731 HAS SOPS 19947 HAS SOUS 5868 HAS SOUPS 5155 WITH SCORE 5176.731
AT ITER 2423 NEW BEST:: SOT 36066 SOS 21731 HAS SOPS 19946 HAS SOUS 5868 HAS SOUPS 5153 WITH SCORE 5174.731
AT ITER 2432 NEW BEST:: SOT 36066 SOS 21806 HAS SOPS 19945 HAS SOUS 5870 HAS SOUPS 5151 WITH SCORE 5172.806
AT ITER 2557 NEW BEST:: SOT 36066 SOS 21804 HAS SOPS 19942 HAS SOUS 5867 HAS SOUPS 5148 WITH SCORE 5169.804
AT ITER 2573 NEW BEST:: SOT 36005 SOS 21743 HAS SOPS 19881 HAS SOUS 5806 HAS SOUPS 5087 WITH SCORE 5108.743
AT ITER 2669 NEW BEST:: SOT 36005 SOS 21722 HAS SOPS 19860 HAS SOUS 5803 HAS SOUPS 5085 WITH SCORE 5106.722
AT ITER 2672 NEW BEST:: SOT 35972 SOS 21689 HAS SOPS 19827 HAS SOUS 5770 HAS SOUPS 5052 WITH SCORE 5073.689
AT ITER 3061 NEW BEST:: SOT 35972 SOS 21752 HAS SOPS 19886 HAS SOUS 5777 HAS SOUPS 5050 WITH SCORE 5071.752
AT ITER 3093 NEW BEST:: SOT 35972 SOS 21751 HAS SOPS 19885 HAS SOUS 5776 HAS SOUPS 5050 WITH SCORE 5071.751
AT ITER 3578 NEW BEST:: SOT 35972 SOS 21730 HAS SOPS 19864 HAS SOUS 5774 HAS SOUPS 5048 WITH SCORE 5069.73
AT ITER 3862 NEW BEST:: SOT 35972 SOS 21728 HAS SOPS 19860 HAS SOUS 5770 HAS SOUPS 5044 WITH SCORE 5065.728
AT ITER 4234 NEW BEST:: SOT 35972 SOS 21728 HAS SOPS 19859 HAS SOUS 5771 HAS SOUPS 5042 WITH SCORE 5063.728
AT ITER 4379 NEW BEST:: SOT 35972 SOS 21729 HAS SOPS 19859 HAS SOUS 5771 HAS SOUPS 5041 WITH SCORE 5062.729
AT ITER 4468 NEW BEST:: SOT 35972 SOS 21729 HAS SOPS 19858 HAS SOUS 5770 HAS SOUPS 5039 WITH SCORE 5060.729
AT ITER 4541 NEW BEST:: SOT 35972 SOS 21709 HAS SOPS 19839 HAS SOUS 5769 HAS SOUPS 5039 WITH SCORE 5060.709
AT ITER 4582 NEW BEST:: SOT 35938 SOS 21679 HAS SOPS 19805 HAS SOUS 5769 HAS SOUPS 5039 WITH SCORE 5060.679
AT ITER 4647 NEW BEST:: SOT 35938 SOS 21678 HAS SOPS 19803 HAS SOUS 5767 HAS SOUPS 5037 WITH SCORE 5058.678
AT ITER 4979 NEW BEST:: SOT 35938 SOS 21657 HAS SOPS 19782 HAS SOUS 5765 HAS SOUPS 5035 WITH SCORE 5056.657
AT ITER 5165 NEW BEST:: SOT 35989 SOS 21701 HAS SOPS 19818 HAS SOUS 5749 HAS SOUPS 5022 WITH SCORE 5043.701
AT ITER 5184 NEW BEST:: SOT 35955 SOS 21671 HAS SOPS 19784 HAS SOUS 5751 HAS SOUPS 5022 WITH SCORE 5043.671
AT ITER 5356 NEW BEST:: SOT 35955 SOS 21671 HAS SOPS 19783 HAS SOUS 5750 HAS SOUPS 5020 WITH SCORE 5041.671
AT ITER 5405 NEW BEST:: SOT 35937 SOS 21652 HAS SOPS 19781 HAS SOUS 5748 HAS SOUPS 5020 WITH SCORE 5041.652
AT ITER 5905 NEW BEST:: SOT 35937 SOS 21673 HAS SOPS 19800 HAS SOUS 5748 HAS SOUPS 5018 WITH SCORE 5039.673
AT ITER 5989 NEW BEST:: SOT 35937 SOS 21652 HAS SOPS 19779 HAS SOUS 5742 HAS SOUPS 5016 WITH SCORE 5037.652
AT ITER 6300 NEW BEST:: SOT 35937 SOS 21651 HAS SOPS 19777 HAS SOUS 5740 HAS SOUPS 5014 WITH SCORE 5035.651
AT ITER 6342 NEW BEST:: SOT 35907 SOS 21624 HAS SOPS 19747 HAS SOUS 5727 HAS SOUPS 5000 WITH SCORE 5021.624
AT ITER 6377 NEW BEST:: SOT 35907 SOS 21623 HAS SOPS 19745 HAS SOUS 5725 HAS SOUPS 4998 WITH SCORE 5019.623
AT ITER 6527 NEW BEST:: SOT 35877 SOS 21596 HAS SOPS 19714 HAS SOUS 5711 HAS SOUPS 4982 WITH SCORE 5003.596
AT ITER 6534 NEW BEST:: SOT 35874 SOS 21592 HAS SOPS 19706 HAS SOUS 5702 HAS SOUPS 4971 WITH SCORE 4992.592
AT ITER 7316 NEW BEST:: SOT 35839 SOS 21559 HAS SOPS 19692 HAS SOUS 5669 HAS SOUPS 4957 WITH SCORE 4978.559
AT ITER 7366 NEW BEST:: SOT 35823 SOS 21543 HAS SOPS 19678 HAS SOUS 5653 HAS SOUPS 4943 WITH SCORE 4964.543
AT ITER 7815 NEW BEST:: SOT 35823 SOS 21544 HAS SOPS 19677 HAS SOUS 5652 HAS SOUPS 4940 WITH SCORE 4961.544
AT ITER 8385 NEW BEST:: SOT 35823 SOS 21544 HAS SOPS 19676 HAS SOUS 5651 HAS SOUPS 4938 WITH SCORE 4959.544
AT ITER 8492 NEW BEST:: SOT 35809 SOS 21530 HAS SOPS 19664 HAS SOUS 5639 HAS SOUPS 4928 WITH SCORE 4949.53
AT ITER 8625 NEW BEST:: SOT 35746 SOS 21479 HAS SOPS 19598 HAS SOUS 5641 HAS SOUPS 4923 WITH SCORE 4944.479
AT ITER 8770 NEW BEST:: SOT 35746 SOS 21460 HAS SOPS 19598 HAS SOUS 5640 HAS SOUPS 4923 WITH SCORE 4944.46
AT ITER 8958 NEW BEST:: SOT 35690 SOS 21403 HAS SOPS 19561 HAS SOUS 5602 HAS SOUPS 4907 WITH SCORE 4928.403
AT ITER 9069 NEW BEST:: SOT 35689 SOS 21402 HAS SOPS 19560 HAS SOUS 5601 HAS SOUPS 4906 WITH SCORE 4927.402
AT ITER 9530 NEW BEST:: SOT 35689 SOS 21402 HAS SOPS 19559 HAS SOUS 5600 HAS SOUPS 4904 WITH SCORE 4925.402
AT ITER 9684 NEW BEST:: SOT 35689 SOS 21381 HAS SOPS 19538 HAS SOUS 5598 HAS SOUPS 4902 WITH SCORE 4923.381
BK_STOP 1589362843364
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 472 Aborted ${SMART} ${INPUT_SM}
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="Dekker-PT-020"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is Dekker-PT-020, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807300328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-020.tgz
mv Dekker-PT-020 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 ;