About the Execution of Smart+red for RERS17pb114-PT-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1942.344 | 3600000.00 | 3865976.00 | 6745.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204000104.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 RERS17pb114-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000104
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 5.7K Feb 26 04:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 04:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 04:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 04:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 04:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 04:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 04:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679066807780
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=RERS17pb114-PT-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 15:26:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 15:26:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 15:26:52] [INFO ] Load time of PNML (sax parser for PT used): 2026 ms
[2023-03-17 15:26:52] [INFO ] Transformed 1446 places.
[2023-03-17 15:26:52] [INFO ] Transformed 151085 transitions.
[2023-03-17 15:26:52] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2697 ms.
[2023-03-17 15:26:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 441 ms.
Total runtime 3176 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 4
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 7 NEW BEST:: SOT 133637934 SOS 82104027 HAS SOPS 66703386 HAS SOUS 26450285 HAS SOUPS 25820596 WITH SCORE 2.5902700027E7
AT ITER 17 NEW BEST:: SOT 133642074 SOS 82139562 HAS SOPS 66730912 HAS SOUS 26429935 HAS SOUPS 25800246 WITH SCORE 2.5882385562E7
AT ITER 18 NEW BEST:: SOT 133645741 SOS 82143406 HAS SOPS 66740492 HAS SOUS 26424342 HAS SOUPS 25795725 WITH SCORE 2.5877868406E7
AT ITER 21 NEW BEST:: SOT 133605507 SOS 82057274 HAS SOPS 66682303 HAS SOUS 26397778 HAS SOUPS 25769161 WITH SCORE 2.5851218274E7
AT ITER 23 NEW BEST:: SOT 133605629 SOS 82058080 HAS SOPS 66683119 HAS SOUS 26397276 HAS SOUPS 25768659 WITH SCORE 2.585071708E7
AT ITER 24 NEW BEST:: SOT 133604992 SOS 82050795 HAS SOPS 66675612 HAS SOUS 26393501 HAS SOUPS 25764884 WITH SCORE 2.5846934795E7
AT ITER 26 NEW BEST:: SOT 133603292 SOS 82048433 HAS SOPS 66674881 HAS SOUS 26392502 HAS SOUPS 25763885 WITH SCORE 2.5845933433E7
AT ITER 28 NEW BEST:: SOT 133551658 SOS 81934398 HAS SOPS 66589208 HAS SOUS 26363158 HAS SOUPS 25734541 WITH SCORE 2.5816475398E7
AT ITER 37 NEW BEST:: SOT 133557854 SOS 81947709 HAS SOPS 66604806 HAS SOUS 26360965 HAS SOUPS 25732348 WITH SCORE 2.5814295709E7
AT ITER 38 NEW BEST:: SOT 133558283 SOS 81950376 HAS SOPS 66607065 HAS SOUS 26359408 HAS SOUPS 25730791 WITH SCORE 2.5812741376E7
AT ITER 41 NEW BEST:: SOT 133547676 SOS 81923169 HAS SOPS 66605074 HAS SOUS 26355659 HAS SOUPS 25728119 WITH SCORE 2.5810042169E7
AT ITER 53 NEW BEST:: SOT 133552824 SOS 81948598 HAS SOPS 66621767 HAS SOUS 26349448 HAS SOUPS 25721908 WITH SCORE 2.5803856598E7
AT ITER 58 NEW BEST:: SOT 133553542 SOS 81948467 HAS SOPS 66624672 HAS SOUS 26347128 HAS SOUPS 25719671 WITH SCORE 2.5801619467E7
AT ITER 61 NEW BEST:: SOT 133554860 SOS 81954314 HAS SOPS 66629594 HAS SOUS 26346957 HAS SOUPS 25719500 WITH SCORE 2.5801454314E7
AT ITER 66 NEW BEST:: SOT 133554022 SOS 81958600 HAS SOPS 66637613 HAS SOUS 26335323 HAS SOUPS 25707866 WITH SCORE 2.57898246E7
AT ITER 83 NEW BEST:: SOT 133550179 SOS 81956519 HAS SOPS 66634319 HAS SOUS 26332098 HAS SOUPS 25704641 WITH SCORE 2.5786597519E7
AT ITER 88 NEW BEST:: SOT 133504036 SOS 81872983 HAS SOPS 66594008 HAS SOUS 26316894 HAS SOUPS 25689861 WITH SCORE 2.5771733983E7
AT ITER 90 NEW BEST:: SOT 133410772 SOS 81780128 HAS SOPS 66499681 HAS SOUS 26169975 HAS SOUPS 25542942 WITH SCORE 2.5624722128E7
AT ITER 95 NEW BEST:: SOT 133413617 SOS 81782888 HAS SOPS 66510720 HAS SOUS 26163493 HAS SOUPS 25536460 WITH SCORE 2.5618242888E7
AT ITER 97 NEW BEST:: SOT 133420133 SOS 81787732 HAS SOPS 66527841 HAS SOUS 26156972 HAS SOUPS 25529939 WITH SCORE 2.5611726732E7
AT ITER 108 NEW BEST:: SOT 133418204 SOS 81785647 HAS SOPS 66525372 HAS SOUS 26153243 HAS SOUPS 25526222 WITH SCORE 2.5608007647E7
AT ITER 133 NEW BEST:: SOT 133417391 SOS 81783650 HAS SOPS 66523694 HAS SOUS 26152964 HAS SOUPS 25525943 WITH SCORE 2.560772665E7
AT ITER 144 NEW BEST:: SOT 133421254 SOS 81796461 HAS SOPS 66530717 HAS SOUS 26134286 HAS SOUPS 25507265 WITH SCORE 2.5589061461E7
AT ITER 154 NEW BEST:: SOT 133417788 SOS 81789766 HAS SOPS 66520232 HAS SOUS 26126628 HAS SOUPS 25499607 WITH SCORE 2.5581396766E7
AT ITER 158 NEW BEST:: SOT 133417164 SOS 81789850 HAS SOPS 66516994 HAS SOUS 26123337 HAS SOUPS 25496316 WITH SCORE 2.557810585E7
AT ITER 163 NEW BEST:: SOT 133430867 SOS 81838224 HAS SOPS 66555002 HAS SOUS 26091002 HAS SOUPS 25463981 WITH SCORE 2.5545819224E7
AT ITER 172 NEW BEST:: SOT 133398726 SOS 81768928 HAS SOPS 66516455 HAS SOUS 26078717 HAS SOUPS 25451732 WITH SCORE 2.5533500928E7
AT ITER 180 NEW BEST:: SOT 133378728 SOS 81735222 HAS SOPS 66488575 HAS SOUS 26055577 HAS SOUPS 25428606 WITH SCORE 2.5510341222E7
AT ITER 191 NEW BEST:: SOT 133295511 SOS 81651950 HAS SOPS 66404919 HAS SOUS 25971907 HAS SOUPS 25344840 WITH SCORE 2.542649195E7
AT ITER 197 NEW BEST:: SOT 133294154 SOS 81644660 HAS SOPS 66398514 HAS SOUS 25970416 HAS SOUPS 25343349 WITH SCORE 2.542499366E7
AT ITER 198 NEW BEST:: SOT 133338858 SOS 81809171 HAS SOPS 66558207 HAS SOUS 25951333 HAS SOUPS 25324266 WITH SCORE 2.5406075171E7
AT ITER 214 NEW BEST:: SOT 133329384 SOS 81803100 HAS SOPS 66552727 HAS SOUS 25914694 HAS SOUPS 25287627 WITH SCORE 2.53694301E7
AT ITER 221 NEW BEST:: SOT 133329461 SOS 81803567 HAS SOPS 66552999 HAS SOUS 25914501 HAS SOUPS 25287434 WITH SCORE 2.5369237567E7
AT ITER 245 NEW BEST:: SOT 133330851 SOS 81804786 HAS SOPS 66554154 HAS SOUS 25914416 HAS SOUPS 25287349 WITH SCORE 2.5369153786E7
AT ITER 248 NEW BEST:: SOT 133320572 SOS 81789831 HAS SOPS 66542057 HAS SOUS 25904311 HAS SOUPS 25278424 WITH SCORE 2.5360213831E7
AT ITER 250 NEW BEST:: SOT 133320031 SOS 81789162 HAS SOPS 66542168 HAS SOUS 25903526 HAS SOUPS 25277639 WITH SCORE 2.5359428162E7
AT ITER 262 NEW BEST:: SOT 133320382 SOS 81797437 HAS SOPS 66549620 HAS SOUS 25894673 HAS SOUPS 25268786 WITH SCORE 2.5350583437E7
AT ITER 266 NEW BEST:: SOT 133274771 SOS 81728809 HAS SOPS 66518224 HAS SOUS 25868465 HAS SOUPS 25243077 WITH SCORE 2.5324805809E7
AT ITER 295 NEW BEST:: SOT 133213516 SOS 81665902 HAS SOPS 66447553 HAS SOUS 25756926 HAS SOUPS 25131487 WITH SCORE 2.5213152902E7
AT ITER 303 NEW BEST:: SOT 133200311 SOS 81650968 HAS SOPS 66427040 HAS SOUS 25727090 HAS SOUPS 25101708 WITH SCORE 2.5183358968E7
AT ITER 307 NEW BEST:: SOT 133199145 SOS 81653404 HAS SOPS 66434243 HAS SOUS 25724918 HAS SOUPS 25099536 WITH SCORE 2.5181189404E7
AT ITER 309 NEW BEST:: SOT 133199036 SOS 81653429 HAS SOPS 66434329 HAS SOUS 25724702 HAS SOUPS 25099320 WITH SCORE 2.5180973429E7
AT ITER 310 NEW BEST:: SOT 133184997 SOS 81636256 HAS SOPS 66434487 HAS SOUS 25707810 HAS SOUPS 25082428 WITH SCORE 2.5164064256E7
AT ITER 314 NEW BEST:: SOT 133186733 SOS 81637729 HAS SOPS 66435871 HAS SOUS 25704174 HAS SOUPS 25078792 WITH SCORE 2.5160429729E7
AT ITER 319 NEW BEST:: SOT 133180263 SOS 81629642 HAS SOPS 66428293 HAS SOUS 25677385 HAS SOUPS 25052131 WITH SCORE 2.5133760642E7
AT ITER 320 NEW BEST:: SOT 133187474 SOS 81639898 HAS SOPS 66436489 HAS SOUS 25675775 HAS SOUPS 25050521 WITH SCORE 2.5132160898E7
AT ITER 321 NEW BEST:: SOT 133172819 SOS 81625369 HAS SOPS 66413951 HAS SOUS 25640760 HAS SOUPS 25015506 WITH SCORE 2.5097131369E7
AT ITER 323 NEW BEST:: SOT 133171091 SOS 81624438 HAS SOPS 66416164 HAS SOUS 25635414 HAS SOUPS 25010160 WITH SCORE 2.5091784438E7
AT ITER 328 NEW BEST:: SOT 133171302 SOS 81622509 HAS SOPS 66413871 HAS SOUS 25635315 HAS SOUPS 25010061 WITH SCORE 2.5091683509E7
AT ITER 338 NEW BEST:: SOT 133175835 SOS 81643318 HAS SOPS 66422825 HAS SOUS 25612171 HAS SOUPS 24986917 WITH SCORE 2.5068560318E7
AT ITER 339 NEW BEST:: SOT 133178402 SOS 81662742 HAS SOPS 66435640 HAS SOUS 25597821 HAS SOUPS 24972567 WITH SCORE 2.5054229742E7
AT ITER 353 NEW BEST:: SOT 133182171 SOS 81679979 HAS SOPS 66452838 HAS SOUS 25596573 HAS SOUPS 24971319 WITH SCORE 2.5052998979E7
AT ITER 355 NEW BEST:: SOT 133139990 SOS 81640944 HAS SOPS 66393986 HAS SOUS 25508662 HAS SOUPS 24879411 WITH SCORE 2.4961051944E7
AT ITER 371 NEW BEST:: SOT 133128301 SOS 81626595 HAS SOPS 66376407 HAS SOUS 25496536 HAS SOUPS 24867285 WITH SCORE 2.4948911595E7
AT ITER 415 NEW BEST:: SOT 133127966 SOS 81626589 HAS SOPS 66376256 HAS SOUS 25495660 HAS SOUPS 24866409 WITH SCORE 2.4948035589E7
AT ITER 436 NEW BEST:: SOT 133128482 SOS 81628511 HAS SOPS 66377379 HAS SOUS 25495479 HAS SOUPS 24866228 WITH SCORE 2.4947856511E7
AT ITER 451 NEW BEST:: SOT 133127551 SOS 81627740 HAS SOPS 66375792 HAS SOUS 25493356 HAS SOUPS 24864065 WITH SCORE 2.494569274E7
AT ITER 457 NEW BEST:: SOT 133127469 SOS 81627594 HAS SOPS 66375662 HAS SOUS 25493186 HAS SOUPS 24863895 WITH SCORE 2.4945522594E7
AT ITER 460 NEW BEST:: SOT 133131194 SOS 81639587 HAS SOPS 66392125 HAS SOUS 25486959 HAS SOUPS 24857770 WITH SCORE 2.4939409587E7
AT ITER 461 NEW BEST:: SOT 133130755 SOS 81641166 HAS SOPS 66391720 HAS SOUS 25486253 HAS SOUPS 24856119 WITH SCORE 2.4937760166E7
AT ITER 471 NEW BEST:: SOT 133115319 SOS 81614556 HAS SOPS 66369205 HAS SOUS 25471771 HAS SOUPS 24841981 WITH SCORE 2.4923595556E7
AT ITER 473 NEW BEST:: SOT 133114091 SOS 81609621 HAS SOPS 66366927 HAS SOUS 25468778 HAS SOUPS 24839041 WITH SCORE 2.4920650621E7
AT ITER 487 NEW BEST:: SOT 133116989 SOS 81634157 HAS SOPS 66376248 HAS SOUS 25452302 HAS SOUPS 24822550 WITH SCORE 2.4904184157E7
AT ITER 497 NEW BEST:: SOT 133115543 SOS 81630250 HAS SOPS 66373431 HAS SOUS 25451712 HAS SOUPS 24821960 WITH SCORE 2.490359025E7
AT ITER 502 NEW BEST:: SOT 133088267 SOS 81602895 HAS SOPS 66345032 HAS SOUS 25418996 HAS SOUPS 24789288 WITH SCORE 2.4870890895E7
AT ITER 505 NEW BEST:: SOT 133073953 SOS 81585017 HAS SOPS 66324007 HAS SOUS 25394172 HAS SOUPS 24764526 WITH SCORE 2.4846111017E7
AT ITER 512 NEW BEST:: SOT 133040410 SOS 81551373 HAS SOPS 66290326 HAS SOUS 25360365 HAS SOUPS 24730686 WITH SCORE 2.4812237373E7
AT ITER 515 NEW BEST:: SOT 133030973 SOS 81532091 HAS SOPS 66274646 HAS SOUS 25356575 HAS SOUPS 24726896 WITH SCORE 2.4808428091E7
AT ITER 517 NEW BEST:: SOT 133037390 SOS 81586828 HAS SOPS 66367106 HAS SOUS 25351136 HAS SOUPS 24721997 WITH SCORE 2.4803583828E7
AT ITER 530 NEW BEST:: SOT 133059739 SOS 81638703 HAS SOPS 66405373 HAS SOUS 25323248 HAS SOUPS 24693852 WITH SCORE 2.4775490703E7
AT ITER 533 NEW BEST:: SOT 133059475 SOS 81651457 HAS SOPS 66419365 HAS SOUS 25308184 HAS SOUPS 24678788 WITH SCORE 2.4760439457E7
AT ITER 535 NEW BEST:: SOT 133040906 SOS 81602558 HAS SOPS 66405946 HAS SOUS 25293206 HAS SOUPS 24665670 WITH SCORE 2.4747272558E7
AT ITER 538 NEW BEST:: SOT 133060655 SOS 81647263 HAS SOPS 66475082 HAS SOUS 25272304 HAS SOUPS 24645295 WITH SCORE 2.4726942263E7
AT ITER 546 NEW BEST:: SOT 133065268 SOS 81657443 HAS SOPS 66486196 HAS SOUS 25266988 HAS SOUPS 24641161 WITH SCORE 2.4722818443E7
AT ITER 551 NEW BEST:: SOT 133075062 SOS 81665099 HAS SOPS 66496697 HAS SOUS 25260101 HAS SOUPS 24634565 WITH SCORE 2.4716230099E7
AT ITER 554 NEW BEST:: SOT 133096733 SOS 81706698 HAS SOPS 66526533 HAS SOUS 25257780 HAS SOUPS 24632244 WITH SCORE 2.4713950698E7
AT ITER 557 NEW BEST:: SOT 133103030 SOS 81721502 HAS SOPS 66535669 HAS SOUS 25251296 HAS SOUPS 24625760 WITH SCORE 2.4707481502E7
AT ITER 575 NEW BEST:: SOT 133100722 SOS 81718560 HAS SOPS 66528459 HAS SOUS 25245183 HAS SOUPS 24619578 WITH SCORE 2.470129656E7
AT ITER 585 NEW BEST:: SOT 133065737 SOS 81668380 HAS SOPS 66481859 HAS SOUS 25207475 HAS SOUPS 24582016 WITH SCORE 2.466368438E7
AT ITER 588 NEW BEST:: SOT 133069018 SOS 81690685 HAS SOPS 66505814 HAS SOUS 25196822 HAS SOUPS 24571363 WITH SCORE 2.4653053685E7
AT ITER 609 NEW BEST:: SOT 133076162 SOS 81718113 HAS SOPS 66528158 HAS SOUS 25194897 HAS SOUPS 24569438 WITH SCORE 2.4651156113E7
AT ITER 611 NEW BEST:: SOT 133113051 SOS 81831230 HAS SOPS 66610376 HAS SOUS 25168670 HAS SOUPS 24543208 WITH SCORE 2.462503923E7
AT ITER 614 NEW BEST:: SOT 133113662 SOS 81832373 HAS SOPS 66611474 HAS SOUS 25167902 HAS SOUPS 24542440 WITH SCORE 2.4624272373E7
AT ITER 615 NEW BEST:: SOT 133077137 SOS 81776897 HAS SOPS 66562387 HAS SOUS 25117807 HAS SOUPS 24492345 WITH SCORE 2.4574121897E7
AT ITER 618 NEW BEST:: SOT 133077151 SOS 81778502 HAS SOPS 66565148 HAS SOUS 25117788 HAS SOUPS 24492326 WITH SCORE 2.4574104502E7
AT ITER 627 NEW BEST:: SOT 133054977 SOS 81749122 HAS SOPS 66546416 HAS SOUS 25107241 HAS SOUPS 24481778 WITH SCORE 2.4563527122E7
AT ITER 629 NEW BEST:: SOT 133058162 SOS 81760955 HAS SOPS 66555960 HAS SOUS 25105770 HAS SOUPS 24480307 WITH SCORE 2.4562067955E7
AT ITER 644 NEW BEST:: SOT 133065667 SOS 81769253 HAS SOPS 66564258 HAS SOUS 25094354 HAS SOUPS 24468891 WITH SCORE 2.4550660253E7
AT ITER 653 NEW BEST:: SOT 133072430 SOS 81781955 HAS SOPS 66599082 HAS SOUS 25088203 HAS SOUPS 24462740 WITH SCORE 2.4544521955E7
AT ITER 654 NEW BEST:: SOT 133072430 SOS 81781667 HAS SOPS 66599210 HAS SOUS 25088203 HAS SOUPS 24462740 WITH SCORE 2.4544521667E7
AT ITER 658 NEW BEST:: SOT 133090531 SOS 81819875 HAS SOPS 66631754 HAS SOUS 25053489 HAS SOUPS 24427887 WITH SCORE 2.4509706875E7
AT ITER 666 NEW BEST:: SOT 133079026 SOS 81823108 HAS SOPS 66617774 HAS SOUS 25007654 HAS SOUPS 24381749 WITH SCORE 2.4463572108E7
AT ITER 680 NEW BEST:: SOT 133079014 SOS 81816370 HAS SOPS 66617541 HAS SOUS 25002875 HAS SOUPS 24376970 WITH SCORE 2.445878637E7
AT ITER 688 NEW BEST:: SOT 133058082 SOS 81790550 HAS SOPS 66585124 HAS SOUS 24953671 HAS SOUPS 24327934 WITH SCORE 2.440972455E7
AT ITER 717 NEW BEST:: SOT 133053571 SOS 81785557 HAS SOPS 66579356 HAS SOUS 24943571 HAS SOUPS 24317918 WITH SCORE 2.4399703557E7
AT ITER 725 NEW BEST:: SOT 133061733 SOS 81805367 HAS SOPS 66593631 HAS SOUS 24930539 HAS SOUPS 24304886 WITH SCORE 2.4386691367E7
AT ITER 726 NEW BEST:: SOT 133062624 SOS 81806416 HAS SOPS 66595725 HAS SOUS 24921214 HAS SOUPS 24298126 WITH SCORE 2.4379932416E7
AT ITER 731 NEW BEST:: SOT 133049015 SOS 81761031 HAS SOPS 66561574 HAS SOUS 24917578 HAS SOUPS 24294490 WITH SCORE 2.4376251031E7
AT ITER 733 NEW BEST:: SOT 133046958 SOS 81748083 HAS SOPS 66545126 HAS SOUS 24915376 HAS SOUPS 24292288 WITH SCORE 2.4374036083E7
AT ITER 740 NEW BEST:: SOT 133087882 SOS 81805428 HAS SOPS 66597328 HAS SOUS 24873766 HAS SOUPS 24250643 WITH SCORE 2.4332448428E7
AT ITER 748 NEW BEST:: SOT 133102950 SOS 81856253 HAS SOPS 66627775 HAS SOUS 24852807 HAS SOUPS 24229684 WITH SCORE 2.4311540253E7
AT ITER 756 NEW BEST:: SOT 133097366 SOS 81854168 HAS SOPS 66624744 HAS SOUS 24848956 HAS SOUPS 24225791 WITH SCORE 2.4307645168E7
AT ITER 757 NEW BEST:: SOT 133082862 SOS 81839664 HAS SOPS 66608128 HAS SOUS 24843348 HAS SOUPS 24218071 WITH SCORE 2.4299910664E7
AT ITER 763 NEW BEST:: SOT 133082862 SOS 81839619 HAS SOPS 66608083 HAS SOUS 24843240 HAS SOUPS 24217963 WITH SCORE 2.4299802619E7
AT ITER 774 NEW BEST:: SOT 133071998 SOS 81827586 HAS SOPS 66595471 HAS SOUS 24826043 HAS SOUPS 24200816 WITH SCORE 2.4282643586E7
AT ITER 793 NEW BEST:: SOT 133053553 SOS 81801613 HAS SOPS 66569562 HAS SOUS 24801129 HAS SOUPS 24175902 WITH SCORE 2.4257703613E7
AT ITER 812 NEW BEST:: SOT 133053638 SOS 81803974 HAS SOPS 66572401 HAS SOUS 24800408 HAS SOUPS 24175181 WITH SCORE 2.4256984974E7
AT ITER 813 NEW BEST:: SOT 133055324 SOS 81801592 HAS SOPS 66566270 HAS SOUS 24786207 HAS SOUPS 24161104 WITH SCORE 2.4242905592E7
AT ITER 818 NEW BEST:: SOT 133053827 SOS 81797823 HAS SOPS 66561992 HAS SOUS 24783814 HAS SOUPS 24158711 WITH SCORE 2.4240508823E7
AT ITER 828 NEW BEST:: SOT 133024545 SOS 81719810 HAS SOPS 66506727 HAS SOUS 24776229 HAS SOUPS 24152827 WITH SCORE 2.423454681E7
AT ITER 856 NEW BEST:: SOT 133071300 SOS 81831202 HAS SOPS 66612424 HAS SOUS 24771387 HAS SOUPS 24147985 WITH SCORE 2.4229816202E7
AT ITER 857 NEW BEST:: SOT 133040559 SOS 81762118 HAS SOPS 66554030 HAS SOUS 24744643 HAS SOUPS 24121241 WITH SCORE 2.4203003118E7
AT ITER 862 NEW BEST:: SOT 132949275 SOS 81653555 HAS SOPS 66449492 HAS SOUS 24687891 HAS SOUPS 24061003 WITH SCORE 2.4142656555E7
AT ITER 863 NEW BEST:: SOT 132945938 SOS 81649919 HAS SOPS 66445406 HAS SOUS 24683338 HAS SOUPS 24056465 WITH SCORE 2.4138114919E7
AT ITER 864 NEW BEST:: SOT 132945335 SOS 81649306 HAS SOPS 66444793 HAS SOUS 24682695 HAS SOUPS 24055822 WITH SCORE 2.4137471306E7
AT ITER 869 NEW BEST:: SOT 132987224 SOS 81811380 HAS SOPS 66597870 HAS SOUS 24681051 HAS SOUPS 24054178 WITH SCORE 2.413598938E7
AT ITER 873 NEW BEST:: SOT 132991106 SOS 81835571 HAS SOPS 66613063 HAS SOUS 24655605 HAS SOUPS 24028732 WITH SCORE 2.4110567571E7
AT ITER 874 NEW BEST:: SOT 132989317 SOS 81857039 HAS SOPS 66656779 HAS SOUS 24629774 HAS SOUPS 24002901 WITH SCORE 2.4084758039E7
AT ITER 892 NEW BEST:: SOT 132972197 SOS 81830594 HAS SOPS 66634344 HAS SOUS 24606464 HAS SOUPS 23979591 WITH SCORE 2.4061421594E7
AT ITER 896 NEW BEST:: SOT 132979912 SOS 81857714 HAS SOPS 66657699 HAS SOUS 24602868 HAS SOUPS 23975995 WITH SCORE 2.4057852714E7
AT ITER 900 NEW BEST:: SOT 132979936 SOS 81857322 HAS SOPS 66657096 HAS SOUS 24602522 HAS SOUPS 23975649 WITH SCORE 2.4057506322E7
AT ITER 901 NEW BEST:: SOT 132970269 SOS 81844694 HAS SOPS 66645332 HAS SOUS 24586601 HAS SOUPS 23959776 WITH SCORE 2.4041620694E7
AT ITER 903 NEW BEST:: SOT 132971761 SOS 81856569 HAS SOPS 66646279 HAS SOUS 24578615 HAS SOUPS 23951790 WITH SCORE 2.4033646569E7
AT ITER 907 NEW BEST:: SOT 132953944 SOS 81837561 HAS SOPS 66625425 HAS SOUS 24525219 HAS SOUPS 23898394 WITH SCORE 2.3980231561E7
AT ITER 917 NEW BEST:: SOT 132949325 SOS 81855690 HAS SOPS 66654116 HAS SOUS 24501416 HAS SOUPS 23874591 WITH SCORE 2.395644669E7
AT ITER 922 NEW BEST:: SOT 132918227 SOS 81817983 HAS SOPS 66619931 HAS SOUS 24442425 HAS SOUPS 23816035 WITH SCORE 2.3897852983E7
AT ITER 930 NEW BEST:: SOT 132914546 SOS 81811950 HAS SOPS 66620876 HAS SOUS 24436020 HAS SOUPS 23809706 WITH SCORE 2.389151795E7
AT ITER 939 NEW BEST:: SOT 132899548 SOS 81796850 HAS SOPS 66604851 HAS SOUS 24426801 HAS SOUPS 23800154 WITH SCORE 2.388195085E7
AT ITER 947 NEW BEST:: SOT 132898430 SOS 81792414 HAS SOPS 66599854 HAS SOUS 24425783 HAS SOUPS 23799136 WITH SCORE 2.3880928414E7
AT ITER 949 NEW BEST:: SOT 132901052 SOS 81787228 HAS SOPS 66607837 HAS SOUS 24397342 HAS SOUPS 23773263 WITH SCORE 2.3855050228E7
AT ITER 955 NEW BEST:: SOT 132906031 SOS 81807010 HAS SOPS 66625561 HAS SOUS 24395240 HAS SOUPS 23771161 WITH SCORE 2.385296801E7
AT ITER 957 NEW BEST:: SOT 132874530 SOS 81736503 HAS SOPS 66576480 HAS SOUS 24375716 HAS SOUPS 23751637 WITH SCORE 2.3833373503E7
AT ITER 964 NEW BEST:: SOT 132874229 SOS 81736228 HAS SOPS 66576384 HAS SOUS 24375711 HAS SOUPS 23751632 WITH SCORE 2.3833368228E7
AT ITER 979 NEW BEST:: SOT 132878744 SOS 81742933 HAS SOPS 66581144 HAS SOUS 24364063 HAS SOUPS 23739984 WITH SCORE 2.3821726933E7
AT ITER 1000 NEW BEST:: SOT 132872309 SOS 81736300 HAS SOPS 66574055 HAS SOUS 24356879 HAS SOUPS 23732435 WITH SCORE 2.38141713E7
AT ITER 1004 NEW BEST:: SOT 132868614 SOS 81728219 HAS SOPS 66567471 HAS SOUS 24353960 HAS SOUPS 23729516 WITH SCORE 2.3811244219E7
AT ITER 1005 NEW BEST:: SOT 132867483 SOS 81742512 HAS SOPS 66576932 HAS SOUS 24352624 HAS SOUPS 23728180 WITH SCORE 2.3809922512E7
AT ITER 1020 NEW BEST:: SOT 132864547 SOS 81739284 HAS SOPS 66571590 HAS SOUS 24341691 HAS SOUPS 23717247 WITH SCORE 2.3798986284E7
AT ITER 1038 NEW BEST:: SOT 132860609 SOS 81736902 HAS SOPS 66563980 HAS SOUS 24329039 HAS SOUPS 23704532 WITH SCORE 2.3786268902E7
AT ITER 1042 NEW BEST:: SOT 132857725 SOS 81732803 HAS SOPS 66560180 HAS SOUS 24326186 HAS SOUPS 23701679 WITH SCORE 2.3783411803E7
AT ITER 1046 NEW BEST:: SOT 132884189 SOS 81790792 HAS SOPS 66600345 HAS SOUS 24312547 HAS SOUPS 23688040 WITH SCORE 2.3769830792E7
AT ITER 1064 NEW BEST:: SOT 132883416 SOS 81789541 HAS SOPS 66599599 HAS SOUS 24311611 HAS SOUPS 23687104 WITH SCORE 2.3768893541E7
AT ITER 1065 NEW BEST:: SOT 132904054 SOS 81859116 HAS SOPS 66676024 HAS SOUS 24307935 HAS SOUPS 23683428 WITH SCORE 2.3765287116E7
AT ITER 1077 NEW BEST:: SOT 132911668 SOS 81888536 HAS SOPS 66695926 HAS SOUS 24292123 HAS SOUPS 23667616 WITH SCORE 2.3749504536E7
AT ITER 1080 NEW BEST:: SOT 132917106 SOS 81888464 HAS SOPS 66695719 HAS SOUS 24280994 HAS SOUPS 23656487 WITH SCORE 2.3738375464E7
AT ITER 1104 NEW BEST:: SOT 132916468 SOS 81888421 HAS SOPS 66695550 HAS SOUS 24278259 HAS SOUPS 23653739 WITH SCORE 2.3735627421E7
AT ITER 1107 NEW BEST:: SOT 132908658 SOS 81875551 HAS SOPS 66682711 HAS SOUS 24269814 HAS SOUPS 23645294 WITH SCORE 2.3727169551E7
AT ITER 1115 NEW BEST:: SOT 132910031 SOS 81877676 HAS SOPS 66684175 HAS SOUS 24263932 HAS SOUPS 23639369 WITH SCORE 2.3721246676E7
AT ITER 1123 NEW BEST:: SOT 132909799 SOS 81877427 HAS SOPS 66683852 HAS SOUS 24263429 HAS SOUPS 23638866 WITH SCORE 2.3720743427E7
AT ITER 1135 NEW BEST:: SOT 132909017 SOS 81877581 HAS SOPS 66683023 HAS SOUS 24259223 HAS SOUPS 23634838 WITH SCORE 2.3716715581E7
AT ITER 1146 NEW BEST:: SOT 132908926 SOS 81876788 HAS SOPS 66680276 HAS SOUS 24254906 HAS SOUPS 23630521 WITH SCORE 2.3712397788E7
AT ITER 1154 NEW BEST:: SOT 132908499 SOS 81885665 HAS SOPS 66708297 HAS SOUS 24253130 HAS SOUPS 23628745 WITH SCORE 2.3710630665E7
AT ITER 1174 NEW BEST:: SOT 132911521 SOS 81888530 HAS SOPS 66708782 HAS SOUS 24242799 HAS SOUPS 23619060 WITH SCORE 2.370094853E7
AT ITER 1177 NEW BEST:: SOT 132913767 SOS 81900986 HAS SOPS 66717215 HAS SOUS 24225047 HAS SOUPS 23601308 WITH SCORE 2.3683208986E7
AT ITER 1184 NEW BEST:: SOT 132927948 SOS 81922606 HAS SOPS 66734362 HAS SOUS 24205926 HAS SOUPS 23582187 WITH SCORE 2.3664109606E7
AT ITER 1203 NEW BEST:: SOT 132927574 SOS 81922538 HAS SOPS 66734571 HAS SOUS 24205819 HAS SOUPS 23582080 WITH SCORE 2.3664002538E7
AT ITER 1207 NEW BEST:: SOT 132928109 SOS 81921886 HAS SOPS 66744263 HAS SOUS 24198530 HAS SOUPS 23576279 WITH SCORE 2.3658200886E7
AT ITER 1219 NEW BEST:: SOT 132926852 SOS 81907967 HAS SOPS 66733753 HAS SOUS 24195884 HAS SOUPS 23575537 WITH SCORE 2.3657444967E7
AT ITER 1223 NEW BEST:: SOT 132922756 SOS 81902380 HAS SOPS 66728505 HAS SOUS 24184097 HAS SOUPS 23563750 WITH SCORE 2.364565238E7
AT ITER 1224 NEW BEST:: SOT 132927640 SOS 81915526 HAS SOPS 66740579 HAS SOUS 24182707 HAS SOUPS 23562360 WITH SCORE 2.3644275526E7
AT ITER 1226 NEW BEST:: SOT 132920821 SOS 81900278 HAS SOPS 66725995 HAS SOUS 24179272 HAS SOUPS 23558925 WITH SCORE 2.3640825278E7
AT ITER 1229 NEW BEST:: SOT 132933837 SOS 81927450 HAS SOPS 66765162 HAS SOUS 24172215 HAS SOUPS 23551868 WITH SCORE 2.363379545E7
AT ITER 1230 NEW BEST:: SOT 132922878 SOS 81919588 HAS SOPS 66773002 HAS SOUS 24169841 HAS SOUPS 23549494 WITH SCORE 2.3631413588E7
AT ITER 1240 NEW BEST:: SOT 132930253 SOS 81922548 HAS SOPS 66764417 HAS SOUS 24162094 HAS SOUPS 23541736 WITH SCORE 2.3623658548E7
AT ITER 1258 NEW BEST:: SOT 132890781 SOS 81871639 HAS SOPS 66717399 HAS SOUS 24110928 HAS SOUPS 23491132 WITH SCORE 2.3573003639E7
AT ITER 1272 NEW BEST:: SOT 132896000 SOS 81894472 HAS SOPS 66735514 HAS SOUS 24109953 HAS SOUPS 23490157 WITH SCORE 2.3572051472E7
AT ITER 1278 NEW BEST:: SOT 132894429 SOS 81889469 HAS SOPS 66730382 HAS SOUS 24106338 HAS SOUPS 23486542 WITH SCORE 2.3568431469E7
AT ITER 1316 NEW BEST:: SOT 132909583 SOS 81930968 HAS SOPS 66781959 HAS SOUS 24102277 HAS SOUPS 23482481 WITH SCORE 2.3564411968E7
AT ITER 1334 NEW BEST:: SOT 132913467 SOS 81942955 HAS SOPS 66789343 HAS SOUS 24099094 HAS SOUPS 23479298 WITH SCORE 2.3561240955E7
AT ITER 1338 NEW BEST:: SOT 132892919 SOS 81916493 HAS SOPS 66763476 HAS SOUS 24077388 HAS SOUPS 23457710 WITH SCORE 2.3539626493E7
AT ITER 1353 NEW BEST:: SOT 132889473 SOS 81917994 HAS SOPS 66767057 HAS SOUS 24064145 HAS SOUPS 23444467 WITH SCORE 2.3526384994E7
AT ITER 1358 NEW BEST:: SOT 132905106 SOS 81952464 HAS SOPS 66799533 HAS SOUS 24058832 HAS SOUPS 23439154 WITH SCORE 2.3521106464E7
AT ITER 1361 NEW BEST:: SOT 132892939 SOS 81941844 HAS SOPS 66785706 HAS SOUS 24030568 HAS SOUPS 23409433 WITH SCORE 2.3491374844E7
AT ITER 1375 NEW BEST:: SOT 132890242 SOS 81942755 HAS SOPS 66783927 HAS SOUS 24022616 HAS SOUPS 23401481 WITH SCORE 2.3483423755E7
AT ITER 1387 NEW BEST:: SOT 132890194 SOS 81942707 HAS SOPS 66783751 HAS SOUS 24022440 HAS SOUPS 23401305 WITH SCORE 2.3483247707E7
AT ITER 1408 NEW BEST:: SOT 132854863 SOS 81879833 HAS SOPS 66730588 HAS SOUS 23981581 HAS SOUPS 23362174 WITH SCORE 2.3444053833E7
AT ITER 1409 NEW BEST:: SOT 132852865 SOS 81883724 HAS SOPS 66704649 HAS SOUS 23952086 HAS SOUPS 23332366 WITH SCORE 2.3414249724E7
AT ITER 1430 NEW BEST:: SOT 132859063 SOS 81910253 HAS SOPS 66724915 HAS SOUS 23950857 HAS SOUPS 23331137 WITH SCORE 2.3413047253E7
AT ITER 1436 NEW BEST:: SOT 132857373 SOS 81908563 HAS SOPS 66723225 HAS SOUS 23946959 HAS SOUPS 23327239 WITH SCORE 2.3409147563E7
AT ITER 1446 NEW BEST:: SOT 132850075 SOS 81901247 HAS SOPS 66715110 HAS SOUS 23938246 HAS SOUPS 23318302 WITH SCORE 2.3400203247E7
AT ITER 1501 NEW BEST:: SOT 132859301 SOS 81951595 HAS SOPS 66756896 HAS SOUS 23931882 HAS SOUPS 23311938 WITH SCORE 2.3393889595E7
AT ITER 1513 NEW BEST:: SOT 132894500 SOS 82063438 HAS SOPS 66852554 HAS SOUS 23915207 HAS SOUPS 23295263 WITH SCORE 2.3377326438E7
AT ITER 1521 NEW BEST:: SOT 132891812 SOS 82062260 HAS SOPS 66850925 HAS SOUS 23912844 HAS SOUPS 23292520 WITH SCORE 2.337458226E7
AT ITER 1542 NEW BEST:: SOT 132896183 SOS 82068415 HAS SOPS 66854828 HAS SOUS 23911843 HAS SOUPS 23291980 WITH SCORE 2.3374048415E7
AT ITER 1558 NEW BEST:: SOT 132896769 SOS 82069558 HAS SOPS 66853192 HAS SOUS 23909761 HAS SOUPS 23289898 WITH SCORE 2.3371967558E7
AT ITER 1561 NEW BEST:: SOT 132897878 SOS 82080105 HAS SOPS 66859495 HAS SOUS 23899059 HAS SOUPS 23279196 WITH SCORE 2.3361276105E7
AT ITER 1564 NEW BEST:: SOT 132894198 SOS 82071658 HAS SOPS 66852386 HAS SOUS 23895310 HAS SOUPS 23275447 WITH SCORE 2.3357518658E7
AT ITER 1575 NEW BEST:: SOT 132940830 SOS 82225170 HAS SOPS 67001641 HAS SOUS 23861510 HAS SOUPS 23241647 WITH SCORE 2.332387217E7
AT ITER 1576 NEW BEST:: SOT 132933658 SOS 82204984 HAS SOPS 66979017 HAS SOUS 23856320 HAS SOUPS 23236457 WITH SCORE 2.3318661984E7
AT ITER 1590 NEW BEST:: SOT 132924155 SOS 82181873 HAS SOPS 66958883 HAS SOUS 23851094 HAS SOUPS 23231231 WITH SCORE 2.3313412873E7
AT ITER 1593 NEW BEST:: SOT 132857294 SOS 82069880 HAS SOPS 66832540 HAS SOUS 23789470 HAS SOUPS 23169235 WITH SCORE 2.325130488E7
AT ITER 1603 NEW BEST:: SOT 132859993 SOS 82065468 HAS SOPS 66830794 HAS SOUS 23787163 HAS SOUPS 23167415 WITH SCORE 2.3249480468E7
AT ITER 1614 NEW BEST:: SOT 132855357 SOS 82056846 HAS SOPS 66818015 HAS SOUS 23786101 HAS SOUPS 23165973 WITH SCORE 2.3248029846E7
AT ITER 1618 NEW BEST:: SOT 132849369 SOS 82037817 HAS SOPS 66803054 HAS SOUS 23784770 HAS SOUPS 23164734 WITH SCORE 2.3246771817E7
AT ITER 1628 NEW BEST:: SOT 132831951 SOS 82020539 HAS SOPS 66778890 HAS SOUS 23759446 HAS SOUPS 23139410 WITH SCORE 2.3221430539E7
AT ITER 1634 NEW BEST:: SOT 132804909 SOS 81977472 HAS SOPS 66731001 HAS SOUS 23746975 HAS SOUPS 23127065 WITH SCORE 2.3209042472E7
AT ITER 1644 NEW BEST:: SOT 132806152 SOS 81982194 HAS SOPS 66732833 HAS SOUS 23744949 HAS SOUPS 23125039 WITH SCORE 2.3207021194E7
AT ITER 1653 NEW BEST:: SOT 132808334 SOS 81988059 HAS SOPS 66736156 HAS SOUS 23744438 HAS SOUPS 23124528 WITH SCORE 2.3206516059E7
AT ITER 1665 NEW BEST:: SOT 132791697 SOS 81956913 HAS SOPS 66715755 HAS SOUS 23738746 HAS SOUPS 23118045 WITH SCORE 2.3200001913E7
AT ITER 1669 NEW BEST:: SOT 132766481 SOS 81898578 HAS SOPS 66676910 HAS SOUS 23722156 HAS SOUPS 23101455 WITH SCORE 2.3183353578E7
AT ITER 1670 NEW BEST:: SOT 132768305 SOS 81907844 HAS SOPS 66696772 HAS SOUS 23720940 HAS SOUPS 23100239 WITH SCORE 2.3182146844E7
AT ITER 1696 NEW BEST:: SOT 132766994 SOS 81913820 HAS SOPS 66703019 HAS SOUS 23706219 HAS SOUPS 23085483 WITH SCORE 2.316739682E7
AT ITER 1722 NEW BEST:: SOT 132767040 SOS 81913328 HAS SOPS 66699346 HAS SOUS 23702198 HAS SOUPS 23081462 WITH SCORE 2.3163375328E7
AT ITER 1739 NEW BEST:: SOT 132764802 SOS 81911192 HAS SOPS 66695191 HAS SOUS 23697894 HAS SOUPS 23077116 WITH SCORE 2.3159027192E7
AT ITER 1742 NEW BEST:: SOT 132761191 SOS 81907581 HAS SOPS 66691580 HAS SOUS 23694283 HAS SOUPS 23073505 WITH SCORE 2.3155412581E7
AT ITER 1743 NEW BEST:: SOT 132758350 SOS 81901718 HAS SOPS 66684319 HAS SOUS 23688845 HAS SOUPS 23068067 WITH SCORE 2.3149968718E7
AT ITER 1749 NEW BEST:: SOT 132765086 SOS 81913424 HAS SOPS 66687601 HAS SOUS 23688766 HAS SOUPS 23067988 WITH SCORE 2.3149901424E7
AT ITER 1753 NEW BEST:: SOT 132743666 SOS 81872770 HAS SOPS 66655363 HAS SOUS 23664388 HAS SOUPS 23044342 WITH SCORE 2.312621477E7
AT ITER 1761 NEW BEST:: SOT 132742176 SOS 81856941 HAS SOPS 66649295 HAS SOUS 23660159 HAS SOUPS 23040113 WITH SCORE 2.3121969941E7
AT ITER 1768 NEW BEST:: SOT 132746112 SOS 81867657 HAS SOPS 66651395 HAS SOUS 23652152 HAS SOUPS 23032106 WITH SCORE 2.3113973657E7
AT ITER 1781 NEW BEST:: SOT 132749323 SOS 81884441 HAS SOPS 66674656 HAS SOUS 23633448 HAS SOUPS 23013402 WITH SCORE 2.3095286441E7
AT ITER 1785 NEW BEST:: SOT 132755225 SOS 81901095 HAS SOPS 66685908 HAS SOUS 23622188 HAS SOUPS 23001995 WITH SCORE 2.3083896095E7
AT ITER 1796 NEW BEST:: SOT 132758271 SOS 81904249 HAS SOPS 66693492 HAS SOUS 23612204 HAS SOUPS 22992101 WITH SCORE 2.3074005249E7
AT ITER 1808 NEW BEST:: SOT 132763299 SOS 81910021 HAS SOPS 66711034 HAS SOUS 23611843 HAS SOUPS 22991740 WITH SCORE 2.3073650021E7
AT ITER 1814 NEW BEST:: SOT 132771082 SOS 81927419 HAS SOPS 66725969 HAS SOUS 23607924 HAS SOUPS 22987821 WITH SCORE 2.3069748419E7
AT ITER 1816 NEW BEST:: SOT 132766081 SOS 81908843 HAS SOPS 66714809 HAS SOUS 23605694 HAS SOUPS 22985591 WITH SCORE 2.3067499843E7
AT ITER 1827 NEW BEST:: SOT 132736984 SOS 81862201 HAS SOPS 66677519 HAS SOUS 23575376 HAS SOUPS 22955412 WITH SCORE 2.3037274201E7
AT ITER 1828 NEW BEST:: SOT 132721699 SOS 81844409 HAS SOPS 66645660 HAS SOUS 23507737 HAS SOUPS 22887773 WITH SCORE 2.2969617409E7
AT ITER 1843 NEW BEST:: SOT 132716875 SOS 81839359 HAS SOPS 66639667 HAS SOUS 23497183 HAS SOUPS 22877269 WITH SCORE 2.2959108359E7
AT ITER 1847 NEW BEST:: SOT 132715475 SOS 81825782 HAS SOPS 66643449 HAS SOUS 23490551 HAS SOUPS 22870637 WITH SCORE 2.2952462782E7
AT ITER 1851 NEW BEST:: SOT 132676291 SOS 81769609 HAS SOPS 66591007 HAS SOUS 23424408 HAS SOUPS 22804709 WITH SCORE 2.2886478609E7
AT ITER 1855 NEW BEST:: SOT 132678398 SOS 81776070 HAS SOPS 66595249 HAS SOUS 23419172 HAS SOUPS 22799438 WITH SCORE 2.288121407E7
AT ITER 1861 NEW BEST:: SOT 132670877 SOS 81762400 HAS SOPS 66585832 HAS SOUS 23416927 HAS SOUPS 22797193 WITH SCORE 2.28789554E7
AT ITER 1863 NEW BEST:: SOT 132664683 SOS 81751852 HAS SOPS 66578261 HAS SOUS 23414509 HAS SOUPS 22794775 WITH SCORE 2.2876526852E7
AT ITER 1877 NEW BEST:: SOT 132660909 SOS 81745300 HAS SOPS 66571521 HAS SOUS 23409931 HAS SOUPS 22790197 WITH SCORE 2.28719423E7
AT ITER 1879 NEW BEST:: SOT 132665180 SOS 81756055 HAS SOPS 66583962 HAS SOUS 23408561 HAS SOUPS 22788827 WITH SCORE 2.2870583055E7
AT ITER 1886 NEW BEST:: SOT 132635262 SOS 81697481 HAS SOPS 66544810 HAS SOUS 23384856 HAS SOUPS 22765122 WITH SCORE 2.2846819481E7
AT ITER 1898 NEW BEST:: SOT 132635189 SOS 81696399 HAS SOPS 66543733 HAS SOUS 23384546 HAS SOUPS 22764812 WITH SCORE 2.2846508399E7
AT ITER 1904 NEW BEST:: SOT 132606759 SOS 81667902 HAS SOPS 66512631 HAS SOUS 23349018 HAS SOUPS 22728478 WITH SCORE 2.2810145902E7
AT ITER 1913 NEW BEST:: SOT 132607001 SOS 81688424 HAS SOPS 66539361 HAS SOUS 23347241 HAS SOUPS 22726701 WITH SCORE 2.2808389424E7
AT ITER 1914 NEW BEST:: SOT 132603741 SOS 81685749 HAS SOPS 66533589 HAS SOUS 23341960 HAS SOUPS 22721420 WITH SCORE 2.2803105749E7
AT ITER 1915 NEW BEST:: SOT 132584269 SOS 81668486 HAS SOPS 66528750 HAS SOUS 23302595 HAS SOUPS 22682055 WITH SCORE 2.2763723486E7
AT ITER 1940 NEW BEST:: SOT 132560946 SOS 81625599 HAS SOPS 66515718 HAS SOUS 23291442 HAS SOUPS 22670902 WITH SCORE 2.2752527599E7
AT ITER 1954 NEW BEST:: SOT 132532063 SOS 81543671 HAS SOPS 66495190 HAS SOUS 23286536 HAS SOUPS 22670099 WITH SCORE 2.2751642671E7
AT ITER 1955 NEW BEST:: SOT 132515473 SOS 81518313 HAS SOPS 66469962 HAS SOUS 23262817 HAS SOUPS 22646380 WITH SCORE 2.2727898313E7
AT ITER 1957 NEW BEST:: SOT 132516383 SOS 81519089 HAS SOPS 66470018 HAS SOUS 23260372 HAS SOUPS 22643935 WITH SCORE 2.2725454089E7
AT ITER 1962 NEW BEST:: SOT 132517928 SOS 81520634 HAS SOPS 66471563 HAS SOUS 23256733 HAS SOUPS 22640296 WITH SCORE 2.2721816634E7
AT ITER 1963 NEW BEST:: SOT 132517928 SOS 81520706 HAS SOPS 66471471 HAS SOUS 23256715 HAS SOUPS 22640278 WITH SCORE 2.2721798706E7
AT ITER 1969 NEW BEST:: SOT 132503540 SOS 81486752 HAS SOPS 66451125 HAS SOUS 23249770 HAS SOUPS 22633650 WITH SCORE 2.2715136752E7
AT ITER 1973 NEW BEST:: SOT 132503732 SOS 81486921 HAS SOPS 66451317 HAS SOUS 23249625 HAS SOUPS 22633505 WITH SCORE 2.2714991921E7
AT ITER 1977 NEW BEST:: SOT 132507404 SOS 81496114 HAS SOPS 66459552 HAS SOUS 23248656 HAS SOUPS 22632536 WITH SCORE 2.2714032114E7
AT ITER 1984 NEW BEST:: SOT 132507788 SOS 81496914 HAS SOPS 66460296 HAS SOUS 23247528 HAS SOUPS 22631432 WITH SCORE 2.2712928914E7
AT ITER 1989 NEW BEST:: SOT 132506798 SOS 81491707 HAS SOPS 66460331 HAS SOUS 23244345 HAS SOUPS 22628249 WITH SCORE 2.2709740707E7
AT ITER 2003 NEW BEST:: SOT 132465931 SOS 81432463 HAS SOPS 66417190 HAS SOUS 23210784 HAS SOUPS 22594852 WITH SCORE 2.2676284463E7
AT ITER 2010 NEW BEST:: SOT 132464999 SOS 81431529 HAS SOPS 66416058 HAS SOUS 23209368 HAS SOUPS 22593436 WITH SCORE 2.2674867529E7
AT ITER 2011 NEW BEST:: SOT 132471647 SOS 81452540 HAS SOPS 66433712 HAS SOUS 23190347 HAS SOUPS 22574415 WITH SCORE 2.265586754E7
AT ITER 2026 NEW BEST:: SOT 132461678 SOS 81434455 HAS SOPS 66418052 HAS SOUS 23173207 HAS SOUPS 22557275 WITH SCORE 2.2638709455E7
AT ITER 2030 NEW BEST:: SOT 132465709 SOS 81441650 HAS SOPS 66422628 HAS SOUS 23159959 HAS SOUPS 22544027 WITH SCORE 2.262546865E7
AT ITER 2045 NEW BEST:: SOT 132457927 SOS 81428581 HAS SOPS 66413606 HAS SOUS 23155295 HAS SOUPS 22539392 WITH SCORE 2.2620820581E7
AT ITER 2046 NEW BEST:: SOT 132448796 SOS 81414802 HAS SOPS 66407776 HAS SOUS 23149262 HAS SOUPS 22533390 WITH SCORE 2.2614804802E7
AT ITER 2052 NEW BEST:: SOT 132449088 SOS 81418325 HAS SOPS 66414139 HAS SOUS 23140132 HAS SOUPS 22524362 WITH SCORE 2.2605780325E7
AT ITER 2053 NEW BEST:: SOT 132442134 SOS 81414027 HAS SOPS 66422477 HAS SOUS 23115684 HAS SOUPS 22499914 WITH SCORE 2.2581328027E7
AT ITER 2062 NEW BEST:: SOT 132430531 SOS 81402424 HAS SOPS 66410874 HAS SOUS 23104081 HAS SOUPS 22488311 WITH SCORE 2.2569713424E7
AT ITER 2068 NEW BEST:: SOT 132455107 SOS 81515903 HAS SOPS 66529253 HAS SOUS 23092841 HAS SOUPS 22477071 WITH SCORE 2.2558586903E7
AT ITER 2082 NEW BEST:: SOT 132457775 SOS 81521668 HAS SOPS 66537702 HAS SOUS 23091318 HAS SOUPS 22475548 WITH SCORE 2.2557069668E7
AT ITER 2084 NEW BEST:: SOT 132450993 SOS 81526391 HAS SOPS 66527569 HAS SOUS 23032939 HAS SOUPS 22418215 WITH SCORE 2.2499741391E7
AT ITER 2085 NEW BEST:: SOT 132456768 SOS 81537150 HAS SOPS 66535771 HAS SOUS 23030659 HAS SOUPS 22415870 WITH SCORE 2.249740715E7
AT ITER 2097 NEW BEST:: SOT 132430251 SOS 81500772 HAS SOPS 66492927 HAS SOUS 22989656 HAS SOUPS 22374867 WITH SCORE 2.2456367772E7
AT ITER 2160 NEW BEST:: SOT 132424794 SOS 81498217 HAS SOPS 66486230 HAS SOUS 22968395 HAS SOUPS 22353606 WITH SCORE 2.2435104217E7
AT ITER 2163 NEW BEST:: SOT 132395704 SOS 81469949 HAS SOPS 66460693 HAS SOUS 22926542 HAS SOUPS 22311863 WITH SCORE 2.2393332949E7
AT ITER 2172 NEW BEST:: SOT 132392522 SOS 81468660 HAS SOPS 66451541 HAS SOUS 22912670 HAS SOUPS 22297991 WITH SCORE 2.237945966E7
AT ITER 2176 NEW BEST:: SOT 132379592 SOS 81445763 HAS SOPS 66431293 HAS SOUS 22897271 HAS SOUPS 22282745 WITH SCORE 2.2364190763E7
AT ITER 2184 NEW BEST:: SOT 132355213 SOS 81393683 HAS SOPS 66388858 HAS SOUS 22884141 HAS SOUPS 22269615 WITH SCORE 2.2351008683E7
AT ITER 2202 NEW BEST:: SOT 132357476 SOS 81402856 HAS SOPS 66395489 HAS SOUS 22883888 HAS SOUPS 22269362 WITH SCORE 2.2350764856E7
AT ITER 2210 NEW BEST:: SOT 132347631 SOS 81405320 HAS SOPS 66394797 HAS SOUS 22845183 HAS SOUPS 22230545 WITH SCORE 2.231195032E7
AT ITER 2213 NEW BEST:: SOT 132401122 SOS 81538327 HAS SOPS 66539042 HAS SOUS 22821748 HAS SOUPS 22207031 WITH SCORE 2.2288569327E7
AT ITER 2223 NEW BEST:: SOT 132394864 SOS 81524068 HAS SOPS 66520824 HAS SOUS 22786630 HAS SOUPS 22171913 WITH SCORE 2.2253437068E7
AT ITER 2224 NEW BEST:: SOT 132418086 SOS 81615239 HAS SOPS 66589135 HAS SOUS 22772216 HAS SOUPS 22157499 WITH SCORE 2.2239114239E7
AT ITER 2230 NEW BEST:: SOT 132394682 SOS 81543674 HAS SOPS 66529805 HAS SOUS 22768429 HAS SOUPS 22153712 WITH SCORE 2.2235255674E7
AT ITER 2232 NEW BEST:: SOT 132384066 SOS 81535386 HAS SOPS 66534956 HAS SOUS 22765300 HAS SOUPS 22150892 WITH SCORE 2.2232427386E7
AT ITER 2233 NEW BEST:: SOT 132382602 SOS 81534610 HAS SOPS 66532461 HAS SOUS 22753367 HAS SOUPS 22138959 WITH SCORE 2.222049361E7
AT ITER 2248 NEW BEST:: SOT 132395551 SOS 81570823 HAS SOPS 66559740 HAS SOUS 22739361 HAS SOUPS 22124953 WITH SCORE 2.2206523823E7
AT ITER 2250 NEW BEST:: SOT 132420809 SOS 81604401 HAS SOPS 66592283 HAS SOUS 22737274 HAS SOUPS 22122782 WITH SCORE 2.2204386401E7
AT ITER 2253 NEW BEST:: SOT 132400182 SOS 81581502 HAS SOPS 66560618 HAS SOUS 22718134 HAS SOUPS 22103774 WITH SCORE 2.2185355502E7
AT ITER 2271 NEW BEST:: SOT 132401622 SOS 81586881 HAS SOPS 66564609 HAS SOUS 22717660 HAS SOUPS 22103300 WITH SCORE 2.2184886881E7
AT ITER 2281 NEW BEST:: SOT 132403587 SOS 81589961 HAS SOPS 66570970 HAS SOUS 22715253 HAS SOUPS 22100893 WITH SCORE 2.2182482961E7
AT ITER 2297 NEW BEST:: SOT 132403619 SOS 81592897 HAS SOPS 66575274 HAS SOUS 22715051 HAS SOUPS 22100691 WITH SCORE 2.2182283897E7
AT ITER 2301 NEW BEST:: SOT 132413815 SOS 81621358 HAS SOPS 66603067 HAS SOUS 22684270 HAS SOUPS 22070074 WITH SCORE 2.2151695358E7
AT ITER 2305 NEW BEST:: SOT 132397828 SOS 81570224 HAS SOPS 66561488 HAS SOUS 22667872 HAS SOUPS 22053676 WITH SCORE 2.2135246224E7
AT ITER 2317 NEW BEST:: SOT 132396485 SOS 81564778 HAS SOPS 66559708 HAS SOUS 22664342 HAS SOUPS 22050146 WITH SCORE 2.2131710778E7
AT ITER 2350 NEW BEST:: SOT 132388424 SOS 81558869 HAS SOPS 66550473 HAS SOUS 22650703 HAS SOUPS 22036507 WITH SCORE 2.2118065869E7
AT ITER 2351 NEW BEST:: SOT 132390890 SOS 81576750 HAS SOPS 66574170 HAS SOUS 22648793 HAS SOUPS 22034597 WITH SCORE 2.211617375E7
AT ITER 2355 NEW BEST:: SOT 132381152 SOS 81565667 HAS SOPS 66563161 HAS SOUS 22613014 HAS SOUPS 22004834 WITH SCORE 2.2086399667E7
AT ITER 2358 NEW BEST:: SOT 132477879 SOS 81767652 HAS SOPS 66716596 HAS SOUS 22561171 HAS SOUPS 21952991 WITH SCORE 2.2034758652E7
AT ITER 2371 NEW BEST:: SOT 132483116 SOS 81774298 HAS SOPS 66725830 HAS SOUS 22557854 HAS SOUPS 21949517 WITH SCORE 2.2031291298E7
AT ITER 2375 NEW BEST:: SOT 132496799 SOS 81857843 HAS SOPS 66825871 HAS SOUS 22550148 HAS SOUPS 21941811 WITH SCORE 2.2023668843E7
AT ITER 2385 NEW BEST:: SOT 132498710 SOS 81865736 HAS SOPS 66829057 HAS SOUS 22542712 HAS SOUPS 21934349 WITH SCORE 2.2016214736E7
AT ITER 2399 NEW BEST:: SOT 132498277 SOS 81863801 HAS SOPS 66826186 HAS SOUS 22539900 HAS SOUPS 21931537 WITH SCORE 2.2013400801E7
AT ITER 2411 NEW BEST:: SOT 132491128 SOS 81855721 HAS SOPS 66818592 HAS SOUS 22529644 HAS SOUPS 21921281 WITH SCORE 2.2003136721E7
AT ITER 2425 NEW BEST:: SOT 132491216 SOS 81855813 HAS SOPS 66818684 HAS SOUS 22529220 HAS SOUPS 21920857 WITH SCORE 2.2002712813E7
AT ITER 2460 NEW BEST:: SOT 132490666 SOS 81854261 HAS SOPS 66817261 HAS SOUS 22528916 HAS SOUPS 21920553 WITH SCORE 2.2002407261E7
AT ITER 2468 NEW BEST:: SOT 132492148 SOS 81858773 HAS SOPS 66819660 HAS SOUS 22528058 HAS SOUPS 21919695 WITH SCORE 2.2001553773E7
AT ITER 2480 NEW BEST:: SOT 132491897 SOS 81858548 HAS SOPS 66819245 HAS SOUS 22527495 HAS SOUPS 21919132 WITH SCORE 2.2000990548E7
AT ITER 2483 NEW BEST:: SOT 132472219 SOS 81793424 HAS SOPS 66758688 HAS SOUS 22496555 HAS SOUPS 21888192 WITH SCORE 2.1969985424E7
AT ITER 2490 NEW BEST:: SOT 132464590 SOS 81777183 HAS SOPS 66737573 HAS SOUS 22484213 HAS SOUPS 21875850 WITH SCORE 2.1957627183E7
AT ITER 2491 NEW BEST:: SOT 132481117 SOS 81821652 HAS SOPS 66789935 HAS SOUS 22418039 HAS SOUPS 21812585 WITH SCORE 2.1894406652E7
AT ITER 2493 NEW BEST:: SOT 132481202 SOS 81821030 HAS SOPS 66788835 HAS SOUS 22417423 HAS SOUPS 21811969 WITH SCORE 2.189379003E7
AT ITER 2495 NEW BEST:: SOT 132456737 SOS 81791528 HAS SOPS 66756694 HAS SOUS 22379520 HAS SOUPS 21774066 WITH SCORE 2.1855857528E7
AT ITER 2507 NEW BEST:: SOT 132436774 SOS 81771565 HAS SOPS 66734587 HAS SOUS 22348933 HAS SOUPS 21743479 WITH SCORE 2.1825250565E7
AT ITER 2539 NEW BEST:: SOT 132302223 SOS 81505519 HAS SOPS 66485768 HAS SOUS 22240585 HAS SOUPS 21635131 WITH SCORE 2.1716636519E7
AT ITER 2545 NEW BEST:: SOT 132302305 SOS 81505146 HAS SOPS 66486238 HAS SOUS 22239408 HAS SOUPS 21633954 WITH SCORE 2.1715459146E7
AT ITER 2551 NEW BEST:: SOT 132301025 SOS 81502524 HAS SOPS 66483819 HAS SOUS 22237704 HAS SOUPS 21632250 WITH SCORE 2.1713752524E7
AT ITER 2569 NEW BEST:: SOT 132293900 SOS 81487933 HAS SOPS 66471425 HAS SOUS 22231853 HAS SOUPS 21626399 WITH SCORE 2.1707886933E7
AT ITER 2572 NEW BEST:: SOT 132314367 SOS 81537942 HAS SOPS 66515075 HAS SOUS 22225923 HAS SOUPS 21620469 WITH SCORE 2.1702006942E7
AT ITER 2587 NEW BEST:: SOT 132311719 SOS 81538817 HAS SOPS 66507979 HAS SOUS 22204513 HAS SOUPS 21599059 WITH SCORE 2.1680597817E7
AT ITER 2598 NEW BEST:: SOT 132311032 SOS 81543504 HAS SOPS 66511011 HAS SOUS 22198820 HAS SOUPS 21593366 WITH SCORE 2.1674909504E7
AT ITER 2613 NEW BEST:: SOT 132300965 SOS 81511607 HAS SOPS 66477469 HAS SOUS 22193639 HAS SOUPS 21588185 WITH SCORE 2.1669696607E7
AT ITER 2621 NEW BEST:: SOT 132300336 SOS 81511110 HAS SOPS 66477761 HAS SOUS 22191314 HAS SOUPS 21585860 WITH SCORE 2.166737111E7
AT ITER 2625 NEW BEST:: SOT 132303453 SOS 81543394 HAS SOPS 66501614 HAS SOUS 22183695 HAS SOUPS 21578241 WITH SCORE 2.1659784394E7
AT ITER 2690 NEW BEST:: SOT 132311367 SOS 81580005 HAS SOPS 66539365 HAS SOUS 22181049 HAS SOUPS 21575595 WITH SCORE 2.1657175005E7
AT ITER 2691 NEW BEST:: SOT 132271012 SOS 81506423 HAS SOPS 66485885 HAS SOUS 22149735 HAS SOUPS 21544364 WITH SCORE 2.1625870423E7
AT ITER 2695 NEW BEST:: SOT 132269867 SOS 81503018 HAS SOPS 66482022 HAS SOUS 22146746 HAS SOUPS 21541375 WITH SCORE 2.1622878018E7
AT ITER 2714 NEW BEST:: SOT 132269147 SOS 81502328 HAS SOPS 66479796 HAS SOUS 22145632 HAS SOUPS 21540261 WITH SCORE 2.1621763328E7
AT ITER 2721 NEW BEST:: SOT 132248860 SOS 81481975 HAS SOPS 66458420 HAS SOUS 22120661 HAS SOUPS 21515290 WITH SCORE 2.1596771975E7
AT ITER 2745 NEW BEST:: SOT 132244460 SOS 81476783 HAS SOPS 66451810 HAS SOUS 22112251 HAS SOUPS 21506839 WITH SCORE 2.1588315783E7
AT ITER 2761 NEW BEST:: SOT 132251098 SOS 81513805 HAS SOPS 66480297 HAS SOUS 22062745 HAS SOUPS 21457333 WITH SCORE 2.1538846805E7
AT ITER 2764 NEW BEST:: SOT 132244782 SOS 81500148 HAS SOPS 66467715 HAS SOUS 22056851 HAS SOUPS 21452111 WITH SCORE 2.1533611148E7
AT ITER 2776 NEW BEST:: SOT 132244427 SOS 81499468 HAS SOPS 66467010 HAS SOUS 22056170 HAS SOUPS 21451430 WITH SCORE 2.1532929468E7
AT ITER 2783 NEW BEST:: SOT 132244928 SOS 81498623 HAS SOPS 66466892 HAS SOUS 22055975 HAS SOUPS 21451235 WITH SCORE 2.1532733623E7
AT ITER 2792 NEW BEST:: SOT 132245346 SOS 81499041 HAS SOPS 66467310 HAS SOUS 22055113 HAS SOUPS 21450373 WITH SCORE 2.1531872041E7
AT ITER 2819 NEW BEST:: SOT 132236004 SOS 81474303 HAS SOPS 66444190 HAS SOUS 22028971 HAS SOUPS 21424231 WITH SCORE 2.1505705303E7
AT ITER 2823 NEW BEST:: SOT 132236477 SOS 81480600 HAS SOPS 66449560 HAS SOUS 22023463 HAS SOUPS 21418094 WITH SCORE 2.14995746E7
AT ITER 2833 NEW BEST:: SOT 132202510 SOS 81408949 HAS SOPS 66388132 HAS SOUS 21997022 HAS SOUPS 21391916 WITH SCORE 2.1473324949E7
AT ITER 2838 NEW BEST:: SOT 132193823 SOS 81386001 HAS SOPS 66368831 HAS SOUS 21993168 HAS SOUPS 21388062 WITH SCORE 2.1469448001E7
AT ITER 2847 NEW BEST:: SOT 132196638 SOS 81394902 HAS SOPS 66374636 HAS SOUS 21990933 HAS SOUPS 21385827 WITH SCORE 2.1467221902E7
AT ITER 2848 NEW BEST:: SOT 132154220 SOS 81347443 HAS SOPS 66332585 HAS SOUS 21895984 HAS SOUPS 21290878 WITH SCORE 2.1372225443E7
AT ITER 2857 NEW BEST:: SOT 132155272 SOS 81348472 HAS SOPS 66334693 HAS SOUS 21895836 HAS SOUPS 21290753 WITH SCORE 2.1372101472E7
AT ITER 2861 NEW BEST:: SOT 132157014 SOS 81349810 HAS SOPS 66335281 HAS SOUS 21895730 HAS SOUPS 21290647 WITH SCORE 2.137199681E7
AT ITER 2865 NEW BEST:: SOT 132156849 SOS 81349615 HAS SOPS 66335066 HAS SOUS 21895663 HAS SOUPS 21290590 WITH SCORE 2.1371939615E7
AT ITER 2870 NEW BEST:: SOT 132149485 SOS 81339733 HAS SOPS 66321769 HAS SOUS 21888951 HAS SOUPS 21283955 WITH SCORE 2.1365294733E7
AT ITER 2906 NEW BEST:: SOT 132152214 SOS 81365516 HAS SOPS 66342634 HAS SOUS 21865784 HAS SOUPS 21260788 WITH SCORE 2.1342153516E7
AT ITER 2908 NEW BEST:: SOT 132141920 SOS 81312657 HAS SOPS 66281524 HAS SOUS 21853093 HAS SOUPS 21248097 WITH SCORE 2.1329409657E7
AT ITER 2916 NEW BEST:: SOT 132134500 SOS 81303670 HAS SOPS 66271807 HAS SOUS 21839052 HAS SOUPS 21234168 WITH SCORE 2.131547167E7
AT ITER 2923 NEW BEST:: SOT 132164897 SOS 81405864 HAS SOPS 66373411 HAS SOUS 21805652 HAS SOUPS 21200768 WITH SCORE 2.1282173864E7
AT ITER 2941 NEW BEST:: SOT 132164681 SOS 81405699 HAS SOPS 66373105 HAS SOUS 21805298 HAS SOUPS 21200369 WITH SCORE 2.1281774699E7
AT ITER 2966 NEW BEST:: SOT 132164686 SOS 81406276 HAS SOPS 66372300 HAS SOUS 21804451 HAS SOUPS 21199522 WITH SCORE 2.1280928276E7
AT ITER 2972 NEW BEST:: SOT 132158597 SOS 81396025 HAS SOPS 66363163 HAS SOUS 21799043 HAS SOUPS 21194114 WITH SCORE 2.1275510025E7
AT ITER 2973 NEW BEST:: SOT 132155852 SOS 81375800 HAS SOPS 66349876 HAS SOUS 21789432 HAS SOUPS 21184503 WITH SCORE 2.12658788E7
AT ITER 2985 NEW BEST:: SOT 132151764 SOS 81370668 HAS SOPS 66342831 HAS SOUS 21779869 HAS SOUPS 21174940 WITH SCORE 2.1256310668E7
AT ITER 3003 NEW BEST:: SOT 132148843 SOS 81359463 HAS SOPS 66341145 HAS SOUS 21774986 HAS SOUPS 21170057 WITH SCORE 2.1251416463E7
AT ITER 3004 NEW BEST:: SOT 132140340 SOS 81342149 HAS SOPS 66326884 HAS SOUS 21764628 HAS SOUPS 21160488 WITH SCORE 2.1241830149E7
AT ITER 3005 NEW BEST:: SOT 132127382 SOS 81317964 HAS SOPS 66311107 HAS SOUS 21758249 HAS SOUPS 21154267 WITH SCORE 2.1235584964E7
AT ITER 3016 NEW BEST:: SOT 132122849 SOS 81310739 HAS SOPS 66301901 HAS SOUS 21749159 HAS SOUPS 21145177 WITH SCORE 2.1226487739E7
AT ITER 3018 NEW BEST:: SOT 132120177 SOS 81308855 HAS SOPS 66297537 HAS SOUS 21743605 HAS SOUPS 21139587 WITH SCORE 2.1220895855E7
AT ITER 3023 NEW BEST:: SOT 132123741 SOS 81325319 HAS SOPS 66320757 HAS SOUS 21743057 HAS SOUPS 21139039 WITH SCORE 2.1220364319E7
AT ITER 3053 NEW BEST:: SOT 132118531 SOS 81317230 HAS SOPS 66315719 HAS SOUS 21739843 HAS SOUPS 21135832 WITH SCORE 2.121714923E7
AT ITER 3072 NEW BEST:: SOT 132128181 SOS 81341764 HAS SOPS 66328295 HAS SOUS 21732105 HAS SOUPS 21128094 WITH SCORE 2.1209435764E7
AT ITER 3101 NEW BEST:: SOT 132127313 SOS 81340987 HAS SOPS 66327344 HAS SOUS 21729169 HAS SOUPS 21125158 WITH SCORE 2.1206498987E7
AT ITER 3103 NEW BEST:: SOT 132113717 SOS 81324514 HAS SOPS 66338197 HAS SOUS 21723746 HAS SOUPS 21119735 WITH SCORE 2.1201059514E7
AT ITER 3131 NEW BEST:: SOT 132105927 SOS 81328867 HAS SOPS 66359811 HAS SOUS 21668070 HAS SOUPS 21064059 WITH SCORE 2.1145387867E7
AT ITER 3133 NEW BEST:: SOT 132105753 SOS 81328693 HAS SOPS 66359573 HAS SOUS 21667704 HAS SOUPS 21063693 WITH SCORE 2.1145021693E7
AT ITER 3145 NEW BEST:: SOT 132113125 SOS 81361772 HAS SOPS 66383753 HAS SOUS 21664584 HAS SOUPS 21060573 WITH SCORE 2.1141934772E7
AT ITER 3152 NEW BEST:: SOT 132109166 SOS 81368097 HAS SOPS 66390868 HAS SOUS 21656838 HAS SOUPS 21052764 WITH SCORE 2.1134132097E7
AT ITER 3154 NEW BEST:: SOT 132105572 SOS 81354862 HAS SOPS 66392704 HAS SOUS 21648904 HAS SOUPS 21044894 WITH SCORE 2.1126248862E7
AT ITER 3166 NEW BEST:: SOT 132103124 SOS 81352051 HAS SOPS 66398104 HAS SOUS 21644114 HAS SOUPS 21040104 WITH SCORE 2.1121456051E7
AT ITER 3173 NEW BEST:: SOT 132104817 SOS 81354521 HAS SOPS 66401043 HAS SOUS 21643434 HAS SOUPS 21039424 WITH SCORE 2.1120778521E7
AT ITER 3183 NEW BEST:: SOT 132108880 SOS 81362887 HAS SOPS 66409490 HAS SOUS 21643304 HAS SOUPS 21039294 WITH SCORE 2.1120656887E7
AT ITER 3185 NEW BEST:: SOT 132109402 SOS 81361063 HAS SOPS 66397908 HAS SOUS 21631469 HAS SOUPS 21027268 WITH SCORE 2.1108629063E7
AT ITER 3186 NEW BEST:: SOT 132098408 SOS 81348334 HAS SOPS 66381884 HAS SOUS 21609578 HAS SOUPS 21005524 WITH SCORE 2.1086872334E7
AT ITER 3195 NEW BEST:: SOT 132101185 SOS 81364744 HAS SOPS 66405327 HAS SOUS 21605823 HAS SOUPS 21001769 WITH SCORE 2.1083133744E7
AT ITER 3197 NEW BEST:: SOT 132077249 SOS 81340320 HAS SOPS 66380491 HAS SOUS 21568250 HAS SOUPS 20964264 WITH SCORE 2.104560432E7
AT ITER 3211 NEW BEST:: SOT 132077072 SOS 81339976 HAS SOPS 66379686 HAS SOUS 21567674 HAS SOUPS 20963688 WITH SCORE 2.1045027976E7
AT ITER 3212 NEW BEST:: SOT 132074848 SOS 81336556 HAS SOPS 66370613 HAS SOUS 21558663 HAS SOUPS 20954677 WITH SCORE 2.1036013556E7
AT ITER 3214 NEW BEST:: SOT 132075947 SOS 81337946 HAS SOPS 66375485 HAS SOUS 21556519 HAS SOUPS 20952533 WITH SCORE 2.1033870946E7
AT ITER 3223 NEW BEST:: SOT 132075621 SOS 81336951 HAS SOPS 66374080 HAS SOUS 21555634 HAS SOUPS 20951648 WITH SCORE 2.1032984951E7
AT ITER 3230 NEW BEST:: SOT 132073890 SOS 81335254 HAS SOPS 66371329 HAS SOUS 21552201 HAS SOUPS 20948215 WITH SCORE 2.1029550254E7
AT ITER 3232 NEW BEST:: SOT 132093636 SOS 81392058 HAS SOPS 66417114 HAS SOUS 21543897 HAS SOUPS 20939911 WITH SCORE 2.1021303058E7
AT ITER 3237 NEW BEST:: SOT 132064989 SOS 81352688 HAS SOPS 66381488 HAS SOUS 21489167 HAS SOUPS 20885346 WITH SCORE 2.0966698688E7
AT ITER 3239 NEW BEST:: SOT 132064624 SOS 81352761 HAS SOPS 66379591 HAS SOUS 21483384 HAS SOUPS 20879563 WITH SCORE 2.0960915761E7
AT ITER 3250 NEW BEST:: SOT 132061622 SOS 81352047 HAS SOPS 66380967 HAS SOUS 21475550 HAS SOUPS 20871729 WITH SCORE 2.0953081047E7
AT ITER 3258 NEW BEST:: SOT 132061909 SOS 81351988 HAS SOPS 66381308 HAS SOUS 21475040 HAS SOUPS 20871248 WITH SCORE 2.0952599988E7
AT ITER 3264 NEW BEST:: SOT 132061553 SOS 81373489 HAS SOPS 66406084 HAS SOUS 21467217 HAS SOUPS 20863235 WITH SCORE 2.0944608489E7
AT ITER 3269 NEW BEST:: SOT 132025830 SOS 81319684 HAS SOPS 66359922 HAS SOUS 21414633 HAS SOUPS 20810651 WITH SCORE 2.0891970684E7
AT ITER 3280 NEW BEST:: SOT 132045629 SOS 81395704 HAS SOPS 66434301 HAS SOUS 21414077 HAS SOUPS 20810095 WITH SCORE 2.0891490704E7
AT ITER 3283 NEW BEST:: SOT 132041072 SOS 81385447 HAS SOPS 66424524 HAS SOUS 21405911 HAS SOUPS 20801929 WITH SCORE 2.0883314447E7
AT ITER 3285 NEW BEST:: SOT 132040889 SOS 81385188 HAS SOPS 66424937 HAS SOUS 21404334 HAS SOUPS 20800688 WITH SCORE 2.0882073188E7
AT ITER 3286 NEW BEST:: SOT 132012144 SOS 81325690 HAS SOPS 66367809 HAS SOUS 21398224 HAS SOUPS 20794672 WITH SCORE 2.087599769E7
AT ITER 3301 NEW BEST:: SOT 132019505 SOS 81338511 HAS SOPS 66380978 HAS SOUS 21387102 HAS SOUPS 20783627 WITH SCORE 2.0864965511E7
AT ITER 3302 NEW BEST:: SOT 132015024 SOS 81336124 HAS SOPS 66374972 HAS SOUS 21377189 HAS SOUPS 20773714 WITH SCORE 2.0855050124E7
AT ITER 3303 NEW BEST:: SOT 132018296 SOS 81349065 HAS SOPS 66386848 HAS SOUS 21360556 HAS SOUPS 20757200 WITH SCORE 2.0838549065E7
AT ITER 3307 NEW BEST:: SOT 132016286 SOS 81345023 HAS SOPS 66383273 HAS SOUS 21357986 HAS SOUPS 20754630 WITH SCORE 2.0835975023E7
AT ITER 3308 NEW BEST:: SOT 132017300 SOS 81347283 HAS SOPS 66382782 HAS SOUS 21346657 HAS SOUPS 20743301 WITH SCORE 2.0824648283E7
AT ITER 3316 NEW BEST:: SOT 132015335 SOS 81343616 HAS SOPS 66380890 HAS SOUS 21345158 HAS SOUPS 20741802 WITH SCORE 2.0823145616E7
AT ITER 3320 NEW BEST:: SOT 132014065 SOS 81341611 HAS SOPS 66378910 HAS SOUS 21343648 HAS SOUPS 20740297 WITH SCORE 2.0821638611E7
AT ITER 3326 NEW BEST:: SOT 132007908 SOS 81333135 HAS SOPS 66366500 HAS SOUS 21333398 HAS SOUPS 20730047 WITH SCORE 2.0811380135E7
AT ITER 3328 NEW BEST:: SOT 132001095 SOS 81316195 HAS SOPS 66351901 HAS SOUS 21326198 HAS SOUPS 20722847 WITH SCORE 2.0804163195E7
AT ITER 3333 NEW BEST:: SOT 132001139 SOS 81316843 HAS SOPS 66352138 HAS SOUS 21325595 HAS SOUPS 20722244 WITH SCORE 2.0803560843E7
AT ITER 3348 NEW BEST:: SOT 132013217 SOS 81350401 HAS SOPS 66380044 HAS SOUS 21324540 HAS SOUPS 20719872 WITH SCORE 2.0801222401E7
AT ITER 3351 NEW BEST:: SOT 132009037 SOS 81339119 HAS SOPS 66370441 HAS SOUS 21322065 HAS SOUPS 20717397 WITH SCORE 2.0798736119E7
AT ITER 3358 NEW BEST:: SOT 132007791 SOS 81337846 HAS SOPS 66369168 HAS SOUS 21319019 HAS SOUPS 20714351 WITH SCORE 2.0795688846E7
AT ITER 3384 NEW BEST:: SOT 132003708 SOS 81326117 HAS SOPS 66356101 HAS SOUS 21317337 HAS SOUPS 20712669 WITH SCORE 2.0793995117E7
AT ITER 3407 NEW BEST:: SOT 132004948 SOS 81326290 HAS SOPS 66358835 HAS SOUS 21317208 HAS SOUPS 20712540 WITH SCORE 2.079386629E7
AT ITER 3413 NEW BEST:: SOT 132004119 SOS 81323860 HAS SOPS 66356576 HAS SOUS 21316777 HAS SOUPS 20712109 WITH SCORE 2.079343286E7
AT ITER 3426 NEW BEST:: SOT 132007804 SOS 81328155 HAS SOPS 66374072 HAS SOUS 21307312 HAS SOUPS 20702644 WITH SCORE 2.0783972155E7
AT ITER 3450 NEW BEST:: SOT 132003625 SOS 81319950 HAS SOPS 66386603 HAS SOUS 21306651 HAS SOUPS 20701983 WITH SCORE 2.078330295E7
AT ITER 3455 NEW BEST:: SOT 132004027 SOS 81322042 HAS SOPS 66388138 HAS SOUS 21305903 HAS SOUPS 20701235 WITH SCORE 2.0782557042E7
AT ITER 3462 NEW BEST:: SOT 132003365 SOS 81320936 HAS SOPS 66387392 HAS SOUS 21305512 HAS SOUPS 20700844 WITH SCORE 2.0782164936E7
AT ITER 3485 NEW BEST:: SOT 132004179 SOS 81321960 HAS SOPS 66387968 HAS SOUS 21304789 HAS SOUPS 20700121 WITH SCORE 2.078144296E7
AT ITER 3490 NEW BEST:: SOT 132005445 SOS 81322794 HAS SOPS 66388356 HAS SOUS 21297655 HAS SOUPS 20692987 WITH SCORE 2.0774309794E7
AT ITER 3504 NEW BEST:: SOT 132004845 SOS 81322028 HAS SOPS 66389489 HAS SOUS 21294371 HAS SOUPS 20689703 WITH SCORE 2.0771025028E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14061032 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15949920 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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
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="RERS17pb114-PT-4"
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 RERS17pb114-PT-4, 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 r331-tall-167889204000104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-4.tgz
mv RERS17pb114-PT-4 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 ;