About the Execution of Smart for ShieldPPPt-PT-040B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5720.035 | 3600000.00 | 3600051.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903712100672.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPt-PT-040B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712100672
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.1K Feb 25 20:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 20:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 20:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 20:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 20:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 20:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 762K 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 1679069039856
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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPt-PT-040B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 040B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 3123 places, 2843 transitions, 7126 arcs.
AT ITER 0 NEW BEST:: SOT 4516631 SOS 218616 HAS SOPS 218616 HAS SOUS 204060 HAS SOUPS 204060 WITH SCORE 204278.616
AT ITER 2 NEW BEST:: SOT 4516630 SOS 218594 HAS SOPS 218594 HAS SOUS 204058 HAS SOUPS 204058 WITH SCORE 204276.594
AT ITER 78 NEW BEST:: SOT 4516604 SOS 218535 HAS SOPS 218535 HAS SOUS 204034 HAS SOUPS 204034 WITH SCORE 204252.535
AT ITER 109 NEW BEST:: SOT 4516564 SOS 218534 HAS SOPS 218534 HAS SOUS 204033 HAS SOUPS 204033 WITH SCORE 204251.534
AT ITER 277 NEW BEST:: SOT 4516564 SOS 218531 HAS SOPS 218531 HAS SOUS 204030 HAS SOUPS 204030 WITH SCORE 204248.531
AT ITER 325 NEW BEST:: SOT 4516522 SOS 218447 HAS SOPS 218447 HAS SOUS 203946 HAS SOUPS 203946 WITH SCORE 204164.447
AT ITER 345 NEW BEST:: SOT 4516522 SOS 218434 HAS SOPS 218434 HAS SOUS 203933 HAS SOUPS 203933 WITH SCORE 204151.434
AT ITER 502 NEW BEST:: SOT 4516522 SOS 218409 HAS SOPS 218409 HAS SOUS 203905 HAS SOUPS 203905 WITH SCORE 204123.409
AT ITER 578 NEW BEST:: SOT 4516497 SOS 218356 HAS SOPS 218356 HAS SOUS 203852 HAS SOUPS 203852 WITH SCORE 204070.356
AT ITER 603 NEW BEST:: SOT 4516497 SOS 218350 HAS SOPS 218350 HAS SOUS 203846 HAS SOUPS 203846 WITH SCORE 204064.35
AT ITER 626 NEW BEST:: SOT 4516479 SOS 218332 HAS SOPS 218332 HAS SOUS 203828 HAS SOUPS 203828 WITH SCORE 204046.332
AT ITER 807 NEW BEST:: SOT 4516376 SOS 218344 HAS SOPS 218344 HAS SOUS 203780 HAS SOUPS 203780 WITH SCORE 203998.344
AT ITER 811 NEW BEST:: SOT 4516309 SOS 218279 HAS SOPS 218279 HAS SOUS 203713 HAS SOUPS 203713 WITH SCORE 203931.279
AT ITER 835 NEW BEST:: SOT 4516285 SOS 218207 HAS SOPS 218207 HAS SOUS 203641 HAS SOUPS 203641 WITH SCORE 203859.207
AT ITER 1051 NEW BEST:: SOT 4516264 SOS 218186 HAS SOPS 218186 HAS SOUS 203620 HAS SOUPS 203620 WITH SCORE 203838.186
AT ITER 1328 NEW BEST:: SOT 4516194 SOS 217953 HAS SOPS 217953 HAS SOUS 203473 HAS SOUPS 203473 WITH SCORE 203690.953
AT ITER 1334 NEW BEST:: SOT 4516210 SOS 217969 HAS SOPS 217969 HAS SOUS 203472 HAS SOUPS 203472 WITH SCORE 203689.969
AT ITER 1337 NEW BEST:: SOT 4516210 SOS 217963 HAS SOPS 217963 HAS SOUS 203466 HAS SOUPS 203466 WITH SCORE 203683.963
AT ITER 1414 NEW BEST:: SOT 4516210 SOS 217957 HAS SOPS 217957 HAS SOUS 203417 HAS SOUPS 203417 WITH SCORE 203634.957
AT ITER 1429 NEW BEST:: SOT 4516210 SOS 217954 HAS SOPS 217954 HAS SOUS 203414 HAS SOUPS 203414 WITH SCORE 203631.954
AT ITER 1459 NEW BEST:: SOT 4516243 SOS 217934 HAS SOPS 217934 HAS SOUS 203394 HAS SOUPS 203394 WITH SCORE 203611.934
AT ITER 1560 NEW BEST:: SOT 4516206 SOS 217931 HAS SOPS 217931 HAS SOUS 203391 HAS SOUPS 203391 WITH SCORE 203608.931
AT ITER 1585 NEW BEST:: SOT 4516205 SOS 217880 HAS SOPS 217880 HAS SOUS 203390 HAS SOUPS 203390 WITH SCORE 203607.88
AT ITER 1717 NEW BEST:: SOT 4516168 SOS 217877 HAS SOPS 217877 HAS SOUS 203387 HAS SOUPS 203387 WITH SCORE 203604.877
AT ITER 1759 NEW BEST:: SOT 4516227 SOS 217952 HAS SOPS 217952 HAS SOUS 203385 HAS SOUPS 203385 WITH SCORE 203602.952
AT ITER 1799 NEW BEST:: SOT 4516178 SOS 217835 HAS SOPS 217835 HAS SOUS 203300 HAS SOUPS 203300 WITH SCORE 203517.835
AT ITER 1827 NEW BEST:: SOT 4516178 SOS 217809 HAS SOPS 217809 HAS SOUS 203274 HAS SOUPS 203274 WITH SCORE 203491.809
AT ITER 1886 NEW BEST:: SOT 4516187 SOS 217759 HAS SOPS 217759 HAS SOUS 203248 HAS SOUPS 203248 WITH SCORE 203465.759
AT ITER 2074 NEW BEST:: SOT 4516149 SOS 217723 HAS SOPS 217723 HAS SOUS 203243 HAS SOUPS 203243 WITH SCORE 203460.723
AT ITER 2193 NEW BEST:: SOT 4516195 SOS 217715 HAS SOPS 217715 HAS SOUS 203198 HAS SOUPS 203198 WITH SCORE 203415.715
AT ITER 2230 NEW BEST:: SOT 4516195 SOS 217714 HAS SOPS 217714 HAS SOUS 203197 HAS SOUPS 203197 WITH SCORE 203414.714
AT ITER 2236 NEW BEST:: SOT 4516195 SOS 217713 HAS SOPS 217713 HAS SOUS 203196 HAS SOUPS 203196 WITH SCORE 203413.713
AT ITER 2248 NEW BEST:: SOT 4516194 SOS 217719 HAS SOPS 217719 HAS SOUS 203195 HAS SOUPS 203195 WITH SCORE 203412.719
AT ITER 2316 NEW BEST:: SOT 4516181 SOS 217693 HAS SOPS 217693 HAS SOUS 203179 HAS SOUPS 203179 WITH SCORE 203396.693
AT ITER 2335 NEW BEST:: SOT 4516181 SOS 217693 HAS SOPS 217693 HAS SOUS 203127 HAS SOUPS 203127 WITH SCORE 203344.693
AT ITER 2472 NEW BEST:: SOT 4516181 SOS 217688 HAS SOPS 217688 HAS SOUS 203122 HAS SOUPS 203122 WITH SCORE 203339.688
AT ITER 2513 NEW BEST:: SOT 4516171 SOS 217668 HAS SOPS 217668 HAS SOUS 203107 HAS SOUPS 203107 WITH SCORE 203324.668
AT ITER 2617 NEW BEST:: SOT 4516170 SOS 217594 HAS SOPS 217594 HAS SOUS 203105 HAS SOUPS 203105 WITH SCORE 203322.594
AT ITER 2701 NEW BEST:: SOT 4516170 SOS 217583 HAS SOPS 217583 HAS SOUS 203094 HAS SOUPS 203094 WITH SCORE 203311.583
AT ITER 2883 NEW BEST:: SOT 4516115 SOS 217473 HAS SOPS 217473 HAS SOUS 203060 HAS SOUPS 203060 WITH SCORE 203277.473
AT ITER 3032 NEW BEST:: SOT 4516115 SOS 217466 HAS SOPS 217466 HAS SOUS 203009 HAS SOUPS 203009 WITH SCORE 203226.466
AT ITER 3110 NEW BEST:: SOT 4516115 SOS 217465 HAS SOPS 217465 HAS SOUS 203008 HAS SOUPS 203008 WITH SCORE 203225.465
AT ITER 3115 NEW BEST:: SOT 4516052 SOS 217394 HAS SOPS 217394 HAS SOUS 202914 HAS SOUPS 202914 WITH SCORE 203131.394
AT ITER 3202 NEW BEST:: SOT 4516026 SOS 217342 HAS SOPS 217342 HAS SOUS 202812 HAS SOUPS 202812 WITH SCORE 203029.342
AT ITER 3240 NEW BEST:: SOT 4516050 SOS 217309 HAS SOPS 217309 HAS SOUS 202744 HAS SOUPS 202744 WITH SCORE 202961.309
AT ITER 3449 NEW BEST:: SOT 4516031 SOS 217271 HAS SOPS 217271 HAS SOUS 202741 HAS SOUPS 202741 WITH SCORE 202958.271
AT ITER 3465 NEW BEST:: SOT 4516031 SOS 217247 HAS SOPS 217247 HAS SOUS 202738 HAS SOUPS 202738 WITH SCORE 202955.247
AT ITER 3503 NEW BEST:: SOT 4516031 SOS 217239 HAS SOPS 217239 HAS SOUS 202730 HAS SOUPS 202730 WITH SCORE 202947.239
AT ITER 3506 NEW BEST:: SOT 4515994 SOS 217202 HAS SOPS 217202 HAS SOUS 202693 HAS SOUPS 202693 WITH SCORE 202910.202
AT ITER 3544 NEW BEST:: SOT 4515994 SOS 217190 HAS SOPS 217190 HAS SOUS 202687 HAS SOUPS 202687 WITH SCORE 202904.19
AT ITER 3669 NEW BEST:: SOT 4515994 SOS 217183 HAS SOPS 217183 HAS SOUS 202648 HAS SOUPS 202648 WITH SCORE 202865.183
AT ITER 3787 NEW BEST:: SOT 4515994 SOS 217167 HAS SOPS 217167 HAS SOUS 202648 HAS SOUPS 202648 WITH SCORE 202865.167
AT ITER 3900 NEW BEST:: SOT 4515994 SOS 217161 HAS SOPS 217161 HAS SOUS 202642 HAS SOUPS 202642 WITH SCORE 202859.161
AT ITER 3904 NEW BEST:: SOT 4515959 SOS 217160 HAS SOPS 217160 HAS SOUS 202606 HAS SOUPS 202606 WITH SCORE 202823.16
AT ITER 4081 NEW BEST:: SOT 4515929 SOS 217130 HAS SOPS 217130 HAS SOUS 202576 HAS SOUPS 202576 WITH SCORE 202793.13
AT ITER 4222 NEW BEST:: SOT 4515916 SOS 217091 HAS SOPS 217091 HAS SOUS 202537 HAS SOUPS 202537 WITH SCORE 202754.091
AT ITER 4255 NEW BEST:: SOT 4515901 SOS 217034 HAS SOPS 217034 HAS SOUS 202501 HAS SOUPS 202501 WITH SCORE 202718.034
AT ITER 4267 NEW BEST:: SOT 4515896 SOS 217024 HAS SOPS 217024 HAS SOUS 202491 HAS SOUPS 202491 WITH SCORE 202708.024
AT ITER 4284 NEW BEST:: SOT 4515896 SOS 217013 HAS SOPS 217013 HAS SOUS 202491 HAS SOUPS 202491 WITH SCORE 202708.013
AT ITER 4296 NEW BEST:: SOT 4515879 SOS 216979 HAS SOPS 216979 HAS SOUS 202474 HAS SOUPS 202474 WITH SCORE 202690.979
AT ITER 4308 NEW BEST:: SOT 4515850 SOS 216918 HAS SOPS 216918 HAS SOUS 202443 HAS SOUPS 202443 WITH SCORE 202659.918
AT ITER 4360 NEW BEST:: SOT 4515850 SOS 216890 HAS SOPS 216890 HAS SOUS 202443 HAS SOUPS 202443 WITH SCORE 202659.89
AT ITER 4569 NEW BEST:: SOT 4515838 SOS 216878 HAS SOPS 216878 HAS SOUS 202431 HAS SOUPS 202431 WITH SCORE 202647.878
AT ITER 4633 NEW BEST:: SOT 4515780 SOS 216761 HAS SOPS 216761 HAS SOUS 202314 HAS SOUPS 202314 WITH SCORE 202530.761
AT ITER 4702 NEW BEST:: SOT 4515729 SOS 216727 HAS SOPS 216727 HAS SOUS 202263 HAS SOUPS 202263 WITH SCORE 202479.727
AT ITER 4740 NEW BEST:: SOT 4515686 SOS 216727 HAS SOPS 216727 HAS SOUS 202185 HAS SOUPS 202185 WITH SCORE 202401.727
AT ITER 4743 NEW BEST:: SOT 4515668 SOS 216709 HAS SOPS 216709 HAS SOUS 202167 HAS SOUPS 202167 WITH SCORE 202383.709
AT ITER 4779 NEW BEST:: SOT 4515668 SOS 216707 HAS SOPS 216707 HAS SOUS 202165 HAS SOUPS 202165 WITH SCORE 202381.707
AT ITER 4796 NEW BEST:: SOT 4515668 SOS 216706 HAS SOPS 216706 HAS SOUS 202164 HAS SOUPS 202164 WITH SCORE 202380.706
AT ITER 4853 NEW BEST:: SOT 4515636 SOS 216639 HAS SOPS 216639 HAS SOUS 202073 HAS SOUPS 202073 WITH SCORE 202289.639
AT ITER 4900 NEW BEST:: SOT 4515613 SOS 216587 HAS SOPS 216587 HAS SOUS 202021 HAS SOUPS 202021 WITH SCORE 202237.587
AT ITER 4979 NEW BEST:: SOT 4515613 SOS 216582 HAS SOPS 216582 HAS SOUS 202016 HAS SOUPS 202016 WITH SCORE 202232.582
AT ITER 4996 NEW BEST:: SOT 4515613 SOS 216577 HAS SOPS 216577 HAS SOUS 202011 HAS SOUPS 202011 WITH SCORE 202227.577
AT ITER 5000 NEW BEST:: SOT 4515649 SOS 216559 HAS SOPS 216559 HAS SOUS 201969 HAS SOUPS 201969 WITH SCORE 202185.559
AT ITER 5032 NEW BEST:: SOT 4515649 SOS 216518 HAS SOPS 216518 HAS SOUS 201963 HAS SOUPS 201963 WITH SCORE 202179.518
AT ITER 5058 NEW BEST:: SOT 4515592 SOS 216366 HAS SOPS 216366 HAS SOUS 201855 HAS SOUPS 201855 WITH SCORE 202071.366
AT ITER 5090 NEW BEST:: SOT 4515608 SOS 216341 HAS SOPS 216341 HAS SOUS 201841 HAS SOUPS 201841 WITH SCORE 202057.341
AT ITER 5136 NEW BEST:: SOT 4515608 SOS 216341 HAS SOPS 216341 HAS SOUS 201838 HAS SOUPS 201838 WITH SCORE 202054.341
AT ITER 5369 NEW BEST:: SOT 4515538 SOS 216287 HAS SOPS 216287 HAS SOUS 201808 HAS SOUPS 201808 WITH SCORE 202024.287
AT ITER 5384 NEW BEST:: SOT 4515528 SOS 216272 HAS SOPS 216272 HAS SOUS 201793 HAS SOUPS 201793 WITH SCORE 202009.272
AT ITER 5498 NEW BEST:: SOT 4515506 SOS 216267 HAS SOPS 216267 HAS SOUS 201788 HAS SOUPS 201788 WITH SCORE 202004.267
AT ITER 5504 NEW BEST:: SOT 4515506 SOS 216211 HAS SOPS 216211 HAS SOUS 201782 HAS SOUPS 201782 WITH SCORE 201998.211
AT ITER 5567 NEW BEST:: SOT 4515427 SOS 216182 HAS SOPS 216182 HAS SOUS 201717 HAS SOUPS 201717 WITH SCORE 201933.182
AT ITER 5569 NEW BEST:: SOT 4515400 SOS 216179 HAS SOPS 216179 HAS SOUS 201714 HAS SOUPS 201714 WITH SCORE 201930.179
AT ITER 5658 NEW BEST:: SOT 4515400 SOS 216172 HAS SOPS 216172 HAS SOUS 201707 HAS SOUPS 201707 WITH SCORE 201923.172
AT ITER 5733 NEW BEST:: SOT 4515321 SOS 216036 HAS SOPS 216036 HAS SOUS 201618 HAS SOUPS 201618 WITH SCORE 201834.036
AT ITER 5876 NEW BEST:: SOT 4515330 SOS 216009 HAS SOPS 216009 HAS SOUS 201541 HAS SOUPS 201541 WITH SCORE 201757.009
AT ITER 5943 NEW BEST:: SOT 4515310 SOS 215969 HAS SOPS 215969 HAS SOUS 201518 HAS SOUPS 201518 WITH SCORE 201733.969
AT ITER 6019 NEW BEST:: SOT 4515286 SOS 215921 HAS SOPS 215921 HAS SOUS 201470 HAS SOUPS 201470 WITH SCORE 201685.921
AT ITER 6034 NEW BEST:: SOT 4515234 SOS 215916 HAS SOPS 215916 HAS SOUS 201382 HAS SOUPS 201382 WITH SCORE 201597.916
AT ITER 6050 NEW BEST:: SOT 4515234 SOS 215900 HAS SOPS 215900 HAS SOUS 201350 HAS SOUPS 201350 WITH SCORE 201565.9
AT ITER 6140 NEW BEST:: SOT 4515202 SOS 215898 HAS SOPS 215898 HAS SOUS 201348 HAS SOUPS 201348 WITH SCORE 201563.898
AT ITER 6151 NEW BEST:: SOT 4515210 SOS 215916 HAS SOPS 215916 HAS SOUS 201282 HAS SOUPS 201282 WITH SCORE 201497.916
AT ITER 6157 NEW BEST:: SOT 4515163 SOS 215914 HAS SOPS 215914 HAS SOUS 201280 HAS SOUPS 201280 WITH SCORE 201495.914
AT ITER 6213 NEW BEST:: SOT 4515057 SOS 215808 HAS SOPS 215808 HAS SOUS 201174 HAS SOUPS 201174 WITH SCORE 201389.808
AT ITER 6259 NEW BEST:: SOT 4515037 SOS 215808 HAS SOPS 215808 HAS SOUS 201154 HAS SOUPS 201154 WITH SCORE 201369.808
AT ITER 6361 NEW BEST:: SOT 4515012 SOS 215783 HAS SOPS 215783 HAS SOUS 201129 HAS SOUPS 201129 WITH SCORE 201344.783
AT ITER 6475 NEW BEST:: SOT 4515012 SOS 215783 HAS SOPS 215783 HAS SOUS 201126 HAS SOUPS 201126 WITH SCORE 201341.783
AT ITER 6560 NEW BEST:: SOT 4514964 SOS 215760 HAS SOPS 215760 HAS SOUS 201103 HAS SOUPS 201103 WITH SCORE 201318.76
AT ITER 6564 NEW BEST:: SOT 4514929 SOS 215683 HAS SOPS 215683 HAS SOUS 201026 HAS SOUPS 201026 WITH SCORE 201241.683
AT ITER 6574 NEW BEST:: SOT 4514929 SOS 215683 HAS SOPS 215683 HAS SOUS 201023 HAS SOUPS 201023 WITH SCORE 201238.683
AT ITER 6628 NEW BEST:: SOT 4514929 SOS 215682 HAS SOPS 215682 HAS SOUS 201022 HAS SOUPS 201022 WITH SCORE 201237.682
AT ITER 6711 NEW BEST:: SOT 4514891 SOS 215644 HAS SOPS 215644 HAS SOUS 200984 HAS SOUPS 200984 WITH SCORE 201199.644
AT ITER 6753 NEW BEST:: SOT 4514891 SOS 215636 HAS SOPS 215636 HAS SOUS 200976 HAS SOUPS 200976 WITH SCORE 201191.636
AT ITER 6815 NEW BEST:: SOT 4514890 SOS 215634 HAS SOPS 215634 HAS SOUS 200975 HAS SOUPS 200975 WITH SCORE 201190.634
AT ITER 6984 NEW BEST:: SOT 4514925 SOS 215694 HAS SOPS 215694 HAS SOUS 200947 HAS SOUPS 200947 WITH SCORE 201162.694
AT ITER 7146 NEW BEST:: SOT 4514869 SOS 215546 HAS SOPS 215546 HAS SOUS 200853 HAS SOUPS 200853 WITH SCORE 201068.546
AT ITER 7235 NEW BEST:: SOT 4514834 SOS 215511 HAS SOPS 215511 HAS SOUS 200818 HAS SOUPS 200818 WITH SCORE 201033.511
AT ITER 7337 NEW BEST:: SOT 4514779 SOS 215438 HAS SOPS 215438 HAS SOUS 200775 HAS SOUPS 200775 WITH SCORE 200990.438
AT ITER 7340 NEW BEST:: SOT 4514779 SOS 215403 HAS SOPS 215403 HAS SOUS 200740 HAS SOUPS 200740 WITH SCORE 200955.403
AT ITER 7375 NEW BEST:: SOT 4514779 SOS 215402 HAS SOPS 215402 HAS SOUS 200739 HAS SOUPS 200739 WITH SCORE 200954.402
AT ITER 7386 NEW BEST:: SOT 4514779 SOS 215401 HAS SOPS 215401 HAS SOUS 200738 HAS SOUPS 200738 WITH SCORE 200953.401
AT ITER 7492 NEW BEST:: SOT 4514751 SOS 215348 HAS SOPS 215348 HAS SOUS 200704 HAS SOUPS 200704 WITH SCORE 200919.348
AT ITER 7632 NEW BEST:: SOT 4514734 SOS 215331 HAS SOPS 215331 HAS SOUS 200687 HAS SOUPS 200687 WITH SCORE 200902.331
AT ITER 7749 NEW BEST:: SOT 4514734 SOS 215255 HAS SOPS 215255 HAS SOUS 200672 HAS SOUPS 200672 WITH SCORE 200887.255
AT ITER 7801 NEW BEST:: SOT 4514734 SOS 215254 HAS SOPS 215254 HAS SOUS 200671 HAS SOUPS 200671 WITH SCORE 200886.254
AT ITER 7858 NEW BEST:: SOT 4514708 SOS 215225 HAS SOPS 215225 HAS SOUS 200668 HAS SOUPS 200668 WITH SCORE 200883.225
AT ITER 8083 NEW BEST:: SOT 4514708 SOS 215225 HAS SOPS 215225 HAS SOUS 200646 HAS SOUPS 200646 WITH SCORE 200861.225
AT ITER 8095 NEW BEST:: SOT 4514708 SOS 215215 HAS SOPS 215215 HAS SOUS 200636 HAS SOUPS 200636 WITH SCORE 200851.215
AT ITER 8096 NEW BEST:: SOT 4514731 SOS 215261 HAS SOPS 215261 HAS SOUS 200624 HAS SOUPS 200624 WITH SCORE 200839.261
AT ITER 8139 NEW BEST:: SOT 4514731 SOS 215253 HAS SOPS 215253 HAS SOUS 200616 HAS SOUPS 200616 WITH SCORE 200831.253
AT ITER 8153 NEW BEST:: SOT 4514710 SOS 215217 HAS SOPS 215217 HAS SOUS 200580 HAS SOUPS 200580 WITH SCORE 200795.217
AT ITER 8314 NEW BEST:: SOT 4514710 SOS 215217 HAS SOPS 215217 HAS SOUS 200576 HAS SOUPS 200576 WITH SCORE 200791.217
AT ITER 8324 NEW BEST:: SOT 4514652 SOS 215187 HAS SOPS 215187 HAS SOUS 200546 HAS SOUPS 200546 WITH SCORE 200761.187
AT ITER 8331 NEW BEST:: SOT 4514652 SOS 215123 HAS SOPS 215123 HAS SOUS 200538 HAS SOUPS 200538 WITH SCORE 200753.123
AT ITER 8377 NEW BEST:: SOT 4514680 SOS 215179 HAS SOPS 215179 HAS SOUS 200506 HAS SOUPS 200506 WITH SCORE 200721.179
AT ITER 8645 NEW BEST:: SOT 4514649 SOS 215109 HAS SOPS 215109 HAS SOUS 200472 HAS SOUPS 200472 WITH SCORE 200687.109
AT ITER 8806 NEW BEST:: SOT 4514648 SOS 215095 HAS SOPS 215095 HAS SOUS 200469 HAS SOUPS 200469 WITH SCORE 200684.095
AT ITER 8898 NEW BEST:: SOT 4514631 SOS 215002 HAS SOPS 215002 HAS SOUS 200411 HAS SOUPS 200411 WITH SCORE 200626.002
AT ITER 9128 NEW BEST:: SOT 4514646 SOS 214972 HAS SOPS 214972 HAS SOUS 200398 HAS SOUPS 200398 WITH SCORE 200612.972
AT ITER 9149 NEW BEST:: SOT 4514646 SOS 214961 HAS SOPS 214961 HAS SOUS 200387 HAS SOUPS 200387 WITH SCORE 200601.961
AT ITER 9153 NEW BEST:: SOT 4514646 SOS 214960 HAS SOPS 214960 HAS SOUS 200386 HAS SOUPS 200386 WITH SCORE 200600.96
AT ITER 9232 NEW BEST:: SOT 4514646 SOS 214950 HAS SOPS 214950 HAS SOUS 200376 HAS SOUPS 200376 WITH SCORE 200590.95
AT ITER 9241 NEW BEST:: SOT 4514636 SOS 214930 HAS SOPS 214930 HAS SOUS 200376 HAS SOUPS 200376 WITH SCORE 200590.93
AT ITER 9269 NEW BEST:: SOT 4514636 SOS 214930 HAS SOPS 214930 HAS SOUS 200373 HAS SOUPS 200373 WITH SCORE 200587.93
AT ITER 9320 NEW BEST:: SOT 4514636 SOS 214929 HAS SOPS 214929 HAS SOUS 200372 HAS SOUPS 200372 WITH SCORE 200586.929
AT ITER 9402 NEW BEST:: SOT 4514612 SOS 214925 HAS SOPS 214925 HAS SOUS 200368 HAS SOUPS 200368 WITH SCORE 200582.925
AT ITER 9436 NEW BEST:: SOT 4514574 SOS 214887 HAS SOPS 214887 HAS SOUS 200330 HAS SOUPS 200330 WITH SCORE 200544.887
AT ITER 9632 NEW BEST:: SOT 4514573 SOS 214868 HAS SOPS 214868 HAS SOUS 200328 HAS SOUPS 200328 WITH SCORE 200542.868
AT ITER 9725 NEW BEST:: SOT 4514572 SOS 214854 HAS SOPS 214854 HAS SOUS 200326 HAS SOUPS 200326 WITH SCORE 200540.854
AT ITER 9757 NEW BEST:: SOT 4514572 SOS 214794 HAS SOPS 214794 HAS SOUS 200266 HAS SOUPS 200266 WITH SCORE 200480.794
AT ITER 9773 NEW BEST:: SOT 4514572 SOS 214783 HAS SOPS 214783 HAS SOUS 200255 HAS SOUPS 200255 WITH SCORE 200469.783
AT ITER 9776 NEW BEST:: SOT 4514608 SOS 214775 HAS SOPS 214775 HAS SOUS 200247 HAS SOUPS 200247 WITH SCORE 200461.775
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10474692 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151628 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-040B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is ShieldPPPt-PT-040B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903712100672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-040B.tgz
mv ShieldPPPt-PT-040B 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 ;