About the Execution of Smart+red for GPUForwardProgress-PT-24b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1619.888 | 3600000.00 | 3631338.00 | 14536.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r203-smll-167840349100096.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 GPUForwardProgress-PT-24b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100096
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 122K 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 1678536211442
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=GPUForwardProgress-PT-24b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 12:03:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 12:03:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 12:03:35] [INFO ] Load time of PNML (sax parser for PT used): 154 ms
[2023-03-11 12:03:35] [INFO ] Transformed 492 places.
[2023-03-11 12:03:35] [INFO ] Transformed 517 transitions.
[2023-03-11 12:03:35] [INFO ] Found NUPN structural information;
[2023-03-11 12:03:35] [INFO ] Parsed PT model containing 492 places and 517 transitions and 1277 arcs in 329 ms.
[2023-03-11 12:03:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 492 places, 517 transitions and 1277 arcs took 14 ms.
Total runtime 405 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 24b
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: 492 places, 517 transitions, 1277 arcs.
AT ITER 0 NEW BEST:: SOT 143458 SOS 39634 HAS SOPS 39634 HAS SOUS 36093 HAS SOUPS 36093 WITH SCORE 36132.634
AT ITER 6 NEW BEST:: SOT 143424 SOS 39581 HAS SOPS 39581 HAS SOUS 36059 HAS SOUPS 36059 WITH SCORE 36098.581
AT ITER 7 NEW BEST:: SOT 143424 SOS 39487 HAS SOPS 39487 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36004.487
AT ITER 14 NEW BEST:: SOT 143358 SOS 39412 HAS SOPS 39412 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35938.412
AT ITER 25 NEW BEST:: SOT 143355 SOS 39409 HAS SOPS 39409 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35938.409
AT ITER 26 NEW BEST:: SOT 143355 SOS 39361 HAS SOPS 39361 HAS SOUS 35875 HAS SOUPS 35875 WITH SCORE 35914.361
AT ITER 28 NEW BEST:: SOT 143377 SOS 39338 HAS SOPS 39338 HAS SOUS 35867 HAS SOUPS 35867 WITH SCORE 35906.338
AT ITER 33 NEW BEST:: SOT 143377 SOS 39338 HAS SOPS 39338 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35905.338
AT ITER 37 NEW BEST:: SOT 143355 SOS 39327 HAS SOPS 39327 HAS SOUS 35854 HAS SOUPS 35854 WITH SCORE 35893.327
AT ITER 40 NEW BEST:: SOT 143351 SOS 39283 HAS SOPS 39283 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35891.283
AT ITER 56 NEW BEST:: SOT 143351 SOS 39207 HAS SOPS 39207 HAS SOUS 35792 HAS SOUPS 35792 WITH SCORE 35831.207
AT ITER 72 NEW BEST:: SOT 143328 SOS 39184 HAS SOPS 39184 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35828.184
AT ITER 95 NEW BEST:: SOT 143254 SOS 39147 HAS SOPS 39147 HAS SOUS 35752 HAS SOUPS 35752 WITH SCORE 35791.147
AT ITER 103 NEW BEST:: SOT 143253 SOS 39146 HAS SOPS 39146 HAS SOUS 35751 HAS SOUPS 35751 WITH SCORE 35790.146
AT ITER 116 NEW BEST:: SOT 143240 SOS 39120 HAS SOPS 39120 HAS SOUS 35725 HAS SOUPS 35725 WITH SCORE 35764.12
AT ITER 120 NEW BEST:: SOT 143288 SOS 39026 HAS SOPS 39026 HAS SOUS 35707 HAS SOUPS 35707 WITH SCORE 35746.026
AT ITER 129 NEW BEST:: SOT 143288 SOS 39026 HAS SOPS 39026 HAS SOUS 35706 HAS SOUPS 35706 WITH SCORE 35745.026
AT ITER 135 NEW BEST:: SOT 143259 SOS 38973 HAS SOPS 38973 HAS SOUS 35677 HAS SOUPS 35677 WITH SCORE 35715.973
AT ITER 146 NEW BEST:: SOT 141901 SOS 46271 HAS SOPS 46271 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34698.271
AT ITER 151 NEW BEST:: SOT 141832 SOS 46133 HAS SOPS 46133 HAS SOUS 34514 HAS SOUPS 34514 WITH SCORE 34560.133
AT ITER 158 NEW BEST:: SOT 141832 SOS 46133 HAS SOPS 46133 HAS SOUS 34508 HAS SOUPS 34508 WITH SCORE 34554.133
AT ITER 171 NEW BEST:: SOT 141809 SOS 46087 HAS SOPS 46087 HAS SOUS 34462 HAS SOUPS 34462 WITH SCORE 34508.087
AT ITER 176 NEW BEST:: SOT 141803 SOS 46071 HAS SOPS 46071 HAS SOUS 34446 HAS SOUPS 34446 WITH SCORE 34492.071
AT ITER 178 NEW BEST:: SOT 141812 SOS 45993 HAS SOPS 45993 HAS SOUS 34407 HAS SOUPS 34407 WITH SCORE 34452.993
AT ITER 188 NEW BEST:: SOT 141821 SOS 45886 HAS SOPS 45886 HAS SOUS 34385 HAS SOUPS 34385 WITH SCORE 34430.886
AT ITER 198 NEW BEST:: SOT 141820 SOS 45884 HAS SOPS 45884 HAS SOUS 34383 HAS SOUPS 34383 WITH SCORE 34428.884
AT ITER 221 NEW BEST:: SOT 141820 SOS 45884 HAS SOPS 45884 HAS SOUS 34382 HAS SOUPS 34382 WITH SCORE 34427.884
AT ITER 237 NEW BEST:: SOT 141694 SOS 45758 HAS SOPS 45758 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34394.758
AT ITER 245 NEW BEST:: SOT 141694 SOS 45641 HAS SOPS 45641 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34394.641
AT ITER 279 NEW BEST:: SOT 141754 SOS 45635 HAS SOPS 45635 HAS SOUS 34346 HAS SOUPS 34346 WITH SCORE 34391.635
AT ITER 281 NEW BEST:: SOT 141701 SOS 45529 HAS SOPS 45529 HAS SOUS 34322 HAS SOUPS 34322 WITH SCORE 34367.529
AT ITER 282 NEW BEST:: SOT 141670 SOS 45498 HAS SOPS 45498 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34336.498
AT ITER 310 NEW BEST:: SOT 141670 SOS 45456 HAS SOPS 45456 HAS SOUS 34290 HAS SOUPS 34290 WITH SCORE 34335.456
AT ITER 336 NEW BEST:: SOT 141685 SOS 45381 HAS SOPS 45381 HAS SOUS 34254 HAS SOUPS 34254 WITH SCORE 34299.381
AT ITER 343 NEW BEST:: SOT 141685 SOS 45381 HAS SOPS 45381 HAS SOUS 34253 HAS SOUPS 34253 WITH SCORE 34298.381
AT ITER 361 NEW BEST:: SOT 141662 SOS 45235 HAS SOPS 45235 HAS SOUS 34188 HAS SOUPS 34188 WITH SCORE 34233.235
AT ITER 410 NEW BEST:: SOT 141617 SOS 45166 HAS SOPS 45166 HAS SOUS 34119 HAS SOUPS 34119 WITH SCORE 34164.166
AT ITER 418 NEW BEST:: SOT 141599 SOS 45130 HAS SOPS 45130 HAS SOUS 34083 HAS SOUPS 34083 WITH SCORE 34128.13
AT ITER 428 NEW BEST:: SOT 141537 SOS 45006 HAS SOPS 45006 HAS SOUS 34021 HAS SOUPS 34021 WITH SCORE 34066.006
AT ITER 454 NEW BEST:: SOT 141537 SOS 44957 HAS SOPS 44957 HAS SOUS 34021 HAS SOUPS 34021 WITH SCORE 34065.957
AT ITER 466 NEW BEST:: SOT 141537 SOS 44957 HAS SOPS 44957 HAS SOUS 34020 HAS SOUPS 34020 WITH SCORE 34064.957
AT ITER 469 NEW BEST:: SOT 141537 SOS 44957 HAS SOPS 44957 HAS SOUS 34015 HAS SOUPS 34015 WITH SCORE 34059.957
AT ITER 515 NEW BEST:: SOT 141536 SOS 44955 HAS SOPS 44955 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34057.955
AT ITER 523 NEW BEST:: SOT 141536 SOS 44933 HAS SOPS 44933 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34057.933
AT ITER 527 NEW BEST:: SOT 141536 SOS 44909 HAS SOPS 44909 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34057.909
AT ITER 556 NEW BEST:: SOT 141503 SOS 44843 HAS SOPS 44843 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33947.843
AT ITER 559 NEW BEST:: SOT 141513 SOS 44841 HAS SOPS 44841 HAS SOUS 33901 HAS SOUPS 33901 WITH SCORE 33945.841
AT ITER 561 NEW BEST:: SOT 141506 SOS 44827 HAS SOPS 44827 HAS SOUS 33893 HAS SOUPS 33893 WITH SCORE 33937.827
AT ITER 599 NEW BEST:: SOT 141506 SOS 44699 HAS SOPS 44699 HAS SOUS 33850 HAS SOUPS 33850 WITH SCORE 33894.699
AT ITER 620 NEW BEST:: SOT 141506 SOS 44682 HAS SOPS 44682 HAS SOUS 33833 HAS SOUPS 33833 WITH SCORE 33877.682
AT ITER 627 NEW BEST:: SOT 141496 SOS 44662 HAS SOPS 44662 HAS SOUS 33813 HAS SOUPS 33813 WITH SCORE 33857.662
AT ITER 629 NEW BEST:: SOT 141503 SOS 44645 HAS SOPS 44645 HAS SOUS 33796 HAS SOUPS 33796 WITH SCORE 33840.645
AT ITER 630 NEW BEST:: SOT 141503 SOS 44645 HAS SOPS 44645 HAS SOUS 33795 HAS SOUPS 33795 WITH SCORE 33839.645
AT ITER 635 NEW BEST:: SOT 141443 SOS 44525 HAS SOPS 44525 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33779.525
AT ITER 669 NEW BEST:: SOT 141073 SOS 44177 HAS SOPS 44177 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33431.177
AT ITER 721 NEW BEST:: SOT 141017 SOS 44065 HAS SOPS 44065 HAS SOUS 33349 HAS SOUPS 33349 WITH SCORE 33393.065
AT ITER 771 NEW BEST:: SOT 141017 SOS 44024 HAS SOPS 44024 HAS SOUS 33308 HAS SOUPS 33308 WITH SCORE 33352.024
AT ITER 773 NEW BEST:: SOT 140977 SOS 43944 HAS SOPS 43944 HAS SOUS 33241 HAS SOUPS 33241 WITH SCORE 33284.944
AT ITER 792 NEW BEST:: SOT 140977 SOS 43941 HAS SOPS 43941 HAS SOUS 33238 HAS SOUPS 33238 WITH SCORE 33281.941
AT ITER 807 NEW BEST:: SOT 140977 SOS 43940 HAS SOPS 43940 HAS SOUS 33238 HAS SOUPS 33238 WITH SCORE 33281.94
AT ITER 812 NEW BEST:: SOT 140977 SOS 43912 HAS SOPS 43912 HAS SOUS 33224 HAS SOUPS 33224 WITH SCORE 33267.912
AT ITER 818 NEW BEST:: SOT 140970 SOS 43898 HAS SOPS 43898 HAS SOUS 33162 HAS SOUPS 33162 WITH SCORE 33205.898
AT ITER 849 NEW BEST:: SOT 140970 SOS 43764 HAS SOPS 43764 HAS SOUS 33095 HAS SOUPS 33095 WITH SCORE 33138.764
AT ITER 850 NEW BEST:: SOT 140966 SOS 43795 HAS SOPS 43795 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33137.795
AT ITER 862 NEW BEST:: SOT 140910 SOS 43739 HAS SOPS 43739 HAS SOUS 33038 HAS SOUPS 33038 WITH SCORE 33081.739
AT ITER 866 NEW BEST:: SOT 140783 SOS 43892 HAS SOPS 43892 HAS SOUS 32972 HAS SOUPS 32972 WITH SCORE 33015.892
AT ITER 871 NEW BEST:: SOT 140764 SOS 43854 HAS SOPS 43854 HAS SOUS 32952 HAS SOUPS 32952 WITH SCORE 32995.854
AT ITER 874 NEW BEST:: SOT 140764 SOS 43854 HAS SOPS 43854 HAS SOUS 32945 HAS SOUPS 32945 WITH SCORE 32988.854
AT ITER 913 NEW BEST:: SOT 140764 SOS 43816 HAS SOPS 43816 HAS SOUS 32945 HAS SOUPS 32945 WITH SCORE 32988.816
AT ITER 956 NEW BEST:: SOT 140759 SOS 43806 HAS SOPS 43806 HAS SOUS 32935 HAS SOUPS 32935 WITH SCORE 32978.806
AT ITER 983 NEW BEST:: SOT 140657 SOS 43602 HAS SOPS 43602 HAS SOUS 32840 HAS SOUPS 32840 WITH SCORE 32883.602
AT ITER 985 NEW BEST:: SOT 140657 SOS 43512 HAS SOPS 43512 HAS SOUS 32840 HAS SOUPS 32840 WITH SCORE 32883.512
AT ITER 989 NEW BEST:: SOT 140629 SOS 43379 HAS SOPS 43379 HAS SOUS 32707 HAS SOUPS 32707 WITH SCORE 32750.379
AT ITER 1010 NEW BEST:: SOT 140629 SOS 43379 HAS SOPS 43379 HAS SOUS 32706 HAS SOUPS 32706 WITH SCORE 32749.379
AT ITER 1020 NEW BEST:: SOT 140687 SOS 43269 HAS SOPS 43269 HAS SOUS 32671 HAS SOUPS 32671 WITH SCORE 32714.269
AT ITER 1024 NEW BEST:: SOT 140683 SOS 43261 HAS SOPS 43261 HAS SOUS 32663 HAS SOUPS 32663 WITH SCORE 32706.261
AT ITER 1037 NEW BEST:: SOT 140650 SOS 43214 HAS SOPS 43214 HAS SOUS 32635 HAS SOUPS 32635 WITH SCORE 32678.214
AT ITER 1054 NEW BEST:: SOT 140650 SOS 43214 HAS SOPS 43214 HAS SOUS 32634 HAS SOUPS 32634 WITH SCORE 32677.214
AT ITER 1055 NEW BEST:: SOT 140650 SOS 43213 HAS SOPS 43213 HAS SOUS 32633 HAS SOUPS 32633 WITH SCORE 32676.213
AT ITER 1070 NEW BEST:: SOT 140639 SOS 43191 HAS SOPS 43191 HAS SOUS 32611 HAS SOUPS 32611 WITH SCORE 32654.191
AT ITER 1084 NEW BEST:: SOT 140680 SOS 43107 HAS SOPS 43107 HAS SOUS 32590 HAS SOUPS 32590 WITH SCORE 32633.107
AT ITER 1092 NEW BEST:: SOT 140596 SOS 43024 HAS SOPS 43024 HAS SOUS 32507 HAS SOUPS 32507 WITH SCORE 32550.024
AT ITER 1118 NEW BEST:: SOT 140577 SOS 42986 HAS SOPS 42986 HAS SOUS 32415 HAS SOUPS 32415 WITH SCORE 32457.986
AT ITER 1123 NEW BEST:: SOT 140577 SOS 42968 HAS SOPS 42968 HAS SOUS 32397 HAS SOUPS 32397 WITH SCORE 32439.968
AT ITER 1149 NEW BEST:: SOT 140529 SOS 40472 HAS SOPS 40472 HAS SOUS 32349 HAS SOUPS 32349 WITH SCORE 32389.472
AT ITER 1172 NEW BEST:: SOT 140529 SOS 40448 HAS SOPS 40448 HAS SOUS 32325 HAS SOUPS 32325 WITH SCORE 32365.448
AT ITER 1173 NEW BEST:: SOT 140505 SOS 40400 HAS SOPS 40400 HAS SOUS 32277 HAS SOUPS 32277 WITH SCORE 32317.4
AT ITER 1189 NEW BEST:: SOT 140513 SOS 40288 HAS SOPS 40288 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32261.288
AT ITER 1203 NEW BEST:: SOT 140501 SOS 40277 HAS SOPS 40277 HAS SOUS 32210 HAS SOUPS 32210 WITH SCORE 32250.277
AT ITER 1273 NEW BEST:: SOT 140496 SOS 40267 HAS SOPS 40267 HAS SOUS 32200 HAS SOUPS 32200 WITH SCORE 32240.267
AT ITER 1274 NEW BEST:: SOT 140509 SOS 40213 HAS SOPS 40213 HAS SOUS 32173 HAS SOUPS 32173 WITH SCORE 32213.213
AT ITER 1288 NEW BEST:: SOT 140477 SOS 40149 HAS SOPS 40149 HAS SOUS 32141 HAS SOUPS 32141 WITH SCORE 32181.149
AT ITER 1295 NEW BEST:: SOT 140481 SOS 40125 HAS SOPS 40125 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32173.125
AT ITER 1314 NEW BEST:: SOT 140419 SOS 40001 HAS SOPS 40001 HAS SOUS 32036 HAS SOUPS 32036 WITH SCORE 32076.001
AT ITER 1326 NEW BEST:: SOT 140407 SOS 39977 HAS SOPS 39977 HAS SOUS 32012 HAS SOUPS 32012 WITH SCORE 32051.977
AT ITER 1368 NEW BEST:: SOT 140393 SOS 39964 HAS SOPS 39964 HAS SOUS 31999 HAS SOUPS 31999 WITH SCORE 32038.964
AT ITER 1375 NEW BEST:: SOT 140390 SOS 39958 HAS SOPS 39958 HAS SOUS 31993 HAS SOUPS 31993 WITH SCORE 32032.958
AT ITER 1413 NEW BEST:: SOT 140388 SOS 39954 HAS SOPS 39954 HAS SOUS 31989 HAS SOUPS 31989 WITH SCORE 32028.954
AT ITER 1423 NEW BEST:: SOT 140388 SOS 39954 HAS SOPS 39954 HAS SOUS 31936 HAS SOUPS 31936 WITH SCORE 31975.954
AT ITER 1439 NEW BEST:: SOT 140324 SOS 39949 HAS SOPS 39949 HAS SOUS 31899 HAS SOUPS 31899 WITH SCORE 31938.949
AT ITER 1441 NEW BEST:: SOT 140323 SOS 39948 HAS SOPS 39948 HAS SOUS 31897 HAS SOUPS 31897 WITH SCORE 31936.948
AT ITER 1469 NEW BEST:: SOT 140315 SOS 39932 HAS SOPS 39932 HAS SOUS 31842 HAS SOUPS 31842 WITH SCORE 31881.932
AT ITER 1479 NEW BEST:: SOT 140305 SOS 39912 HAS SOPS 39912 HAS SOUS 31822 HAS SOUPS 31822 WITH SCORE 31861.912
AT ITER 1498 NEW BEST:: SOT 140305 SOS 39912 HAS SOPS 39912 HAS SOUS 31802 HAS SOUPS 31802 WITH SCORE 31841.912
AT ITER 1523 NEW BEST:: SOT 140303 SOS 39868 HAS SOPS 39868 HAS SOUS 31798 HAS SOUPS 31798 WITH SCORE 31837.868
AT ITER 1524 NEW BEST:: SOT 140345 SOS 39790 HAS SOPS 39790 HAS SOUS 31759 HAS SOUPS 31759 WITH SCORE 31798.79
AT ITER 1548 NEW BEST:: SOT 140344 SOS 39770 HAS SOPS 39770 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31778.77
AT ITER 1587 NEW BEST:: SOT 140343 SOS 39768 HAS SOPS 39768 HAS SOUS 31737 HAS SOUPS 31737 WITH SCORE 31776.768
AT ITER 1630 NEW BEST:: SOT 140338 SOS 39758 HAS SOPS 39758 HAS SOUS 31721 HAS SOUPS 31721 WITH SCORE 31760.758
AT ITER 1635 NEW BEST:: SOT 140325 SOS 39730 HAS SOPS 39730 HAS SOUS 31693 HAS SOUPS 31693 WITH SCORE 31732.73
AT ITER 1655 NEW BEST:: SOT 140321 SOS 39722 HAS SOPS 39722 HAS SOUS 31685 HAS SOUPS 31685 WITH SCORE 31724.722
AT ITER 1693 NEW BEST:: SOT 140317 SOS 39714 HAS SOPS 39714 HAS SOUS 31668 HAS SOUPS 31668 WITH SCORE 31707.714
AT ITER 1697 NEW BEST:: SOT 140311 SOS 39702 HAS SOPS 39702 HAS SOUS 31656 HAS SOUPS 31656 WITH SCORE 31695.702
AT ITER 1700 NEW BEST:: SOT 140311 SOS 39702 HAS SOPS 39702 HAS SOUS 31652 HAS SOUPS 31652 WITH SCORE 31691.702
AT ITER 1710 NEW BEST:: SOT 140294 SOS 39668 HAS SOPS 39668 HAS SOUS 31618 HAS SOUPS 31618 WITH SCORE 31657.668
AT ITER 1719 NEW BEST:: SOT 140294 SOS 39621 HAS SOPS 39621 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31610.621
AT ITER 1745 NEW BEST:: SOT 140288 SOS 39609 HAS SOPS 39609 HAS SOUS 31559 HAS SOUPS 31559 WITH SCORE 31598.609
AT ITER 1755 NEW BEST:: SOT 140288 SOS 39584 HAS SOPS 39584 HAS SOUS 31534 HAS SOUPS 31534 WITH SCORE 31573.584
AT ITER 1759 NEW BEST:: SOT 140222 SOS 39518 HAS SOPS 39518 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31441.518
AT ITER 1783 NEW BEST:: SOT 140222 SOS 39463 HAS SOPS 39463 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31441.463
AT ITER 1820 NEW BEST:: SOT 140217 SOS 39453 HAS SOPS 39453 HAS SOUS 31392 HAS SOUPS 31392 WITH SCORE 31431.453
AT ITER 1825 NEW BEST:: SOT 140217 SOS 39385 HAS SOPS 39385 HAS SOUS 31358 HAS SOUPS 31358 WITH SCORE 31397.385
AT ITER 1837 NEW BEST:: SOT 140213 SOS 39383 HAS SOPS 39383 HAS SOUS 31357 HAS SOUPS 31357 WITH SCORE 31396.383
AT ITER 1854 NEW BEST:: SOT 140212 SOS 39382 HAS SOPS 39382 HAS SOUS 31355 HAS SOUPS 31355 WITH SCORE 31394.382
AT ITER 1857 NEW BEST:: SOT 140195 SOS 39348 HAS SOPS 39348 HAS SOUS 31321 HAS SOUPS 31321 WITH SCORE 31360.348
AT ITER 1865 NEW BEST:: SOT 140109 SOS 36655 HAS SOPS 36655 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31254.655
AT ITER 1887 NEW BEST:: SOT 140092 SOS 36585 HAS SOPS 36585 HAS SOUS 31148 HAS SOUPS 31148 WITH SCORE 31184.585
AT ITER 1914 NEW BEST:: SOT 140089 SOS 36579 HAS SOPS 36579 HAS SOUS 31142 HAS SOUPS 31142 WITH SCORE 31178.579
AT ITER 1935 NEW BEST:: SOT 140074 SOS 36564 HAS SOPS 36564 HAS SOUS 31127 HAS SOUPS 31127 WITH SCORE 31163.564
AT ITER 1937 NEW BEST:: SOT 140032 SOS 36529 HAS SOPS 36529 HAS SOUS 31092 HAS SOUPS 31092 WITH SCORE 31128.529
AT ITER 1952 NEW BEST:: SOT 140032 SOS 36529 HAS SOPS 36529 HAS SOUS 31049 HAS SOUPS 31049 WITH SCORE 31085.529
AT ITER 1957 NEW BEST:: SOT 140032 SOS 36529 HAS SOPS 36529 HAS SOUS 31043 HAS SOUPS 31043 WITH SCORE 31079.529
AT ITER 1973 NEW BEST:: SOT 140028 SOS 36525 HAS SOPS 36525 HAS SOUS 31035 HAS SOUPS 31035 WITH SCORE 31071.525
AT ITER 1980 NEW BEST:: SOT 140014 SOS 36511 HAS SOPS 36511 HAS SOUS 31021 HAS SOUPS 31021 WITH SCORE 31057.511
AT ITER 1994 NEW BEST:: SOT 140014 SOS 36493 HAS SOPS 36493 HAS SOUS 31012 HAS SOUPS 31012 WITH SCORE 31048.493
AT ITER 2000 NEW BEST:: SOT 140030 SOS 36463 HAS SOPS 36463 HAS SOUS 30999 HAS SOUPS 30999 WITH SCORE 31035.463
AT ITER 2006 NEW BEST:: SOT 140010 SOS 36443 HAS SOPS 36443 HAS SOUS 30979 HAS SOUPS 30979 WITH SCORE 31015.443
AT ITER 2017 NEW BEST:: SOT 140010 SOS 36443 HAS SOPS 36443 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30950.443
AT ITER 2028 NEW BEST:: SOT 140009 SOS 36439 HAS SOPS 36439 HAS SOUS 30912 HAS SOUPS 30912 WITH SCORE 30948.439
AT ITER 2030 NEW BEST:: SOT 140005 SOS 36435 HAS SOPS 36435 HAS SOUS 30908 HAS SOUPS 30908 WITH SCORE 30944.435
AT ITER 2046 NEW BEST:: SOT 140007 SOS 36342 HAS SOPS 36342 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30851.342
AT ITER 2048 NEW BEST:: SOT 139956 SOS 36256 HAS SOPS 36256 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30790.256
AT ITER 2051 NEW BEST:: SOT 139936 SOS 36216 HAS SOPS 36216 HAS SOUS 30714 HAS SOUPS 30714 WITH SCORE 30750.216
AT ITER 2057 NEW BEST:: SOT 139936 SOS 36207 HAS SOPS 36207 HAS SOUS 30705 HAS SOUPS 30705 WITH SCORE 30741.207
AT ITER 2062 NEW BEST:: SOT 139923 SOS 36181 HAS SOPS 36181 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30728.181
AT ITER 2071 NEW BEST:: SOT 139923 SOS 36181 HAS SOPS 36181 HAS SOUS 30689 HAS SOUPS 30689 WITH SCORE 30725.181
AT ITER 2073 NEW BEST:: SOT 139911 SOS 36157 HAS SOPS 36157 HAS SOUS 30665 HAS SOUPS 30665 WITH SCORE 30701.157
AT ITER 2079 NEW BEST:: SOT 139901 SOS 36126 HAS SOPS 36126 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30681.126
AT ITER 2084 NEW BEST:: SOT 139901 SOS 36106 HAS SOPS 36106 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30661.106
AT ITER 2091 NEW BEST:: SOT 139904 SOS 36112 HAS SOPS 36112 HAS SOUS 30589 HAS SOUPS 30589 WITH SCORE 30625.112
AT ITER 2105 NEW BEST:: SOT 139858 SOS 36099 HAS SOPS 36099 HAS SOUS 30576 HAS SOUPS 30576 WITH SCORE 30612.099
AT ITER 2107 NEW BEST:: SOT 139843 SOS 36069 HAS SOPS 36069 HAS SOUS 30546 HAS SOUPS 30546 WITH SCORE 30582.069
AT ITER 2127 NEW BEST:: SOT 139827 SOS 35984 HAS SOPS 35984 HAS SOUS 30477 HAS SOUPS 30477 WITH SCORE 30512.984
AT ITER 2170 NEW BEST:: SOT 139827 SOS 35964 HAS SOPS 35964 HAS SOUS 30457 HAS SOUPS 30457 WITH SCORE 30492.964
AT ITER 2183 NEW BEST:: SOT 139813 SOS 35936 HAS SOPS 35936 HAS SOUS 30429 HAS SOUPS 30429 WITH SCORE 30464.936
AT ITER 2203 NEW BEST:: SOT 139839 SOS 35902 HAS SOPS 35902 HAS SOUS 30415 HAS SOUPS 30415 WITH SCORE 30450.902
AT ITER 2219 NEW BEST:: SOT 139818 SOS 35894 HAS SOPS 35894 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30442.894
AT ITER 2235 NEW BEST:: SOT 139807 SOS 35872 HAS SOPS 35872 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30436.872
AT ITER 2242 NEW BEST:: SOT 139807 SOS 35871 HAS SOPS 35871 HAS SOUS 30400 HAS SOUPS 30400 WITH SCORE 30435.871
AT ITER 2266 NEW BEST:: SOT 139807 SOS 35871 HAS SOPS 35871 HAS SOUS 30399 HAS SOUPS 30399 WITH SCORE 30434.871
AT ITER 2276 NEW BEST:: SOT 139804 SOS 35865 HAS SOPS 35865 HAS SOUS 30393 HAS SOUPS 30393 WITH SCORE 30428.865
AT ITER 2290 NEW BEST:: SOT 139804 SOS 35865 HAS SOPS 35865 HAS SOUS 30390 HAS SOUPS 30390 WITH SCORE 30425.865
AT ITER 2299 NEW BEST:: SOT 139799 SOS 35855 HAS SOPS 35855 HAS SOUS 30281 HAS SOUPS 30281 WITH SCORE 30316.855
AT ITER 2361 NEW BEST:: SOT 139797 SOS 35851 HAS SOPS 35851 HAS SOUS 30279 HAS SOUPS 30279 WITH SCORE 30314.851
AT ITER 2367 NEW BEST:: SOT 139777 SOS 35821 HAS SOPS 35821 HAS SOUS 30259 HAS SOUPS 30259 WITH SCORE 30294.821
AT ITER 2405 NEW BEST:: SOT 139776 SOS 35820 HAS SOPS 35820 HAS SOUS 30257 HAS SOUPS 30257 WITH SCORE 30292.82
AT ITER 2447 NEW BEST:: SOT 139794 SOS 35811 HAS SOPS 35811 HAS SOUS 30248 HAS SOUPS 30248 WITH SCORE 30283.811
AT ITER 2462 NEW BEST:: SOT 139792 SOS 35807 HAS SOPS 35807 HAS SOUS 30242 HAS SOUPS 30242 WITH SCORE 30277.807
AT ITER 2468 NEW BEST:: SOT 139787 SOS 35797 HAS SOPS 35797 HAS SOUS 30232 HAS SOUPS 30232 WITH SCORE 30267.797
AT ITER 2528 NEW BEST:: SOT 139790 SOS 35791 HAS SOPS 35791 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30261.791
AT ITER 2555 NEW BEST:: SOT 139794 SOS 35747 HAS SOPS 35747 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30217.747
AT ITER 2557 NEW BEST:: SOT 139762 SOS 35715 HAS SOPS 35715 HAS SOUS 30150 HAS SOUPS 30150 WITH SCORE 30185.715
AT ITER 2585 NEW BEST:: SOT 139749 SOS 35689 HAS SOPS 35689 HAS SOUS 30124 HAS SOUPS 30124 WITH SCORE 30159.689
AT ITER 2597 NEW BEST:: SOT 139828 SOS 35670 HAS SOPS 35670 HAS SOUS 30105 HAS SOUPS 30105 WITH SCORE 30140.67
AT ITER 2637 NEW BEST:: SOT 139694 SOS 35513 HAS SOPS 35513 HAS SOUS 29948 HAS SOUPS 29948 WITH SCORE 29983.513
AT ITER 2640 NEW BEST:: SOT 139693 SOS 35511 HAS SOPS 35511 HAS SOUS 29946 HAS SOUPS 29946 WITH SCORE 29981.511
AT ITER 2645 NEW BEST:: SOT 139673 SOS 35471 HAS SOPS 35471 HAS SOUS 29906 HAS SOUPS 29906 WITH SCORE 29941.471
AT ITER 2651 NEW BEST:: SOT 139671 SOS 35467 HAS SOPS 35467 HAS SOUS 29902 HAS SOUPS 29902 WITH SCORE 29937.467
AT ITER 2668 NEW BEST:: SOT 139668 SOS 35461 HAS SOPS 35461 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29931.461
AT ITER 2678 NEW BEST:: SOT 139654 SOS 35426 HAS SOPS 35426 HAS SOUS 29861 HAS SOUPS 29861 WITH SCORE 29896.426
AT ITER 2690 NEW BEST:: SOT 139659 SOS 35421 HAS SOPS 35421 HAS SOUS 29856 HAS SOUPS 29856 WITH SCORE 29891.421
AT ITER 2698 NEW BEST:: SOT 139674 SOS 35392 HAS SOPS 35392 HAS SOUS 29827 HAS SOUPS 29827 WITH SCORE 29862.392
AT ITER 2700 NEW BEST:: SOT 139663 SOS 35370 HAS SOPS 35370 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29840.37
AT ITER 2705 NEW BEST:: SOT 139641 SOS 35326 HAS SOPS 35326 HAS SOUS 29783 HAS SOUPS 29783 WITH SCORE 29818.326
AT ITER 2715 NEW BEST:: SOT 139628 SOS 35300 HAS SOPS 35300 HAS SOUS 29730 HAS SOUPS 29730 WITH SCORE 29765.3
AT ITER 2733 NEW BEST:: SOT 139621 SOS 35286 HAS SOPS 35286 HAS SOUS 29716 HAS SOUPS 29716 WITH SCORE 29751.286
AT ITER 2742 NEW BEST:: SOT 139621 SOS 35286 HAS SOPS 35286 HAS SOUS 29710 HAS SOUPS 29710 WITH SCORE 29745.286
AT ITER 2781 NEW BEST:: SOT 139610 SOS 35264 HAS SOPS 35264 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29734.264
AT ITER 2797 NEW BEST:: SOT 139602 SOS 35248 HAS SOPS 35248 HAS SOUS 29683 HAS SOUPS 29683 WITH SCORE 29718.248
AT ITER 2805 NEW BEST:: SOT 139594 SOS 35232 HAS SOPS 35232 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29702.232
AT ITER 2809 NEW BEST:: SOT 139576 SOS 35196 HAS SOPS 35196 HAS SOUS 29631 HAS SOUPS 29631 WITH SCORE 29666.196
AT ITER 2832 NEW BEST:: SOT 139576 SOS 35184 HAS SOPS 35184 HAS SOUS 29619 HAS SOUPS 29619 WITH SCORE 29654.184
AT ITER 2837 NEW BEST:: SOT 139568 SOS 35168 HAS SOPS 35168 HAS SOUS 29570 HAS SOUPS 29570 WITH SCORE 29605.168
AT ITER 2846 NEW BEST:: SOT 139510 SOS 35168 HAS SOPS 35168 HAS SOUS 29569 HAS SOUPS 29569 WITH SCORE 29604.168
AT ITER 2850 NEW BEST:: SOT 139488 SOS 35124 HAS SOPS 35124 HAS SOUS 29547 HAS SOUPS 29547 WITH SCORE 29582.124
AT ITER 2890 NEW BEST:: SOT 139502 SOS 35096 HAS SOPS 35096 HAS SOUS 29539 HAS SOUPS 29539 WITH SCORE 29574.096
AT ITER 2894 NEW BEST:: SOT 139492 SOS 35076 HAS SOPS 35076 HAS SOUS 29511 HAS SOUPS 29511 WITH SCORE 29546.076
AT ITER 2901 NEW BEST:: SOT 139438 SOS 34968 HAS SOPS 34968 HAS SOUS 29481 HAS SOUPS 29481 WITH SCORE 29515.968
AT ITER 2909 NEW BEST:: SOT 139438 SOS 34962 HAS SOPS 34962 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29509.962
AT ITER 2915 NEW BEST:: SOT 139438 SOS 34954 HAS SOPS 34954 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29509.954
AT ITER 2946 NEW BEST:: SOT 139400 SOS 34878 HAS SOPS 34878 HAS SOUS 29399 HAS SOUPS 29399 WITH SCORE 29433.878
AT ITER 2970 NEW BEST:: SOT 139399 SOS 34876 HAS SOPS 34876 HAS SOUS 29397 HAS SOUPS 29397 WITH SCORE 29431.876
AT ITER 2972 NEW BEST:: SOT 139376 SOS 34807 HAS SOPS 34807 HAS SOUS 29295 HAS SOUPS 29295 WITH SCORE 29329.807
AT ITER 2987 NEW BEST:: SOT 139375 SOS 34805 HAS SOPS 34805 HAS SOUS 29293 HAS SOUPS 29293 WITH SCORE 29327.805
AT ITER 3002 NEW BEST:: SOT 139353 SOS 34761 HAS SOPS 34761 HAS SOUS 29270 HAS SOUPS 29270 WITH SCORE 29304.761
AT ITER 3014 NEW BEST:: SOT 139339 SOS 34733 HAS SOPS 34733 HAS SOUS 29256 HAS SOUPS 29256 WITH SCORE 29290.733
AT ITER 3064 NEW BEST:: SOT 139260 SOS 34575 HAS SOPS 34575 HAS SOUS 29139 HAS SOUPS 29139 WITH SCORE 29173.575
AT ITER 3069 NEW BEST:: SOT 139208 SOS 34471 HAS SOPS 34471 HAS SOUS 29035 HAS SOUPS 29035 WITH SCORE 29069.471
AT ITER 3136 NEW BEST:: SOT 139207 SOS 34471 HAS SOPS 34471 HAS SOUS 29033 HAS SOUPS 29033 WITH SCORE 29067.471
AT ITER 3142 NEW BEST:: SOT 139150 SOS 34297 HAS SOPS 34297 HAS SOUS 28919 HAS SOUPS 28919 WITH SCORE 28953.297
AT ITER 3146 NEW BEST:: SOT 139142 SOS 34281 HAS SOPS 34281 HAS SOUS 28903 HAS SOUPS 28903 WITH SCORE 28937.281
AT ITER 3167 NEW BEST:: SOT 139146 SOS 34265 HAS SOPS 34265 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28935.265
AT ITER 3169 NEW BEST:: SOT 139146 SOS 34523 HAS SOPS 34523 HAS SOUS 28867 HAS SOUPS 28867 WITH SCORE 28901.523
AT ITER 3172 NEW BEST:: SOT 139145 SOS 34521 HAS SOPS 34521 HAS SOUS 28865 HAS SOUPS 28865 WITH SCORE 28899.521
AT ITER 3184 NEW BEST:: SOT 139140 SOS 34511 HAS SOPS 34511 HAS SOUS 28861 HAS SOUPS 28861 WITH SCORE 28895.511
AT ITER 3190 NEW BEST:: SOT 139140 SOS 34509 HAS SOPS 34509 HAS SOUS 28859 HAS SOUPS 28859 WITH SCORE 28893.509
AT ITER 3199 NEW BEST:: SOT 139139 SOS 34508 HAS SOPS 34508 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28891.508
AT ITER 3216 NEW BEST:: SOT 139169 SOS 34416 HAS SOPS 34416 HAS SOUS 28825 HAS SOUPS 28825 WITH SCORE 28859.416
AT ITER 3235 NEW BEST:: SOT 139171 SOS 34426 HAS SOPS 34426 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28836.426
AT ITER 3265 NEW BEST:: SOT 139171 SOS 34340 HAS SOPS 34340 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28836.34
AT ITER 3277 NEW BEST:: SOT 139136 SOS 34308 HAS SOPS 34308 HAS SOUS 28769 HAS SOUPS 28769 WITH SCORE 28803.308
AT ITER 3303 NEW BEST:: SOT 139136 SOS 34308 HAS SOPS 34308 HAS SOUS 28737 HAS SOUPS 28737 WITH SCORE 28771.308
AT ITER 3308 NEW BEST:: SOT 139088 SOS 34240 HAS SOPS 34240 HAS SOUS 28669 HAS SOUPS 28669 WITH SCORE 28703.24
AT ITER 3442 NEW BEST:: SOT 139053 SOS 34170 HAS SOPS 34170 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28622.17
AT ITER 3446 NEW BEST:: SOT 139067 SOS 34156 HAS SOPS 34156 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28622.156
AT ITER 3452 NEW BEST:: SOT 139059 SOS 34148 HAS SOPS 34148 HAS SOUS 28580 HAS SOUPS 28580 WITH SCORE 28614.148
AT ITER 3466 NEW BEST:: SOT 138946 SOS 34027 HAS SOPS 34027 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28493.027
AT ITER 3516 NEW BEST:: SOT 138914 SOS 33979 HAS SOPS 33979 HAS SOUS 28411 HAS SOUPS 28411 WITH SCORE 28444.979
AT ITER 3537 NEW BEST:: SOT 138883 SOS 33917 HAS SOPS 33917 HAS SOUS 28349 HAS SOUPS 28349 WITH SCORE 28382.917
AT ITER 3582 NEW BEST:: SOT 138867 SOS 33929 HAS SOPS 33929 HAS SOUS 28342 HAS SOUPS 28342 WITH SCORE 28375.929
AT ITER 3583 NEW BEST:: SOT 138867 SOS 33929 HAS SOPS 33929 HAS SOUS 28335 HAS SOUPS 28335 WITH SCORE 28368.929
AT ITER 3604 NEW BEST:: SOT 138865 SOS 33972 HAS SOPS 33972 HAS SOUS 28331 HAS SOUPS 28331 WITH SCORE 28364.972
AT ITER 3632 NEW BEST:: SOT 138864 SOS 33970 HAS SOPS 33970 HAS SOUS 28318 HAS SOUPS 28318 WITH SCORE 28351.97
AT ITER 3671 NEW BEST:: SOT 138798 SOS 33871 HAS SOPS 33871 HAS SOUS 28219 HAS SOUPS 28219 WITH SCORE 28252.871
AT ITER 3689 NEW BEST:: SOT 138854 SOS 33850 HAS SOPS 33850 HAS SOUS 28201 HAS SOUPS 28201 WITH SCORE 28234.85
AT ITER 3693 NEW BEST:: SOT 138845 SOS 33832 HAS SOPS 33832 HAS SOUS 28176 HAS SOUPS 28176 WITH SCORE 28209.832
AT ITER 3722 NEW BEST:: SOT 138859 SOS 33708 HAS SOPS 33708 HAS SOUS 28128 HAS SOUPS 28128 WITH SCORE 28161.708
AT ITER 3748 NEW BEST:: SOT 138866 SOS 33697 HAS SOPS 33697 HAS SOUS 28117 HAS SOUPS 28117 WITH SCORE 28150.697
AT ITER 3772 NEW BEST:: SOT 138876 SOS 33617 HAS SOPS 33617 HAS SOUS 28095 HAS SOUPS 28095 WITH SCORE 28128.617
AT ITER 3784 NEW BEST:: SOT 138874 SOS 33613 HAS SOPS 33613 HAS SOUS 28091 HAS SOUPS 28091 WITH SCORE 28124.613
AT ITER 3786 NEW BEST:: SOT 138827 SOS 33558 HAS SOPS 33558 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28080.558
AT ITER 3789 NEW BEST:: SOT 138810 SOS 33527 HAS SOPS 33527 HAS SOUS 28016 HAS SOUPS 28016 WITH SCORE 28049.527
AT ITER 3799 NEW BEST:: SOT 138809 SOS 33525 HAS SOPS 33525 HAS SOUS 27932 HAS SOUPS 27932 WITH SCORE 27965.525
AT ITER 3896 NEW BEST:: SOT 138799 SOS 33473 HAS SOPS 33473 HAS SOUS 27912 HAS SOUPS 27912 WITH SCORE 27945.473
AT ITER 3906 NEW BEST:: SOT 138785 SOS 33445 HAS SOPS 33445 HAS SOUS 27884 HAS SOUPS 27884 WITH SCORE 27917.445
AT ITER 3921 NEW BEST:: SOT 138785 SOS 33433 HAS SOPS 33433 HAS SOUS 27884 HAS SOUPS 27884 WITH SCORE 27917.433
AT ITER 3931 NEW BEST:: SOT 138672 SOS 33320 HAS SOPS 33320 HAS SOUS 27714 HAS SOUPS 27714 WITH SCORE 27747.32
AT ITER 3942 NEW BEST:: SOT 138672 SOS 33307 HAS SOPS 33307 HAS SOUS 27701 HAS SOUPS 27701 WITH SCORE 27734.307
AT ITER 3964 NEW BEST:: SOT 138737 SOS 33089 HAS SOPS 33089 HAS SOUS 27592 HAS SOUPS 27592 WITH SCORE 27625.089
AT ITER 3982 NEW BEST:: SOT 138732 SOS 33079 HAS SOPS 33079 HAS SOUS 27587 HAS SOUPS 27587 WITH SCORE 27620.079
AT ITER 4023 NEW BEST:: SOT 138730 SOS 33077 HAS SOPS 33077 HAS SOUS 27585 HAS SOUPS 27585 WITH SCORE 27618.077
AT ITER 4031 NEW BEST:: SOT 138730 SOS 33077 HAS SOPS 33077 HAS SOUS 27584 HAS SOUPS 27584 WITH SCORE 27617.077
AT ITER 4071 NEW BEST:: SOT 138724 SOS 33058 HAS SOPS 33058 HAS SOUS 27544 HAS SOUPS 27544 WITH SCORE 27577.058
AT ITER 4080 NEW BEST:: SOT 138726 SOS 33062 HAS SOPS 33062 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27574.062
AT ITER 4138 NEW BEST:: SOT 138726 SOS 33028 HAS SOPS 33028 HAS SOUS 27524 HAS SOUPS 27524 WITH SCORE 27557.028
AT ITER 4154 NEW BEST:: SOT 138711 SOS 32998 HAS SOPS 32998 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27541.998
AT ITER 4182 NEW BEST:: SOT 138708 SOS 32998 HAS SOPS 32998 HAS SOUS 27506 HAS SOUPS 27506 WITH SCORE 27538.998
AT ITER 4184 NEW BEST:: SOT 138659 SOS 32929 HAS SOPS 32929 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27489.929
AT ITER 4262 NEW BEST:: SOT 138652 SOS 32915 HAS SOPS 32915 HAS SOUS 27448 HAS SOUPS 27448 WITH SCORE 27480.915
AT ITER 4263 NEW BEST:: SOT 138652 SOS 32831 HAS SOPS 32831 HAS SOUS 27448 HAS SOUPS 27448 WITH SCORE 27480.831
AT ITER 4333 NEW BEST:: SOT 138697 SOS 32817 HAS SOPS 32817 HAS SOUS 27441 HAS SOUPS 27441 WITH SCORE 27473.817
AT ITER 4386 NEW BEST:: SOT 138678 SOS 32779 HAS SOPS 32779 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27454.779
AT ITER 4408 NEW BEST:: SOT 138670 SOS 32763 HAS SOPS 32763 HAS SOUS 27406 HAS SOUPS 27406 WITH SCORE 27438.763
AT ITER 4478 NEW BEST:: SOT 138657 SOS 32750 HAS SOPS 32750 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27433.75
AT ITER 4529 NEW BEST:: SOT 138657 SOS 32737 HAS SOPS 32737 HAS SOUS 27388 HAS SOUPS 27388 WITH SCORE 27420.737
AT ITER 4533 NEW BEST:: SOT 138657 SOS 32737 HAS SOPS 32737 HAS SOUS 27368 HAS SOUPS 27368 WITH SCORE 27400.737
AT ITER 4685 NEW BEST:: SOT 138657 SOS 32737 HAS SOPS 32737 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27343.737
AT ITER 4698 NEW BEST:: SOT 138657 SOS 32734 HAS SOPS 32734 HAS SOUS 27309 HAS SOUPS 27309 WITH SCORE 27341.734
AT ITER 4789 NEW BEST:: SOT 138654 SOS 32728 HAS SOPS 32728 HAS SOUS 27303 HAS SOUPS 27303 WITH SCORE 27335.728
AT ITER 4799 NEW BEST:: SOT 138577 SOS 32652 HAS SOPS 32652 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27259.652
AT ITER 4916 NEW BEST:: SOT 138577 SOS 32490 HAS SOPS 32490 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27259.49
AT ITER 4918 NEW BEST:: SOT 138570 SOS 32483 HAS SOPS 32483 HAS SOUS 27223 HAS SOUPS 27223 WITH SCORE 27255.483
AT ITER 4920 NEW BEST:: SOT 138507 SOS 32374 HAS SOPS 32374 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27146.374
AT ITER 4952 NEW BEST:: SOT 138507 SOS 32289 HAS SOPS 32289 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27146.289
AT ITER 4989 NEW BEST:: SOT 138505 SOS 32285 HAS SOPS 32285 HAS SOUS 27110 HAS SOUPS 27110 WITH SCORE 27142.285
AT ITER 5012 NEW BEST:: SOT 138498 SOS 32271 HAS SOPS 32271 HAS SOUS 27096 HAS SOUPS 27096 WITH SCORE 27128.271
AT ITER 5023 NEW BEST:: SOT 138498 SOS 32264 HAS SOPS 32264 HAS SOUS 27096 HAS SOUPS 27096 WITH SCORE 27128.264
AT ITER 5038 NEW BEST:: SOT 138494 SOS 32256 HAS SOPS 32256 HAS SOUS 27088 HAS SOUPS 27088 WITH SCORE 27120.256
AT ITER 5041 NEW BEST:: SOT 138478 SOS 32240 HAS SOPS 32240 HAS SOUS 27072 HAS SOUPS 27072 WITH SCORE 27104.24
AT ITER 5052 NEW BEST:: SOT 138497 SOS 32226 HAS SOPS 32226 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27097.226
AT ITER 5080 NEW BEST:: SOT 138475 SOS 32182 HAS SOPS 32182 HAS SOUS 27021 HAS SOUPS 27021 WITH SCORE 27053.182
AT ITER 5100 NEW BEST:: SOT 138467 SOS 32166 HAS SOPS 32166 HAS SOUS 27005 HAS SOUPS 27005 WITH SCORE 27037.166
AT ITER 5126 NEW BEST:: SOT 138429 SOS 32054 HAS SOPS 32054 HAS SOUS 26929 HAS SOUPS 26929 WITH SCORE 26961.054
AT ITER 5131 NEW BEST:: SOT 138427 SOS 32050 HAS SOPS 32050 HAS SOUS 26925 HAS SOUPS 26925 WITH SCORE 26957.05
AT ITER 5198 NEW BEST:: SOT 138453 SOS 31991 HAS SOPS 31991 HAS SOUS 26923 HAS SOUPS 26923 WITH SCORE 26954.991
AT ITER 5239 NEW BEST:: SOT 138458 SOS 31931 HAS SOPS 31931 HAS SOUS 26893 HAS SOUPS 26893 WITH SCORE 26924.931
AT ITER 5298 NEW BEST:: SOT 138458 SOS 31937 HAS SOPS 31937 HAS SOUS 26890 HAS SOUPS 26890 WITH SCORE 26921.937
AT ITER 5306 NEW BEST:: SOT 138458 SOS 31875 HAS SOPS 31875 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26890.875
AT ITER 5323 NEW BEST:: SOT 138458 SOS 31812 HAS SOPS 31812 HAS SOUS 26796 HAS SOUPS 26796 WITH SCORE 26827.812
AT ITER 5334 NEW BEST:: SOT 138453 SOS 31802 HAS SOPS 31802 HAS SOUS 26792 HAS SOUPS 26792 WITH SCORE 26823.802
AT ITER 5377 NEW BEST:: SOT 138431 SOS 31594 HAS SOPS 31594 HAS SOUS 26745 HAS SOUPS 26745 WITH SCORE 26776.594
AT ITER 5383 NEW BEST:: SOT 138514 SOS 31452 HAS SOPS 31452 HAS SOUS 26704 HAS SOUPS 26704 WITH SCORE 26735.452
AT ITER 5391 NEW BEST:: SOT 138500 SOS 31424 HAS SOPS 31424 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26707.424
AT ITER 5400 NEW BEST:: SOT 138501 SOS 31425 HAS SOPS 31425 HAS SOUS 26663 HAS SOUPS 26663 WITH SCORE 26694.425
AT ITER 5415 NEW BEST:: SOT 138470 SOS 31371 HAS SOPS 31371 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26661.371
AT ITER 5417 NEW BEST:: SOT 138470 SOS 31349 HAS SOPS 31349 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26661.349
AT ITER 5449 NEW BEST:: SOT 138470 SOS 31339 HAS SOPS 31339 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26651.339
AT ITER 5490 NEW BEST:: SOT 138445 SOS 31353 HAS SOPS 31353 HAS SOUS 26595 HAS SOUPS 26595 WITH SCORE 26626.353
AT ITER 5528 NEW BEST:: SOT 138441 SOS 31345 HAS SOPS 31345 HAS SOUS 26591 HAS SOUPS 26591 WITH SCORE 26622.345
AT ITER 5575 NEW BEST:: SOT 138491 SOS 31308 HAS SOPS 31308 HAS SOUS 26591 HAS SOUPS 26591 WITH SCORE 26622.308
AT ITER 5582 NEW BEST:: SOT 138491 SOS 31301 HAS SOPS 31301 HAS SOUS 26584 HAS SOUPS 26584 WITH SCORE 26615.301
AT ITER 5583 NEW BEST:: SOT 138491 SOS 31258 HAS SOPS 31258 HAS SOUS 26541 HAS SOUPS 26541 WITH SCORE 26572.258
AT ITER 5604 NEW BEST:: SOT 138488 SOS 31255 HAS SOPS 31255 HAS SOUS 26535 HAS SOUPS 26535 WITH SCORE 26566.255
AT ITER 5619 NEW BEST:: SOT 138488 SOS 31240 HAS SOPS 31240 HAS SOUS 26535 HAS SOUPS 26535 WITH SCORE 26566.24
AT ITER 5627 NEW BEST:: SOT 138473 SOS 31210 HAS SOPS 31210 HAS SOUS 26526 HAS SOUPS 26526 WITH SCORE 26557.21
AT ITER 5713 NEW BEST:: SOT 138460 SOS 31184 HAS SOPS 31184 HAS SOUS 26517 HAS SOUPS 26517 WITH SCORE 26548.184
AT ITER 5743 NEW BEST:: SOT 138427 SOS 31118 HAS SOPS 31118 HAS SOUS 26498 HAS SOUPS 26498 WITH SCORE 26529.118
AT ITER 5744 NEW BEST:: SOT 138427 SOS 31095 HAS SOPS 31095 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26506.095
AT ITER 5770 NEW BEST:: SOT 138427 SOS 31094 HAS SOPS 31094 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26505.094
AT ITER 5777 NEW BEST:: SOT 138418 SOS 31067 HAS SOPS 31067 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26478.067
AT ITER 5796 NEW BEST:: SOT 138417 SOS 31065 HAS SOPS 31065 HAS SOUS 26445 HAS SOUPS 26445 WITH SCORE 26476.065
AT ITER 5809 NEW BEST:: SOT 138414 SOS 31062 HAS SOPS 31062 HAS SOUS 26442 HAS SOUPS 26442 WITH SCORE 26473.062
AT ITER 5816 NEW BEST:: SOT 138410 SOS 31054 HAS SOPS 31054 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26465.054
AT ITER 5843 NEW BEST:: SOT 138416 SOS 31037 HAS SOPS 31037 HAS SOUS 26423 HAS SOUPS 26423 WITH SCORE 26454.037
AT ITER 5886 NEW BEST:: SOT 138411 SOS 31032 HAS SOPS 31032 HAS SOUS 26413 HAS SOUPS 26413 WITH SCORE 26444.032
AT ITER 5908 NEW BEST:: SOT 138418 SOS 30628 HAS SOPS 30628 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26438.628
AT ITER 5986 NEW BEST:: SOT 138414 SOS 30620 HAS SOPS 30620 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26412.62
AT ITER 5998 NEW BEST:: SOT 138367 SOS 30480 HAS SOPS 30480 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26318.48
AT ITER 6001 NEW BEST:: SOT 138367 SOS 30390 HAS SOPS 30390 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26318.39
AT ITER 6031 NEW BEST:: SOT 138319 SOS 30319 HAS SOPS 30319 HAS SOUS 26217 HAS SOUPS 26217 WITH SCORE 26247.319
AT ITER 6055 NEW BEST:: SOT 138303 SOS 30347 HAS SOPS 30347 HAS SOUS 26215 HAS SOUPS 26215 WITH SCORE 26245.347
AT ITER 6139 NEW BEST:: SOT 138313 SOS 30345 HAS SOPS 30345 HAS SOUS 26213 HAS SOUPS 26213 WITH SCORE 26243.345
AT ITER 6150 NEW BEST:: SOT 138287 SOS 30293 HAS SOPS 30293 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26206.293
AT ITER 6204 NEW BEST:: SOT 138248 SOS 30254 HAS SOPS 30254 HAS SOUS 26137 HAS SOUPS 26137 WITH SCORE 26167.254
AT ITER 6241 NEW BEST:: SOT 138248 SOS 30187 HAS SOPS 30187 HAS SOUS 26137 HAS SOUPS 26137 WITH SCORE 26167.187
AT ITER 6336 NEW BEST:: SOT 138248 SOS 30187 HAS SOPS 30187 HAS SOUS 26134 HAS SOUPS 26134 WITH SCORE 26164.187
AT ITER 6359 NEW BEST:: SOT 138213 SOS 30152 HAS SOPS 30152 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26144.152
AT ITER 6419 NEW BEST:: SOT 138201 SOS 30140 HAS SOPS 30140 HAS SOUS 26102 HAS SOUPS 26102 WITH SCORE 26132.14
AT ITER 6431 NEW BEST:: SOT 138199 SOS 30136 HAS SOPS 30136 HAS SOUS 26099 HAS SOUPS 26099 WITH SCORE 26129.136
AT ITER 6433 NEW BEST:: SOT 138149 SOS 30097 HAS SOPS 30097 HAS SOUS 26060 HAS SOUPS 26060 WITH SCORE 26090.097
AT ITER 6476 NEW BEST:: SOT 138133 SOS 30081 HAS SOPS 30081 HAS SOUS 26044 HAS SOUPS 26044 WITH SCORE 26074.081
AT ITER 6505 NEW BEST:: SOT 138133 SOS 30057 HAS SOPS 30057 HAS SOUS 26044 HAS SOUPS 26044 WITH SCORE 26074.057
AT ITER 6532 NEW BEST:: SOT 138128 SOS 30052 HAS SOPS 30052 HAS SOUS 26039 HAS SOUPS 26039 WITH SCORE 26069.052
AT ITER 6549 NEW BEST:: SOT 138115 SOS 30026 HAS SOPS 30026 HAS SOUS 26011 HAS SOUPS 26011 WITH SCORE 26041.026
AT ITER 6551 NEW BEST:: SOT 138096 SOS 29988 HAS SOPS 29988 HAS SOUS 25973 HAS SOUPS 25973 WITH SCORE 26002.988
AT ITER 6574 NEW BEST:: SOT 138095 SOS 29986 HAS SOPS 29986 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26000.986
AT ITER 6599 NEW BEST:: SOT 138095 SOS 29983 HAS SOPS 29983 HAS SOUS 25968 HAS SOUPS 25968 WITH SCORE 25997.983
AT ITER 6648 NEW BEST:: SOT 138095 SOS 29957 HAS SOPS 29957 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 25971.957
AT ITER 6650 NEW BEST:: SOT 138074 SOS 29949 HAS SOPS 29949 HAS SOUS 25934 HAS SOUPS 25934 WITH SCORE 25963.949
AT ITER 6668 NEW BEST:: SOT 138074 SOS 29945 HAS SOPS 29945 HAS SOUS 25932 HAS SOUPS 25932 WITH SCORE 25961.945
AT ITER 6671 NEW BEST:: SOT 138072 SOS 29941 HAS SOPS 29941 HAS SOUS 25928 HAS SOUPS 25928 WITH SCORE 25957.941
AT ITER 6682 NEW BEST:: SOT 138063 SOS 29923 HAS SOPS 29923 HAS SOUS 25910 HAS SOUPS 25910 WITH SCORE 25939.923
AT ITER 6683 NEW BEST:: SOT 138052 SOS 29901 HAS SOPS 29901 HAS SOUS 25888 HAS SOUPS 25888 WITH SCORE 25917.901
AT ITER 6706 NEW BEST:: SOT 138052 SOS 29901 HAS SOPS 29901 HAS SOUS 25884 HAS SOUPS 25884 WITH SCORE 25913.901
AT ITER 6707 NEW BEST:: SOT 138047 SOS 29891 HAS SOPS 29891 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25903.891
AT ITER 6752 NEW BEST:: SOT 138036 SOS 29876 HAS SOPS 29876 HAS SOUS 25859 HAS SOUPS 25859 WITH SCORE 25888.876
AT ITER 6785 NEW BEST:: SOT 138020 SOS 29844 HAS SOPS 29844 HAS SOUS 25810 HAS SOUPS 25810 WITH SCORE 25839.844
AT ITER 6786 NEW BEST:: SOT 138014 SOS 29824 HAS SOPS 29824 HAS SOUS 25798 HAS SOUPS 25798 WITH SCORE 25827.824
AT ITER 6795 NEW BEST:: SOT 138004 SOS 29804 HAS SOPS 29804 HAS SOUS 25788 HAS SOUPS 25788 WITH SCORE 25817.804
AT ITER 6812 NEW BEST:: SOT 138037 SOS 29870 HAS SOPS 29870 HAS SOUS 25779 HAS SOUPS 25779 WITH SCORE 25808.87
AT ITER 6828 NEW BEST:: SOT 138037 SOS 29868 HAS SOPS 29868 HAS SOUS 25778 HAS SOUPS 25778 WITH SCORE 25807.868
AT ITER 6841 NEW BEST:: SOT 138029 SOS 29860 HAS SOPS 29860 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25799.86
AT ITER 6859 NEW BEST:: SOT 138015 SOS 29818 HAS SOPS 29818 HAS SOUS 25742 HAS SOUPS 25742 WITH SCORE 25771.818
AT ITER 6879 NEW BEST:: SOT 137979 SOS 29746 HAS SOPS 29746 HAS SOUS 25670 HAS SOUPS 25670 WITH SCORE 25699.746
AT ITER 6900 NEW BEST:: SOT 137970 SOS 29740 HAS SOPS 29740 HAS SOUS 25664 HAS SOUPS 25664 WITH SCORE 25693.74
AT ITER 6906 NEW BEST:: SOT 137951 SOS 29732 HAS SOPS 29732 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25681.732
AT ITER 6913 NEW BEST:: SOT 137939 SOS 29720 HAS SOPS 29720 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25657.72
AT ITER 6926 NEW BEST:: SOT 137938 SOS 29718 HAS SOPS 29718 HAS SOUS 25626 HAS SOUPS 25626 WITH SCORE 25655.718
AT ITER 6957 NEW BEST:: SOT 137935 SOS 29677 HAS SOPS 29677 HAS SOUS 25620 HAS SOUPS 25620 WITH SCORE 25649.677
AT ITER 6959 NEW BEST:: SOT 137934 SOS 29675 HAS SOPS 29675 HAS SOUS 25618 HAS SOUPS 25618 WITH SCORE 25647.675
AT ITER 6962 NEW BEST:: SOT 137929 SOS 29652 HAS SOPS 29652 HAS SOUS 25608 HAS SOUPS 25608 WITH SCORE 25637.652
AT ITER 6967 NEW BEST:: SOT 137929 SOS 29652 HAS SOPS 29652 HAS SOUS 25603 HAS SOUPS 25603 WITH SCORE 25632.652
AT ITER 6971 NEW BEST:: SOT 137932 SOS 29627 HAS SOPS 29627 HAS SOUS 25578 HAS SOUPS 25578 WITH SCORE 25607.627
AT ITER 6985 NEW BEST:: SOT 137905 SOS 29573 HAS SOPS 29573 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25553.573
AT ITER 7103 NEW BEST:: SOT 137904 SOS 29572 HAS SOPS 29572 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25552.572
AT ITER 7158 NEW BEST:: SOT 137903 SOS 29564 HAS SOPS 29564 HAS SOUS 25516 HAS SOUPS 25516 WITH SCORE 25545.564
AT ITER 7167 NEW BEST:: SOT 137879 SOS 29540 HAS SOPS 29540 HAS SOUS 25492 HAS SOUPS 25492 WITH SCORE 25521.54
AT ITER 7182 NEW BEST:: SOT 137849 SOS 29480 HAS SOPS 29480 HAS SOUS 25432 HAS SOUPS 25432 WITH SCORE 25461.48
AT ITER 7208 NEW BEST:: SOT 137849 SOS 29474 HAS SOPS 29474 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25458.474
AT ITER 7225 NEW BEST:: SOT 137845 SOS 29466 HAS SOPS 29466 HAS SOUS 25421 HAS SOUPS 25421 WITH SCORE 25450.466
AT ITER 7243 NEW BEST:: SOT 137845 SOS 29466 HAS SOPS 29466 HAS SOUS 25418 HAS SOUPS 25418 WITH SCORE 25447.466
AT ITER 7250 NEW BEST:: SOT 137840 SOS 29440 HAS SOPS 29440 HAS SOUS 25408 HAS SOUPS 25408 WITH SCORE 25437.44
AT ITER 7267 NEW BEST:: SOT 137826 SOS 29412 HAS SOPS 29412 HAS SOUS 25380 HAS SOUPS 25380 WITH SCORE 25409.412
AT ITER 7275 NEW BEST:: SOT 137832 SOS 29391 HAS SOPS 29391 HAS SOUS 25349 HAS SOUPS 25349 WITH SCORE 25378.391
AT ITER 7294 NEW BEST:: SOT 137820 SOS 29367 HAS SOPS 29367 HAS SOUS 25325 HAS SOUPS 25325 WITH SCORE 25354.367
AT ITER 7333 NEW BEST:: SOT 137820 SOS 29367 HAS SOPS 29367 HAS SOUS 25322 HAS SOUPS 25322 WITH SCORE 25351.367
AT ITER 7409 NEW BEST:: SOT 137818 SOS 29363 HAS SOPS 29363 HAS SOUS 25318 HAS SOUPS 25318 WITH SCORE 25347.363
AT ITER 7415 NEW BEST:: SOT 137809 SOS 29345 HAS SOPS 29345 HAS SOUS 25300 HAS SOUPS 25300 WITH SCORE 25329.345
AT ITER 7417 NEW BEST:: SOT 137804 SOS 29324 HAS SOPS 29324 HAS SOUS 25279 HAS SOUPS 25279 WITH SCORE 25308.324
AT ITER 7494 NEW BEST:: SOT 137816 SOS 29240 HAS SOPS 29240 HAS SOUS 25239 HAS SOUPS 25239 WITH SCORE 25268.24
AT ITER 7584 NEW BEST:: SOT 137814 SOS 29236 HAS SOPS 29236 HAS SOUS 25235 HAS SOUPS 25235 WITH SCORE 25264.236
AT ITER 7588 NEW BEST:: SOT 137810 SOS 29228 HAS SOPS 29228 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25256.228
AT ITER 7607 NEW BEST:: SOT 137779 SOS 29166 HAS SOPS 29166 HAS SOUS 25165 HAS SOUPS 25165 WITH SCORE 25194.166
AT ITER 7621 NEW BEST:: SOT 137771 SOS 29150 HAS SOPS 29150 HAS SOUS 25149 HAS SOUPS 25149 WITH SCORE 25178.15
AT ITER 7625 NEW BEST:: SOT 137770 SOS 29148 HAS SOPS 29148 HAS SOUS 25147 HAS SOUPS 25147 WITH SCORE 25176.148
AT ITER 7636 NEW BEST:: SOT 137758 SOS 29124 HAS SOPS 29124 HAS SOUS 25123 HAS SOUPS 25123 WITH SCORE 25152.124
AT ITER 7676 NEW BEST:: SOT 137750 SOS 29108 HAS SOPS 29108 HAS SOUS 25115 HAS SOUPS 25115 WITH SCORE 25144.108
AT ITER 7709 NEW BEST:: SOT 137740 SOS 29064 HAS SOPS 29064 HAS SOUS 25063 HAS SOUPS 25063 WITH SCORE 25092.064
AT ITER 7727 NEW BEST:: SOT 137811 SOS 29014 HAS SOPS 29014 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25060.014
AT ITER 7729 NEW BEST:: SOT 137794 SOS 28997 HAS SOPS 28997 HAS SOUS 24997 HAS SOUPS 24997 WITH SCORE 25025.997
AT ITER 7760 NEW BEST:: SOT 137786 SOS 28996 HAS SOPS 28996 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25024.996
AT ITER 7833 NEW BEST:: SOT 137786 SOS 28996 HAS SOPS 28996 HAS SOUS 24985 HAS SOUPS 24985 WITH SCORE 25013.996
AT ITER 7846 NEW BEST:: SOT 137782 SOS 28989 HAS SOPS 28989 HAS SOUS 24980 HAS SOUPS 24980 WITH SCORE 25008.989
AT ITER 7904 NEW BEST:: SOT 137774 SOS 28973 HAS SOPS 28973 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24992.973
AT ITER 7929 NEW BEST:: SOT 137772 SOS 28971 HAS SOPS 28971 HAS SOUS 24960 HAS SOUPS 24960 WITH SCORE 24988.971
AT ITER 7973 NEW BEST:: SOT 137769 SOS 28965 HAS SOPS 28965 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24982.965
AT ITER 7979 NEW BEST:: SOT 137754 SOS 28940 HAS SOPS 28940 HAS SOUS 24924 HAS SOUPS 24924 WITH SCORE 24952.94
AT ITER 8124 NEW BEST:: SOT 137749 SOS 28903 HAS SOPS 28903 HAS SOUS 24919 HAS SOUPS 24919 WITH SCORE 24947.903
AT ITER 8148 NEW BEST:: SOT 137731 SOS 28867 HAS SOPS 28867 HAS SOUS 24883 HAS SOUPS 24883 WITH SCORE 24911.867
AT ITER 8168 NEW BEST:: SOT 137722 SOS 28927 HAS SOPS 28927 HAS SOUS 24874 HAS SOUPS 24874 WITH SCORE 24902.927
AT ITER 8229 NEW BEST:: SOT 137713 SOS 28909 HAS SOPS 28909 HAS SOUS 24864 HAS SOUPS 24864 WITH SCORE 24892.909
AT ITER 8234 NEW BEST:: SOT 137713 SOS 28904 HAS SOPS 28904 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24887.904
AT ITER 8244 NEW BEST:: SOT 137713 SOS 28822 HAS SOPS 28822 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24887.822
AT ITER 8257 NEW BEST:: SOT 137706 SOS 28808 HAS SOPS 28808 HAS SOUS 24845 HAS SOUPS 24845 WITH SCORE 24873.808
AT ITER 8290 NEW BEST:: SOT 137684 SOS 28786 HAS SOPS 28786 HAS SOUS 24823 HAS SOUPS 24823 WITH SCORE 24851.786
AT ITER 8337 NEW BEST:: SOT 137665 SOS 28748 HAS SOPS 28748 HAS SOUS 24785 HAS SOUPS 24785 WITH SCORE 24813.748
AT ITER 8343 NEW BEST:: SOT 137600 SOS 28742 HAS SOPS 28742 HAS SOUS 24779 HAS SOUPS 24779 WITH SCORE 24807.742
AT ITER 8361 NEW BEST:: SOT 137600 SOS 28733 HAS SOPS 28733 HAS SOUS 24770 HAS SOUPS 24770 WITH SCORE 24798.733
AT ITER 8365 NEW BEST:: SOT 137607 SOS 28727 HAS SOPS 28727 HAS SOUS 24764 HAS SOUPS 24764 WITH SCORE 24792.727
AT ITER 8384 NEW BEST:: SOT 137602 SOS 28712 HAS SOPS 28712 HAS SOUS 24754 HAS SOUPS 24754 WITH SCORE 24782.712
AT ITER 8406 NEW BEST:: SOT 137592 SOS 28692 HAS SOPS 28692 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24762.692
AT ITER 8420 NEW BEST:: SOT 137592 SOS 28691 HAS SOPS 28691 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24761.691
AT ITER 8480 NEW BEST:: SOT 137592 SOS 28691 HAS SOPS 28691 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24756.691
AT ITER 8482 NEW BEST:: SOT 137591 SOS 28689 HAS SOPS 28689 HAS SOUS 24726 HAS SOUPS 24726 WITH SCORE 24754.689
AT ITER 8524 NEW BEST:: SOT 137584 SOS 28687 HAS SOPS 28687 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24752.687
AT ITER 8559 NEW BEST:: SOT 137596 SOS 28711 HAS SOPS 28711 HAS SOUS 24695 HAS SOUPS 24695 WITH SCORE 24723.711
AT ITER 8573 NEW BEST:: SOT 137594 SOS 28709 HAS SOPS 28709 HAS SOUS 24693 HAS SOUPS 24693 WITH SCORE 24721.709
AT ITER 8576 NEW BEST:: SOT 137587 SOS 28679 HAS SOPS 28679 HAS SOUS 24679 HAS SOUPS 24679 WITH SCORE 24707.679
AT ITER 8586 NEW BEST:: SOT 137555 SOS 28615 HAS SOPS 28615 HAS SOUS 24615 HAS SOUPS 24615 WITH SCORE 24643.615
AT ITER 8732 NEW BEST:: SOT 137572 SOS 28611 HAS SOPS 28611 HAS SOUS 24611 HAS SOUPS 24611 WITH SCORE 24639.611
AT ITER 8758 NEW BEST:: SOT 137558 SOS 28598 HAS SOPS 28598 HAS SOUS 24589 HAS SOUPS 24589 WITH SCORE 24617.598
AT ITER 8784 NEW BEST:: SOT 137545 SOS 28580 HAS SOPS 28580 HAS SOUS 24559 HAS SOUPS 24559 WITH SCORE 24587.58
AT ITER 8795 NEW BEST:: SOT 137523 SOS 28536 HAS SOPS 28536 HAS SOUS 24534 HAS SOUPS 24534 WITH SCORE 24562.536
AT ITER 8803 NEW BEST:: SOT 137506 SOS 28701 HAS SOPS 28701 HAS SOUS 24500 HAS SOUPS 24500 WITH SCORE 24528.701
AT ITER 8877 NEW BEST:: SOT 137500 SOS 28698 HAS SOPS 28698 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24525.698
AT ITER 8923 NEW BEST:: SOT 137497 SOS 28692 HAS SOPS 28692 HAS SOUS 24491 HAS SOUPS 24491 WITH SCORE 24519.692
AT ITER 8963 NEW BEST:: SOT 137486 SOS 28670 HAS SOPS 28670 HAS SOUS 24480 HAS SOUPS 24480 WITH SCORE 24508.67
AT ITER 9127 NEW BEST:: SOT 137486 SOS 28661 HAS SOPS 28661 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24499.661
AT ITER 9184 NEW BEST:: SOT 137482 SOS 28655 HAS SOPS 28655 HAS SOUS 24467 HAS SOUPS 24467 WITH SCORE 24495.655
AT ITER 9204 NEW BEST:: SOT 137484 SOS 28659 HAS SOPS 28659 HAS SOUS 24466 HAS SOUPS 24466 WITH SCORE 24494.659
AT ITER 9287 NEW BEST:: SOT 137484 SOS 28656 HAS SOPS 28656 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24491.656
AT ITER 9340 NEW BEST:: SOT 137423 SOS 28534 HAS SOPS 28534 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24369.534
AT ITER 9411 NEW BEST:: SOT 137462 SOS 28612 HAS SOPS 28612 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24352.612
AT ITER 9421 NEW BEST:: SOT 137462 SOS 28607 HAS SOPS 28607 HAS SOUS 24319 HAS SOUPS 24319 WITH SCORE 24347.607
AT ITER 9436 NEW BEST:: SOT 137456 SOS 28601 HAS SOPS 28601 HAS SOUS 24313 HAS SOUPS 24313 WITH SCORE 24341.601
AT ITER 9437 NEW BEST:: SOT 137432 SOS 28577 HAS SOPS 28577 HAS SOUS 24289 HAS SOUPS 24289 WITH SCORE 24317.577
AT ITER 9454 NEW BEST:: SOT 137391 SOS 28495 HAS SOPS 28495 HAS SOUS 24207 HAS SOUPS 24207 WITH SCORE 24235.495
AT ITER 9490 NEW BEST:: SOT 137371 SOS 28465 HAS SOPS 28465 HAS SOUS 24187 HAS SOUPS 24187 WITH SCORE 24215.465
AT ITER 9521 NEW BEST:: SOT 137371 SOS 28460 HAS SOPS 28460 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24210.46
AT ITER 9530 NEW BEST:: SOT 137363 SOS 28444 HAS SOPS 28444 HAS SOUS 24166 HAS SOUPS 24166 WITH SCORE 24194.444
AT ITER 9610 NEW BEST:: SOT 137340 SOS 28387 HAS SOPS 28387 HAS SOUS 24109 HAS SOUPS 24109 WITH SCORE 24137.387
AT ITER 9632 NEW BEST:: SOT 137331 SOS 28369 HAS SOPS 28369 HAS SOUS 24100 HAS SOUPS 24100 WITH SCORE 24128.369
AT ITER 9636 NEW BEST:: SOT 137331 SOS 28369 HAS SOPS 28369 HAS SOUS 24096 HAS SOUPS 24096 WITH SCORE 24124.369
AT ITER 9656 NEW BEST:: SOT 137331 SOS 28369 HAS SOPS 28369 HAS SOUS 24095 HAS SOUPS 24095 WITH SCORE 24123.369
AT ITER 9709 NEW BEST:: SOT 137302 SOS 28311 HAS SOPS 28311 HAS SOUS 24068 HAS SOUPS 24068 WITH SCORE 24096.311
AT ITER 9736 NEW BEST:: SOT 137303 SOS 28305 HAS SOPS 28305 HAS SOUS 24066 HAS SOUPS 24066 WITH SCORE 24094.305
AT ITER 9791 NEW BEST:: SOT 137303 SOS 28170 HAS SOPS 28170 HAS SOUS 24066 HAS SOUPS 24066 WITH SCORE 24094.17
AT ITER 9803 NEW BEST:: SOT 137288 SOS 28165 HAS SOPS 28165 HAS SOUS 24056 HAS SOUPS 24056 WITH SCORE 24084.165
AT ITER 9804 NEW BEST:: SOT 137287 SOS 28163 HAS SOPS 28163 HAS SOUS 24054 HAS SOUPS 24054 WITH SCORE 24082.163
AT ITER 9892 NEW BEST:: SOT 137303 SOS 28195 HAS SOPS 28195 HAS SOUS 24044 HAS SOUPS 24044 WITH SCORE 24072.195
AT ITER 9962 NEW BEST:: SOT 137304 SOS 28197 HAS SOPS 28197 HAS SOUS 24017 HAS SOUPS 24017 WITH SCORE 24045.197
AT ITER 9984 NEW BEST:: SOT 137270 SOS 28129 HAS SOPS 28129 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24033.129
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14549932 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123564 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPUForwardProgress-PT-24b"
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 GPUForwardProgress-PT-24b, 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 r203-smll-167840349100096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPUForwardProgress-PT-24b.tgz
mv GPUForwardProgress-PT-24b 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 ;