About the Execution of Smart+red for PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.848 | 2628333.00 | 2658010.00 | 17040.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863542000544.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 PermAdmissibility-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000544
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 7.7K Feb 26 01:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 01:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 45K Feb 26 01:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 230K Feb 26 01:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 01:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 01:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 26 01:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 374K Feb 26 01:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 336K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678922591745
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=PermAdmissibility-PT-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 23:23:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 23:23:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 23:23:15] [INFO ] Load time of PNML (sax parser for PT used): 212 ms
[2023-03-15 23:23:15] [INFO ] Transformed 168 places.
[2023-03-15 23:23:15] [INFO ] Transformed 592 transitions.
[2023-03-15 23:23:15] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 380 ms.
[2023-03-15 23:23:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 592 transitions and 3456 arcs took 22 ms.
Total runtime 466 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 20
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: 168 places, 592 transitions, 3456 arcs.
AT ITER 0 NEW BEST:: SOT 70002 SOS 43326 HAS SOPS 43326 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25596.326
AT ITER 2 NEW BEST:: SOT 70002 SOS 47422 HAS SOPS 47422 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25225.422
AT ITER 5 NEW BEST:: SOT 69988 SOS 47408 HAS SOPS 47408 HAS SOUS 25167 HAS SOUPS 25167 WITH SCORE 25214.408
AT ITER 8 NEW BEST:: SOT 69896 SOS 47601 HAS SOPS 47601 HAS SOUS 25141 HAS SOUPS 25141 WITH SCORE 25188.601
AT ITER 15 NEW BEST:: SOT 69824 SOS 47529 HAS SOPS 47529 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25125.529
AT ITER 22 NEW BEST:: SOT 69824 SOS 47529 HAS SOPS 47529 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25090.529
AT ITER 24 NEW BEST:: SOT 69790 SOS 47495 HAS SOPS 47495 HAS SOUS 25042 HAS SOUPS 25042 WITH SCORE 25089.495
AT ITER 25 NEW BEST:: SOT 69790 SOS 47495 HAS SOPS 47495 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25070.495
AT ITER 26 NEW BEST:: SOT 69655 SOS 48207 HAS SOPS 48207 HAS SOUS 24913 HAS SOUPS 24913 WITH SCORE 24961.207
AT ITER 29 NEW BEST:: SOT 69655 SOS 50043 HAS SOPS 50043 HAS SOUS 24872 HAS SOUPS 24872 WITH SCORE 24922.043
AT ITER 30 NEW BEST:: SOT 69527 SOS 49915 HAS SOPS 49915 HAS SOUS 24751 HAS SOUPS 24751 WITH SCORE 24800.915
AT ITER 40 NEW BEST:: SOT 69527 SOS 49915 HAS SOPS 49915 HAS SOUS 24730 HAS SOUPS 24730 WITH SCORE 24779.915
AT ITER 43 NEW BEST:: SOT 69273 SOS 49661 HAS SOPS 49661 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24627.661
AT ITER 50 NEW BEST:: SOT 69243 SOS 49691 HAS SOPS 49691 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24609.691
AT ITER 73 NEW BEST:: SOT 69115 SOS 50260 HAS SOPS 50260 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24260.26
AT ITER 74 NEW BEST:: SOT 69059 SOS 50221 HAS SOPS 50221 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24212.221
AT ITER 81 NEW BEST:: SOT 69037 SOS 50199 HAS SOPS 50199 HAS SOUS 24100 HAS SOUPS 24100 WITH SCORE 24150.199
AT ITER 90 NEW BEST:: SOT 69037 SOS 50199 HAS SOPS 50199 HAS SOUS 24084 HAS SOUPS 24084 WITH SCORE 24134.199
AT ITER 93 NEW BEST:: SOT 69037 SOS 50199 HAS SOPS 50199 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24066.199
AT ITER 94 NEW BEST:: SOT 68915 SOS 50589 HAS SOPS 50589 HAS SOUS 23847 HAS SOUPS 23847 WITH SCORE 23897.589
AT ITER 103 NEW BEST:: SOT 68647 SOS 50451 HAS SOPS 50451 HAS SOUS 23689 HAS SOUPS 23689 WITH SCORE 23739.451
AT ITER 105 NEW BEST:: SOT 68609 SOS 50413 HAS SOPS 50413 HAS SOUS 23657 HAS SOUPS 23657 WITH SCORE 23707.413
AT ITER 116 NEW BEST:: SOT 68497 SOS 50480 HAS SOPS 50480 HAS SOUS 23567 HAS SOUPS 23567 WITH SCORE 23617.48
AT ITER 118 NEW BEST:: SOT 68271 SOS 50465 HAS SOPS 50465 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23427.465
AT ITER 123 NEW BEST:: SOT 68271 SOS 50465 HAS SOPS 50465 HAS SOUS 23345 HAS SOUPS 23345 WITH SCORE 23395.465
AT ITER 132 NEW BEST:: SOT 68078 SOS 50865 HAS SOPS 50865 HAS SOUS 23014 HAS SOUPS 23014 WITH SCORE 23064.865
AT ITER 135 NEW BEST:: SOT 68078 SOS 50865 HAS SOPS 50865 HAS SOUS 23010 HAS SOUPS 23010 WITH SCORE 23060.865
AT ITER 156 NEW BEST:: SOT 68078 SOS 50865 HAS SOPS 50865 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 23005.865
AT ITER 164 NEW BEST:: SOT 68087 SOS 50874 HAS SOPS 50874 HAS SOUS 22890 HAS SOUPS 22890 WITH SCORE 22940.874
AT ITER 169 NEW BEST:: SOT 68077 SOS 50864 HAS SOPS 50864 HAS SOUS 22850 HAS SOUPS 22850 WITH SCORE 22900.864
AT ITER 174 NEW BEST:: SOT 68077 SOS 50864 HAS SOPS 50864 HAS SOUS 22845 HAS SOUPS 22845 WITH SCORE 22895.864
AT ITER 194 NEW BEST:: SOT 68059 SOS 51011 HAS SOPS 51011 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22773.011
AT ITER 228 NEW BEST:: SOT 67981 SOS 50933 HAS SOPS 50933 HAS SOUS 22608 HAS SOUPS 22608 WITH SCORE 22658.933
AT ITER 234 NEW BEST:: SOT 67981 SOS 50933 HAS SOPS 50933 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22596.933
AT ITER 237 NEW BEST:: SOT 67534 SOS 51001 HAS SOPS 51001 HAS SOUS 22188 HAS SOUPS 22188 WITH SCORE 22239.001
AT ITER 250 NEW BEST:: SOT 67534 SOS 51001 HAS SOPS 51001 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22237.001
AT ITER 256 NEW BEST:: SOT 67447 SOS 50953 HAS SOPS 50953 HAS SOUS 22079 HAS SOUPS 22079 WITH SCORE 22129.953
AT ITER 273 NEW BEST:: SOT 67442 SOS 51475 HAS SOPS 51475 HAS SOUS 21867 HAS SOUPS 21867 WITH SCORE 21918.475
AT ITER 277 NEW BEST:: SOT 67424 SOS 51464 HAS SOPS 51464 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21914.464
AT ITER 285 NEW BEST:: SOT 67426 SOS 51360 HAS SOPS 51360 HAS SOUS 21826 HAS SOUPS 21826 WITH SCORE 21877.36
AT ITER 293 NEW BEST:: SOT 67398 SOS 51332 HAS SOPS 51332 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21849.332
AT ITER 313 NEW BEST:: SOT 67388 SOS 51355 HAS SOPS 51355 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21833.355
AT ITER 321 NEW BEST:: SOT 67388 SOS 51355 HAS SOPS 51355 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21813.355
AT ITER 323 NEW BEST:: SOT 67386 SOS 51353 HAS SOPS 51353 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21805.353
AT ITER 348 NEW BEST:: SOT 67385 SOS 51352 HAS SOPS 51352 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21784.352
AT ITER 350 NEW BEST:: SOT 67385 SOS 50825 HAS SOPS 50825 HAS SOUS 21686 HAS SOUPS 21686 WITH SCORE 21736.825
AT ITER 361 NEW BEST:: SOT 67311 SOS 50751 HAS SOPS 50751 HAS SOUS 21579 HAS SOUPS 21579 WITH SCORE 21629.751
AT ITER 375 NEW BEST:: SOT 67257 SOS 50697 HAS SOPS 50697 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21545.697
AT ITER 381 NEW BEST:: SOT 67157 SOS 50597 HAS SOPS 50597 HAS SOUS 21405 HAS SOUPS 21405 WITH SCORE 21455.597
AT ITER 384 NEW BEST:: SOT 67193 SOS 50633 HAS SOPS 50633 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21369.633
AT ITER 409 NEW BEST:: SOT 67200 SOS 50640 HAS SOPS 50640 HAS SOUS 21316 HAS SOUPS 21316 WITH SCORE 21366.64
AT ITER 412 NEW BEST:: SOT 67200 SOS 50640 HAS SOPS 50640 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21359.64
AT ITER 416 NEW BEST:: SOT 67197 SOS 50637 HAS SOPS 50637 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21348.637
AT ITER 429 NEW BEST:: SOT 67060 SOS 50500 HAS SOPS 50500 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21337.5
AT ITER 465 NEW BEST:: SOT 67129 SOS 52657 HAS SOPS 52657 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21238.657
AT ITER 486 NEW BEST:: SOT 67115 SOS 52643 HAS SOPS 52643 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21197.643
AT ITER 494 NEW BEST:: SOT 67115 SOS 52643 HAS SOPS 52643 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21196.643
AT ITER 496 NEW BEST:: SOT 67115 SOS 52643 HAS SOPS 52643 HAS SOUS 21141 HAS SOUPS 21141 WITH SCORE 21193.643
AT ITER 502 NEW BEST:: SOT 67115 SOS 57060 HAS SOPS 57060 HAS SOUS 21103 HAS SOUPS 21103 WITH SCORE 21160.06
AT ITER 516 NEW BEST:: SOT 66987 SOS 56932 HAS SOPS 56932 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21134.932
AT ITER 521 NEW BEST:: SOT 66963 SOS 56908 HAS SOPS 56908 HAS SOUS 21032 HAS SOUPS 21032 WITH SCORE 21088.908
AT ITER 556 NEW BEST:: SOT 66951 SOS 56896 HAS SOPS 56896 HAS SOUS 21014 HAS SOUPS 21014 WITH SCORE 21070.896
AT ITER 560 NEW BEST:: SOT 66951 SOS 56898 HAS SOPS 56898 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21068.898
AT ITER 561 NEW BEST:: SOT 66873 SOS 56820 HAS SOPS 56820 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20985.82
AT ITER 566 NEW BEST:: SOT 66873 SOS 56881 HAS SOPS 56881 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20922.881
AT ITER 581 NEW BEST:: SOT 66803 SOS 56773 HAS SOPS 56773 HAS SOUS 20853 HAS SOUPS 20853 WITH SCORE 20909.773
AT ITER 595 NEW BEST:: SOT 66803 SOS 56773 HAS SOPS 56773 HAS SOUS 20833 HAS SOUPS 20833 WITH SCORE 20889.773
AT ITER 650 NEW BEST:: SOT 66596 SOS 56566 HAS SOPS 56566 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20830.566
AT ITER 674 NEW BEST:: SOT 66611 SOS 56581 HAS SOPS 56581 HAS SOUS 20759 HAS SOUPS 20759 WITH SCORE 20815.581
AT ITER 693 NEW BEST:: SOT 66603 SOS 56573 HAS SOPS 56573 HAS SOUS 20753 HAS SOUPS 20753 WITH SCORE 20809.573
AT ITER 697 NEW BEST:: SOT 66486 SOS 56456 HAS SOPS 56456 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20532.456
AT ITER 743 NEW BEST:: SOT 66486 SOS 56456 HAS SOPS 56456 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20514.456
AT ITER 774 NEW BEST:: SOT 66434 SOS 56404 HAS SOPS 56404 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20410.404
AT ITER 781 NEW BEST:: SOT 66434 SOS 56404 HAS SOPS 56404 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20367.404
AT ITER 798 NEW BEST:: SOT 66404 SOS 56374 HAS SOPS 56374 HAS SOUS 20281 HAS SOUPS 20281 WITH SCORE 20337.374
AT ITER 816 NEW BEST:: SOT 66399 SOS 56369 HAS SOPS 56369 HAS SOUS 20272 HAS SOUPS 20272 WITH SCORE 20328.369
AT ITER 817 NEW BEST:: SOT 66403 SOS 56464 HAS SOPS 56464 HAS SOUS 20234 HAS SOUPS 20234 WITH SCORE 20290.464
AT ITER 821 NEW BEST:: SOT 66403 SOS 56464 HAS SOPS 56464 HAS SOUS 20231 HAS SOUPS 20231 WITH SCORE 20287.464
AT ITER 828 NEW BEST:: SOT 66403 SOS 56464 HAS SOPS 56464 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20281.464
AT ITER 835 NEW BEST:: SOT 66403 SOS 56464 HAS SOPS 56464 HAS SOUS 20208 HAS SOUPS 20208 WITH SCORE 20264.464
AT ITER 842 NEW BEST:: SOT 66403 SOS 56484 HAS SOPS 56484 HAS SOUS 20204 HAS SOUPS 20204 WITH SCORE 20260.484
AT ITER 848 NEW BEST:: SOT 66403 SOS 56484 HAS SOPS 56484 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20258.484
AT ITER 889 NEW BEST:: SOT 66403 SOS 56484 HAS SOPS 56484 HAS SOUS 20199 HAS SOUPS 20199 WITH SCORE 20255.484
AT ITER 913 NEW BEST:: SOT 66403 SOS 56484 HAS SOPS 56484 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20227.484
AT ITER 929 NEW BEST:: SOT 66402 SOS 56483 HAS SOPS 56483 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20227.483
AT ITER 941 NEW BEST:: SOT 66411 SOS 56469 HAS SOPS 56469 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20210.469
AT ITER 948 NEW BEST:: SOT 66333 SOS 56391 HAS SOPS 56391 HAS SOUS 20081 HAS SOUPS 20081 WITH SCORE 20137.391
AT ITER 964 NEW BEST:: SOT 66309 SOS 56367 HAS SOPS 56367 HAS SOUS 20057 HAS SOUPS 20057 WITH SCORE 20113.367
AT ITER 966 NEW BEST:: SOT 66311 SOS 56369 HAS SOPS 56369 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20107.369
AT ITER 981 NEW BEST:: SOT 66311 SOS 56369 HAS SOPS 56369 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20077.369
AT ITER 990 NEW BEST:: SOT 66311 SOS 56381 HAS SOPS 56381 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20059.381
AT ITER 997 NEW BEST:: SOT 66225 SOS 56295 HAS SOPS 56295 HAS SOUS 19902 HAS SOUPS 19902 WITH SCORE 19958.295
AT ITER 1000 NEW BEST:: SOT 66159 SOS 56229 HAS SOPS 56229 HAS SOUS 19864 HAS SOUPS 19864 WITH SCORE 19920.229
AT ITER 1004 NEW BEST:: SOT 66159 SOS 55909 HAS SOPS 55909 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19903.909
AT ITER 1009 NEW BEST:: SOT 66175 SOS 55925 HAS SOPS 55925 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19898.925
AT ITER 1051 NEW BEST:: SOT 66109 SOS 55859 HAS SOPS 55859 HAS SOUS 19766 HAS SOUPS 19766 WITH SCORE 19821.859
AT ITER 1076 NEW BEST:: SOT 66039 SOS 55789 HAS SOPS 55789 HAS SOUS 19711 HAS SOUPS 19711 WITH SCORE 19766.789
AT ITER 1094 NEW BEST:: SOT 66033 SOS 55783 HAS SOPS 55783 HAS SOUS 19696 HAS SOUPS 19696 WITH SCORE 19751.783
AT ITER 1115 NEW BEST:: SOT 66036 SOS 55786 HAS SOPS 55786 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19746.786
AT ITER 1145 NEW BEST:: SOT 66038 SOS 55788 HAS SOPS 55788 HAS SOUS 19689 HAS SOUPS 19689 WITH SCORE 19744.788
AT ITER 1153 NEW BEST:: SOT 66026 SOS 55776 HAS SOPS 55776 HAS SOUS 19675 HAS SOUPS 19675 WITH SCORE 19730.776
AT ITER 1156 NEW BEST:: SOT 66026 SOS 55776 HAS SOPS 55776 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19705.776
AT ITER 1157 NEW BEST:: SOT 66026 SOS 51274 HAS SOPS 51274 HAS SOUS 19625 HAS SOUPS 19625 WITH SCORE 19676.274
AT ITER 1182 NEW BEST:: SOT 65797 SOS 51045 HAS SOPS 51045 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19583.045
AT ITER 1184 NEW BEST:: SOT 65795 SOS 51043 HAS SOPS 51043 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19581.043
AT ITER 1190 NEW BEST:: SOT 65571 SOS 50819 HAS SOPS 50819 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19432.819
AT ITER 1231 NEW BEST:: SOT 65558 SOS 50806 HAS SOPS 50806 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19425.806
AT ITER 1233 NEW BEST:: SOT 65561 SOS 50787 HAS SOPS 50787 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19414.787
AT ITER 1281 NEW BEST:: SOT 65561 SOS 50737 HAS SOPS 50737 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19388.737
AT ITER 1295 NEW BEST:: SOT 65558 SOS 50734 HAS SOPS 50734 HAS SOUS 19323 HAS SOUPS 19323 WITH SCORE 19373.734
AT ITER 1320 NEW BEST:: SOT 65567 SOS 50743 HAS SOPS 50743 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19332.743
AT ITER 1344 NEW BEST:: SOT 65567 SOS 50383 HAS SOPS 50383 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19332.383
AT ITER 1358 NEW BEST:: SOT 65590 SOS 50406 HAS SOPS 50406 HAS SOUS 19274 HAS SOUPS 19274 WITH SCORE 19324.406
AT ITER 1359 NEW BEST:: SOT 65587 SOS 50233 HAS SOPS 50233 HAS SOUS 19270 HAS SOUPS 19270 WITH SCORE 19320.233
AT ITER 1380 NEW BEST:: SOT 65586 SOS 50232 HAS SOPS 50232 HAS SOUS 19228 HAS SOUPS 19228 WITH SCORE 19278.232
AT ITER 1392 NEW BEST:: SOT 65586 SOS 50232 HAS SOPS 50232 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19276.232
AT ITER 1420 NEW BEST:: SOT 65562 SOS 50208 HAS SOPS 50208 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19212.208
AT ITER 1446 NEW BEST:: SOT 65602 SOS 50248 HAS SOPS 50248 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19069.248
AT ITER 1466 NEW BEST:: SOT 65630 SOS 50018 HAS SOPS 50018 HAS SOUS 18957 HAS SOUPS 18957 WITH SCORE 19007.018
AT ITER 1474 NEW BEST:: SOT 65698 SOS 50086 HAS SOPS 50086 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18988.086
AT ITER 1518 NEW BEST:: SOT 65680 SOS 50068 HAS SOPS 50068 HAS SOUS 18905 HAS SOUPS 18905 WITH SCORE 18955.068
AT ITER 1539 NEW BEST:: SOT 65640 SOS 50028 HAS SOPS 50028 HAS SOUS 18864 HAS SOUPS 18864 WITH SCORE 18914.028
AT ITER 1559 NEW BEST:: SOT 65576 SOS 49964 HAS SOPS 49964 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18826.964
AT ITER 1563 NEW BEST:: SOT 65576 SOS 49964 HAS SOPS 49964 HAS SOUS 18769 HAS SOUPS 18769 WITH SCORE 18818.964
AT ITER 1573 NEW BEST:: SOT 65572 SOS 49960 HAS SOPS 49960 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18748.96
AT ITER 1584 NEW BEST:: SOT 65572 SOS 49672 HAS SOPS 49672 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18748.672
AT ITER 1607 NEW BEST:: SOT 65534 SOS 49643 HAS SOPS 49643 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18739.643
AT ITER 1616 NEW BEST:: SOT 65444 SOS 49553 HAS SOPS 49553 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18735.553
AT ITER 1700 NEW BEST:: SOT 65442 SOS 49551 HAS SOPS 49551 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18732.551
AT ITER 1784 NEW BEST:: SOT 65420 SOS 49538 HAS SOPS 49538 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18694.538
AT ITER 1826 NEW BEST:: SOT 65420 SOS 49538 HAS SOPS 49538 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18677.538
AT ITER 1848 NEW BEST:: SOT 65437 SOS 49555 HAS SOPS 49555 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18670.555
AT ITER 1850 NEW BEST:: SOT 65431 SOS 49559 HAS SOPS 49559 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18666.559
AT ITER 1879 NEW BEST:: SOT 65340 SOS 49468 HAS SOPS 49468 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18609.468
AT ITER 1886 NEW BEST:: SOT 65344 SOS 49528 HAS SOPS 49528 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18585.528
AT ITER 1917 NEW BEST:: SOT 65348 SOS 49523 HAS SOPS 49523 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18584.523
AT ITER 1920 NEW BEST:: SOT 65348 SOS 48707 HAS SOPS 48707 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18583.707
AT ITER 1928 NEW BEST:: SOT 65366 SOS 48725 HAS SOPS 48725 HAS SOUS 18518 HAS SOUPS 18518 WITH SCORE 18566.725
AT ITER 1931 NEW BEST:: SOT 65366 SOS 49885 HAS SOPS 49885 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18559.885
AT ITER 2016 NEW BEST:: SOT 65366 SOS 49885 HAS SOPS 49885 HAS SOUS 18502 HAS SOUPS 18502 WITH SCORE 18551.885
AT ITER 2019 NEW BEST:: SOT 65346 SOS 49909 HAS SOPS 49909 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18547.909
AT ITER 2023 NEW BEST:: SOT 65322 SOS 49885 HAS SOPS 49885 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18515.885
AT ITER 2029 NEW BEST:: SOT 65317 SOS 49880 HAS SOPS 49880 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18510.88
AT ITER 2097 NEW BEST:: SOT 65313 SOS 49876 HAS SOPS 49876 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18498.876
AT ITER 2104 NEW BEST:: SOT 65313 SOS 52062 HAS SOPS 52062 HAS SOUS 18435 HAS SOUPS 18435 WITH SCORE 18487.062
AT ITER 2237 NEW BEST:: SOT 65313 SOS 52062 HAS SOPS 52062 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18476.062
AT ITER 2247 NEW BEST:: SOT 65305 SOS 52054 HAS SOPS 52054 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18460.054
AT ITER 2259 NEW BEST:: SOT 65296 SOS 52045 HAS SOPS 52045 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18427.045
AT ITER 2265 NEW BEST:: SOT 65295 SOS 52044 HAS SOPS 52044 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18420.044
AT ITER 2285 NEW BEST:: SOT 65295 SOS 51732 HAS SOPS 51732 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18419.732
AT ITER 2289 NEW BEST:: SOT 65289 SOS 51737 HAS SOPS 51737 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18413.737
AT ITER 2293 NEW BEST:: SOT 65289 SOS 51737 HAS SOPS 51737 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18400.737
AT ITER 2363 NEW BEST:: SOT 65265 SOS 51702 HAS SOPS 51702 HAS SOUS 18319 HAS SOUPS 18319 WITH SCORE 18370.702
AT ITER 2367 NEW BEST:: SOT 65265 SOS 51702 HAS SOPS 51702 HAS SOUS 18240 HAS SOUPS 18240 WITH SCORE 18291.702
AT ITER 2407 NEW BEST:: SOT 65265 SOS 51702 HAS SOPS 51702 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18288.702
AT ITER 2423 NEW BEST:: SOT 65265 SOS 51702 HAS SOPS 51702 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18264.702
AT ITER 2476 NEW BEST:: SOT 65247 SOS 51684 HAS SOPS 51684 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18246.684
AT ITER 2495 NEW BEST:: SOT 65250 SOS 52839 HAS SOPS 52839 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18243.839
AT ITER 2518 NEW BEST:: SOT 65250 SOS 52839 HAS SOPS 52839 HAS SOUS 18165 HAS SOUPS 18165 WITH SCORE 18217.839
AT ITER 2536 NEW BEST:: SOT 65231 SOS 52820 HAS SOPS 52820 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18198.82
AT ITER 2601 NEW BEST:: SOT 65220 SOS 52809 HAS SOPS 52809 HAS SOUS 18119 HAS SOUPS 18119 WITH SCORE 18171.809
AT ITER 2605 NEW BEST:: SOT 65220 SOS 52745 HAS SOPS 52745 HAS SOUS 18119 HAS SOUPS 18119 WITH SCORE 18171.745
AT ITER 2611 NEW BEST:: SOT 65199 SOS 52768 HAS SOPS 52768 HAS SOUS 18105 HAS SOUPS 18105 WITH SCORE 18157.768
AT ITER 2617 NEW BEST:: SOT 65151 SOS 52735 HAS SOPS 52735 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18121.735
AT ITER 2623 NEW BEST:: SOT 65139 SOS 52741 HAS SOPS 52741 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18111.741
AT ITER 2626 NEW BEST:: SOT 65141 SOS 52743 HAS SOPS 52743 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18107.743
AT ITER 2681 NEW BEST:: SOT 65171 SOS 52965 HAS SOPS 52965 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18092.965
AT ITER 2697 NEW BEST:: SOT 65171 SOS 52965 HAS SOPS 52965 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18081.965
AT ITER 2748 NEW BEST:: SOT 65161 SOS 52955 HAS SOPS 52955 HAS SOUS 18019 HAS SOUPS 18019 WITH SCORE 18071.955
AT ITER 2752 NEW BEST:: SOT 65161 SOS 52951 HAS SOPS 52951 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18067.951
AT ITER 2758 NEW BEST:: SOT 65161 SOS 52759 HAS SOPS 52759 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18067.759
AT ITER 2804 NEW BEST:: SOT 65161 SOS 52527 HAS SOPS 52527 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18065.527
AT ITER 2860 NEW BEST:: SOT 65161 SOS 52531 HAS SOPS 52531 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 18029.531
AT ITER 2965 NEW BEST:: SOT 65024 SOS 52394 HAS SOPS 52394 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17964.394
AT ITER 2968 NEW BEST:: SOT 65024 SOS 52396 HAS SOPS 52396 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17955.396
AT ITER 2997 NEW BEST:: SOT 65024 SOS 52396 HAS SOPS 52396 HAS SOUS 17895 HAS SOUPS 17895 WITH SCORE 17947.396
AT ITER 2998 NEW BEST:: SOT 65024 SOS 51324 HAS SOPS 51324 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17944.324
AT ITER 3028 NEW BEST:: SOT 65024 SOS 51324 HAS SOPS 51324 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17940.324
AT ITER 3115 NEW BEST:: SOT 65024 SOS 51068 HAS SOPS 51068 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17940.068
AT ITER 3138 NEW BEST:: SOT 65000 SOS 51038 HAS SOPS 51038 HAS SOUS 17859 HAS SOUPS 17859 WITH SCORE 17910.038
AT ITER 3237 NEW BEST:: SOT 65000 SOS 51038 HAS SOPS 51038 HAS SOUS 17820 HAS SOUPS 17820 WITH SCORE 17871.038
AT ITER 3247 NEW BEST:: SOT 64996 SOS 51034 HAS SOPS 51034 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17858.034
AT ITER 3285 NEW BEST:: SOT 65049 SOS 51087 HAS SOPS 51087 HAS SOUS 17802 HAS SOUPS 17802 WITH SCORE 17853.087
AT ITER 3312 NEW BEST:: SOT 65049 SOS 53736 HAS SOPS 53736 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17699.736
AT ITER 3334 NEW BEST:: SOT 65040 SOS 53727 HAS SOPS 53727 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17681.727
AT ITER 3336 NEW BEST:: SOT 65040 SOS 53727 HAS SOPS 53727 HAS SOUS 17604 HAS SOUPS 17604 WITH SCORE 17657.727
AT ITER 3357 NEW BEST:: SOT 65040 SOS 53855 HAS SOPS 53855 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17655.855
AT ITER 3366 NEW BEST:: SOT 65040 SOS 53695 HAS SOPS 53695 HAS SOUS 17592 HAS SOUPS 17592 WITH SCORE 17645.695
AT ITER 3380 NEW BEST:: SOT 65040 SOS 53691 HAS SOPS 53691 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17643.691
AT ITER 3390 NEW BEST:: SOT 64974 SOS 53625 HAS SOPS 53625 HAS SOUS 17462 HAS SOUPS 17462 WITH SCORE 17515.625
AT ITER 3392 NEW BEST:: SOT 64958 SOS 53609 HAS SOPS 53609 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17487.609
AT ITER 3394 NEW BEST:: SOT 64900 SOS 53551 HAS SOPS 53551 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17391.551
AT ITER 3400 NEW BEST:: SOT 64825 SOS 53476 HAS SOPS 53476 HAS SOUS 17286 HAS SOUPS 17286 WITH SCORE 17339.476
AT ITER 3405 NEW BEST:: SOT 64825 SOS 53476 HAS SOPS 53476 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17337.476
AT ITER 3418 NEW BEST:: SOT 64825 SOS 53428 HAS SOPS 53428 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17334.428
AT ITER 3422 NEW BEST:: SOT 64839 SOS 53442 HAS SOPS 53442 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17319.442
AT ITER 3436 NEW BEST:: SOT 64839 SOS 53442 HAS SOPS 53442 HAS SOUS 17246 HAS SOUPS 17246 WITH SCORE 17299.442
AT ITER 3451 NEW BEST:: SOT 64727 SOS 53330 HAS SOPS 53330 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17275.33
AT ITER 3474 NEW BEST:: SOT 64727 SOS 53330 HAS SOPS 53330 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17263.33
AT ITER 3482 NEW BEST:: SOT 64727 SOS 53330 HAS SOPS 53330 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17248.33
AT ITER 3497 NEW BEST:: SOT 64746 SOS 53349 HAS SOPS 53349 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17247.349
AT ITER 3527 NEW BEST:: SOT 64748 SOS 53365 HAS SOPS 53365 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17226.365
AT ITER 3531 NEW BEST:: SOT 64748 SOS 53341 HAS SOPS 53341 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17226.341
AT ITER 3545 NEW BEST:: SOT 64663 SOS 53256 HAS SOPS 53256 HAS SOUS 17147 HAS SOUPS 17147 WITH SCORE 17200.256
AT ITER 3547 NEW BEST:: SOT 64655 SOS 53248 HAS SOPS 53248 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17192.248
AT ITER 3560 NEW BEST:: SOT 64655 SOS 53248 HAS SOPS 53248 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17190.248
AT ITER 3573 NEW BEST:: SOT 64655 SOS 53096 HAS SOPS 53096 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17190.096
AT ITER 3661 NEW BEST:: SOT 64649 SOS 53090 HAS SOPS 53090 HAS SOUS 17125 HAS SOUPS 17125 WITH SCORE 17178.09
AT ITER 3669 NEW BEST:: SOT 64649 SOS 53090 HAS SOPS 53090 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17175.09
AT ITER 3671 NEW BEST:: SOT 64657 SOS 53098 HAS SOPS 53098 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17170.098
AT ITER 3781 NEW BEST:: SOT 64659 SOS 53268 HAS SOPS 53268 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17169.268
AT ITER 3786 NEW BEST:: SOT 64659 SOS 53273 HAS SOPS 53273 HAS SOUS 17101 HAS SOUPS 17101 WITH SCORE 17154.273
AT ITER 3823 NEW BEST:: SOT 64556 SOS 53170 HAS SOPS 53170 HAS SOUS 16994 HAS SOUPS 16994 WITH SCORE 17047.17
AT ITER 3892 NEW BEST:: SOT 64556 SOS 52888 HAS SOPS 52888 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17044.888
AT ITER 3922 NEW BEST:: SOT 64560 SOS 52892 HAS SOPS 52892 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17032.892
AT ITER 3980 NEW BEST:: SOT 64556 SOS 52888 HAS SOPS 52888 HAS SOUS 16973 HAS SOUPS 16973 WITH SCORE 17025.888
AT ITER 3998 NEW BEST:: SOT 64556 SOS 52128 HAS SOPS 52128 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 17022.128
AT ITER 4027 NEW BEST:: SOT 64556 SOS 52128 HAS SOPS 52128 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 17009.128
AT ITER 4096 NEW BEST:: SOT 64562 SOS 52134 HAS SOPS 52134 HAS SOUS 16955 HAS SOUPS 16955 WITH SCORE 17007.134
AT ITER 4146 NEW BEST:: SOT 64562 SOS 52134 HAS SOPS 52134 HAS SOUS 16838 HAS SOUPS 16838 WITH SCORE 16890.134
AT ITER 4224 NEW BEST:: SOT 64557 SOS 52129 HAS SOPS 52129 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16878.129
AT ITER 4248 NEW BEST:: SOT 64581 SOS 52153 HAS SOPS 52153 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16874.153
AT ITER 4314 NEW BEST:: SOT 64581 SOS 52113 HAS SOPS 52113 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16874.113
AT ITER 4319 NEW BEST:: SOT 64581 SOS 52113 HAS SOPS 52113 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16846.113
AT ITER 4339 NEW BEST:: SOT 64579 SOS 52062 HAS SOPS 52062 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16846.062
AT ITER 4387 NEW BEST:: SOT 64579 SOS 52062 HAS SOPS 52062 HAS SOUS 16792 HAS SOUPS 16792 WITH SCORE 16844.062
AT ITER 4409 NEW BEST:: SOT 64579 SOS 52062 HAS SOPS 52062 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16842.062
AT ITER 4423 NEW BEST:: SOT 64576 SOS 52059 HAS SOPS 52059 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16837.059
AT ITER 4465 NEW BEST:: SOT 64576 SOS 52005 HAS SOPS 52005 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16782.005
AT ITER 4577 NEW BEST:: SOT 64576 SOS 52005 HAS SOPS 52005 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16768.005
AT ITER 4630 NEW BEST:: SOT 64576 SOS 52005 HAS SOPS 52005 HAS SOUS 16714 HAS SOUPS 16714 WITH SCORE 16766.005
AT ITER 4683 NEW BEST:: SOT 64576 SOS 52125 HAS SOPS 52125 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16763.125
AT ITER 4685 NEW BEST:: SOT 64553 SOS 52102 HAS SOPS 52102 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16756.102
AT ITER 4691 NEW BEST:: SOT 64447 SOS 51996 HAS SOPS 51996 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16753.996
AT ITER 4732 NEW BEST:: SOT 64445 SOS 51994 HAS SOPS 51994 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16751.994
AT ITER 4752 NEW BEST:: SOT 64476 SOS 52025 HAS SOPS 52025 HAS SOUS 16681 HAS SOUPS 16681 WITH SCORE 16733.025
AT ITER 4760 NEW BEST:: SOT 64476 SOS 52025 HAS SOPS 52025 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16716.025
AT ITER 4774 NEW BEST:: SOT 64476 SOS 50641 HAS SOPS 50641 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16704.641
AT ITER 4818 NEW BEST:: SOT 64476 SOS 50529 HAS SOPS 50529 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16704.529
AT ITER 4836 NEW BEST:: SOT 64476 SOS 50521 HAS SOPS 50521 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16704.521
AT ITER 4866 NEW BEST:: SOT 64462 SOS 50507 HAS SOPS 50507 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16683.507
AT ITER 4947 NEW BEST:: SOT 64446 SOS 50499 HAS SOPS 50499 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16598.499
AT ITER 4972 NEW BEST:: SOT 64387 SOS 50440 HAS SOPS 50440 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16596.44
AT ITER 5016 NEW BEST:: SOT 64384 SOS 50437 HAS SOPS 50437 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16587.437
AT ITER 5025 NEW BEST:: SOT 64374 SOS 50420 HAS SOPS 50420 HAS SOUS 16531 HAS SOUPS 16531 WITH SCORE 16581.42
AT ITER 5141 NEW BEST:: SOT 64374 SOS 50420 HAS SOPS 50420 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16570.42
AT ITER 5147 NEW BEST:: SOT 64375 SOS 50421 HAS SOPS 50421 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16557.421
AT ITER 5300 NEW BEST:: SOT 64335 SOS 50381 HAS SOPS 50381 HAS SOUS 16483 HAS SOUPS 16483 WITH SCORE 16533.381
AT ITER 5401 NEW BEST:: SOT 64271 SOS 50317 HAS SOPS 50317 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16415.317
AT ITER 5402 NEW BEST:: SOT 64225 SOS 50271 HAS SOPS 50271 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16378.271
AT ITER 5403 NEW BEST:: SOT 64221 SOS 50267 HAS SOPS 50267 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16374.267
AT ITER 5453 NEW BEST:: SOT 64221 SOS 50299 HAS SOPS 50299 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16371.299
AT ITER 5534 NEW BEST:: SOT 64191 SOS 50269 HAS SOPS 50269 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16321.269
AT ITER 5548 NEW BEST:: SOT 64143 SOS 50221 HAS SOPS 50221 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16315.221
AT ITER 5563 NEW BEST:: SOT 64135 SOS 50213 HAS SOPS 50213 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16307.213
AT ITER 5569 NEW BEST:: SOT 64131 SOS 50209 HAS SOPS 50209 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16307.209
AT ITER 5595 NEW BEST:: SOT 64131 SOS 50209 HAS SOPS 50209 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16297.209
AT ITER 5603 NEW BEST:: SOT 64061 SOS 48539 HAS SOPS 48539 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16278.539
AT ITER 5666 NEW BEST:: SOT 64042 SOS 48520 HAS SOPS 48520 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16211.52
AT ITER 5749 NEW BEST:: SOT 64042 SOS 48520 HAS SOPS 48520 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16202.52
AT ITER 5756 NEW BEST:: SOT 64040 SOS 48518 HAS SOPS 48518 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16196.518
AT ITER 5809 NEW BEST:: SOT 64040 SOS 48518 HAS SOPS 48518 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16188.518
AT ITER 6023 NEW BEST:: SOT 64030 SOS 48511 HAS SOPS 48511 HAS SOUS 16132 HAS SOUPS 16132 WITH SCORE 16180.511
AT ITER 6028 NEW BEST:: SOT 64030 SOS 48215 HAS SOPS 48215 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16178.215
AT ITER 6034 NEW BEST:: SOT 64030 SOS 48207 HAS SOPS 48207 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16178.207
AT ITER 6037 NEW BEST:: SOT 64026 SOS 48203 HAS SOPS 48203 HAS SOUS 16128 HAS SOUPS 16128 WITH SCORE 16176.203
AT ITER 6047 NEW BEST:: SOT 64026 SOS 48187 HAS SOPS 48187 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16175.187
AT ITER 6056 NEW BEST:: SOT 64018 SOS 48179 HAS SOPS 48179 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16167.179
AT ITER 6059 NEW BEST:: SOT 64021 SOS 48182 HAS SOPS 48182 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16166.182
AT ITER 6118 NEW BEST:: SOT 64018 SOS 48179 HAS SOPS 48179 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16157.179
AT ITER 6130 NEW BEST:: SOT 64018 SOS 48179 HAS SOPS 48179 HAS SOUS 16108 HAS SOUPS 16108 WITH SCORE 16156.179
AT ITER 6268 NEW BEST:: SOT 64006 SOS 48167 HAS SOPS 48167 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16152.167
AT ITER 6327 NEW BEST:: SOT 64006 SOS 48175 HAS SOPS 48175 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16151.175
AT ITER 6388 NEW BEST:: SOT 63994 SOS 48161 HAS SOPS 48161 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16138.161
AT ITER 6394 NEW BEST:: SOT 63994 SOS 48233 HAS SOPS 48233 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16117.233
AT ITER 6398 NEW BEST:: SOT 63994 SOS 48153 HAS SOPS 48153 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16117.153
AT ITER 6445 NEW BEST:: SOT 63994 SOS 48041 HAS SOPS 48041 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16117.041
AT ITER 6446 NEW BEST:: SOT 63986 SOS 48033 HAS SOPS 48033 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16094.033
AT ITER 6547 NEW BEST:: SOT 63986 SOS 47833 HAS SOPS 47833 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16093.833
AT ITER 6644 NEW BEST:: SOT 63992 SOS 47839 HAS SOPS 47839 HAS SOUS 16019 HAS SOUPS 16019 WITH SCORE 16066.839
AT ITER 6692 NEW BEST:: SOT 63945 SOS 47792 HAS SOPS 47792 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 16019.792
AT ITER 6826 NEW BEST:: SOT 63942 SOS 47789 HAS SOPS 47789 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 16016.789
AT ITER 6931 NEW BEST:: SOT 63942 SOS 47861 HAS SOPS 47861 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 16001.861
AT ITER 6936 NEW BEST:: SOT 63916 SOS 47727 HAS SOPS 47727 HAS SOUS 15951 HAS SOUPS 15951 WITH SCORE 15998.727
AT ITER 6956 NEW BEST:: SOT 63875 SOS 47686 HAS SOPS 47686 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15997.686
AT ITER 6979 NEW BEST:: SOT 63873 SOS 47684 HAS SOPS 47684 HAS SOUS 15948 HAS SOUPS 15948 WITH SCORE 15995.684
AT ITER 7064 NEW BEST:: SOT 63761 SOS 47569 HAS SOPS 47569 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15936.569
AT ITER 7078 NEW BEST:: SOT 63762 SOS 47570 HAS SOPS 47570 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15921.57
AT ITER 7099 NEW BEST:: SOT 63755 SOS 47563 HAS SOPS 47563 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15916.563
AT ITER 7195 NEW BEST:: SOT 63755 SOS 47563 HAS SOPS 47563 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15910.563
AT ITER 7204 NEW BEST:: SOT 63749 SOS 47557 HAS SOPS 47557 HAS SOUS 15857 HAS SOUPS 15857 WITH SCORE 15904.557
AT ITER 7414 NEW BEST:: SOT 63739 SOS 47547 HAS SOPS 47547 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15894.547
AT ITER 7416 NEW BEST:: SOT 63739 SOS 47227 HAS SOPS 47227 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15890.227
AT ITER 7513 NEW BEST:: SOT 63731 SOS 47219 HAS SOPS 47219 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15884.219
AT ITER 7540 NEW BEST:: SOT 63711 SOS 47199 HAS SOPS 47199 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15868.199
AT ITER 7618 NEW BEST:: SOT 63691 SOS 47179 HAS SOPS 47179 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15856.179
AT ITER 7637 NEW BEST:: SOT 63691 SOS 47191 HAS SOPS 47191 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15842.191
AT ITER 7704 NEW BEST:: SOT 63691 SOS 46794 HAS SOPS 46794 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15841.794
AT ITER 7723 NEW BEST:: SOT 63687 SOS 46790 HAS SOPS 46790 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15837.79
AT ITER 7765 NEW BEST:: SOT 63672 SOS 46775 HAS SOPS 46775 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15822.775
AT ITER 7854 NEW BEST:: SOT 63692 SOS 46795 HAS SOPS 46795 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15816.795
AT ITER 7908 NEW BEST:: SOT 63685 SOS 46788 HAS SOPS 46788 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15793.788
AT ITER 7946 NEW BEST:: SOT 63681 SOS 46784 HAS SOPS 46784 HAS SOUS 15745 HAS SOUPS 15745 WITH SCORE 15791.784
AT ITER 8082 NEW BEST:: SOT 63658 SOS 46761 HAS SOPS 46761 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15758.761
AT ITER 8223 NEW BEST:: SOT 63671 SOS 46774 HAS SOPS 46774 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15755.774
AT ITER 8319 NEW BEST:: SOT 63670 SOS 46645 HAS SOPS 46645 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15755.645
AT ITER 8339 NEW BEST:: SOT 63670 SOS 46957 HAS SOPS 46957 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15725.957
AT ITER 8341 NEW BEST:: SOT 63662 SOS 46949 HAS SOPS 46949 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15717.949
AT ITER 8575 NEW BEST:: SOT 63672 SOS 47007 HAS SOPS 47007 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15702.007
AT ITER 8589 NEW BEST:: SOT 63672 SOS 47007 HAS SOPS 47007 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15697.007
AT ITER 8664 NEW BEST:: SOT 63673 SOS 47200 HAS SOPS 47200 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15695.2
AT ITER 8702 NEW BEST:: SOT 63621 SOS 47148 HAS SOPS 47148 HAS SOUS 15643 HAS SOUPS 15643 WITH SCORE 15690.148
AT ITER 8703 NEW BEST:: SOT 63621 SOS 47212 HAS SOPS 47212 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15689.212
AT ITER 8708 NEW BEST:: SOT 63623 SOS 47213 HAS SOPS 47213 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15679.213
AT ITER 8712 NEW BEST:: SOT 63621 SOS 47219 HAS SOPS 47219 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15677.219
AT ITER 8884 NEW BEST:: SOT 63625 SOS 47211 HAS SOPS 47211 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15675.211
AT ITER 8948 NEW BEST:: SOT 63658 SOS 47244 HAS SOPS 47244 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15656.244
AT ITER 8950 NEW BEST:: SOT 63652 SOS 47238 HAS SOPS 47238 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15656.238
AT ITER 8993 NEW BEST:: SOT 63652 SOS 47238 HAS SOPS 47238 HAS SOUS 15607 HAS SOUPS 15607 WITH SCORE 15654.238
AT ITER 9023 NEW BEST:: SOT 63652 SOS 47238 HAS SOPS 47238 HAS SOUS 15606 HAS SOUPS 15606 WITH SCORE 15653.238
AT ITER 9082 NEW BEST:: SOT 63652 SOS 47246 HAS SOPS 47246 HAS SOUS 15605 HAS SOUPS 15605 WITH SCORE 15652.246
AT ITER 9201 NEW BEST:: SOT 63672 SOS 47266 HAS SOPS 47266 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15629.266
AT ITER 9263 NEW BEST:: SOT 63670 SOS 47264 HAS SOPS 47264 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15627.264
AT ITER 9298 NEW BEST:: SOT 63667 SOS 47261 HAS SOPS 47261 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15616.261
AT ITER 9323 NEW BEST:: SOT 63667 SOS 46877 HAS SOPS 46877 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15611.877
AT ITER 9410 NEW BEST:: SOT 63731 SOS 47821 HAS SOPS 47821 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15611.821
AT ITER 9668 NEW BEST:: SOT 63727 SOS 47829 HAS SOPS 47829 HAS SOUS 15545 HAS SOUPS 15545 WITH SCORE 15592.829
AT ITER 9669 NEW BEST:: SOT 63593 SOS 47423 HAS SOPS 47423 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15581.423
AT ITER 9704 NEW BEST:: SOT 63595 SOS 47425 HAS SOPS 47425 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15571.425
AT ITER 9799 NEW BEST:: SOT 63575 SOS 47405 HAS SOPS 47405 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15568.405
AT ITER 9822 NEW BEST:: SOT 63573 SOS 47431 HAS SOPS 47431 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15541.431
AT ITER 9849 NEW BEST:: SOT 63567 SOS 47425 HAS SOPS 47425 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15537.425
AT ITER 9953 NEW BEST:: SOT 63556 SOS 47414 HAS SOPS 47414 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15527.414
BK_STOP 1678925220078
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 487 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-20"
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 PermAdmissibility-PT-20, 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 r267-smll-167863542000544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 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 ;