About the Execution of Smart+red for DoubleLock-PT-p1s1
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10441.987 | 1841604.00 | 1860428.00 | 6458.40 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423300512.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleLock-PT-p1s1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423300512
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 14:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 14:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 14:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 93K Mar 5 18:22 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 1678451560744
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleLock-PT-p1s1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 12:32:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 12:32:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 12:32:43] [INFO ] Load time of PNML (sax parser for PT used): 90 ms
[2023-03-10 12:32:43] [INFO ] Transformed 64 places.
[2023-03-10 12:32:43] [INFO ] Transformed 204 transitions.
[2023-03-10 12:32:43] [INFO ] Parsed PT model containing 64 places and 204 transitions and 828 arcs in 187 ms.
[2023-03-10 12:32:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 64 places, 204 transitions and 828 arcs took 7 ms.
Total runtime 241 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p1s1
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 64 places, 204 transitions, 828 arcs.
AT ITER 0 NEW BEST:: SOT 9837 SOS 8317 HAS SOPS 7058 HAS SOUS 3864 HAS SOUPS 3626 WITH SCORE 3634.317
AT ITER 9 NEW BEST:: SOT 9824 SOS 8317 HAS SOPS 7058 HAS SOUS 3860 HAS SOUPS 3622 WITH SCORE 3630.317
AT ITER 12 NEW BEST:: SOT 9816 SOS 8256 HAS SOPS 7002 HAS SOUS 3837 HAS SOUPS 3599 WITH SCORE 3607.256
AT ITER 15 NEW BEST:: SOT 9840 SOS 8259 HAS SOPS 6986 HAS SOUS 3849 HAS SOUPS 3596 WITH SCORE 3604.259
AT ITER 26 NEW BEST:: SOT 9832 SOS 8251 HAS SOPS 6978 HAS SOUS 3825 HAS SOUPS 3572 WITH SCORE 3580.251
AT ITER 46 NEW BEST:: SOT 9832 SOS 8251 HAS SOPS 6958 HAS SOUS 3825 HAS SOUPS 3552 WITH SCORE 3560.251
AT ITER 64 NEW BEST:: SOT 9826 SOS 8227 HAS SOPS 6972 HAS SOUS 3816 HAS SOUPS 3552 WITH SCORE 3560.227
AT ITER 69 NEW BEST:: SOT 9826 SOS 8223 HAS SOPS 6964 HAS SOUS 3808 HAS SOUPS 3544 WITH SCORE 3552.223
AT ITER 93 NEW BEST:: SOT 9815 SOS 8185 HAS SOPS 6926 HAS SOUS 3766 HAS SOUPS 3502 WITH SCORE 3510.185
AT ITER 156 NEW BEST:: SOT 10435 SOS 8365 HAS SOPS 7365 HAS SOUS 3643 HAS SOUPS 3428 WITH SCORE 3436.365
AT ITER 169 NEW BEST:: SOT 10251 SOS 8188 HAS SOPS 7169 HAS SOUS 3549 HAS SOUPS 3328 WITH SCORE 3336.188
AT ITER 171 NEW BEST:: SOT 10251 SOS 8188 HAS SOPS 7169 HAS SOUS 3537 HAS SOUPS 3316 WITH SCORE 3324.188
AT ITER 222 NEW BEST:: SOT 10251 SOS 8196 HAS SOPS 7177 HAS SOUS 3534 HAS SOUPS 3313 WITH SCORE 3321.196
AT ITER 224 NEW BEST:: SOT 10147 SOS 8097 HAS SOPS 7072 HAS SOUS 3476 HAS SOUPS 3252 WITH SCORE 3260.097
AT ITER 242 NEW BEST:: SOT 10147 SOS 8199 HAS SOPS 7174 HAS SOUS 3468 HAS SOUPS 3244 WITH SCORE 3252.199
AT ITER 243 NEW BEST:: SOT 10147 SOS 8149 HAS SOPS 7087 HAS SOUS 3308 HAS SOUPS 3084 WITH SCORE 3092.149
AT ITER 249 NEW BEST:: SOT 10023 SOS 8044 HAS SOPS 6967 HAS SOUS 3271 HAS SOUPS 3042 WITH SCORE 3050.044
AT ITER 259 NEW BEST:: SOT 10023 SOS 8040 HAS SOPS 6963 HAS SOUS 3269 HAS SOUPS 3040 WITH SCORE 3048.04
AT ITER 265 NEW BEST:: SOT 10023 SOS 8146 HAS SOPS 7029 HAS SOUS 3273 HAS SOUPS 3039 WITH SCORE 3047.146
AT ITER 277 NEW BEST:: SOT 10023 SOS 8098 HAS SOPS 6981 HAS SOUS 3227 HAS SOUPS 2993 WITH SCORE 3001.098
AT ITER 297 NEW BEST:: SOT 10023 SOS 7974 HAS SOPS 6857 HAS SOUS 3216 HAS SOUPS 2982 WITH SCORE 2989.974
AT ITER 311 NEW BEST:: SOT 10023 SOS 7803 HAS SOPS 6774 HAS SOUS 3203 HAS SOUPS 2980 WITH SCORE 2987.803
AT ITER 312 NEW BEST:: SOT 10023 SOS 7803 HAS SOPS 6774 HAS SOUS 3199 HAS SOUPS 2976 WITH SCORE 2983.803
AT ITER 324 NEW BEST:: SOT 10023 SOS 7648 HAS SOPS 6707 HAS SOUS 3176 HAS SOUPS 2964 WITH SCORE 2971.648
AT ITER 335 NEW BEST:: SOT 9614 SOS 7287 HAS SOPS 6308 HAS SOUS 3121 HAS SOUPS 2891 WITH SCORE 2898.287
AT ITER 354 NEW BEST:: SOT 9614 SOS 7266 HAS SOPS 6295 HAS SOUS 3120 HAS SOUPS 2891 WITH SCORE 2898.266
AT ITER 362 NEW BEST:: SOT 9341 SOS 7025 HAS SOPS 6022 HAS SOUS 3021 HAS SOUPS 2783 WITH SCORE 2790.025
AT ITER 370 NEW BEST:: SOT 9356 SOS 7040 HAS SOPS 6037 HAS SOUS 3020 HAS SOUPS 2782 WITH SCORE 2789.04
AT ITER 379 NEW BEST:: SOT 9356 SOS 7040 HAS SOPS 5993 HAS SOUS 3020 HAS SOUPS 2771 WITH SCORE 2778.04
AT ITER 399 NEW BEST:: SOT 9356 SOS 6947 HAS SOPS 5932 HAS SOUS 3005 HAS SOUPS 2760 WITH SCORE 2766.947
AT ITER 414 NEW BEST:: SOT 9347 SOS 6938 HAS SOPS 5923 HAS SOUS 2986 HAS SOUPS 2741 WITH SCORE 2747.938
AT ITER 453 NEW BEST:: SOT 9343 SOS 6934 HAS SOPS 5919 HAS SOUS 2982 HAS SOUPS 2737 WITH SCORE 2743.934
AT ITER 454 NEW BEST:: SOT 9343 SOS 6940 HAS SOPS 5901 HAS SOUS 2970 HAS SOUPS 2701 WITH SCORE 2707.94
AT ITER 463 NEW BEST:: SOT 9343 SOS 6952 HAS SOPS 5901 HAS SOUS 2970 HAS SOUPS 2698 WITH SCORE 2704.952
AT ITER 490 NEW BEST:: SOT 9343 SOS 6877 HAS SOPS 5858 HAS SOUS 2961 HAS SOUPS 2693 WITH SCORE 2699.877
AT ITER 506 NEW BEST:: SOT 9404 SOS 6929 HAS SOPS 5910 HAS SOUS 2954 HAS SOUPS 2686 WITH SCORE 2692.929
AT ITER 508 NEW BEST:: SOT 9354 SOS 6887 HAS SOPS 5862 HAS SOUS 2948 HAS SOUPS 2678 WITH SCORE 2684.887
AT ITER 515 NEW BEST:: SOT 9354 SOS 6880 HAS SOPS 5863 HAS SOUS 2947 HAS SOUPS 2678 WITH SCORE 2684.88
AT ITER 522 NEW BEST:: SOT 9354 SOS 6820 HAS SOPS 5875 HAS SOUS 2933 HAS SOUPS 2673 WITH SCORE 2679.82
AT ITER 533 NEW BEST:: SOT 9361 SOS 6824 HAS SOPS 5879 HAS SOUS 2932 HAS SOUPS 2672 WITH SCORE 2678.824
AT ITER 542 NEW BEST:: SOT 9361 SOS 6827 HAS SOPS 5858 HAS SOUS 2930 HAS SOUPS 2664 WITH SCORE 2670.827
AT ITER 548 NEW BEST:: SOT 9358 SOS 6824 HAS SOPS 5855 HAS SOUS 2923 HAS SOUPS 2657 WITH SCORE 2663.824
AT ITER 587 NEW BEST:: SOT 9358 SOS 6693 HAS SOPS 5724 HAS SOUS 2918 HAS SOUPS 2652 WITH SCORE 2658.693
AT ITER 591 NEW BEST:: SOT 9354 SOS 6689 HAS SOPS 5724 HAS SOUS 2918 HAS SOUPS 2652 WITH SCORE 2658.689
AT ITER 602 NEW BEST:: SOT 9284 SOS 6627 HAS SOPS 5658 HAS SOUS 2852 HAS SOUPS 2584 WITH SCORE 2590.627
AT ITER 603 NEW BEST:: SOT 9204 SOS 6559 HAS SOPS 5580 HAS SOUS 2778 HAS SOUPS 2503 WITH SCORE 2509.559
AT ITER 622 NEW BEST:: SOT 9248 SOS 6617 HAS SOPS 5586 HAS SOUS 2784 HAS SOUPS 2485 WITH SCORE 2491.617
AT ITER 635 NEW BEST:: SOT 9248 SOS 6426 HAS SOPS 5491 HAS SOUS 2768 HAS SOUPS 2481 WITH SCORE 2487.426
AT ITER 636 NEW BEST:: SOT 9220 SOS 6392 HAS SOPS 5449 HAS SOUS 2728 HAS SOUPS 2441 WITH SCORE 2447.392
AT ITER 662 NEW BEST:: SOT 9220 SOS 6344 HAS SOPS 5401 HAS SOUS 2722 HAS SOUPS 2435 WITH SCORE 2441.344
AT ITER 672 NEW BEST:: SOT 9220 SOS 6308 HAS SOPS 5387 HAS SOUS 2719 HAS SOUPS 2432 WITH SCORE 2438.308
AT ITER 676 NEW BEST:: SOT 8921 SOS 6047 HAS SOPS 5091 HAS SOUS 2728 HAS SOUPS 2426 WITH SCORE 2432.047
AT ITER 682 NEW BEST:: SOT 8921 SOS 6019 HAS SOPS 5063 HAS SOUS 2723 HAS SOUPS 2421 WITH SCORE 2427.019
AT ITER 689 NEW BEST:: SOT 8921 SOS 6058 HAS SOPS 5080 HAS SOUS 2725 HAS SOUPS 2419 WITH SCORE 2425.058
AT ITER 697 NEW BEST:: SOT 8913 SOS 6050 HAS SOPS 5064 HAS SOUS 2697 HAS SOUPS 2391 WITH SCORE 2397.05
AT ITER 699 NEW BEST:: SOT 8827 SOS 5964 HAS SOPS 4951 HAS SOUS 2662 HAS SOUPS 2350 WITH SCORE 2355.964
AT ITER 729 NEW BEST:: SOT 8825 SOS 5952 HAS SOPS 4884 HAS SOUS 2604 HAS SOUPS 2289 WITH SCORE 2294.952
AT ITER 736 NEW BEST:: SOT 8823 SOS 5950 HAS SOPS 4882 HAS SOUS 2601 HAS SOUPS 2286 WITH SCORE 2291.95
AT ITER 738 NEW BEST:: SOT 8823 SOS 5950 HAS SOPS 4882 HAS SOUS 2581 HAS SOUPS 2266 WITH SCORE 2271.95
AT ITER 758 NEW BEST:: SOT 8819 SOS 5946 HAS SOPS 4878 HAS SOUS 2573 HAS SOUPS 2258 WITH SCORE 2263.946
AT ITER 762 NEW BEST:: SOT 8820 SOS 5947 HAS SOPS 4854 HAS SOUS 2574 HAS SOUPS 2250 WITH SCORE 2255.947
AT ITER 785 NEW BEST:: SOT 8796 SOS 5942 HAS SOPS 4849 HAS SOUS 2561 HAS SOUPS 2237 WITH SCORE 2242.942
AT ITER 790 NEW BEST:: SOT 8796 SOS 5814 HAS SOPS 4721 HAS SOUS 2545 HAS SOUPS 2221 WITH SCORE 2226.814
AT ITER 795 NEW BEST:: SOT 8796 SOS 5846 HAS SOPS 4745 HAS SOUS 2541 HAS SOUPS 2215 WITH SCORE 2220.846
AT ITER 811 NEW BEST:: SOT 8796 SOS 5834 HAS SOPS 4733 HAS SOUS 2538 HAS SOUPS 2212 WITH SCORE 2217.834
AT ITER 832 NEW BEST:: SOT 8796 SOS 5850 HAS SOPS 4749 HAS SOUS 2536 HAS SOUPS 2210 WITH SCORE 2215.85
AT ITER 859 NEW BEST:: SOT 8796 SOS 5850 HAS SOPS 4759 HAS SOUS 2534 HAS SOUPS 2208 WITH SCORE 2213.85
AT ITER 871 NEW BEST:: SOT 8796 SOS 5782 HAS SOPS 4727 HAS SOUS 2517 HAS SOUPS 2200 WITH SCORE 2205.782
AT ITER 876 NEW BEST:: SOT 8796 SOS 5786 HAS SOPS 4731 HAS SOUS 2516 HAS SOUPS 2199 WITH SCORE 2204.786
AT ITER 901 NEW BEST:: SOT 8796 SOS 5794 HAS SOPS 4739 HAS SOUS 2514 HAS SOUPS 2197 WITH SCORE 2202.794
AT ITER 910 NEW BEST:: SOT 8796 SOS 5794 HAS SOPS 4739 HAS SOUS 2510 HAS SOUPS 2193 WITH SCORE 2198.794
AT ITER 917 NEW BEST:: SOT 8674 SOS 5712 HAS SOPS 4621 HAS SOUS 2514 HAS SOUPS 2191 WITH SCORE 2196.712
AT ITER 945 NEW BEST:: SOT 8674 SOS 5712 HAS SOPS 4621 HAS SOUS 2510 HAS SOUPS 2187 WITH SCORE 2192.712
AT ITER 948 NEW BEST:: SOT 8526 SOS 5606 HAS SOPS 4485 HAS SOUS 2385 HAS SOUPS 2063 WITH SCORE 2068.606
AT ITER 991 NEW BEST:: SOT 8629 SOS 5673 HAS SOPS 4574 HAS SOUS 2373 HAS SOUPS 2055 WITH SCORE 2060.673
AT ITER 1008 NEW BEST:: SOT 8609 SOS 5653 HAS SOPS 4554 HAS SOUS 2341 HAS SOUPS 2023 WITH SCORE 2028.653
AT ITER 1014 NEW BEST:: SOT 8615 SOS 5546 HAS SOPS 4489 HAS SOUS 2334 HAS SOUPS 2022 WITH SCORE 2027.546
AT ITER 1129 NEW BEST:: SOT 8595 SOS 5526 HAS SOPS 4461 HAS SOUS 2315 HAS SOUPS 2003 WITH SCORE 2008.526
AT ITER 1130 NEW BEST:: SOT 8595 SOS 5522 HAS SOPS 4461 HAS SOUS 2314 HAS SOUPS 2003 WITH SCORE 2008.522
AT ITER 1131 NEW BEST:: SOT 8579 SOS 5506 HAS SOPS 4437 HAS SOUS 2290 HAS SOUPS 1979 WITH SCORE 1984.506
AT ITER 1135 NEW BEST:: SOT 8583 SOS 5510 HAS SOPS 4433 HAS SOUS 2286 HAS SOUPS 1975 WITH SCORE 1980.51
AT ITER 1140 NEW BEST:: SOT 8587 SOS 5514 HAS SOPS 4425 HAS SOUS 2278 HAS SOUPS 1967 WITH SCORE 1972.514
AT ITER 1150 NEW BEST:: SOT 8585 SOS 5512 HAS SOPS 4419 HAS SOUS 2272 HAS SOUPS 1961 WITH SCORE 1966.512
AT ITER 1155 NEW BEST:: SOT 8585 SOS 5524 HAS SOPS 4419 HAS SOUS 2272 HAS SOUPS 1958 WITH SCORE 1963.524
AT ITER 1176 NEW BEST:: SOT 8586 SOS 5521 HAS SOPS 4423 HAS SOUS 2268 HAS SOUPS 1955 WITH SCORE 1960.521
AT ITER 1206 NEW BEST:: SOT 8586 SOS 5509 HAS SOPS 4419 HAS SOUS 2265 HAS SOUPS 1954 WITH SCORE 1959.509
AT ITER 1261 NEW BEST:: SOT 8606 SOS 5262 HAS SOPS 4278 HAS SOUS 2241 HAS SOUPS 1946 WITH SCORE 1951.262
AT ITER 1270 NEW BEST:: SOT 8606 SOS 5202 HAS SOPS 4218 HAS SOUS 2239 HAS SOUPS 1944 WITH SCORE 1949.202
AT ITER 1289 NEW BEST:: SOT 8590 SOS 5186 HAS SOPS 4200 HAS SOUS 2221 HAS SOUPS 1926 WITH SCORE 1931.186
AT ITER 1292 NEW BEST:: SOT 8569 SOS 5165 HAS SOPS 4163 HAS SOUS 2160 HAS SOUPS 1865 WITH SCORE 1870.165
AT ITER 1296 NEW BEST:: SOT 8570 SOS 5163 HAS SOPS 4168 HAS SOUS 2155 HAS SOUPS 1861 WITH SCORE 1866.163
AT ITER 1303 NEW BEST:: SOT 8573 SOS 5118 HAS SOPS 4156 HAS SOUS 2140 HAS SOUPS 1852 WITH SCORE 1857.118
AT ITER 1309 NEW BEST:: SOT 8573 SOS 5118 HAS SOPS 4140 HAS SOUS 2140 HAS SOUPS 1848 WITH SCORE 1853.118
AT ITER 1318 NEW BEST:: SOT 8569 SOS 5114 HAS SOPS 4136 HAS SOUS 2136 HAS SOUPS 1844 WITH SCORE 1849.114
AT ITER 1322 NEW BEST:: SOT 8570 SOS 5099 HAS SOPS 4132 HAS SOUS 2131 HAS SOUPS 1841 WITH SCORE 1846.099
AT ITER 1345 NEW BEST:: SOT 8570 SOS 5083 HAS SOPS 4116 HAS SOUS 2130 HAS SOUPS 1840 WITH SCORE 1845.083
AT ITER 1347 NEW BEST:: SOT 8589 SOS 4994 HAS SOPS 4069 HAS SOUS 2103 HAS SOUPS 1821 WITH SCORE 1825.994
AT ITER 1369 NEW BEST:: SOT 8607 SOS 5012 HAS SOPS 4089 HAS SOUS 2095 HAS SOUPS 1813 WITH SCORE 1818.012
AT ITER 1373 NEW BEST:: SOT 8607 SOS 5004 HAS SOPS 4081 HAS SOUS 2093 HAS SOUPS 1811 WITH SCORE 1816.004
AT ITER 1389 NEW BEST:: SOT 8606 SOS 5003 HAS SOPS 4076 HAS SOUS 2088 HAS SOUPS 1806 WITH SCORE 1811.003
AT ITER 1436 NEW BEST:: SOT 8606 SOS 4995 HAS SOPS 4068 HAS SOUS 2087 HAS SOUPS 1805 WITH SCORE 1809.995
AT ITER 1441 NEW BEST:: SOT 8600 SOS 4989 HAS SOPS 4062 HAS SOUS 2081 HAS SOUPS 1799 WITH SCORE 1803.989
AT ITER 1464 NEW BEST:: SOT 8598 SOS 4985 HAS SOPS 4060 HAS SOUS 2076 HAS SOUPS 1794 WITH SCORE 1798.985
AT ITER 1482 NEW BEST:: SOT 8594 SOS 4981 HAS SOPS 4057 HAS SOUS 2072 HAS SOUPS 1790 WITH SCORE 1794.981
AT ITER 1484 NEW BEST:: SOT 8629 SOS 4815 HAS SOPS 3994 HAS SOUS 2052 HAS SOUPS 1784 WITH SCORE 1788.815
AT ITER 1500 NEW BEST:: SOT 8637 SOS 4807 HAS SOPS 3998 HAS SOUS 2042 HAS SOUPS 1776 WITH SCORE 1780.807
AT ITER 1513 NEW BEST:: SOT 8637 SOS 4803 HAS SOPS 3994 HAS SOUS 2042 HAS SOUPS 1776 WITH SCORE 1780.803
AT ITER 1527 NEW BEST:: SOT 8581 SOS 4735 HAS SOPS 3920 HAS SOUS 2030 HAS SOUPS 1764 WITH SCORE 1768.735
AT ITER 1537 NEW BEST:: SOT 8573 SOS 4711 HAS SOPS 3884 HAS SOUS 2000 HAS SOUPS 1734 WITH SCORE 1738.711
AT ITER 1539 NEW BEST:: SOT 8557 SOS 4697 HAS SOPS 3868 HAS SOUS 1995 HAS SOUPS 1729 WITH SCORE 1733.697
AT ITER 1563 NEW BEST:: SOT 8555 SOS 4751 HAS SOPS 3909 HAS SOUS 1972 HAS SOUPS 1706 WITH SCORE 1710.751
AT ITER 1647 NEW BEST:: SOT 8547 SOS 4743 HAS SOPS 3897 HAS SOUS 1964 HAS SOUPS 1694 WITH SCORE 1698.743
AT ITER 1654 NEW BEST:: SOT 8547 SOS 4735 HAS SOPS 3889 HAS SOUS 1962 HAS SOUPS 1692 WITH SCORE 1696.735
AT ITER 1751 NEW BEST:: SOT 8547 SOS 4719 HAS SOPS 3869 HAS SOUS 1953 HAS SOUPS 1683 WITH SCORE 1687.719
AT ITER 1752 NEW BEST:: SOT 8547 SOS 4715 HAS SOPS 3865 HAS SOUS 1952 HAS SOUPS 1682 WITH SCORE 1686.715
AT ITER 1760 NEW BEST:: SOT 8550 SOS 4678 HAS SOPS 3848 HAS SOUS 1924 HAS SOUPS 1657 WITH SCORE 1661.678
AT ITER 1766 NEW BEST:: SOT 8538 SOS 4666 HAS SOPS 3834 HAS SOUS 1910 HAS SOUPS 1643 WITH SCORE 1647.666
AT ITER 1811 NEW BEST:: SOT 8531 SOS 4651 HAS SOPS 3819 HAS SOUS 1893 HAS SOUPS 1626 WITH SCORE 1630.651
AT ITER 1817 NEW BEST:: SOT 8533 SOS 4641 HAS SOPS 3813 HAS SOUS 1880 HAS SOUPS 1614 WITH SCORE 1618.641
AT ITER 1854 NEW BEST:: SOT 8533 SOS 4641 HAS SOPS 3809 HAS SOUS 1880 HAS SOUPS 1613 WITH SCORE 1617.641
AT ITER 1921 NEW BEST:: SOT 8470 SOS 4602 HAS SOPS 3744 HAS SOUS 1881 HAS SOUPS 1610 WITH SCORE 1614.602
AT ITER 1927 NEW BEST:: SOT 8470 SOS 4602 HAS SOPS 3740 HAS SOUS 1877 HAS SOUPS 1606 WITH SCORE 1610.602
AT ITER 1953 NEW BEST:: SOT 8462 SOS 4594 HAS SOPS 3732 HAS SOUS 1865 HAS SOUPS 1594 WITH SCORE 1598.594
AT ITER 1982 NEW BEST:: SOT 8458 SOS 4590 HAS SOPS 3748 HAS SOUS 1857 HAS SOUPS 1586 WITH SCORE 1590.59
AT ITER 1995 NEW BEST:: SOT 8458 SOS 4578 HAS SOPS 3736 HAS SOUS 1857 HAS SOUPS 1586 WITH SCORE 1590.578
AT ITER 2016 NEW BEST:: SOT 8448 SOS 4568 HAS SOPS 3726 HAS SOUS 1847 HAS SOUPS 1576 WITH SCORE 1580.568
AT ITER 2024 NEW BEST:: SOT 8479 SOS 4515 HAS SOPS 3720 HAS SOUS 1818 HAS SOUPS 1555 WITH SCORE 1559.515
AT ITER 2180 NEW BEST:: SOT 8490 SOS 4530 HAS SOPS 3759 HAS SOUS 1794 HAS SOUPS 1545 WITH SCORE 1549.53
AT ITER 2192 NEW BEST:: SOT 8460 SOS 4500 HAS SOPS 3723 HAS SOUS 1728 HAS SOUPS 1479 WITH SCORE 1483.5
AT ITER 2253 NEW BEST:: SOT 8460 SOS 4496 HAS SOPS 3719 HAS SOUS 1727 HAS SOUPS 1478 WITH SCORE 1482.496
AT ITER 2268 NEW BEST:: SOT 8460 SOS 4492 HAS SOPS 3715 HAS SOUS 1727 HAS SOUPS 1478 WITH SCORE 1482.492
AT ITER 2297 NEW BEST:: SOT 8444 SOS 4460 HAS SOPS 3683 HAS SOUS 1691 HAS SOUPS 1442 WITH SCORE 1446.46
AT ITER 2339 NEW BEST:: SOT 8444 SOS 4456 HAS SOPS 3679 HAS SOUS 1690 HAS SOUPS 1441 WITH SCORE 1445.456
AT ITER 2403 NEW BEST:: SOT 8444 SOS 4456 HAS SOPS 3663 HAS SOUS 1690 HAS SOUPS 1437 WITH SCORE 1441.456
AT ITER 2586 NEW BEST:: SOT 8444 SOS 4448 HAS SOPS 3655 HAS SOUS 1690 HAS SOUPS 1437 WITH SCORE 1441.448
AT ITER 2613 NEW BEST:: SOT 8440 SOS 4444 HAS SOPS 3651 HAS SOUS 1682 HAS SOUPS 1429 WITH SCORE 1433.444
AT ITER 2674 NEW BEST:: SOT 8430 SOS 4434 HAS SOPS 3633 HAS SOUS 1656 HAS SOUPS 1403 WITH SCORE 1407.434
AT ITER 2707 NEW BEST:: SOT 8414 SOS 4418 HAS SOPS 3617 HAS SOUS 1648 HAS SOUPS 1395 WITH SCORE 1399.418
AT ITER 2789 NEW BEST:: SOT 8414 SOS 4402 HAS SOPS 3617 HAS SOUS 1644 HAS SOUPS 1395 WITH SCORE 1399.402
AT ITER 2932 NEW BEST:: SOT 8402 SOS 4390 HAS SOPS 3613 HAS SOUS 1644 HAS SOUPS 1395 WITH SCORE 1399.39
AT ITER 2941 NEW BEST:: SOT 8392 SOS 4380 HAS SOPS 3603 HAS SOUS 1642 HAS SOUPS 1393 WITH SCORE 1397.38
AT ITER 2964 NEW BEST:: SOT 8392 SOS 4388 HAS SOPS 3611 HAS SOUS 1641 HAS SOUPS 1392 WITH SCORE 1396.388
AT ITER 3101 NEW BEST:: SOT 8392 SOS 4384 HAS SOPS 3607 HAS SOUS 1640 HAS SOUPS 1391 WITH SCORE 1395.384
AT ITER 3106 NEW BEST:: SOT 8403 SOS 4379 HAS SOPS 3611 HAS SOUS 1637 HAS SOUPS 1390 WITH SCORE 1394.379
AT ITER 3647 NEW BEST:: SOT 8403 SOS 4375 HAS SOPS 3611 HAS SOUS 1636 HAS SOUPS 1390 WITH SCORE 1394.375
AT ITER 3658 NEW BEST:: SOT 8403 SOS 4367 HAS SOPS 3603 HAS SOUS 1635 HAS SOUPS 1389 WITH SCORE 1393.367
AT ITER 3674 NEW BEST:: SOT 8385 SOS 4349 HAS SOPS 3585 HAS SOUS 1624 HAS SOUPS 1378 WITH SCORE 1382.349
AT ITER 3694 NEW BEST:: SOT 8385 SOS 4345 HAS SOPS 3581 HAS SOUS 1624 HAS SOUPS 1378 WITH SCORE 1382.345
AT ITER 3804 NEW BEST:: SOT 8391 SOS 4349 HAS SOPS 3587 HAS SOUS 1617 HAS SOUPS 1371 WITH SCORE 1375.349
AT ITER 3889 NEW BEST:: SOT 8391 SOS 4345 HAS SOPS 3583 HAS SOUS 1616 HAS SOUPS 1370 WITH SCORE 1374.345
AT ITER 3963 NEW BEST:: SOT 8391 SOS 4341 HAS SOPS 3579 HAS SOUS 1616 HAS SOUPS 1370 WITH SCORE 1374.341
AT ITER 3967 NEW BEST:: SOT 8387 SOS 4337 HAS SOPS 3579 HAS SOUS 1612 HAS SOUPS 1370 WITH SCORE 1374.337
AT ITER 4022 NEW BEST:: SOT 8371 SOS 4321 HAS SOPS 3567 HAS SOUS 1596 HAS SOUPS 1354 WITH SCORE 1358.321
AT ITER 4095 NEW BEST:: SOT 8371 SOS 4313 HAS SOPS 3559 HAS SOUS 1596 HAS SOUPS 1354 WITH SCORE 1358.313
AT ITER 4168 NEW BEST:: SOT 8363 SOS 4305 HAS SOPS 3559 HAS SOUS 1592 HAS SOUPS 1350 WITH SCORE 1354.305
AT ITER 4250 NEW BEST:: SOT 8359 SOS 4301 HAS SOPS 3555 HAS SOUS 1588 HAS SOUPS 1346 WITH SCORE 1350.301
AT ITER 4283 NEW BEST:: SOT 8359 SOS 4297 HAS SOPS 3551 HAS SOUS 1588 HAS SOUPS 1346 WITH SCORE 1350.297
AT ITER 4449 NEW BEST:: SOT 8359 SOS 4293 HAS SOPS 3547 HAS SOUS 1587 HAS SOUPS 1345 WITH SCORE 1349.293
AT ITER 4696 NEW BEST:: SOT 8359 SOS 4289 HAS SOPS 3531 HAS SOUS 1586 HAS SOUPS 1341 WITH SCORE 1345.289
AT ITER 4798 NEW BEST:: SOT 8359 SOS 4285 HAS SOPS 3527 HAS SOUS 1586 HAS SOUPS 1341 WITH SCORE 1345.285
AT ITER 4809 NEW BEST:: SOT 8355 SOS 4281 HAS SOPS 3517 HAS SOUS 1584 HAS SOUPS 1339 WITH SCORE 1343.281
AT ITER 4812 NEW BEST:: SOT 8347 SOS 4273 HAS SOPS 3513 HAS SOUS 1574 HAS SOUPS 1329 WITH SCORE 1333.273
AT ITER 4876 NEW BEST:: SOT 8345 SOS 4271 HAS SOPS 3513 HAS SOUS 1574 HAS SOUPS 1329 WITH SCORE 1333.271
AT ITER 5107 NEW BEST:: SOT 8341 SOS 4267 HAS SOPS 3513 HAS SOUS 1570 HAS SOUPS 1329 WITH SCORE 1333.267
AT ITER 5286 NEW BEST:: SOT 8341 SOS 4263 HAS SOPS 3517 HAS SOUS 1567 HAS SOUPS 1328 WITH SCORE 1332.263
AT ITER 5552 NEW BEST:: SOT 8303 SOS 4221 HAS SOPS 3477 HAS SOUS 1566 HAS SOUPS 1327 WITH SCORE 1331.221
AT ITER 5553 NEW BEST:: SOT 8303 SOS 4229 HAS SOPS 3473 HAS SOUS 1568 HAS SOUPS 1326 WITH SCORE 1330.229
AT ITER 5949 NEW BEST:: SOT 8290 SOS 4218 HAS SOPS 3462 HAS SOUS 1555 HAS SOUPS 1314 WITH SCORE 1318.218
AT ITER 6146 NEW BEST:: SOT 8301 SOS 4213 HAS SOPS 3466 HAS SOUS 1551 HAS SOUPS 1312 WITH SCORE 1316.213
AT ITER 6309 NEW BEST:: SOT 8301 SOS 4209 HAS SOPS 3462 HAS SOUS 1550 HAS SOUPS 1311 WITH SCORE 1315.209
AT ITER 6499 NEW BEST:: SOT 8297 SOS 4205 HAS SOPS 3458 HAS SOUS 1542 HAS SOUPS 1303 WITH SCORE 1307.205
AT ITER 6914 NEW BEST:: SOT 8297 SOS 4189 HAS SOPS 3442 HAS SOUS 1541 HAS SOUPS 1302 WITH SCORE 1306.189
AT ITER 8787 NEW BEST:: SOT 8292 SOS 4194 HAS SOPS 3447 HAS SOUS 1533 HAS SOUPS 1295 WITH SCORE 1299.194
AT ITER 8836 NEW BEST:: SOT 8288 SOS 4190 HAS SOPS 3447 HAS SOUS 1525 HAS SOUPS 1287 WITH SCORE 1291.19
AT ITER 9011 NEW BEST:: SOT 8288 SOS 4194 HAS SOPS 3443 HAS SOUS 1526 HAS SOUPS 1286 WITH SCORE 1290.194
AT ITER 9583 NEW BEST:: SOT 8288 SOS 4194 HAS SOPS 3445 HAS SOUS 1524 HAS SOUPS 1284 WITH SCORE 1288.194
BK_STOP 1678453402348
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 1113
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Segmentation fault ${SMART}/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="DoubleLock-PT-p1s1"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DoubleLock-PT-p1s1, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819423300512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleLock-PT-p1s1.tgz
mv DoubleLock-PT-p1s1 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 ;