About the Execution of Smart+red for SquareGrid-PT-080408
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16210.823 | 755172.00 | 781988.00 | 10967.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651200376.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 SquareGrid-PT-080408, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200376
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 6.5K Feb 25 12:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 12:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 12:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 25 12:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 12:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 12:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 505K 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 1679339437395
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=SquareGrid-PT-080408
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 19:10:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 19:10:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 19:10:41] [INFO ] Load time of PNML (sax parser for PT used): 172 ms
[2023-03-20 19:10:41] [INFO ] Transformed 896 places.
[2023-03-20 19:10:41] [INFO ] Transformed 1056 transitions.
[2023-03-20 19:10:41] [INFO ] Parsed PT model containing 896 places and 1056 transitions and 4224 arcs in 381 ms.
[2023-03-20 19:10:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 896 places, 1056 transitions and 4224 arcs took 18 ms.
Total runtime 442 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SquareGrid (PT), instance 080408
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: 896 places, 1056 transitions, 4224 arcs.
AT ITER 0 NEW BEST:: SOT 500570 SOS 57617 HAS SOPS 57617 HAS SOUS 38167 HAS SOUPS 38167 WITH SCORE 38224.617
AT ITER 13 NEW BEST:: SOT 500504 SOS 57485 HAS SOPS 57485 HAS SOUS 38079 HAS SOUPS 38079 WITH SCORE 38136.485
AT ITER 62 NEW BEST:: SOT 500495 SOS 57473 HAS SOPS 57473 HAS SOUS 38059 HAS SOUPS 38059 WITH SCORE 38116.473
AT ITER 108 NEW BEST:: SOT 500495 SOS 57473 HAS SOPS 57473 HAS SOUS 38026 HAS SOUPS 38026 WITH SCORE 38083.473
AT ITER 126 NEW BEST:: SOT 500447 SOS 57359 HAS SOPS 57359 HAS SOUS 37990 HAS SOUPS 37990 WITH SCORE 38047.359
AT ITER 155 NEW BEST:: SOT 500433 SOS 57303 HAS SOPS 57303 HAS SOUS 37962 HAS SOUPS 37962 WITH SCORE 38019.303
AT ITER 223 NEW BEST:: SOT 500433 SOS 57331 HAS SOPS 57331 HAS SOUS 37934 HAS SOUPS 37934 WITH SCORE 37991.331
AT ITER 241 NEW BEST:: SOT 500406 SOS 57212 HAS SOPS 57212 HAS SOUS 37920 HAS SOUPS 37920 WITH SCORE 37977.212
AT ITER 250 NEW BEST:: SOT 500394 SOS 57164 HAS SOPS 57164 HAS SOUS 37896 HAS SOUPS 37896 WITH SCORE 37953.164
AT ITER 316 NEW BEST:: SOT 500378 SOS 57075 HAS SOPS 57075 HAS SOUS 37891 HAS SOUPS 37891 WITH SCORE 37948.075
AT ITER 368 NEW BEST:: SOT 500378 SOS 57075 HAS SOPS 57075 HAS SOUS 37887 HAS SOUPS 37887 WITH SCORE 37944.075
AT ITER 460 NEW BEST:: SOT 500363 SOS 57015 HAS SOPS 57015 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37914.015
AT ITER 475 NEW BEST:: SOT 500351 SOS 56931 HAS SOPS 56931 HAS SOUS 37845 HAS SOUPS 37845 WITH SCORE 37901.931
AT ITER 522 NEW BEST:: SOT 500337 SOS 56917 HAS SOPS 56917 HAS SOUS 37815 HAS SOUPS 37815 WITH SCORE 37871.917
AT ITER 525 NEW BEST:: SOT 500317 SOS 56907 HAS SOPS 56907 HAS SOUS 37811 HAS SOUPS 37811 WITH SCORE 37867.907
AT ITER 567 NEW BEST:: SOT 500317 SOS 56879 HAS SOPS 56879 HAS SOUS 37757 HAS SOUPS 37757 WITH SCORE 37813.879
AT ITER 578 NEW BEST:: SOT 500303 SOS 56823 HAS SOPS 56823 HAS SOUS 37729 HAS SOUPS 37729 WITH SCORE 37785.823
AT ITER 602 NEW BEST:: SOT 500303 SOS 56807 HAS SOPS 56807 HAS SOUS 37729 HAS SOUPS 37729 WITH SCORE 37785.807
AT ITER 618 NEW BEST:: SOT 500293 SOS 56797 HAS SOPS 56797 HAS SOUS 37719 HAS SOUPS 37719 WITH SCORE 37775.797
AT ITER 739 NEW BEST:: SOT 500293 SOS 56797 HAS SOPS 56797 HAS SOUS 37685 HAS SOUPS 37685 WITH SCORE 37741.797
AT ITER 805 NEW BEST:: SOT 500293 SOS 56791 HAS SOPS 56791 HAS SOUS 37685 HAS SOUPS 37685 WITH SCORE 37741.791
AT ITER 870 NEW BEST:: SOT 500293 SOS 56791 HAS SOPS 56791 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37735.791
AT ITER 919 NEW BEST:: SOT 500266 SOS 56768 HAS SOPS 56768 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37714.768
AT ITER 924 NEW BEST:: SOT 500249 SOS 56734 HAS SOPS 56734 HAS SOUS 37606 HAS SOUPS 37606 WITH SCORE 37662.734
AT ITER 1021 NEW BEST:: SOT 500184 SOS 56608 HAS SOPS 56608 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37584.608
AT ITER 1026 NEW BEST:: SOT 500185 SOS 56610 HAS SOPS 56610 HAS SOUS 37504 HAS SOUPS 37504 WITH SCORE 37560.61
AT ITER 1048 NEW BEST:: SOT 500174 SOS 56588 HAS SOPS 56588 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37538.588
AT ITER 1109 NEW BEST:: SOT 500164 SOS 56578 HAS SOPS 56578 HAS SOUS 37462 HAS SOUPS 37462 WITH SCORE 37518.578
AT ITER 1110 NEW BEST:: SOT 500164 SOS 56578 HAS SOPS 56578 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37502.578
AT ITER 1128 NEW BEST:: SOT 500152 SOS 56518 HAS SOPS 56518 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37502.518
AT ITER 1131 NEW BEST:: SOT 500142 SOS 56508 HAS SOPS 56508 HAS SOUS 37432 HAS SOUPS 37432 WITH SCORE 37488.508
AT ITER 1186 NEW BEST:: SOT 500129 SOS 56456 HAS SOPS 56456 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37462.456
AT ITER 1275 NEW BEST:: SOT 500102 SOS 56429 HAS SOPS 56429 HAS SOUS 37379 HAS SOUPS 37379 WITH SCORE 37435.429
AT ITER 1330 NEW BEST:: SOT 500072 SOS 56389 HAS SOPS 56389 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37381.389
AT ITER 1355 NEW BEST:: SOT 500070 SOS 56234 HAS SOPS 56234 HAS SOUS 37280 HAS SOUPS 37280 WITH SCORE 37336.234
AT ITER 1375 NEW BEST:: SOT 499968 SOS 56098 HAS SOPS 56098 HAS SOUS 37114 HAS SOUPS 37114 WITH SCORE 37170.098
AT ITER 1432 NEW BEST:: SOT 499937 SOS 55955 HAS SOPS 55955 HAS SOUS 37025 HAS SOUPS 37025 WITH SCORE 37080.955
AT ITER 1452 NEW BEST:: SOT 499937 SOS 55955 HAS SOPS 55955 HAS SOUS 37021 HAS SOUPS 37021 WITH SCORE 37076.955
AT ITER 1529 NEW BEST:: SOT 499952 SOS 55960 HAS SOPS 55960 HAS SOUS 36996 HAS SOUPS 36996 WITH SCORE 37051.96
AT ITER 1645 NEW BEST:: SOT 499952 SOS 55960 HAS SOPS 55960 HAS SOUS 36982 HAS SOUPS 36982 WITH SCORE 37037.96
AT ITER 1676 NEW BEST:: SOT 499939 SOS 55947 HAS SOPS 55947 HAS SOUS 36944 HAS SOUPS 36944 WITH SCORE 36999.947
AT ITER 1791 NEW BEST:: SOT 499939 SOS 55947 HAS SOPS 55947 HAS SOUS 36932 HAS SOUPS 36932 WITH SCORE 36987.947
AT ITER 1809 NEW BEST:: SOT 499927 SOS 55939 HAS SOPS 55939 HAS SOUS 36924 HAS SOUPS 36924 WITH SCORE 36979.939
AT ITER 1861 NEW BEST:: SOT 499920 SOS 55925 HAS SOPS 55925 HAS SOUS 36900 HAS SOUPS 36900 WITH SCORE 36955.925
AT ITER 1918 NEW BEST:: SOT 499896 SOS 55871 HAS SOPS 55871 HAS SOUS 36868 HAS SOUPS 36868 WITH SCORE 36923.871
AT ITER 1988 NEW BEST:: SOT 499884 SOS 55787 HAS SOPS 55787 HAS SOUS 36856 HAS SOUPS 36856 WITH SCORE 36911.787
AT ITER 2011 NEW BEST:: SOT 499872 SOS 55763 HAS SOPS 55763 HAS SOUS 36840 HAS SOUPS 36840 WITH SCORE 36895.763
AT ITER 2013 NEW BEST:: SOT 499872 SOS 55763 HAS SOPS 55763 HAS SOUS 36828 HAS SOUPS 36828 WITH SCORE 36883.763
AT ITER 2020 NEW BEST:: SOT 499812 SOS 55661 HAS SOPS 55661 HAS SOUS 36754 HAS SOUPS 36754 WITH SCORE 36809.661
AT ITER 2092 NEW BEST:: SOT 499686 SOS 55445 HAS SOPS 55445 HAS SOUS 36598 HAS SOUPS 36598 WITH SCORE 36653.445
AT ITER 2206 NEW BEST:: SOT 499656 SOS 55385 HAS SOPS 55385 HAS SOUS 36558 HAS SOUPS 36558 WITH SCORE 36613.385
AT ITER 2212 NEW BEST:: SOT 499656 SOS 55385 HAS SOPS 55385 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36586.385
AT ITER 2214 NEW BEST:: SOT 499614 SOS 55329 HAS SOPS 55329 HAS SOUS 36477 HAS SOUPS 36477 WITH SCORE 36532.329
AT ITER 2215 NEW BEST:: SOT 499594 SOS 55309 HAS SOPS 55309 HAS SOUS 36457 HAS SOUPS 36457 WITH SCORE 36512.309
AT ITER 2251 NEW BEST:: SOT 499579 SOS 55294 HAS SOPS 55294 HAS SOUS 36442 HAS SOUPS 36442 WITH SCORE 36497.294
AT ITER 2276 NEW BEST:: SOT 499581 SOS 55301 HAS SOPS 55301 HAS SOUS 36438 HAS SOUPS 36438 WITH SCORE 36493.301
AT ITER 2288 NEW BEST:: SOT 499580 SOS 55297 HAS SOPS 55297 HAS SOUS 36436 HAS SOUPS 36436 WITH SCORE 36491.297
AT ITER 2339 NEW BEST:: SOT 499558 SOS 55249 HAS SOPS 55249 HAS SOUS 36362 HAS SOUPS 36362 WITH SCORE 36417.249
AT ITER 2368 NEW BEST:: SOT 499558 SOS 55249 HAS SOPS 55249 HAS SOUS 36311 HAS SOUPS 36311 WITH SCORE 36366.249
AT ITER 2409 NEW BEST:: SOT 499534 SOS 55201 HAS SOPS 55201 HAS SOUS 36279 HAS SOUPS 36279 WITH SCORE 36334.201
AT ITER 2461 NEW BEST:: SOT 499511 SOS 55117 HAS SOPS 55117 HAS SOUS 36219 HAS SOUPS 36219 WITH SCORE 36274.117
AT ITER 2469 NEW BEST:: SOT 499506 SOS 55133 HAS SOPS 55133 HAS SOUS 36181 HAS SOUPS 36181 WITH SCORE 36236.133
AT ITER 2584 NEW BEST:: SOT 499505 SOS 55129 HAS SOPS 55129 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36234.129
AT ITER 2731 NEW BEST:: SOT 499505 SOS 55115 HAS SOPS 55115 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36234.115
AT ITER 2784 NEW BEST:: SOT 499473 SOS 55061 HAS SOPS 55061 HAS SOUS 36085 HAS SOUPS 36085 WITH SCORE 36140.061
AT ITER 2840 NEW BEST:: SOT 499465 SOS 55049 HAS SOPS 55049 HAS SOUS 36065 HAS SOUPS 36065 WITH SCORE 36120.049
AT ITER 2918 NEW BEST:: SOT 499462 SOS 55037 HAS SOPS 55037 HAS SOUS 36063 HAS SOUPS 36063 WITH SCORE 36118.037
AT ITER 2957 NEW BEST:: SOT 499428 SOS 55005 HAS SOPS 55005 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36020.005
AT ITER 2983 NEW BEST:: SOT 499401 SOS 54954 HAS SOPS 54954 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 35980.954
AT ITER 3026 NEW BEST:: SOT 499380 SOS 54870 HAS SOPS 54870 HAS SOUS 35884 HAS SOUPS 35884 WITH SCORE 35938.87
AT ITER 3044 NEW BEST:: SOT 499380 SOS 54870 HAS SOPS 54870 HAS SOUS 35874 HAS SOUPS 35874 WITH SCORE 35928.87
AT ITER 3142 NEW BEST:: SOT 499380 SOS 54870 HAS SOPS 54870 HAS SOUS 35872 HAS SOUPS 35872 WITH SCORE 35926.87
AT ITER 3168 NEW BEST:: SOT 499386 SOS 54865 HAS SOPS 54865 HAS SOUS 35867 HAS SOUPS 35867 WITH SCORE 35921.865
AT ITER 3201 NEW BEST:: SOT 499378 SOS 54849 HAS SOPS 54849 HAS SOUS 35829 HAS SOUPS 35829 WITH SCORE 35883.849
AT ITER 3257 NEW BEST:: SOT 499378 SOS 54849 HAS SOPS 54849 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35851.849
AT ITER 3384 NEW BEST:: SOT 499344 SOS 54815 HAS SOPS 54815 HAS SOUS 35763 HAS SOUPS 35763 WITH SCORE 35817.815
AT ITER 3491 NEW BEST:: SOT 499344 SOS 54815 HAS SOPS 54815 HAS SOUS 35760 HAS SOUPS 35760 WITH SCORE 35814.815
AT ITER 3541 NEW BEST:: SOT 499354 SOS 54805 HAS SOPS 54805 HAS SOUS 35760 HAS SOUPS 35760 WITH SCORE 35814.805
AT ITER 3631 NEW BEST:: SOT 499340 SOS 54717 HAS SOPS 54717 HAS SOUS 35746 HAS SOUPS 35746 WITH SCORE 35800.717
AT ITER 3672 NEW BEST:: SOT 499328 SOS 54693 HAS SOPS 54693 HAS SOUS 35730 HAS SOUPS 35730 WITH SCORE 35784.693
AT ITER 3771 NEW BEST:: SOT 499328 SOS 54693 HAS SOPS 54693 HAS SOUS 35719 HAS SOUPS 35719 WITH SCORE 35773.693
AT ITER 3825 NEW BEST:: SOT 499318 SOS 54683 HAS SOPS 54683 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35763.683
AT ITER 3905 NEW BEST:: SOT 499278 SOS 54643 HAS SOPS 54643 HAS SOUS 35669 HAS SOUPS 35669 WITH SCORE 35723.643
AT ITER 4189 NEW BEST:: SOT 499278 SOS 54643 HAS SOPS 54643 HAS SOUS 35655 HAS SOUPS 35655 WITH SCORE 35709.643
AT ITER 4222 NEW BEST:: SOT 499230 SOS 54579 HAS SOPS 54579 HAS SOUS 35589 HAS SOUPS 35589 WITH SCORE 35643.579
AT ITER 4224 NEW BEST:: SOT 499227 SOS 54575 HAS SOPS 54575 HAS SOUS 35585 HAS SOUPS 35585 WITH SCORE 35639.575
AT ITER 4270 NEW BEST:: SOT 499199 SOS 54460 HAS SOPS 54460 HAS SOUS 35528 HAS SOUPS 35528 WITH SCORE 35582.46
AT ITER 4288 NEW BEST:: SOT 499154 SOS 54370 HAS SOPS 54370 HAS SOUS 35468 HAS SOUPS 35468 WITH SCORE 35522.37
AT ITER 4299 NEW BEST:: SOT 499139 SOS 54293 HAS SOPS 54293 HAS SOUS 35429 HAS SOUPS 35429 WITH SCORE 35483.293
AT ITER 4331 NEW BEST:: SOT 499127 SOS 54233 HAS SOPS 54233 HAS SOUS 35393 HAS SOUPS 35393 WITH SCORE 35447.233
AT ITER 4346 NEW BEST:: SOT 499125 SOS 54229 HAS SOPS 54229 HAS SOUS 35391 HAS SOUPS 35391 WITH SCORE 35445.229
AT ITER 4438 NEW BEST:: SOT 499110 SOS 54221 HAS SOPS 54221 HAS SOUS 35319 HAS SOUPS 35319 WITH SCORE 35373.221
AT ITER 4520 NEW BEST:: SOT 499106 SOS 54105 HAS SOPS 54105 HAS SOUS 35315 HAS SOUPS 35315 WITH SCORE 35369.105
AT ITER 4603 NEW BEST:: SOT 499078 SOS 54077 HAS SOPS 54077 HAS SOUS 35287 HAS SOUPS 35287 WITH SCORE 35341.077
AT ITER 4626 NEW BEST:: SOT 499083 SOS 54042 HAS SOPS 54042 HAS SOUS 35287 HAS SOUPS 35287 WITH SCORE 35341.042
AT ITER 4632 NEW BEST:: SOT 499079 SOS 54030 HAS SOPS 54030 HAS SOUS 35229 HAS SOUPS 35229 WITH SCORE 35283.03
AT ITER 4643 NEW BEST:: SOT 499139 SOS 54180 HAS SOPS 54180 HAS SOUS 35223 HAS SOUPS 35223 WITH SCORE 35277.18
AT ITER 4764 NEW BEST:: SOT 499139 SOS 54180 HAS SOPS 54180 HAS SOUS 35217 HAS SOUPS 35217 WITH SCORE 35271.18
AT ITER 4767 NEW BEST:: SOT 499139 SOS 54180 HAS SOPS 54180 HAS SOUS 35205 HAS SOUPS 35205 WITH SCORE 35259.18
AT ITER 4795 NEW BEST:: SOT 499139 SOS 54180 HAS SOPS 54180 HAS SOUS 35194 HAS SOUPS 35194 WITH SCORE 35248.18
AT ITER 4808 NEW BEST:: SOT 499139 SOS 54180 HAS SOPS 54180 HAS SOUS 35178 HAS SOUPS 35178 WITH SCORE 35232.18
AT ITER 4824 NEW BEST:: SOT 499131 SOS 54172 HAS SOPS 54172 HAS SOUS 35172 HAS SOUPS 35172 WITH SCORE 35226.172
AT ITER 4843 NEW BEST:: SOT 499131 SOS 54172 HAS SOPS 54172 HAS SOUS 35154 HAS SOUPS 35154 WITH SCORE 35208.172
AT ITER 4863 NEW BEST:: SOT 499104 SOS 54156 HAS SOPS 54156 HAS SOUS 35128 HAS SOUPS 35128 WITH SCORE 35182.156
AT ITER 4885 NEW BEST:: SOT 499101 SOS 54150 HAS SOPS 54150 HAS SOUS 35122 HAS SOUPS 35122 WITH SCORE 35176.15
AT ITER 4889 NEW BEST:: SOT 499100 SOS 54115 HAS SOPS 54115 HAS SOUS 35119 HAS SOUPS 35119 WITH SCORE 35173.115
AT ITER 5000 NEW BEST:: SOT 499088 SOS 54091 HAS SOPS 54091 HAS SOUS 35081 HAS SOUPS 35081 WITH SCORE 35135.091
AT ITER 5117 NEW BEST:: SOT 499052 SOS 54001 HAS SOPS 54001 HAS SOUS 35063 HAS SOUPS 35063 WITH SCORE 35117.001
AT ITER 5182 NEW BEST:: SOT 499051 SOS 53999 HAS SOPS 53999 HAS SOUS 35061 HAS SOUPS 35061 WITH SCORE 35114.999
AT ITER 5310 NEW BEST:: SOT 499050 SOS 53933 HAS SOPS 53933 HAS SOUS 35051 HAS SOUPS 35051 WITH SCORE 35104.933
AT ITER 5326 NEW BEST:: SOT 499041 SOS 53915 HAS SOPS 53915 HAS SOUS 35033 HAS SOUPS 35033 WITH SCORE 35086.915
AT ITER 5505 NEW BEST:: SOT 499041 SOS 53915 HAS SOPS 53915 HAS SOUS 35025 HAS SOUPS 35025 WITH SCORE 35078.915
AT ITER 5539 NEW BEST:: SOT 499041 SOS 53915 HAS SOPS 53915 HAS SOUS 35023 HAS SOUPS 35023 WITH SCORE 35076.915
AT ITER 5550 NEW BEST:: SOT 499006 SOS 53857 HAS SOPS 53857 HAS SOUS 34985 HAS SOUPS 34985 WITH SCORE 35038.857
AT ITER 5576 NEW BEST:: SOT 498980 SOS 53753 HAS SOPS 53753 HAS SOUS 34933 HAS SOUPS 34933 WITH SCORE 34986.753
AT ITER 5596 NEW BEST:: SOT 498944 SOS 53689 HAS SOPS 53689 HAS SOUS 34861 HAS SOUPS 34861 WITH SCORE 34914.689
AT ITER 5626 NEW BEST:: SOT 498875 SOS 53555 HAS SOPS 53555 HAS SOUS 34789 HAS SOUPS 34789 WITH SCORE 34842.555
AT ITER 5691 NEW BEST:: SOT 498887 SOS 53579 HAS SOPS 53579 HAS SOUS 34787 HAS SOUPS 34787 WITH SCORE 34840.579
AT ITER 5733 NEW BEST:: SOT 498881 SOS 53571 HAS SOPS 53571 HAS SOUS 34779 HAS SOUPS 34779 WITH SCORE 34832.571
AT ITER 5798 NEW BEST:: SOT 498881 SOS 53517 HAS SOPS 53517 HAS SOUS 34761 HAS SOUPS 34761 WITH SCORE 34814.517
AT ITER 5845 NEW BEST:: SOT 498875 SOS 53511 HAS SOPS 53511 HAS SOUS 34755 HAS SOUPS 34755 WITH SCORE 34808.511
AT ITER 5909 NEW BEST:: SOT 498868 SOS 53483 HAS SOPS 53483 HAS SOUS 34741 HAS SOUPS 34741 WITH SCORE 34794.483
AT ITER 5951 NEW BEST:: SOT 498868 SOS 53509 HAS SOPS 53509 HAS SOUS 34723 HAS SOUPS 34723 WITH SCORE 34776.509
AT ITER 6430 NEW BEST:: SOT 498866 SOS 53507 HAS SOPS 53507 HAS SOUS 34721 HAS SOUPS 34721 WITH SCORE 34774.507
AT ITER 6481 NEW BEST:: SOT 498827 SOS 53395 HAS SOPS 53395 HAS SOUS 34669 HAS SOUPS 34669 WITH SCORE 34722.395
AT ITER 6551 NEW BEST:: SOT 498827 SOS 53395 HAS SOPS 53395 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34705.395
AT ITER 6556 NEW BEST:: SOT 498815 SOS 53335 HAS SOPS 53335 HAS SOUS 34640 HAS SOUPS 34640 WITH SCORE 34693.335
AT ITER 6671 NEW BEST:: SOT 498788 SOS 53227 HAS SOPS 53227 HAS SOUS 34586 HAS SOUPS 34586 WITH SCORE 34639.227
AT ITER 6672 NEW BEST:: SOT 498806 SOS 53271 HAS SOPS 53271 HAS SOUS 34578 HAS SOUPS 34578 WITH SCORE 34631.271
AT ITER 6786 NEW BEST:: SOT 498791 SOS 53256 HAS SOPS 53256 HAS SOUS 34563 HAS SOUPS 34563 WITH SCORE 34616.256
AT ITER 6850 NEW BEST:: SOT 498780 SOS 53212 HAS SOPS 53212 HAS SOUS 34541 HAS SOUPS 34541 WITH SCORE 34594.212
AT ITER 6880 NEW BEST:: SOT 498780 SOS 53212 HAS SOPS 53212 HAS SOUS 34537 HAS SOUPS 34537 WITH SCORE 34590.212
AT ITER 6911 NEW BEST:: SOT 498769 SOS 53168 HAS SOPS 53168 HAS SOUS 34515 HAS SOUPS 34515 WITH SCORE 34568.168
AT ITER 7042 NEW BEST:: SOT 498767 SOS 53166 HAS SOPS 53166 HAS SOUS 34509 HAS SOUPS 34509 WITH SCORE 34562.166
AT ITER 7131 NEW BEST:: SOT 498695 SOS 53070 HAS SOPS 53070 HAS SOUS 34413 HAS SOUPS 34413 WITH SCORE 34466.07
AT ITER 7146 NEW BEST:: SOT 498695 SOS 53084 HAS SOPS 53084 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34452.084
AT ITER 7189 NEW BEST:: SOT 498701 SOS 53086 HAS SOPS 53086 HAS SOUS 34383 HAS SOUPS 34383 WITH SCORE 34436.086
AT ITER 7275 NEW BEST:: SOT 498695 SOS 53056 HAS SOPS 53056 HAS SOUS 34365 HAS SOUPS 34365 WITH SCORE 34418.056
AT ITER 7304 NEW BEST:: SOT 498695 SOS 53051 HAS SOPS 53051 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34417.051
AT ITER 7345 NEW BEST:: SOT 498662 SOS 53007 HAS SOPS 53007 HAS SOUS 34318 HAS SOUPS 34318 WITH SCORE 34371.007
AT ITER 7374 NEW BEST:: SOT 498644 SOS 52983 HAS SOPS 52983 HAS SOUS 34294 HAS SOUPS 34294 WITH SCORE 34346.983
AT ITER 7409 NEW BEST:: SOT 498644 SOS 52980 HAS SOPS 52980 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34343.98
AT ITER 7514 NEW BEST:: SOT 498635 SOS 52974 HAS SOPS 52974 HAS SOUS 34285 HAS SOUPS 34285 WITH SCORE 34337.974
AT ITER 7559 NEW BEST:: SOT 498621 SOS 52960 HAS SOPS 52960 HAS SOUS 34271 HAS SOUPS 34271 WITH SCORE 34323.96
AT ITER 7562 NEW BEST:: SOT 498619 SOS 52958 HAS SOPS 52958 HAS SOUS 34269 HAS SOUPS 34269 WITH SCORE 34321.958
AT ITER 7578 NEW BEST:: SOT 498617 SOS 52954 HAS SOPS 52954 HAS SOUS 34265 HAS SOUPS 34265 WITH SCORE 34317.954
AT ITER 7647 NEW BEST:: SOT 498592 SOS 52854 HAS SOPS 52854 HAS SOUS 34215 HAS SOUPS 34215 WITH SCORE 34267.854
AT ITER 7709 NEW BEST:: SOT 498547 SOS 52752 HAS SOPS 52752 HAS SOUS 34155 HAS SOUPS 34155 WITH SCORE 34207.752
AT ITER 7792 NEW BEST:: SOT 498547 SOS 52752 HAS SOPS 52752 HAS SOUS 34143 HAS SOUPS 34143 WITH SCORE 34195.752
AT ITER 7828 NEW BEST:: SOT 498541 SOS 52744 HAS SOPS 52744 HAS SOUS 34135 HAS SOUPS 34135 WITH SCORE 34187.744
AT ITER 7886 NEW BEST:: SOT 498505 SOS 52669 HAS SOPS 52669 HAS SOUS 34086 HAS SOUPS 34086 WITH SCORE 34138.669
AT ITER 7915 NEW BEST:: SOT 498501 SOS 52547 HAS SOPS 52547 HAS SOUS 34076 HAS SOUPS 34076 WITH SCORE 34128.547
AT ITER 8011 NEW BEST:: SOT 498468 SOS 52481 HAS SOPS 52481 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34084.481
AT ITER 8101 NEW BEST:: SOT 498427 SOS 52439 HAS SOPS 52439 HAS SOUS 33992 HAS SOUPS 33992 WITH SCORE 34044.439
AT ITER 8399 NEW BEST:: SOT 498426 SOS 52435 HAS SOPS 52435 HAS SOUS 33990 HAS SOUPS 33990 WITH SCORE 34042.435
AT ITER 8495 NEW BEST:: SOT 498407 SOS 52407 HAS SOPS 52407 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 33996.407
AT ITER 8500 NEW BEST:: SOT 498407 SOS 52407 HAS SOPS 52407 HAS SOUS 33940 HAS SOUPS 33940 WITH SCORE 33992.407
AT ITER 8663 NEW BEST:: SOT 498402 SOS 52342 HAS SOPS 52342 HAS SOUS 33923 HAS SOUPS 33923 WITH SCORE 33975.342
AT ITER 8683 NEW BEST:: SOT 498408 SOS 52306 HAS SOPS 52306 HAS SOUS 33917 HAS SOUPS 33917 WITH SCORE 33969.306
AT ITER 8878 NEW BEST:: SOT 498402 SOS 52300 HAS SOPS 52300 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33955.3
AT ITER 8954 NEW BEST:: SOT 498393 SOS 52291 HAS SOPS 52291 HAS SOUS 33894 HAS SOUPS 33894 WITH SCORE 33946.291
AT ITER 9102 NEW BEST:: SOT 498360 SOS 52247 HAS SOPS 52247 HAS SOUS 33850 HAS SOUPS 33850 WITH SCORE 33902.247
AT ITER 9217 NEW BEST:: SOT 498357 SOS 52243 HAS SOPS 52243 HAS SOUS 33840 HAS SOUPS 33840 WITH SCORE 33892.243
AT ITER 9304 NEW BEST:: SOT 498339 SOS 52219 HAS SOPS 52219 HAS SOUS 33784 HAS SOUPS 33784 WITH SCORE 33836.219
AT ITER 9495 NEW BEST:: SOT 498327 SOS 52161 HAS SOPS 52161 HAS SOUS 33770 HAS SOUPS 33770 WITH SCORE 33822.161
AT ITER 9690 NEW BEST:: SOT 498327 SOS 52161 HAS SOPS 52161 HAS SOUS 33762 HAS SOUPS 33762 WITH SCORE 33814.161
AT ITER 9706 NEW BEST:: SOT 498311 SOS 52009 HAS SOPS 52009 HAS SOUS 33739 HAS SOUPS 33739 WITH SCORE 33791.009
AT ITER 9777 NEW BEST:: SOT 498301 SOS 51969 HAS SOPS 51969 HAS SOUS 33719 HAS SOUPS 33719 WITH SCORE 33770.969
AT ITER 9799 NEW BEST:: SOT 498288 SOS 51917 HAS SOPS 51917 HAS SOUS 33693 HAS SOUPS 33693 WITH SCORE 33744.917
AT ITER 9821 NEW BEST:: SOT 498364 SOS 52091 HAS SOPS 52091 HAS SOUS 33679 HAS SOUPS 33679 WITH SCORE 33731.091
AT ITER 9884 NEW BEST:: SOT 498349 SOS 52071 HAS SOPS 52071 HAS SOUS 33659 HAS SOUPS 33659 WITH SCORE 33711.071
AT ITER 9886 NEW BEST:: SOT 498323 SOS 52021 HAS SOPS 52021 HAS SOUS 33625 HAS SOUPS 33625 WITH SCORE 33677.021
AT ITER 9920 NEW BEST:: SOT 498323 SOS 52021 HAS SOPS 52021 HAS SOUS 33603 HAS SOUPS 33603 WITH SCORE 33655.021
BK_STOP 1679340192567
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SquareGrid-PT-080408"
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 SquareGrid-PT-080408, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651200376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SquareGrid-PT-080408.tgz
mv SquareGrid-PT-080408 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 ;