About the Execution of Smart+red for LeafsetExtension-PT-S08C4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3107.512 | 1257398.00 | 1271691.00 | 3439.10 | 2.4653E+0009 9.8749E+0009 4 20 | normal |
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.r235-tall-167856421800472.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is LeafsetExtension-PT-S08C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800472
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 13K Feb 25 16:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 16:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 16:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 16:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 254K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678658484443
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S08C4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 22:01:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 22:01:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 22:01:26] [INFO ] Load time of PNML (sax parser for PT used): 60 ms
[2023-03-12 22:01:26] [INFO ] Transformed 462 places.
[2023-03-12 22:01:26] [INFO ] Transformed 409 transitions.
[2023-03-12 22:01:26] [INFO ] Parsed PT model containing 462 places and 409 transitions and 1324 arcs in 123 ms.
[2023-03-12 22:01:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 462 places, 409 transitions and 1324 arcs took 7 ms.
Total runtime 165 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S08C4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 462 places, 409 transitions, 1324 arcs.
AT ITER 0 NEW BEST:: SOT 105063 SOS 23254 HAS SOPS 22608 HAS SOUS 20563 HAS SOUPS 20213 WITH SCORE 20236.254
AT ITER 49 NEW BEST:: SOT 105063 SOS 23191 HAS SOPS 22545 HAS SOUS 20563 HAS SOUPS 20213 WITH SCORE 20236.191
AT ITER 82 NEW BEST:: SOT 105048 SOS 23161 HAS SOPS 22515 HAS SOUS 20548 HAS SOUPS 20198 WITH SCORE 20221.161
AT ITER 95 NEW BEST:: SOT 105024 SOS 23124 HAS SOPS 22478 HAS SOUS 20535 HAS SOUPS 20185 WITH SCORE 20208.124
AT ITER 102 NEW BEST:: SOT 104796 SOS 22925 HAS SOPS 22279 HAS SOUS 20335 HAS SOUPS 19985 WITH SCORE 20007.925
AT ITER 118 NEW BEST:: SOT 104771 SOS 22900 HAS SOPS 22254 HAS SOUS 20310 HAS SOUPS 19960 WITH SCORE 19982.9
AT ITER 136 NEW BEST:: SOT 104691 SOS 22837 HAS SOPS 22191 HAS SOUS 20246 HAS SOUPS 19896 WITH SCORE 19918.837
AT ITER 185 NEW BEST:: SOT 104685 SOS 22832 HAS SOPS 22186 HAS SOUS 20240 HAS SOUPS 19890 WITH SCORE 19912.832
AT ITER 193 NEW BEST:: SOT 104240 SOS 25530 HAS SOPS 24884 HAS SOUS 19963 HAS SOUPS 19613 WITH SCORE 19638.53
AT ITER 208 NEW BEST:: SOT 104275 SOS 25542 HAS SOPS 24545 HAS SOUS 19827 HAS SOUPS 19327 WITH SCORE 19352.542
AT ITER 216 NEW BEST:: SOT 104275 SOS 25529 HAS SOPS 24532 HAS SOUS 19827 HAS SOUPS 19327 WITH SCORE 19352.529
AT ITER 249 NEW BEST:: SOT 104275 SOS 25529 HAS SOPS 24532 HAS SOUS 19808 HAS SOUPS 19308 WITH SCORE 19333.529
AT ITER 254 NEW BEST:: SOT 104275 SOS 25529 HAS SOPS 24532 HAS SOUS 19802 HAS SOUPS 19302 WITH SCORE 19327.529
AT ITER 268 NEW BEST:: SOT 104213 SOS 25548 HAS SOPS 24551 HAS SOUS 19767 HAS SOUPS 19267 WITH SCORE 19292.548
AT ITER 276 NEW BEST:: SOT 104073 SOS 25426 HAS SOPS 24425 HAS SOUS 19623 HAS SOUPS 19123 WITH SCORE 19148.426
AT ITER 295 NEW BEST:: SOT 104073 SOS 25426 HAS SOPS 24425 HAS SOUS 19600 HAS SOUPS 19100 WITH SCORE 19125.426
AT ITER 383 NEW BEST:: SOT 104077 SOS 25430 HAS SOPS 24429 HAS SOUS 19569 HAS SOUPS 19069 WITH SCORE 19094.43
AT ITER 387 NEW BEST:: SOT 104077 SOS 25431 HAS SOPS 24430 HAS SOUS 19554 HAS SOUPS 19054 WITH SCORE 19079.431
AT ITER 440 NEW BEST:: SOT 103845 SOS 25406 HAS SOPS 24395 HAS SOUS 19366 HAS SOUPS 18866 WITH SCORE 18891.406
AT ITER 498 NEW BEST:: SOT 103845 SOS 25406 HAS SOPS 24395 HAS SOUS 19355 HAS SOUPS 18855 WITH SCORE 18880.406
AT ITER 508 NEW BEST:: SOT 103835 SOS 25396 HAS SOPS 24375 HAS SOUS 19339 HAS SOUPS 18829 WITH SCORE 18854.396
AT ITER 546 NEW BEST:: SOT 103835 SOS 25238 HAS SOPS 24217 HAS SOUS 19339 HAS SOUPS 18829 WITH SCORE 18854.238
AT ITER 556 NEW BEST:: SOT 103835 SOS 25227 HAS SOPS 24206 HAS SOUS 19335 HAS SOUPS 18825 WITH SCORE 18850.227
AT ITER 559 NEW BEST:: SOT 103835 SOS 25221 HAS SOPS 24200 HAS SOUS 19334 HAS SOUPS 18824 WITH SCORE 18849.221
AT ITER 589 NEW BEST:: SOT 103835 SOS 25209 HAS SOPS 24188 HAS SOUS 19334 HAS SOUPS 18824 WITH SCORE 18849.209
AT ITER 590 NEW BEST:: SOT 103830 SOS 25193 HAS SOPS 24172 HAS SOUS 19329 HAS SOUPS 18819 WITH SCORE 18844.193
AT ITER 604 NEW BEST:: SOT 103830 SOS 25175 HAS SOPS 24154 HAS SOUS 19311 HAS SOUPS 18801 WITH SCORE 18826.175
AT ITER 631 NEW BEST:: SOT 103830 SOS 25171 HAS SOPS 24150 HAS SOUS 19311 HAS SOUPS 18801 WITH SCORE 18826.171
AT ITER 635 NEW BEST:: SOT 103839 SOS 25185 HAS SOPS 24164 HAS SOUS 19301 HAS SOUPS 18791 WITH SCORE 18816.185
AT ITER 652 NEW BEST:: SOT 103841 SOS 25110 HAS SOPS 24159 HAS SOUS 19286 HAS SOUPS 18791 WITH SCORE 18816.11
AT ITER 706 NEW BEST:: SOT 103829 SOS 25047 HAS SOPS 24096 HAS SOUS 19259 HAS SOUPS 18764 WITH SCORE 18789.047
AT ITER 728 NEW BEST:: SOT 103829 SOS 25040 HAS SOPS 24089 HAS SOUS 19258 HAS SOUPS 18763 WITH SCORE 18788.04
AT ITER 739 NEW BEST:: SOT 103814 SOS 25040 HAS SOPS 24089 HAS SOUS 19243 HAS SOUPS 18748 WITH SCORE 18773.04
AT ITER 778 NEW BEST:: SOT 103791 SOS 24979 HAS SOPS 24022 HAS SOUS 19203 HAS SOUPS 18702 WITH SCORE 18726.979
AT ITER 809 NEW BEST:: SOT 103815 SOS 25003 HAS SOPS 24046 HAS SOUS 19202 HAS SOUPS 18701 WITH SCORE 18726.003
AT ITER 813 NEW BEST:: SOT 103815 SOS 24986 HAS SOPS 24029 HAS SOUS 19202 HAS SOUPS 18701 WITH SCORE 18725.986
AT ITER 819 NEW BEST:: SOT 103810 SOS 24956 HAS SOPS 23999 HAS SOUS 19192 HAS SOUPS 18691 WITH SCORE 18715.956
AT ITER 856 NEW BEST:: SOT 103806 SOS 24952 HAS SOPS 23995 HAS SOUS 19188 HAS SOUPS 18687 WITH SCORE 18711.952
AT ITER 868 NEW BEST:: SOT 103799 SOS 24847 HAS SOPS 23890 HAS SOUS 19174 HAS SOUPS 18673 WITH SCORE 18697.847
AT ITER 869 NEW BEST:: SOT 103799 SOS 24826 HAS SOPS 23869 HAS SOUS 19173 HAS SOUPS 18672 WITH SCORE 18696.826
AT ITER 881 NEW BEST:: SOT 103788 SOS 24734 HAS SOPS 23777 HAS SOUS 19151 HAS SOUPS 18650 WITH SCORE 18674.734
AT ITER 893 NEW BEST:: SOT 103781 SOS 24626 HAS SOPS 23669 HAS SOUS 19139 HAS SOUPS 18638 WITH SCORE 18662.626
AT ITER 895 NEW BEST:: SOT 103781 SOS 24603 HAS SOPS 23646 HAS SOUS 19139 HAS SOUPS 18638 WITH SCORE 18662.603
AT ITER 898 NEW BEST:: SOT 103781 SOS 24603 HAS SOPS 23646 HAS SOUS 19106 HAS SOUPS 18605 WITH SCORE 18629.603
AT ITER 902 NEW BEST:: SOT 103781 SOS 24595 HAS SOPS 23614 HAS SOUS 19078 HAS SOUPS 18577 WITH SCORE 18601.595
AT ITER 917 NEW BEST:: SOT 103781 SOS 24595 HAS SOPS 23614 HAS SOUS 19071 HAS SOUPS 18570 WITH SCORE 18594.595
AT ITER 923 NEW BEST:: SOT 103780 SOS 24583 HAS SOPS 23602 HAS SOUS 19070 HAS SOUPS 18569 WITH SCORE 18593.583
AT ITER 951 NEW BEST:: SOT 103775 SOS 24578 HAS SOPS 23592 HAS SOUS 19060 HAS SOUPS 18559 WITH SCORE 18583.578
AT ITER 1006 NEW BEST:: SOT 103775 SOS 24574 HAS SOPS 23588 HAS SOUS 19056 HAS SOUPS 18555 WITH SCORE 18579.574
AT ITER 1037 NEW BEST:: SOT 103775 SOS 24574 HAS SOPS 23588 HAS SOUS 19054 HAS SOUPS 18553 WITH SCORE 18577.574
AT ITER 1050 NEW BEST:: SOT 103766 SOS 24565 HAS SOPS 23579 HAS SOUS 19045 HAS SOUPS 18544 WITH SCORE 18568.565
AT ITER 1112 NEW BEST:: SOT 103748 SOS 24550 HAS SOPS 23561 HAS SOUS 19030 HAS SOUPS 18526 WITH SCORE 18550.55
AT ITER 1119 NEW BEST:: SOT 103739 SOS 24523 HAS SOPS 23543 HAS SOUS 19012 HAS SOUPS 18508 WITH SCORE 18532.523
AT ITER 1147 NEW BEST:: SOT 103737 SOS 24523 HAS SOPS 23541 HAS SOUS 19010 HAS SOUPS 18504 WITH SCORE 18528.523
AT ITER 1201 NEW BEST:: SOT 103705 SOS 24543 HAS SOPS 23561 HAS SOUS 19007 HAS SOUPS 18501 WITH SCORE 18525.543
AT ITER 1205 NEW BEST:: SOT 103704 SOS 24377 HAS SOPS 23395 HAS SOUS 18978 HAS SOUPS 18472 WITH SCORE 18496.377
AT ITER 1225 NEW BEST:: SOT 103720 SOS 24345 HAS SOPS 23363 HAS SOUS 18946 HAS SOUPS 18440 WITH SCORE 18464.345
AT ITER 1229 NEW BEST:: SOT 103690 SOS 24364 HAS SOPS 23382 HAS SOUS 18943 HAS SOUPS 18437 WITH SCORE 18461.364
AT ITER 1237 NEW BEST:: SOT 103690 SOS 24364 HAS SOPS 23382 HAS SOUS 18931 HAS SOUPS 18425 WITH SCORE 18449.364
AT ITER 1290 NEW BEST:: SOT 103690 SOS 24364 HAS SOPS 23382 HAS SOUS 18904 HAS SOUPS 18398 WITH SCORE 18422.364
AT ITER 1304 NEW BEST:: SOT 103690 SOS 24365 HAS SOPS 23383 HAS SOUS 18899 HAS SOUPS 18393 WITH SCORE 18417.365
AT ITER 1308 NEW BEST:: SOT 103637 SOS 24299 HAS SOPS 23317 HAS SOUS 18838 HAS SOUPS 18332 WITH SCORE 18356.299
AT ITER 1329 NEW BEST:: SOT 103639 SOS 24301 HAS SOPS 23319 HAS SOUS 18814 HAS SOUPS 18308 WITH SCORE 18332.301
AT ITER 1365 NEW BEST:: SOT 103639 SOS 24300 HAS SOPS 23318 HAS SOUS 18813 HAS SOUPS 18307 WITH SCORE 18331.3
AT ITER 1434 NEW BEST:: SOT 103603 SOS 24264 HAS SOPS 23282 HAS SOUS 18777 HAS SOUPS 18271 WITH SCORE 18295.264
AT ITER 1450 NEW BEST:: SOT 103441 SOS 24136 HAS SOPS 23136 HAS SOUS 18583 HAS SOUPS 18077 WITH SCORE 18101.136
AT ITER 1455 NEW BEST:: SOT 103440 SOS 24073 HAS SOPS 23073 HAS SOUS 18581 HAS SOUPS 18075 WITH SCORE 18099.073
AT ITER 1546 NEW BEST:: SOT 103426 SOS 24075 HAS SOPS 23061 HAS SOUS 18567 HAS SOUPS 18047 WITH SCORE 18071.075
AT ITER 1561 NEW BEST:: SOT 103448 SOS 24100 HAS SOPS 22947 HAS SOUS 18500 HAS SOUPS 17953 WITH SCORE 17977.1
AT ITER 1613 NEW BEST:: SOT 103441 SOS 24097 HAS SOPS 22937 HAS SOUS 18489 HAS SOUPS 17942 WITH SCORE 17966.097
AT ITER 1627 NEW BEST:: SOT 103440 SOS 24089 HAS SOPS 22929 HAS SOUS 18487 HAS SOUPS 17940 WITH SCORE 17964.089
AT ITER 1640 NEW BEST:: SOT 103435 SOS 24055 HAS SOPS 22895 HAS SOUS 18474 HAS SOUPS 17927 WITH SCORE 17951.055
AT ITER 1678 NEW BEST:: SOT 103428 SOS 24041 HAS SOPS 22881 HAS SOUS 18460 HAS SOUPS 17913 WITH SCORE 17937.041
AT ITER 1684 NEW BEST:: SOT 103428 SOS 24041 HAS SOPS 22881 HAS SOUS 18448 HAS SOUPS 17901 WITH SCORE 17925.041
AT ITER 1694 NEW BEST:: SOT 103446 SOS 24059 HAS SOPS 22899 HAS SOUS 18437 HAS SOUPS 17890 WITH SCORE 17914.059
AT ITER 1702 NEW BEST:: SOT 103411 SOS 24070 HAS SOPS 22910 HAS SOUS 18421 HAS SOUPS 17874 WITH SCORE 17898.07
AT ITER 1709 NEW BEST:: SOT 103411 SOS 24069 HAS SOPS 22909 HAS SOUS 18421 HAS SOUPS 17874 WITH SCORE 17898.069
AT ITER 1727 NEW BEST:: SOT 103402 SOS 24060 HAS SOPS 22900 HAS SOUS 18403 HAS SOUPS 17856 WITH SCORE 17880.06
AT ITER 1732 NEW BEST:: SOT 103402 SOS 24050 HAS SOPS 22890 HAS SOUS 18403 HAS SOUPS 17856 WITH SCORE 17880.05
AT ITER 1751 NEW BEST:: SOT 103390 SOS 23969 HAS SOPS 22809 HAS SOUS 18379 HAS SOUPS 17832 WITH SCORE 17855.969
AT ITER 1754 NEW BEST:: SOT 103390 SOS 23960 HAS SOPS 22800 HAS SOUS 18379 HAS SOUPS 17832 WITH SCORE 17855.96
AT ITER 1773 NEW BEST:: SOT 103390 SOS 23958 HAS SOPS 22798 HAS SOUS 18377 HAS SOUPS 17830 WITH SCORE 17853.958
AT ITER 1801 NEW BEST:: SOT 103385 SOS 23953 HAS SOPS 22772 HAS SOUS 18384 HAS SOUPS 17818 WITH SCORE 17841.953
AT ITER 1839 NEW BEST:: SOT 103368 SOS 23934 HAS SOPS 22753 HAS SOUS 18356 HAS SOUPS 17790 WITH SCORE 17813.934
AT ITER 1840 NEW BEST:: SOT 103340 SOS 23936 HAS SOPS 22755 HAS SOUS 18330 HAS SOUPS 17764 WITH SCORE 17787.936
AT ITER 1893 NEW BEST:: SOT 103338 SOS 23934 HAS SOPS 22753 HAS SOUS 18326 HAS SOUPS 17760 WITH SCORE 17783.934
AT ITER 1950 NEW BEST:: SOT 103338 SOS 23931 HAS SOPS 22750 HAS SOUS 18323 HAS SOUPS 17757 WITH SCORE 17780.931
AT ITER 1993 NEW BEST:: SOT 103338 SOS 23918 HAS SOPS 22737 HAS SOUS 18310 HAS SOUPS 17744 WITH SCORE 17767.918
AT ITER 2003 NEW BEST:: SOT 103338 SOS 23912 HAS SOPS 22731 HAS SOUS 18310 HAS SOUPS 17744 WITH SCORE 17767.912
AT ITER 2067 NEW BEST:: SOT 103335 SOS 23906 HAS SOPS 22725 HAS SOUS 18307 HAS SOUPS 17741 WITH SCORE 17764.906
AT ITER 2075 NEW BEST:: SOT 103335 SOS 23794 HAS SOPS 22613 HAS SOUS 18306 HAS SOUPS 17740 WITH SCORE 17763.794
AT ITER 2110 NEW BEST:: SOT 103335 SOS 23794 HAS SOPS 22613 HAS SOUS 18302 HAS SOUPS 17736 WITH SCORE 17759.794
AT ITER 2114 NEW BEST:: SOT 103334 SOS 23793 HAS SOPS 22612 HAS SOUS 18300 HAS SOUPS 17734 WITH SCORE 17757.793
AT ITER 2136 NEW BEST:: SOT 103335 SOS 23773 HAS SOPS 22592 HAS SOUS 18281 HAS SOUPS 17715 WITH SCORE 17738.773
AT ITER 2140 NEW BEST:: SOT 103335 SOS 23767 HAS SOPS 22586 HAS SOUS 18275 HAS SOUPS 17709 WITH SCORE 17732.767
AT ITER 2144 NEW BEST:: SOT 103335 SOS 23759 HAS SOPS 22578 HAS SOUS 18273 HAS SOUPS 17707 WITH SCORE 17730.759
AT ITER 2157 NEW BEST:: SOT 103335 SOS 23754 HAS SOPS 22573 HAS SOUS 18268 HAS SOUPS 17702 WITH SCORE 17725.754
AT ITER 2232 NEW BEST:: SOT 103310 SOS 23584 HAS SOPS 22403 HAS SOUS 18243 HAS SOUPS 17677 WITH SCORE 17700.584
AT ITER 2280 NEW BEST:: SOT 103294 SOS 23592 HAS SOPS 22411 HAS SOUS 18239 HAS SOUPS 17673 WITH SCORE 17696.592
AT ITER 2402 NEW BEST:: SOT 103292 SOS 23586 HAS SOPS 22405 HAS SOUS 18237 HAS SOUPS 17671 WITH SCORE 17694.586
AT ITER 2408 NEW BEST:: SOT 103292 SOS 23574 HAS SOPS 22393 HAS SOUS 18237 HAS SOUPS 17671 WITH SCORE 17694.574
AT ITER 2425 NEW BEST:: SOT 103291 SOS 23573 HAS SOPS 22392 HAS SOUS 18236 HAS SOUPS 17670 WITH SCORE 17693.573
AT ITER 2488 NEW BEST:: SOT 103284 SOS 23574 HAS SOPS 22393 HAS SOUS 18229 HAS SOUPS 17663 WITH SCORE 17686.574
AT ITER 2490 NEW BEST:: SOT 103281 SOS 23519 HAS SOPS 22338 HAS SOUS 18223 HAS SOUPS 17657 WITH SCORE 17680.519
AT ITER 2532 NEW BEST:: SOT 103281 SOS 23519 HAS SOPS 22338 HAS SOUS 18177 HAS SOUPS 17611 WITH SCORE 17634.519
AT ITER 2548 NEW BEST:: SOT 103269 SOS 23491 HAS SOPS 22310 HAS SOUS 18165 HAS SOUPS 17599 WITH SCORE 17622.491
AT ITER 2571 NEW BEST:: SOT 103266 SOS 23482 HAS SOPS 22301 HAS SOUS 18162 HAS SOUPS 17596 WITH SCORE 17619.482
AT ITER 2601 NEW BEST:: SOT 103247 SOS 23419 HAS SOPS 22238 HAS SOUS 18123 HAS SOUPS 17557 WITH SCORE 17580.419
AT ITER 2610 NEW BEST:: SOT 103247 SOS 23415 HAS SOPS 22234 HAS SOUS 18122 HAS SOUPS 17556 WITH SCORE 17579.415
AT ITER 2641 NEW BEST:: SOT 103221 SOS 23692 HAS SOPS 22196 HAS SOUS 18137 HAS SOUPS 17518 WITH SCORE 17541.692
AT ITER 2652 NEW BEST:: SOT 103206 SOS 23717 HAS SOPS 22206 HAS SOUS 18107 HAS SOUPS 17488 WITH SCORE 17511.717
AT ITER 2737 NEW BEST:: SOT 103206 SOS 23706 HAS SOPS 22195 HAS SOUS 18106 HAS SOUPS 17487 WITH SCORE 17510.706
AT ITER 2764 NEW BEST:: SOT 103189 SOS 23689 HAS SOPS 22178 HAS SOUS 18087 HAS SOUPS 17468 WITH SCORE 17491.689
AT ITER 2766 NEW BEST:: SOT 103173 SOS 23627 HAS SOPS 22116 HAS SOUS 18055 HAS SOUPS 17436 WITH SCORE 17459.627
AT ITER 2776 NEW BEST:: SOT 103173 SOS 23575 HAS SOPS 22064 HAS SOUS 17995 HAS SOUPS 17376 WITH SCORE 17399.575
AT ITER 2809 NEW BEST:: SOT 103173 SOS 23572 HAS SOPS 22061 HAS SOUS 17995 HAS SOUPS 17376 WITH SCORE 17399.572
AT ITER 2817 NEW BEST:: SOT 103172 SOS 23571 HAS SOPS 22060 HAS SOUS 17994 HAS SOUPS 17375 WITH SCORE 17398.571
AT ITER 2835 NEW BEST:: SOT 103172 SOS 23567 HAS SOPS 22056 HAS SOUS 17993 HAS SOUPS 17374 WITH SCORE 17397.567
AT ITER 2836 NEW BEST:: SOT 103178 SOS 23573 HAS SOPS 22062 HAS SOUS 17987 HAS SOUPS 17368 WITH SCORE 17391.573
AT ITER 2960 NEW BEST:: SOT 103198 SOS 23738 HAS SOPS 22048 HAS SOUS 18007 HAS SOUPS 17354 WITH SCORE 17377.738
AT ITER 2972 NEW BEST:: SOT 103175 SOS 23729 HAS SOPS 22019 HAS SOUS 17978 HAS SOUPS 17325 WITH SCORE 17348.729
AT ITER 3006 NEW BEST:: SOT 103197 SOS 23751 HAS SOPS 22041 HAS SOUS 17974 HAS SOUPS 17321 WITH SCORE 17344.751
AT ITER 3013 NEW BEST:: SOT 103197 SOS 23751 HAS SOPS 22041 HAS SOUS 17973 HAS SOUPS 17320 WITH SCORE 17343.751
AT ITER 3041 NEW BEST:: SOT 103198 SOS 23752 HAS SOPS 22042 HAS SOUS 17962 HAS SOUPS 17309 WITH SCORE 17332.752
AT ITER 3087 NEW BEST:: SOT 103197 SOS 23742 HAS SOPS 22032 HAS SOUS 17952 HAS SOUPS 17299 WITH SCORE 17322.742
AT ITER 3171 NEW BEST:: SOT 103176 SOS 23742 HAS SOPS 22032 HAS SOUS 17938 HAS SOUPS 17285 WITH SCORE 17308.742
AT ITER 3191 NEW BEST:: SOT 103176 SOS 23742 HAS SOPS 22032 HAS SOUS 17926 HAS SOUPS 17273 WITH SCORE 17296.742
AT ITER 3198 NEW BEST:: SOT 103174 SOS 23740 HAS SOPS 22030 HAS SOUS 17922 HAS SOUPS 17269 WITH SCORE 17292.74
AT ITER 3202 NEW BEST:: SOT 103150 SOS 23696 HAS SOPS 22024 HAS SOUS 17894 HAS SOUPS 17250 WITH SCORE 17273.696
AT ITER 3249 NEW BEST:: SOT 103150 SOS 23696 HAS SOPS 22024 HAS SOUS 17881 HAS SOUPS 17237 WITH SCORE 17260.696
AT ITER 3294 NEW BEST:: SOT 103146 SOS 23721 HAS SOPS 22020 HAS SOUS 17884 HAS SOUPS 17233 WITH SCORE 17256.721
AT ITER 3295 NEW BEST:: SOT 103130 SOS 23693 HAS SOPS 21992 HAS SOUS 17852 HAS SOUPS 17201 WITH SCORE 17224.693
AT ITER 3334 NEW BEST:: SOT 103130 SOS 23676 HAS SOPS 21975 HAS SOUS 17852 HAS SOUPS 17201 WITH SCORE 17224.676
AT ITER 3364 NEW BEST:: SOT 103130 SOS 23675 HAS SOPS 21974 HAS SOUS 17851 HAS SOUPS 17200 WITH SCORE 17223.675
AT ITER 3434 NEW BEST:: SOT 103130 SOS 23669 HAS SOPS 21968 HAS SOUS 17851 HAS SOUPS 17200 WITH SCORE 17223.669
AT ITER 3436 NEW BEST:: SOT 103130 SOS 23666 HAS SOPS 21965 HAS SOUS 17821 HAS SOUPS 17170 WITH SCORE 17193.666
AT ITER 3461 NEW BEST:: SOT 103130 SOS 23660 HAS SOPS 21959 HAS SOUS 17821 HAS SOUPS 17170 WITH SCORE 17193.66
AT ITER 3468 NEW BEST:: SOT 103125 SOS 23620 HAS SOPS 21954 HAS SOUS 17803 HAS SOUPS 17160 WITH SCORE 17183.62
AT ITER 3491 NEW BEST:: SOT 103125 SOS 23620 HAS SOPS 21931 HAS SOUS 17813 HAS SOUPS 17150 WITH SCORE 17173.62
AT ITER 3622 NEW BEST:: SOT 103125 SOS 23616 HAS SOPS 21927 HAS SOUS 17809 HAS SOUPS 17146 WITH SCORE 17169.616
AT ITER 3650 NEW BEST:: SOT 103119 SOS 23610 HAS SOPS 21921 HAS SOUS 17797 HAS SOUPS 17134 WITH SCORE 17157.61
AT ITER 3781 NEW BEST:: SOT 103118 SOS 23608 HAS SOPS 21919 HAS SOUS 17795 HAS SOUPS 17132 WITH SCORE 17155.608
AT ITER 3843 NEW BEST:: SOT 103117 SOS 23606 HAS SOPS 21916 HAS SOUS 17792 HAS SOUPS 17129 WITH SCORE 17152.606
AT ITER 3890 NEW BEST:: SOT 103117 SOS 23602 HAS SOPS 21912 HAS SOUS 17792 HAS SOUPS 17129 WITH SCORE 17152.602
AT ITER 3891 NEW BEST:: SOT 103117 SOS 23600 HAS SOPS 21910 HAS SOUS 17790 HAS SOUPS 17127 WITH SCORE 17150.6
AT ITER 3912 NEW BEST:: SOT 103117 SOS 23561 HAS SOPS 21871 HAS SOUS 17786 HAS SOUPS 17123 WITH SCORE 17146.561
AT ITER 3939 NEW BEST:: SOT 103117 SOS 23544 HAS SOPS 21854 HAS SOUS 17786 HAS SOUPS 17123 WITH SCORE 17146.544
AT ITER 3995 NEW BEST:: SOT 103115 SOS 23541 HAS SOPS 21851 HAS SOUS 17782 HAS SOUPS 17119 WITH SCORE 17142.541
AT ITER 4024 NEW BEST:: SOT 103116 SOS 23542 HAS SOPS 21852 HAS SOUS 17772 HAS SOUPS 17109 WITH SCORE 17132.542
AT ITER 4036 NEW BEST:: SOT 103207 SOS 23613 HAS SOPS 21808 HAS SOUS 17758 HAS SOUPS 17095 WITH SCORE 17118.613
AT ITER 4051 NEW BEST:: SOT 103206 SOS 23610 HAS SOPS 21805 HAS SOUS 17756 HAS SOUPS 17093 WITH SCORE 17116.61
AT ITER 4072 NEW BEST:: SOT 103204 SOS 23608 HAS SOPS 21803 HAS SOUS 17754 HAS SOUPS 17091 WITH SCORE 17114.608
AT ITER 4076 NEW BEST:: SOT 103178 SOS 23598 HAS SOPS 21776 HAS SOUS 17727 HAS SOUPS 17064 WITH SCORE 17087.598
AT ITER 4084 NEW BEST:: SOT 103176 SOS 23578 HAS SOPS 21754 HAS SOUS 17708 HAS SOUPS 17045 WITH SCORE 17068.578
AT ITER 4087 NEW BEST:: SOT 103176 SOS 23578 HAS SOPS 21754 HAS SOUS 17695 HAS SOUPS 17032 WITH SCORE 17055.578
AT ITER 4182 NEW BEST:: SOT 103186 SOS 23588 HAS SOPS 21764 HAS SOUS 17686 HAS SOUPS 17023 WITH SCORE 17046.588
AT ITER 4205 NEW BEST:: SOT 103186 SOS 23585 HAS SOPS 21761 HAS SOUS 17686 HAS SOUPS 17023 WITH SCORE 17046.585
AT ITER 4222 NEW BEST:: SOT 103165 SOS 23563 HAS SOPS 21756 HAS SOUS 17677 HAS SOUPS 17014 WITH SCORE 17037.563
AT ITER 4257 NEW BEST:: SOT 103158 SOS 23574 HAS SOPS 21767 HAS SOUS 17676 HAS SOUPS 17013 WITH SCORE 17036.574
AT ITER 4289 NEW BEST:: SOT 103158 SOS 23598 HAS SOPS 21759 HAS SOUS 17686 HAS SOUPS 17012 WITH SCORE 17035.598
AT ITER 4292 NEW BEST:: SOT 103147 SOS 23529 HAS SOPS 21690 HAS SOUS 17664 HAS SOUPS 16990 WITH SCORE 17013.529
AT ITER 4306 NEW BEST:: SOT 103059 SOS 23910 HAS SOPS 22071 HAS SOUS 17584 HAS SOUPS 16910 WITH SCORE 16933.91
AT ITER 4317 NEW BEST:: SOT 103060 SOS 23911 HAS SOPS 22072 HAS SOUS 17575 HAS SOUPS 16901 WITH SCORE 16924.911
AT ITER 4343 NEW BEST:: SOT 103060 SOS 23864 HAS SOPS 22025 HAS SOUS 17575 HAS SOUPS 16901 WITH SCORE 16924.864
AT ITER 4370 NEW BEST:: SOT 103052 SOS 23909 HAS SOPS 22064 HAS SOUS 17566 HAS SOUPS 16892 WITH SCORE 16915.909
AT ITER 4379 NEW BEST:: SOT 103052 SOS 23909 HAS SOPS 22064 HAS SOUS 17553 HAS SOUPS 16879 WITH SCORE 16902.909
AT ITER 4382 NEW BEST:: SOT 103011 SOS 23916 HAS SOPS 22071 HAS SOUS 17532 HAS SOUPS 16858 WITH SCORE 16881.916
AT ITER 4398 NEW BEST:: SOT 103011 SOS 23904 HAS SOPS 22059 HAS SOUS 17532 HAS SOUPS 16858 WITH SCORE 16881.904
AT ITER 4403 NEW BEST:: SOT 103010 SOS 23903 HAS SOPS 22058 HAS SOUS 17532 HAS SOUPS 16858 WITH SCORE 16881.903
AT ITER 4424 NEW BEST:: SOT 102998 SOS 23888 HAS SOPS 22010 HAS SOUS 17484 HAS SOUPS 16810 WITH SCORE 16833.888
AT ITER 4452 NEW BEST:: SOT 102993 SOS 23892 HAS SOPS 22014 HAS SOUS 17483 HAS SOUPS 16809 WITH SCORE 16832.892
AT ITER 4530 NEW BEST:: SOT 102993 SOS 23887 HAS SOPS 22009 HAS SOUS 17482 HAS SOUPS 16808 WITH SCORE 16831.887
AT ITER 4556 NEW BEST:: SOT 102989 SOS 23863 HAS SOPS 21985 HAS SOUS 17474 HAS SOUPS 16800 WITH SCORE 16823.863
AT ITER 4576 NEW BEST:: SOT 102988 SOS 23848 HAS SOPS 21970 HAS SOUS 17472 HAS SOUPS 16798 WITH SCORE 16821.848
AT ITER 4641 NEW BEST:: SOT 102988 SOS 23844 HAS SOPS 21966 HAS SOUS 17470 HAS SOUPS 16796 WITH SCORE 16819.844
AT ITER 4648 NEW BEST:: SOT 102985 SOS 23815 HAS SOPS 21934 HAS SOUS 17464 HAS SOUPS 16790 WITH SCORE 16813.815
AT ITER 4658 NEW BEST:: SOT 102986 SOS 24254 HAS SOPS 21935 HAS SOUS 17503 HAS SOUPS 16766 WITH SCORE 16790.254
AT ITER 4671 NEW BEST:: SOT 102978 SOS 24254 HAS SOPS 21927 HAS SOUS 17495 HAS SOUPS 16758 WITH SCORE 16782.254
AT ITER 4681 NEW BEST:: SOT 102969 SOS 24194 HAS SOPS 21867 HAS SOUS 17469 HAS SOUPS 16732 WITH SCORE 16756.194
AT ITER 4715 NEW BEST:: SOT 102969 SOS 24194 HAS SOPS 21867 HAS SOUS 17464 HAS SOUPS 16727 WITH SCORE 16751.194
AT ITER 4718 NEW BEST:: SOT 102968 SOS 24193 HAS SOPS 21866 HAS SOUS 17462 HAS SOUPS 16725 WITH SCORE 16749.193
AT ITER 4743 NEW BEST:: SOT 102965 SOS 24153 HAS SOPS 21826 HAS SOUS 17457 HAS SOUPS 16720 WITH SCORE 16744.153
AT ITER 4746 NEW BEST:: SOT 102979 SOS 24167 HAS SOPS 21798 HAS SOUS 17455 HAS SOUPS 16692 WITH SCORE 16716.167
AT ITER 4763 NEW BEST:: SOT 102960 SOS 24031 HAS SOPS 21662 HAS SOUS 17418 HAS SOUPS 16655 WITH SCORE 16679.031
AT ITER 4814 NEW BEST:: SOT 102962 SOS 24003 HAS SOPS 21634 HAS SOUS 17411 HAS SOUPS 16648 WITH SCORE 16672.003
AT ITER 4834 NEW BEST:: SOT 102958 SOS 23999 HAS SOPS 21630 HAS SOUS 17407 HAS SOUPS 16644 WITH SCORE 16667.999
AT ITER 4844 NEW BEST:: SOT 102959 SOS 23990 HAS SOPS 21621 HAS SOUS 17398 HAS SOUPS 16635 WITH SCORE 16658.99
AT ITER 4855 NEW BEST:: SOT 102956 SOS 23987 HAS SOPS 21618 HAS SOUS 17395 HAS SOUPS 16632 WITH SCORE 16655.987
AT ITER 4936 NEW BEST:: SOT 102945 SOS 23987 HAS SOPS 21607 HAS SOUS 17384 HAS SOUPS 16621 WITH SCORE 16644.987
AT ITER 4953 NEW BEST:: SOT 102925 SOS 24002 HAS SOPS 21622 HAS SOUS 17379 HAS SOUPS 16616 WITH SCORE 16640.002
AT ITER 4960 NEW BEST:: SOT 102932 SOS 24009 HAS SOPS 21629 HAS SOUS 17375 HAS SOUPS 16612 WITH SCORE 16636.009
AT ITER 4980 NEW BEST:: SOT 102928 SOS 24005 HAS SOPS 21625 HAS SOUS 17367 HAS SOUPS 16604 WITH SCORE 16628.005
AT ITER 5052 NEW BEST:: SOT 102928 SOS 23998 HAS SOPS 21618 HAS SOUS 17367 HAS SOUPS 16604 WITH SCORE 16627.998
AT ITER 5095 NEW BEST:: SOT 102928 SOS 23998 HAS SOPS 21618 HAS SOUS 17362 HAS SOUPS 16599 WITH SCORE 16622.998
AT ITER 5115 NEW BEST:: SOT 102922 SOS 24024 HAS SOPS 21606 HAS SOUS 17350 HAS SOUPS 16587 WITH SCORE 16611.024
AT ITER 5126 NEW BEST:: SOT 102921 SOS 24012 HAS SOPS 21594 HAS SOUS 17338 HAS SOUPS 16575 WITH SCORE 16599.012
AT ITER 5152 NEW BEST:: SOT 102920 SOS 24012 HAS SOPS 21594 HAS SOUS 17337 HAS SOUPS 16574 WITH SCORE 16598.012
AT ITER 5160 NEW BEST:: SOT 102915 SOS 24019 HAS SOPS 21601 HAS SOUS 17336 HAS SOUPS 16573 WITH SCORE 16597.019
AT ITER 5195 NEW BEST:: SOT 102904 SOS 24008 HAS SOPS 21590 HAS SOUS 17314 HAS SOUPS 16551 WITH SCORE 16575.008
AT ITER 5203 NEW BEST:: SOT 102902 SOS 24004 HAS SOPS 21584 HAS SOUS 17308 HAS SOUPS 16545 WITH SCORE 16569.004
AT ITER 5314 NEW BEST:: SOT 102889 SOS 23991 HAS SOPS 21571 HAS SOUS 17291 HAS SOUPS 16528 WITH SCORE 16551.991
AT ITER 5333 NEW BEST:: SOT 102892 SOS 24002 HAS SOPS 21582 HAS SOUS 17289 HAS SOUPS 16526 WITH SCORE 16550.002
AT ITER 5340 NEW BEST:: SOT 102892 SOS 23997 HAS SOPS 21577 HAS SOUS 17289 HAS SOUPS 16526 WITH SCORE 16549.997
AT ITER 5383 NEW BEST:: SOT 102892 SOS 24010 HAS SOPS 21590 HAS SOUS 17281 HAS SOUPS 16518 WITH SCORE 16542.01
AT ITER 5421 NEW BEST:: SOT 102851 SOS 24010 HAS SOPS 21590 HAS SOUS 17240 HAS SOUPS 16477 WITH SCORE 16501.01
AT ITER 5457 NEW BEST:: SOT 102851 SOS 23996 HAS SOPS 21576 HAS SOUS 17240 HAS SOUPS 16477 WITH SCORE 16500.996
AT ITER 5470 NEW BEST:: SOT 102851 SOS 23986 HAS SOPS 21566 HAS SOUS 17240 HAS SOUPS 16477 WITH SCORE 16500.986
AT ITER 5477 NEW BEST:: SOT 102851 SOS 23986 HAS SOPS 21544 HAS SOUS 17238 HAS SOUPS 16475 WITH SCORE 16498.986
AT ITER 5558 NEW BEST:: SOT 102851 SOS 23982 HAS SOPS 21540 HAS SOUS 17237 HAS SOUPS 16474 WITH SCORE 16497.982
AT ITER 5604 NEW BEST:: SOT 102845 SOS 24087 HAS SOPS 21534 HAS SOUS 17245 HAS SOUPS 16459 WITH SCORE 16483.087
AT ITER 5625 NEW BEST:: SOT 102832 SOS 23970 HAS SOPS 21534 HAS SOUS 17232 HAS SOUPS 16459 WITH SCORE 16482.97
AT ITER 5648 NEW BEST:: SOT 102832 SOS 23962 HAS SOPS 21526 HAS SOUS 17230 HAS SOUPS 16457 WITH SCORE 16480.962
AT ITER 5682 NEW BEST:: SOT 102827 SOS 23957 HAS SOPS 21521 HAS SOUS 17220 HAS SOUPS 16447 WITH SCORE 16470.957
AT ITER 5700 NEW BEST:: SOT 102808 SOS 23938 HAS SOPS 21502 HAS SOUS 17205 HAS SOUPS 16432 WITH SCORE 16455.938
AT ITER 5730 NEW BEST:: SOT 102798 SOS 23918 HAS SOPS 21470 HAS SOUS 17186 HAS SOUPS 16413 WITH SCORE 16436.918
AT ITER 5797 NEW BEST:: SOT 102802 SOS 23890 HAS SOPS 21442 HAS SOUS 17163 HAS SOUPS 16390 WITH SCORE 16413.89
AT ITER 5799 NEW BEST:: SOT 102795 SOS 23883 HAS SOPS 21435 HAS SOUS 17156 HAS SOUPS 16383 WITH SCORE 16406.883
AT ITER 5804 NEW BEST:: SOT 102819 SOS 23846 HAS SOPS 21386 HAS SOUS 17155 HAS SOUPS 16370 WITH SCORE 16393.846
AT ITER 5841 NEW BEST:: SOT 102815 SOS 23842 HAS SOPS 21382 HAS SOUS 17151 HAS SOUPS 16366 WITH SCORE 16389.842
AT ITER 5850 NEW BEST:: SOT 102815 SOS 23824 HAS SOPS 21364 HAS SOUS 17151 HAS SOUPS 16366 WITH SCORE 16389.824
AT ITER 5884 NEW BEST:: SOT 102805 SOS 23805 HAS SOPS 21345 HAS SOUS 17137 HAS SOUPS 16352 WITH SCORE 16375.805
AT ITER 5943 NEW BEST:: SOT 102805 SOS 23789 HAS SOPS 21329 HAS SOUS 17137 HAS SOUPS 16352 WITH SCORE 16375.789
AT ITER 5950 NEW BEST:: SOT 102794 SOS 23794 HAS SOPS 21334 HAS SOUS 17131 HAS SOUPS 16346 WITH SCORE 16369.794
AT ITER 5963 NEW BEST:: SOT 102794 SOS 23760 HAS SOPS 21174 HAS SOUS 16971 HAS SOUPS 16186 WITH SCORE 16209.76
AT ITER 5964 NEW BEST:: SOT 102784 SOS 23743 HAS SOPS 21157 HAS SOUS 16954 HAS SOUPS 16169 WITH SCORE 16192.743
AT ITER 5974 NEW BEST:: SOT 102769 SOS 23594 HAS SOPS 21142 HAS SOUS 16924 HAS SOUPS 16154 WITH SCORE 16177.594
AT ITER 5977 NEW BEST:: SOT 102767 SOS 23594 HAS SOPS 21140 HAS SOUS 16922 HAS SOUPS 16152 WITH SCORE 16175.594
AT ITER 6321 NEW BEST:: SOT 102762 SOS 23589 HAS SOPS 21135 HAS SOUS 16917 HAS SOUPS 16147 WITH SCORE 16170.589
AT ITER 6334 NEW BEST:: SOT 102754 SOS 23589 HAS SOPS 21135 HAS SOUS 16909 HAS SOUPS 16139 WITH SCORE 16162.589
AT ITER 6340 NEW BEST:: SOT 102747 SOS 23582 HAS SOPS 21121 HAS SOUS 16895 HAS SOUPS 16125 WITH SCORE 16148.582
AT ITER 6461 NEW BEST:: SOT 102762 SOS 23566 HAS SOPS 21105 HAS SOUS 16887 HAS SOUPS 16117 WITH SCORE 16140.566
AT ITER 6495 NEW BEST:: SOT 102766 SOS 23554 HAS SOPS 21093 HAS SOUS 16879 HAS SOUPS 16109 WITH SCORE 16132.554
AT ITER 6518 NEW BEST:: SOT 102754 SOS 23457 HAS SOPS 21080 HAS SOUS 16861 HAS SOUPS 16103 WITH SCORE 16126.457
AT ITER 6572 NEW BEST:: SOT 102739 SOS 23427 HAS SOPS 21050 HAS SOUS 16831 HAS SOUPS 16073 WITH SCORE 16096.427
AT ITER 6621 NEW BEST:: SOT 102759 SOS 23416 HAS SOPS 20979 HAS SOUS 16782 HAS SOUPS 16024 WITH SCORE 16047.416
AT ITER 6676 NEW BEST:: SOT 102760 SOS 23408 HAS SOPS 20971 HAS SOUS 16779 HAS SOUPS 16021 WITH SCORE 16044.408
AT ITER 6761 NEW BEST:: SOT 102755 SOS 23416 HAS SOPS 20950 HAS SOUS 16766 HAS SOUPS 16008 WITH SCORE 16031.416
AT ITER 6867 NEW BEST:: SOT 102716 SOS 23416 HAS SOPS 20950 HAS SOUS 16727 HAS SOUPS 15969 WITH SCORE 15992.416
AT ITER 6960 NEW BEST:: SOT 102703 SOS 23410 HAS SOPS 20944 HAS SOUS 16708 HAS SOUPS 15950 WITH SCORE 15973.41
AT ITER 6963 NEW BEST:: SOT 102699 SOS 23411 HAS SOPS 20945 HAS SOUS 16705 HAS SOUPS 15947 WITH SCORE 15970.411
AT ITER 7003 NEW BEST:: SOT 102697 SOS 23411 HAS SOPS 20945 HAS SOUS 16703 HAS SOUPS 15945 WITH SCORE 15968.411
AT ITER 7027 NEW BEST:: SOT 102661 SOS 23375 HAS SOPS 20909 HAS SOUS 16672 HAS SOUPS 15914 WITH SCORE 15937.375
AT ITER 7081 NEW BEST:: SOT 102661 SOS 23372 HAS SOPS 20906 HAS SOUS 16672 HAS SOUPS 15914 WITH SCORE 15937.372
AT ITER 7085 NEW BEST:: SOT 102660 SOS 23371 HAS SOPS 20905 HAS SOUS 16670 HAS SOUPS 15912 WITH SCORE 15935.371
AT ITER 7086 NEW BEST:: SOT 102660 SOS 23381 HAS SOPS 20914 HAS SOUS 16670 HAS SOUPS 15911 WITH SCORE 15934.381
AT ITER 7182 NEW BEST:: SOT 102655 SOS 23360 HAS SOPS 20893 HAS SOUS 16665 HAS SOUPS 15906 WITH SCORE 15929.36
AT ITER 7195 NEW BEST:: SOT 102653 SOS 23360 HAS SOPS 20891 HAS SOUS 16663 HAS SOUPS 15904 WITH SCORE 15927.36
AT ITER 7286 NEW BEST:: SOT 102645 SOS 23352 HAS SOPS 20875 HAS SOUS 16647 HAS SOUPS 15888 WITH SCORE 15911.352
AT ITER 7333 NEW BEST:: SOT 102648 SOS 23347 HAS SOPS 20870 HAS SOUS 16647 HAS SOUPS 15888 WITH SCORE 15911.347
AT ITER 7349 NEW BEST:: SOT 102654 SOS 23289 HAS SOPS 20812 HAS SOUS 16627 HAS SOUPS 15868 WITH SCORE 15891.289
AT ITER 7386 NEW BEST:: SOT 102648 SOS 23289 HAS SOPS 20812 HAS SOUS 16621 HAS SOUPS 15862 WITH SCORE 15885.289
AT ITER 7449 NEW BEST:: SOT 102645 SOS 23286 HAS SOPS 20809 HAS SOUS 16621 HAS SOUPS 15862 WITH SCORE 15885.286
AT ITER 7573 NEW BEST:: SOT 102645 SOS 23276 HAS SOPS 20799 HAS SOUS 16618 HAS SOUPS 15859 WITH SCORE 15882.276
AT ITER 7591 NEW BEST:: SOT 102639 SOS 23274 HAS SOPS 20797 HAS SOUS 16612 HAS SOUPS 15853 WITH SCORE 15876.274
AT ITER 7618 NEW BEST:: SOT 102639 SOS 23377 HAS SOPS 20885 HAS SOUS 16611 HAS SOUPS 15838 WITH SCORE 15861.377
AT ITER 7621 NEW BEST:: SOT 102639 SOS 23341 HAS SOPS 20849 HAS SOUS 16611 HAS SOUPS 15838 WITH SCORE 15861.341
AT ITER 7640 NEW BEST:: SOT 102608 SOS 23402 HAS SOPS 20910 HAS SOUS 16603 HAS SOUPS 15830 WITH SCORE 15853.402
AT ITER 7653 NEW BEST:: SOT 102605 SOS 23398 HAS SOPS 20904 HAS SOUS 16597 HAS SOUPS 15824 WITH SCORE 15847.398
AT ITER 7660 NEW BEST:: SOT 102599 SOS 23395 HAS SOPS 20901 HAS SOUS 16592 HAS SOUPS 15819 WITH SCORE 15842.395
AT ITER 7667 NEW BEST:: SOT 102599 SOS 23387 HAS SOPS 20893 HAS SOUS 16592 HAS SOUPS 15819 WITH SCORE 15842.387
AT ITER 7701 NEW BEST:: SOT 102601 SOS 23378 HAS SOPS 20884 HAS SOUS 16585 HAS SOUPS 15812 WITH SCORE 15835.378
AT ITER 7798 NEW BEST:: SOT 102593 SOS 23370 HAS SOPS 20876 HAS SOUS 16573 HAS SOUPS 15800 WITH SCORE 15823.37
AT ITER 7814 NEW BEST:: SOT 102617 SOS 23370 HAS SOPS 20840 HAS SOUS 16557 HAS SOUPS 15784 WITH SCORE 15807.37
AT ITER 7836 NEW BEST:: SOT 102597 SOS 23355 HAS SOPS 20825 HAS SOUS 16522 HAS SOUPS 15749 WITH SCORE 15772.355
AT ITER 7842 NEW BEST:: SOT 102526 SOS 23377 HAS SOPS 20726 HAS SOUS 16480 HAS SOUPS 15677 WITH SCORE 15700.377
AT ITER 7900 NEW BEST:: SOT 102541 SOS 23364 HAS SOPS 20713 HAS SOUS 16479 HAS SOUPS 15676 WITH SCORE 15699.364
AT ITER 7989 NEW BEST:: SOT 102541 SOS 23360 HAS SOPS 20709 HAS SOUS 16479 HAS SOUPS 15676 WITH SCORE 15699.36
AT ITER 8209 NEW BEST:: SOT 102554 SOS 23359 HAS SOPS 20685 HAS SOUS 16495 HAS SOUPS 15669 WITH SCORE 15692.359
AT ITER 8260 NEW BEST:: SOT 102546 SOS 23343 HAS SOPS 20658 HAS SOUS 16468 HAS SOUPS 15642 WITH SCORE 15665.343
AT ITER 8334 NEW BEST:: SOT 102533 SOS 23330 HAS SOPS 20645 HAS SOUS 16429 HAS SOUPS 15603 WITH SCORE 15626.33
AT ITER 8336 NEW BEST:: SOT 102533 SOS 23328 HAS SOPS 20643 HAS SOUS 16429 HAS SOUPS 15603 WITH SCORE 15626.328
AT ITER 8355 NEW BEST:: SOT 102533 SOS 23325 HAS SOPS 20640 HAS SOUS 16426 HAS SOUPS 15600 WITH SCORE 15623.325
AT ITER 8387 NEW BEST:: SOT 102529 SOS 23302 HAS SOPS 20613 HAS SOUS 16422 HAS SOUPS 15592 WITH SCORE 15615.302
AT ITER 8390 NEW BEST:: SOT 102518 SOS 23288 HAS SOPS 20599 HAS SOUS 16408 HAS SOUPS 15578 WITH SCORE 15601.288
AT ITER 8408 NEW BEST:: SOT 102518 SOS 23286 HAS SOPS 20597 HAS SOUS 16406 HAS SOUPS 15576 WITH SCORE 15599.286
AT ITER 8495 NEW BEST:: SOT 102516 SOS 23284 HAS SOPS 20595 HAS SOUS 16404 HAS SOUPS 15574 WITH SCORE 15597.284
AT ITER 8502 NEW BEST:: SOT 102512 SOS 23280 HAS SOPS 20591 HAS SOUS 16396 HAS SOUPS 15566 WITH SCORE 15589.28
AT ITER 8533 NEW BEST:: SOT 102510 SOS 23298 HAS SOPS 20610 HAS SOUS 16392 HAS SOUPS 15562 WITH SCORE 15585.298
AT ITER 8572 NEW BEST:: SOT 102510 SOS 23290 HAS SOPS 20602 HAS SOUS 16391 HAS SOUPS 15561 WITH SCORE 15584.29
AT ITER 8586 NEW BEST:: SOT 102526 SOS 23319 HAS SOPS 20540 HAS SOUS 16331 HAS SOUPS 15501 WITH SCORE 15524.319
AT ITER 8755 NEW BEST:: SOT 102526 SOS 23307 HAS SOPS 20528 HAS SOUS 16324 HAS SOUPS 15494 WITH SCORE 15517.307
AT ITER 8770 NEW BEST:: SOT 102531 SOS 23309 HAS SOPS 20513 HAS SOUS 16309 HAS SOUPS 15479 WITH SCORE 15502.309
AT ITER 8779 NEW BEST:: SOT 102524 SOS 23302 HAS SOPS 20506 HAS SOUS 16295 HAS SOUPS 15465 WITH SCORE 15488.302
AT ITER 8904 NEW BEST:: SOT 102524 SOS 23271 HAS SOPS 20475 HAS SOUS 16291 HAS SOUPS 15461 WITH SCORE 15484.271
AT ITER 8913 NEW BEST:: SOT 102515 SOS 23262 HAS SOPS 20466 HAS SOUS 16273 HAS SOUPS 15443 WITH SCORE 15466.262
AT ITER 8950 NEW BEST:: SOT 102515 SOS 23260 HAS SOPS 20464 HAS SOUS 16271 HAS SOUPS 15441 WITH SCORE 15464.26
AT ITER 9021 NEW BEST:: SOT 102504 SOS 23260 HAS SOPS 20464 HAS SOUS 16260 HAS SOUPS 15430 WITH SCORE 15453.26
AT ITER 9032 NEW BEST:: SOT 102502 SOS 23256 HAS SOPS 20460 HAS SOUS 16256 HAS SOUPS 15426 WITH SCORE 15449.256
AT ITER 9143 NEW BEST:: SOT 102491 SOS 23236 HAS SOPS 20440 HAS SOUS 16236 HAS SOUPS 15406 WITH SCORE 15429.236
AT ITER 9160 NEW BEST:: SOT 102474 SOS 23182 HAS SOPS 20386 HAS SOUS 16205 HAS SOUPS 15375 WITH SCORE 15398.182
AT ITER 9188 NEW BEST:: SOT 102474 SOS 23189 HAS SOPS 20393 HAS SOUS 16192 HAS SOUPS 15362 WITH SCORE 15385.189
AT ITER 9433 NEW BEST:: SOT 102468 SOS 23183 HAS SOPS 20381 HAS SOUS 16180 HAS SOUPS 15350 WITH SCORE 15373.183
AT ITER 9481 NEW BEST:: SOT 102467 SOS 23182 HAS SOPS 20380 HAS SOUS 16179 HAS SOUPS 15349 WITH SCORE 15372.182
AT ITER 9490 NEW BEST:: SOT 102453 SOS 23168 HAS SOPS 20366 HAS SOUS 16165 HAS SOUPS 15335 WITH SCORE 15358.168
AT ITER 9628 NEW BEST:: SOT 102453 SOS 23167 HAS SOPS 20365 HAS SOUS 16165 HAS SOUPS 15335 WITH SCORE 15358.167
AT ITER 9670 NEW BEST:: SOT 102452 SOS 23162 HAS SOPS 20359 HAS SOUS 16163 HAS SOUPS 15333 WITH SCORE 15356.162
AT ITER 9717 NEW BEST:: SOT 102452 SOS 23162 HAS SOPS 20359 HAS SOUS 16159 HAS SOUPS 15329 WITH SCORE 15352.162
AT ITER 9721 NEW BEST:: SOT 102451 SOS 23145 HAS SOPS 20342 HAS SOUS 16157 HAS SOUPS 15327 WITH SCORE 15350.145
AT ITER 9743 NEW BEST:: SOT 102405 SOS 23156 HAS SOPS 20295 HAS SOUS 16124 HAS SOUPS 15277 WITH SCORE 15300.156
AT ITER 9771 NEW BEST:: SOT 102402 SOS 23153 HAS SOPS 20292 HAS SOUS 16118 HAS SOUPS 15271 WITH SCORE 15294.153
AT ITER 9952 NEW BEST:: SOT 102402 SOS 23153 HAS SOPS 20292 HAS SOUS 16115 HAS SOUPS 15268 WITH SCORE 15291.153
AT ITER 9953 NEW BEST:: SOT 102403 SOS 23154 HAS SOPS 20293 HAS SOUS 16112 HAS SOUPS 15265 WITH SCORE 15288.154
AT ITER 9990 NEW BEST:: SOT 102403 SOS 23152 HAS SOPS 20291 HAS SOUS 16110 HAS SOUPS 15263 WITH SCORE 15286.152
STATE_SPACE STATES 2465267306 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9874895169 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678659741841
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="LeafsetExtension-PT-S08C4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is LeafsetExtension-PT-S08C4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856421800472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S08C4.tgz
mv LeafsetExtension-PT-S08C4 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 ;