About the Execution of Smart+red for PermAdmissibility-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16185.903 | 3600000.00 | 3649630.00 | 12190.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863542000528.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-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000528
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 13K Feb 26 01:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 01:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 26 01:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 255K Feb 26 01:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 110K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 01:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 26 01:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 206K Feb 26 01:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:30 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 1678911554723
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-05
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 20:19:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 20:19:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 20:19:17] [INFO ] Load time of PNML (sax parser for PT used): 183 ms
[2023-03-15 20:19:17] [INFO ] Transformed 168 places.
[2023-03-15 20:19:17] [INFO ] Transformed 592 transitions.
[2023-03-15 20:19:17] [INFO ] Parsed PT model containing 168 places and 592 transitions and 3456 arcs in 343 ms.
[2023-03-15 20:19:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 168 places, 592 transitions and 3456 arcs took 23 ms.
Total runtime 427 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PermAdmissibility (PT), instance 05
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 3 NEW BEST:: SOT 69961 SOS 44245 HAS SOPS 44245 HAS SOUS 25411 HAS SOUPS 25411 WITH SCORE 25455.245
AT ITER 15 NEW BEST:: SOT 69961 SOS 44245 HAS SOPS 44245 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25308.245
AT ITER 24 NEW BEST:: SOT 69836 SOS 45020 HAS SOPS 45020 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25276.02
AT ITER 26 NEW BEST:: SOT 69825 SOS 45009 HAS SOPS 45009 HAS SOUS 25206 HAS SOUPS 25206 WITH SCORE 25251.009
AT ITER 27 NEW BEST:: SOT 69749 SOS 44933 HAS SOPS 44933 HAS SOUS 25167 HAS SOUPS 25167 WITH SCORE 25211.933
AT ITER 29 NEW BEST:: SOT 69749 SOS 44933 HAS SOPS 44933 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25192.933
AT ITER 40 NEW BEST:: SOT 69599 SOS 44848 HAS SOPS 44848 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25177.848
AT ITER 56 NEW BEST:: SOT 69599 SOS 44848 HAS SOPS 44848 HAS SOUS 25082 HAS SOUPS 25082 WITH SCORE 25126.848
AT ITER 59 NEW BEST:: SOT 69403 SOS 44578 HAS SOPS 44578 HAS SOUS 24981 HAS SOUPS 24981 WITH SCORE 25025.578
AT ITER 61 NEW BEST:: SOT 69286 SOS 44881 HAS SOPS 44881 HAS SOUS 24924 HAS SOUPS 24924 WITH SCORE 24968.881
AT ITER 79 NEW BEST:: SOT 69183 SOS 44778 HAS SOPS 44778 HAS SOUS 24841 HAS SOUPS 24841 WITH SCORE 24885.778
AT ITER 84 NEW BEST:: SOT 69193 SOS 44788 HAS SOPS 44788 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24754.788
AT ITER 104 NEW BEST:: SOT 69211 SOS 44806 HAS SOPS 44806 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24751.806
AT ITER 107 NEW BEST:: SOT 69211 SOS 51504 HAS SOPS 51504 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24429.504
AT ITER 110 NEW BEST:: SOT 69113 SOS 51406 HAS SOPS 51406 HAS SOUS 24293 HAS SOUPS 24293 WITH SCORE 24344.406
AT ITER 119 NEW BEST:: SOT 69042 SOS 51356 HAS SOPS 51356 HAS SOUS 24251 HAS SOUPS 24251 WITH SCORE 24302.356
AT ITER 122 NEW BEST:: SOT 69042 SOS 50904 HAS SOPS 50904 HAS SOUS 24250 HAS SOUPS 24250 WITH SCORE 24300.904
AT ITER 129 NEW BEST:: SOT 69042 SOS 50739 HAS SOPS 50739 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24260.739
AT ITER 140 NEW BEST:: SOT 69102 SOS 50799 HAS SOPS 50799 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24236.799
AT ITER 141 NEW BEST:: SOT 69087 SOS 50784 HAS SOPS 50784 HAS SOUS 24134 HAS SOUPS 24134 WITH SCORE 24184.784
AT ITER 142 NEW BEST:: SOT 69001 SOS 50698 HAS SOPS 50698 HAS SOUS 24064 HAS SOUPS 24064 WITH SCORE 24114.698
AT ITER 149 NEW BEST:: SOT 68883 SOS 50580 HAS SOPS 50580 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23839.58
AT ITER 155 NEW BEST:: SOT 68883 SOS 50580 HAS SOPS 50580 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23811.58
AT ITER 160 NEW BEST:: SOT 68883 SOS 50580 HAS SOPS 50580 HAS SOUS 23728 HAS SOUPS 23728 WITH SCORE 23778.58
AT ITER 165 NEW BEST:: SOT 68853 SOS 50550 HAS SOPS 50550 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23712.55
AT ITER 166 NEW BEST:: SOT 68853 SOS 50475 HAS SOPS 50475 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23606.475
AT ITER 177 NEW BEST:: SOT 68854 SOS 50161 HAS SOPS 50161 HAS SOUS 23487 HAS SOUPS 23487 WITH SCORE 23537.161
AT ITER 187 NEW BEST:: SOT 68834 SOS 50141 HAS SOPS 50141 HAS SOUS 23467 HAS SOUPS 23467 WITH SCORE 23517.141
AT ITER 194 NEW BEST:: SOT 68865 SOS 49782 HAS SOPS 49782 HAS SOUS 23446 HAS SOUPS 23446 WITH SCORE 23495.782
AT ITER 199 NEW BEST:: SOT 68865 SOS 49782 HAS SOPS 49782 HAS SOUS 23444 HAS SOUPS 23444 WITH SCORE 23493.782
AT ITER 210 NEW BEST:: SOT 68865 SOS 49782 HAS SOPS 49782 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23443.782
AT ITER 236 NEW BEST:: SOT 68865 SOS 49782 HAS SOPS 49782 HAS SOUS 23285 HAS SOUPS 23285 WITH SCORE 23334.782
AT ITER 262 NEW BEST:: SOT 68865 SOS 49782 HAS SOPS 49782 HAS SOUS 23210 HAS SOUPS 23210 WITH SCORE 23259.782
AT ITER 265 NEW BEST:: SOT 68793 SOS 50160 HAS SOPS 50160 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23244.16
AT ITER 266 NEW BEST:: SOT 68739 SOS 50158 HAS SOPS 50158 HAS SOUS 23075 HAS SOUPS 23075 WITH SCORE 23125.158
AT ITER 267 NEW BEST:: SOT 68637 SOS 50322 HAS SOPS 50322 HAS SOUS 22829 HAS SOUPS 22829 WITH SCORE 22879.322
AT ITER 268 NEW BEST:: SOT 68449 SOS 50134 HAS SOPS 50134 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22770.134
AT ITER 269 NEW BEST:: SOT 68434 SOS 50507 HAS SOPS 50507 HAS SOUS 22640 HAS SOUPS 22640 WITH SCORE 22690.507
AT ITER 273 NEW BEST:: SOT 68432 SOS 50610 HAS SOPS 50610 HAS SOUS 22636 HAS SOUPS 22636 WITH SCORE 22686.61
AT ITER 282 NEW BEST:: SOT 68419 SOS 50597 HAS SOPS 50597 HAS SOUS 22623 HAS SOUPS 22623 WITH SCORE 22673.597
AT ITER 284 NEW BEST:: SOT 68407 SOS 50585 HAS SOPS 50585 HAS SOUS 22563 HAS SOUPS 22563 WITH SCORE 22613.585
AT ITER 290 NEW BEST:: SOT 68407 SOS 49985 HAS SOPS 49985 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22611.985
AT ITER 299 NEW BEST:: SOT 68207 SOS 49785 HAS SOPS 49785 HAS SOUS 22383 HAS SOUPS 22383 WITH SCORE 22432.785
AT ITER 318 NEW BEST:: SOT 68207 SOS 49209 HAS SOPS 49209 HAS SOUS 22383 HAS SOUPS 22383 WITH SCORE 22432.209
AT ITER 329 NEW BEST:: SOT 68207 SOS 49785 HAS SOPS 49785 HAS SOUS 22377 HAS SOUPS 22377 WITH SCORE 22426.785
AT ITER 338 NEW BEST:: SOT 68242 SOS 49820 HAS SOPS 49820 HAS SOUS 22312 HAS SOUPS 22312 WITH SCORE 22361.82
AT ITER 345 NEW BEST:: SOT 68111 SOS 49689 HAS SOPS 49689 HAS SOUS 22291 HAS SOUPS 22291 WITH SCORE 22340.689
AT ITER 354 NEW BEST:: SOT 68071 SOS 49649 HAS SOPS 49649 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22260.649
AT ITER 362 NEW BEST:: SOT 68031 SOS 49609 HAS SOPS 49609 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22216.609
AT ITER 366 NEW BEST:: SOT 68029 SOS 49667 HAS SOPS 49667 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22197.667
AT ITER 380 NEW BEST:: SOT 67921 SOS 49559 HAS SOPS 49559 HAS SOUS 22117 HAS SOUPS 22117 WITH SCORE 22166.559
AT ITER 381 NEW BEST:: SOT 67794 SOS 49669 HAS SOPS 49669 HAS SOUS 22082 HAS SOUPS 22082 WITH SCORE 22131.669
AT ITER 395 NEW BEST:: SOT 67794 SOS 49885 HAS SOPS 49885 HAS SOUS 22080 HAS SOUPS 22080 WITH SCORE 22129.885
AT ITER 397 NEW BEST:: SOT 67794 SOS 49885 HAS SOPS 49885 HAS SOUS 21981 HAS SOUPS 21981 WITH SCORE 22030.885
AT ITER 402 NEW BEST:: SOT 67764 SOS 49863 HAS SOPS 49863 HAS SOUS 21961 HAS SOUPS 21961 WITH SCORE 22010.863
AT ITER 411 NEW BEST:: SOT 67734 SOS 49833 HAS SOPS 49833 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21820.833
AT ITER 417 NEW BEST:: SOT 67821 SOS 51115 HAS SOPS 51115 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21807.115
AT ITER 422 NEW BEST:: SOT 67789 SOS 50940 HAS SOPS 50940 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21781.94
AT ITER 443 NEW BEST:: SOT 67641 SOS 50792 HAS SOPS 50792 HAS SOUS 21722 HAS SOUPS 21722 WITH SCORE 21772.792
AT ITER 451 NEW BEST:: SOT 67641 SOS 50792 HAS SOPS 50792 HAS SOUS 21649 HAS SOUPS 21649 WITH SCORE 21699.792
AT ITER 477 NEW BEST:: SOT 67641 SOS 50792 HAS SOPS 50792 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21525.792
AT ITER 481 NEW BEST:: SOT 67641 SOS 51475 HAS SOPS 51475 HAS SOUS 21404 HAS SOUPS 21404 WITH SCORE 21455.475
AT ITER 499 NEW BEST:: SOT 67747 SOS 51647 HAS SOPS 51647 HAS SOUS 21365 HAS SOUPS 21365 WITH SCORE 21416.647
AT ITER 508 NEW BEST:: SOT 67736 SOS 51636 HAS SOPS 51636 HAS SOUS 21338 HAS SOUPS 21338 WITH SCORE 21389.636
AT ITER 540 NEW BEST:: SOT 67781 SOS 51681 HAS SOPS 51681 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21376.681
AT ITER 544 NEW BEST:: SOT 67711 SOS 51611 HAS SOPS 51611 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21304.611
AT ITER 549 NEW BEST:: SOT 67607 SOS 51507 HAS SOPS 51507 HAS SOUS 21111 HAS SOUPS 21111 WITH SCORE 21162.507
AT ITER 550 NEW BEST:: SOT 67577 SOS 51477 HAS SOPS 51477 HAS SOUS 21057 HAS SOUPS 21057 WITH SCORE 21108.477
AT ITER 552 NEW BEST:: SOT 67589 SOS 51489 HAS SOPS 51489 HAS SOUS 21035 HAS SOUPS 21035 WITH SCORE 21086.489
AT ITER 556 NEW BEST:: SOT 67577 SOS 51477 HAS SOPS 51477 HAS SOUS 21031 HAS SOUPS 21031 WITH SCORE 21082.477
AT ITER 578 NEW BEST:: SOT 67577 SOS 51477 HAS SOPS 51477 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21076.477
AT ITER 585 NEW BEST:: SOT 67577 SOS 51477 HAS SOPS 51477 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20989.477
AT ITER 624 NEW BEST:: SOT 67573 SOS 51473 HAS SOPS 51473 HAS SOUS 20932 HAS SOUPS 20932 WITH SCORE 20983.473
AT ITER 653 NEW BEST:: SOT 67573 SOS 51473 HAS SOPS 51473 HAS SOUS 20930 HAS SOUPS 20930 WITH SCORE 20981.473
AT ITER 658 NEW BEST:: SOT 67571 SOS 51471 HAS SOPS 51471 HAS SOUS 20925 HAS SOUPS 20925 WITH SCORE 20976.471
AT ITER 660 NEW BEST:: SOT 67569 SOS 51502 HAS SOPS 51502 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20969.502
AT ITER 675 NEW BEST:: SOT 67569 SOS 51502 HAS SOPS 51502 HAS SOUS 20887 HAS SOUPS 20887 WITH SCORE 20938.502
AT ITER 678 NEW BEST:: SOT 67533 SOS 51428 HAS SOPS 51428 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20867.428
AT ITER 680 NEW BEST:: SOT 67533 SOS 51428 HAS SOPS 51428 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20856.428
AT ITER 703 NEW BEST:: SOT 67533 SOS 51428 HAS SOPS 51428 HAS SOUS 20717 HAS SOUPS 20717 WITH SCORE 20768.428
AT ITER 712 NEW BEST:: SOT 67441 SOS 51336 HAS SOPS 51336 HAS SOUS 20674 HAS SOUPS 20674 WITH SCORE 20725.336
AT ITER 722 NEW BEST:: SOT 67441 SOS 49483 HAS SOPS 49483 HAS SOUS 20648 HAS SOUPS 20648 WITH SCORE 20697.483
AT ITER 741 NEW BEST:: SOT 67441 SOS 49483 HAS SOPS 49483 HAS SOUS 20635 HAS SOUPS 20635 WITH SCORE 20684.483
AT ITER 760 NEW BEST:: SOT 67397 SOS 49439 HAS SOPS 49439 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20650.439
AT ITER 768 NEW BEST:: SOT 67397 SOS 49439 HAS SOPS 49439 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20592.439
AT ITER 773 NEW BEST:: SOT 67393 SOS 49435 HAS SOPS 49435 HAS SOUS 20531 HAS SOUPS 20531 WITH SCORE 20580.435
AT ITER 775 NEW BEST:: SOT 67393 SOS 49437 HAS SOPS 49437 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20578.437
AT ITER 831 NEW BEST:: SOT 67377 SOS 49421 HAS SOPS 49421 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20560.421
AT ITER 890 NEW BEST:: SOT 67377 SOS 49421 HAS SOPS 49421 HAS SOUS 20499 HAS SOUPS 20499 WITH SCORE 20548.421
AT ITER 895 NEW BEST:: SOT 67377 SOS 49421 HAS SOPS 49421 HAS SOUS 20495 HAS SOUPS 20495 WITH SCORE 20544.421
AT ITER 940 NEW BEST:: SOT 67161 SOS 49205 HAS SOPS 49205 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20426.205
AT ITER 959 NEW BEST:: SOT 67125 SOS 49169 HAS SOPS 49169 HAS SOUS 20341 HAS SOUPS 20341 WITH SCORE 20390.169
AT ITER 1000 NEW BEST:: SOT 67093 SOS 49137 HAS SOPS 49137 HAS SOUS 20320 HAS SOUPS 20320 WITH SCORE 20369.137
AT ITER 1012 NEW BEST:: SOT 67093 SOS 49585 HAS SOPS 49585 HAS SOUS 20308 HAS SOUPS 20308 WITH SCORE 20357.585
AT ITER 1039 NEW BEST:: SOT 66954 SOS 49446 HAS SOPS 49446 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20333.446
AT ITER 1050 NEW BEST:: SOT 66957 SOS 49449 HAS SOPS 49449 HAS SOUS 20226 HAS SOUPS 20226 WITH SCORE 20275.449
AT ITER 1065 NEW BEST:: SOT 66830 SOS 49322 HAS SOPS 49322 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20199.322
AT ITER 1070 NEW BEST:: SOT 66863 SOS 49355 HAS SOPS 49355 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20144.355
AT ITER 1074 NEW BEST:: SOT 66801 SOS 49293 HAS SOPS 49293 HAS SOUS 20008 HAS SOUPS 20008 WITH SCORE 20057.293
AT ITER 1077 NEW BEST:: SOT 66717 SOS 51129 HAS SOPS 51129 HAS SOUS 19943 HAS SOUPS 19943 WITH SCORE 19994.129
AT ITER 1087 NEW BEST:: SOT 66717 SOS 51129 HAS SOPS 51129 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19993.129
AT ITER 1089 NEW BEST:: SOT 66737 SOS 51149 HAS SOPS 51149 HAS SOUS 19862 HAS SOUPS 19862 WITH SCORE 19913.149
AT ITER 1102 NEW BEST:: SOT 66737 SOS 51149 HAS SOPS 51149 HAS SOUS 19855 HAS SOUPS 19855 WITH SCORE 19906.149
AT ITER 1135 NEW BEST:: SOT 66713 SOS 51117 HAS SOPS 51117 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19876.117
AT ITER 1172 NEW BEST:: SOT 66665 SOS 51069 HAS SOPS 51069 HAS SOUS 19783 HAS SOUPS 19783 WITH SCORE 19834.069
AT ITER 1188 NEW BEST:: SOT 66688 SOS 51092 HAS SOPS 51092 HAS SOUS 19748 HAS SOUPS 19748 WITH SCORE 19799.092
AT ITER 1195 NEW BEST:: SOT 66688 SOS 51092 HAS SOPS 51092 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19792.092
AT ITER 1204 NEW BEST:: SOT 66688 SOS 51092 HAS SOPS 51092 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19786.092
AT ITER 1207 NEW BEST:: SOT 66678 SOS 51082 HAS SOPS 51082 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19742.082
AT ITER 1209 NEW BEST:: SOT 66666 SOS 51070 HAS SOPS 51070 HAS SOUS 19658 HAS SOUPS 19658 WITH SCORE 19709.07
AT ITER 1210 NEW BEST:: SOT 66666 SOS 51119 HAS SOPS 51119 HAS SOUS 19655 HAS SOUPS 19655 WITH SCORE 19706.119
AT ITER 1235 NEW BEST:: SOT 66561 SOS 51014 HAS SOPS 51014 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19668.014
AT ITER 1252 NEW BEST:: SOT 66520 SOS 50973 HAS SOPS 50973 HAS SOUS 19580 HAS SOUPS 19580 WITH SCORE 19630.973
AT ITER 1256 NEW BEST:: SOT 66449 SOS 50902 HAS SOPS 50902 HAS SOUS 19509 HAS SOUPS 19509 WITH SCORE 19559.902
AT ITER 1273 NEW BEST:: SOT 66413 SOS 50866 HAS SOPS 50866 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19474.866
AT ITER 1289 NEW BEST:: SOT 66389 SOS 50842 HAS SOPS 50842 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19450.842
AT ITER 1318 NEW BEST:: SOT 66291 SOS 50671 HAS SOPS 50671 HAS SOUS 19354 HAS SOUPS 19354 WITH SCORE 19404.671
AT ITER 1356 NEW BEST:: SOT 66291 SOS 50671 HAS SOPS 50671 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19396.671
AT ITER 1365 NEW BEST:: SOT 66267 SOS 50643 HAS SOPS 50643 HAS SOUS 19320 HAS SOUPS 19320 WITH SCORE 19370.643
AT ITER 1441 NEW BEST:: SOT 66279 SOS 50644 HAS SOPS 50644 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19356.644
AT ITER 1490 NEW BEST:: SOT 66287 SOS 50652 HAS SOPS 50652 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19344.652
AT ITER 1493 NEW BEST:: SOT 66257 SOS 50622 HAS SOPS 50622 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19305.622
AT ITER 1536 NEW BEST:: SOT 66257 SOS 50622 HAS SOPS 50622 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19302.622
AT ITER 1538 NEW BEST:: SOT 66292 SOS 50657 HAS SOPS 50657 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19289.657
AT ITER 1569 NEW BEST:: SOT 66292 SOS 49449 HAS SOPS 49449 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19283.449
AT ITER 1571 NEW BEST:: SOT 66272 SOS 49423 HAS SOPS 49423 HAS SOUS 19214 HAS SOUPS 19214 WITH SCORE 19263.423
AT ITER 1595 NEW BEST:: SOT 66252 SOS 49403 HAS SOPS 49403 HAS SOUS 19116 HAS SOUPS 19116 WITH SCORE 19165.403
AT ITER 1620 NEW BEST:: SOT 66254 SOS 49405 HAS SOPS 49405 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19160.405
AT ITER 1690 NEW BEST:: SOT 66254 SOS 49285 HAS SOPS 49285 HAS SOUS 19104 HAS SOUPS 19104 WITH SCORE 19153.285
AT ITER 1694 NEW BEST:: SOT 66238 SOS 49269 HAS SOPS 49269 HAS SOUS 19100 HAS SOUPS 19100 WITH SCORE 19149.269
AT ITER 1701 NEW BEST:: SOT 66238 SOS 49416 HAS SOPS 49416 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19148.416
AT ITER 1710 NEW BEST:: SOT 66238 SOS 49416 HAS SOPS 49416 HAS SOUS 19091 HAS SOUPS 19091 WITH SCORE 19140.416
AT ITER 1716 NEW BEST:: SOT 66238 SOS 49504 HAS SOPS 49504 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19087.504
AT ITER 1816 NEW BEST:: SOT 66238 SOS 49208 HAS SOPS 49208 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19085.208
AT ITER 1819 NEW BEST:: SOT 66238 SOS 49208 HAS SOPS 49208 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 19014.208
AT ITER 1823 NEW BEST:: SOT 66241 SOS 49211 HAS SOPS 49211 HAS SOUS 18893 HAS SOUPS 18893 WITH SCORE 18942.211
AT ITER 1947 NEW BEST:: SOT 66241 SOS 49211 HAS SOPS 49211 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 18938.211
AT ITER 1977 NEW BEST:: SOT 66241 SOS 49211 HAS SOPS 49211 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18936.211
AT ITER 2090 NEW BEST:: SOT 66241 SOS 49193 HAS SOPS 49193 HAS SOUS 18878 HAS SOUPS 18878 WITH SCORE 18927.193
AT ITER 2134 NEW BEST:: SOT 66192 SOS 49144 HAS SOPS 49144 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18864.144
AT ITER 2200 NEW BEST:: SOT 66179 SOS 49131 HAS SOPS 49131 HAS SOUS 18794 HAS SOUPS 18794 WITH SCORE 18843.131
AT ITER 2216 NEW BEST:: SOT 66179 SOS 49130 HAS SOPS 49130 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18838.13
AT ITER 2221 NEW BEST:: SOT 66175 SOS 49126 HAS SOPS 49126 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18834.126
AT ITER 2235 NEW BEST:: SOT 66183 SOS 49134 HAS SOPS 49134 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18832.134
AT ITER 2245 NEW BEST:: SOT 66183 SOS 49134 HAS SOPS 49134 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18826.134
AT ITER 2247 NEW BEST:: SOT 66183 SOS 48942 HAS SOPS 48942 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18825.942
AT ITER 2310 NEW BEST:: SOT 66208 SOS 48967 HAS SOPS 48967 HAS SOUS 18758 HAS SOUPS 18758 WITH SCORE 18806.967
AT ITER 2327 NEW BEST:: SOT 66194 SOS 48953 HAS SOPS 48953 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18801.953
AT ITER 2328 NEW BEST:: SOT 66193 SOS 48952 HAS SOPS 48952 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18796.952
AT ITER 2386 NEW BEST:: SOT 66208 SOS 49310 HAS SOPS 49310 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18792.31
AT ITER 2422 NEW BEST:: SOT 66169 SOS 49277 HAS SOPS 49277 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18757.277
AT ITER 2428 NEW BEST:: SOT 66169 SOS 49273 HAS SOPS 49273 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18757.273
AT ITER 2434 NEW BEST:: SOT 66140 SOS 49244 HAS SOPS 49244 HAS SOUS 18679 HAS SOUPS 18679 WITH SCORE 18728.244
AT ITER 2446 NEW BEST:: SOT 66140 SOS 49244 HAS SOPS 49244 HAS SOUS 18672 HAS SOUPS 18672 WITH SCORE 18721.244
AT ITER 2453 NEW BEST:: SOT 66155 SOS 49259 HAS SOPS 49259 HAS SOUS 18662 HAS SOUPS 18662 WITH SCORE 18711.259
AT ITER 2463 NEW BEST:: SOT 66121 SOS 49232 HAS SOPS 49232 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18648.232
AT ITER 2508 NEW BEST:: SOT 66081 SOS 49192 HAS SOPS 49192 HAS SOUS 18463 HAS SOUPS 18463 WITH SCORE 18512.192
AT ITER 2549 NEW BEST:: SOT 66079 SOS 49192 HAS SOPS 49192 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18507.192
AT ITER 2565 NEW BEST:: SOT 66079 SOS 49192 HAS SOPS 49192 HAS SOUS 18452 HAS SOUPS 18452 WITH SCORE 18501.192
AT ITER 2574 NEW BEST:: SOT 66079 SOS 49162 HAS SOPS 49162 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18492.162
AT ITER 2575 NEW BEST:: SOT 66075 SOS 49160 HAS SOPS 49160 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18490.16
AT ITER 2600 NEW BEST:: SOT 66083 SOS 49168 HAS SOPS 49168 HAS SOUS 18439 HAS SOUPS 18439 WITH SCORE 18488.168
AT ITER 2668 NEW BEST:: SOT 66081 SOS 49168 HAS SOPS 49168 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18487.168
AT ITER 2673 NEW BEST:: SOT 66104 SOS 49191 HAS SOPS 49191 HAS SOUS 18437 HAS SOUPS 18437 WITH SCORE 18486.191
AT ITER 2678 NEW BEST:: SOT 66097 SOS 49184 HAS SOPS 49184 HAS SOUS 18430 HAS SOUPS 18430 WITH SCORE 18479.184
AT ITER 2686 NEW BEST:: SOT 66069 SOS 49159 HAS SOPS 49159 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18461.159
AT ITER 2700 NEW BEST:: SOT 66055 SOS 49145 HAS SOPS 49145 HAS SOUS 18405 HAS SOUPS 18405 WITH SCORE 18454.145
AT ITER 2791 NEW BEST:: SOT 66055 SOS 49166 HAS SOPS 49166 HAS SOUS 18384 HAS SOUPS 18384 WITH SCORE 18433.166
AT ITER 2805 NEW BEST:: SOT 66049 SOS 49160 HAS SOPS 49160 HAS SOUS 18384 HAS SOUPS 18384 WITH SCORE 18433.16
AT ITER 2837 NEW BEST:: SOT 66049 SOS 49160 HAS SOPS 49160 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18397.16
AT ITER 2876 NEW BEST:: SOT 66074 SOS 49185 HAS SOPS 49185 HAS SOUS 18337 HAS SOUPS 18337 WITH SCORE 18386.185
AT ITER 2877 NEW BEST:: SOT 66086 SOS 49197 HAS SOPS 49197 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18356.197
AT ITER 2902 NEW BEST:: SOT 66070 SOS 49173 HAS SOPS 49173 HAS SOUS 18303 HAS SOUPS 18303 WITH SCORE 18352.173
AT ITER 2929 NEW BEST:: SOT 66022 SOS 49125 HAS SOPS 49125 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18264.125
AT ITER 2950 NEW BEST:: SOT 65994 SOS 49097 HAS SOPS 49097 HAS SOUS 18188 HAS SOUPS 18188 WITH SCORE 18237.097
AT ITER 2999 NEW BEST:: SOT 65982 SOS 49085 HAS SOPS 49085 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18225.085
AT ITER 3082 NEW BEST:: SOT 65980 SOS 49080 HAS SOPS 49080 HAS SOUS 18172 HAS SOUPS 18172 WITH SCORE 18221.08
AT ITER 3084 NEW BEST:: SOT 65949 SOS 49049 HAS SOPS 49049 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18212.049
AT ITER 3127 NEW BEST:: SOT 65949 SOS 49369 HAS SOPS 49369 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18207.369
AT ITER 3148 NEW BEST:: SOT 65949 SOS 49369 HAS SOPS 49369 HAS SOUS 18150 HAS SOUPS 18150 WITH SCORE 18199.369
AT ITER 3156 NEW BEST:: SOT 65721 SOS 49071 HAS SOPS 49071 HAS SOUS 18043 HAS SOUPS 18043 WITH SCORE 18092.071
AT ITER 3171 NEW BEST:: SOT 65731 SOS 49081 HAS SOPS 49081 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18064.081
AT ITER 3178 NEW BEST:: SOT 65731 SOS 48953 HAS SOPS 48953 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18061.953
AT ITER 3215 NEW BEST:: SOT 65735 SOS 48957 HAS SOPS 48957 HAS SOUS 17994 HAS SOUPS 17994 WITH SCORE 18042.957
AT ITER 3289 NEW BEST:: SOT 65695 SOS 48917 HAS SOPS 48917 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 18002.917
AT ITER 3304 NEW BEST:: SOT 65695 SOS 48405 HAS SOPS 48405 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 18002.405
AT ITER 3306 NEW BEST:: SOT 65695 SOS 48408 HAS SOPS 48408 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17991.408
AT ITER 3323 NEW BEST:: SOT 65693 SOS 48406 HAS SOPS 48406 HAS SOUS 17941 HAS SOUPS 17941 WITH SCORE 17989.406
AT ITER 3356 NEW BEST:: SOT 65693 SOS 48405 HAS SOPS 48405 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17981.405
AT ITER 3410 NEW BEST:: SOT 65693 SOS 48405 HAS SOPS 48405 HAS SOUS 17904 HAS SOUPS 17904 WITH SCORE 17952.405
AT ITER 3418 NEW BEST:: SOT 65692 SOS 48404 HAS SOPS 48404 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17951.404
AT ITER 3443 NEW BEST:: SOT 65700 SOS 48412 HAS SOPS 48412 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17935.412
AT ITER 3455 NEW BEST:: SOT 65702 SOS 48414 HAS SOPS 48414 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17931.414
AT ITER 3631 NEW BEST:: SOT 65703 SOS 48415 HAS SOPS 48415 HAS SOUS 17876 HAS SOUPS 17876 WITH SCORE 17924.415
AT ITER 3644 NEW BEST:: SOT 65697 SOS 48419 HAS SOPS 48419 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17923.419
AT ITER 3657 NEW BEST:: SOT 65697 SOS 48419 HAS SOPS 48419 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17922.419
AT ITER 3724 NEW BEST:: SOT 65698 SOS 48420 HAS SOPS 48420 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17894.42
AT ITER 3768 NEW BEST:: SOT 65698 SOS 48420 HAS SOPS 48420 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17889.42
AT ITER 3801 NEW BEST:: SOT 65710 SOS 48465 HAS SOPS 48465 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17888.465
AT ITER 3876 NEW BEST:: SOT 65708 SOS 48463 HAS SOPS 48463 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17888.463
AT ITER 3954 NEW BEST:: SOT 65672 SOS 48427 HAS SOPS 48427 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17876.427
AT ITER 3956 NEW BEST:: SOT 65672 SOS 48427 HAS SOPS 48427 HAS SOUS 17827 HAS SOUPS 17827 WITH SCORE 17875.427
AT ITER 3979 NEW BEST:: SOT 65672 SOS 48427 HAS SOPS 48427 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17855.427
AT ITER 4024 NEW BEST:: SOT 65670 SOS 48392 HAS SOPS 48392 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17835.392
AT ITER 4055 NEW BEST:: SOT 65670 SOS 48392 HAS SOPS 48392 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17825.392
AT ITER 4065 NEW BEST:: SOT 65634 SOS 48356 HAS SOPS 48356 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17804.356
AT ITER 4080 NEW BEST:: SOT 65634 SOS 47372 HAS SOPS 47372 HAS SOUS 17755 HAS SOUPS 17755 WITH SCORE 17802.372
AT ITER 4131 NEW BEST:: SOT 65634 SOS 47372 HAS SOPS 47372 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17786.372
AT ITER 4178 NEW BEST:: SOT 65634 SOS 47364 HAS SOPS 47364 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17786.364
AT ITER 4193 NEW BEST:: SOT 65625 SOS 47355 HAS SOPS 47355 HAS SOUS 17728 HAS SOUPS 17728 WITH SCORE 17775.355
AT ITER 4216 NEW BEST:: SOT 65625 SOS 47371 HAS SOPS 47371 HAS SOUS 17727 HAS SOUPS 17727 WITH SCORE 17774.371
AT ITER 4233 NEW BEST:: SOT 65620 SOS 47366 HAS SOPS 47366 HAS SOUS 17722 HAS SOUPS 17722 WITH SCORE 17769.366
AT ITER 4254 NEW BEST:: SOT 65620 SOS 47366 HAS SOPS 47366 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17745.366
AT ITER 4269 NEW BEST:: SOT 65613 SOS 47358 HAS SOPS 47358 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17738.358
AT ITER 4286 NEW BEST:: SOT 65613 SOS 46278 HAS SOPS 46278 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17729.278
AT ITER 4298 NEW BEST:: SOT 65613 SOS 46278 HAS SOPS 46278 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17721.278
AT ITER 4399 NEW BEST:: SOT 65599 SOS 46264 HAS SOPS 46264 HAS SOUS 17667 HAS SOUPS 17667 WITH SCORE 17713.264
AT ITER 4438 NEW BEST:: SOT 65603 SOS 46270 HAS SOPS 46270 HAS SOUS 17665 HAS SOUPS 17665 WITH SCORE 17711.27
AT ITER 4475 NEW BEST:: SOT 65603 SOS 46270 HAS SOPS 46270 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17697.27
AT ITER 4482 NEW BEST:: SOT 65601 SOS 46204 HAS SOPS 46204 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17697.204
AT ITER 4503 NEW BEST:: SOT 65603 SOS 46206 HAS SOPS 46206 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17689.206
AT ITER 4532 NEW BEST:: SOT 65601 SOS 46204 HAS SOPS 46204 HAS SOUS 17637 HAS SOUPS 17637 WITH SCORE 17683.204
AT ITER 4551 NEW BEST:: SOT 65593 SOS 46196 HAS SOPS 46196 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17675.196
AT ITER 4566 NEW BEST:: SOT 65593 SOS 45812 HAS SOPS 45812 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17673.812
AT ITER 4575 NEW BEST:: SOT 65465 SOS 45684 HAS SOPS 45684 HAS SOUS 17516 HAS SOUPS 17516 WITH SCORE 17561.684
AT ITER 4643 NEW BEST:: SOT 65411 SOS 45610 HAS SOPS 45610 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17505.61
AT ITER 4666 NEW BEST:: SOT 65096 SOS 43963 HAS SOPS 43963 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17415.963
AT ITER 4671 NEW BEST:: SOT 65096 SOS 44475 HAS SOPS 44475 HAS SOUS 17370 HAS SOUPS 17370 WITH SCORE 17414.475
AT ITER 4709 NEW BEST:: SOT 65092 SOS 44480 HAS SOPS 44480 HAS SOUS 17347 HAS SOUPS 17347 WITH SCORE 17391.48
AT ITER 4716 NEW BEST:: SOT 65092 SOS 44552 HAS SOPS 44552 HAS SOUS 17345 HAS SOUPS 17345 WITH SCORE 17389.552
AT ITER 4726 NEW BEST:: SOT 65016 SOS 44476 HAS SOPS 44476 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17353.476
AT ITER 4800 NEW BEST:: SOT 65016 SOS 44492 HAS SOPS 44492 HAS SOUS 17286 HAS SOUPS 17286 WITH SCORE 17330.492
AT ITER 4837 NEW BEST:: SOT 65013 SOS 44489 HAS SOPS 44489 HAS SOUS 17283 HAS SOUPS 17283 WITH SCORE 17327.489
AT ITER 4871 NEW BEST:: SOT 65017 SOS 44493 HAS SOPS 44493 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17300.493
AT ITER 4877 NEW BEST:: SOT 65013 SOS 44477 HAS SOPS 44477 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17296.477
AT ITER 4962 NEW BEST:: SOT 65013 SOS 44475 HAS SOPS 44475 HAS SOUS 17250 HAS SOUPS 17250 WITH SCORE 17294.475
AT ITER 5025 NEW BEST:: SOT 64996 SOS 44458 HAS SOPS 44458 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17269.458
AT ITER 5033 NEW BEST:: SOT 64992 SOS 44454 HAS SOPS 44454 HAS SOUS 17221 HAS SOUPS 17221 WITH SCORE 17265.454
AT ITER 5120 NEW BEST:: SOT 64990 SOS 44452 HAS SOPS 44452 HAS SOUS 17219 HAS SOUPS 17219 WITH SCORE 17263.452
AT ITER 5161 NEW BEST:: SOT 64826 SOS 44200 HAS SOPS 44200 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17254.2
AT ITER 5169 NEW BEST:: SOT 64827 SOS 44201 HAS SOPS 44201 HAS SOUS 17201 HAS SOUPS 17201 WITH SCORE 17245.201
AT ITER 5208 NEW BEST:: SOT 64804 SOS 44178 HAS SOPS 44178 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17224.178
AT ITER 5387 NEW BEST:: SOT 64802 SOS 44180 HAS SOPS 44180 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17220.18
AT ITER 5416 NEW BEST:: SOT 64815 SOS 44193 HAS SOPS 44193 HAS SOUS 17099 HAS SOUPS 17099 WITH SCORE 17143.193
AT ITER 5508 NEW BEST:: SOT 64819 SOS 44197 HAS SOPS 44197 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17139.197
AT ITER 5525 NEW BEST:: SOT 64812 SOS 44190 HAS SOPS 44190 HAS SOUS 17088 HAS SOUPS 17088 WITH SCORE 17132.19
AT ITER 5563 NEW BEST:: SOT 64802 SOS 44180 HAS SOPS 44180 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17106.18
AT ITER 5567 NEW BEST:: SOT 64768 SOS 44179 HAS SOPS 44179 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17103.179
AT ITER 5592 NEW BEST:: SOT 64746 SOS 44158 HAS SOPS 44158 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17081.158
AT ITER 5605 NEW BEST:: SOT 64746 SOS 44134 HAS SOPS 44134 HAS SOUS 17037 HAS SOUPS 17037 WITH SCORE 17081.134
AT ITER 5621 NEW BEST:: SOT 64743 SOS 44131 HAS SOPS 44131 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17054.131
AT ITER 5676 NEW BEST:: SOT 64743 SOS 44195 HAS SOPS 44195 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17049.195
AT ITER 5697 NEW BEST:: SOT 64743 SOS 44147 HAS SOPS 44147 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17049.147
AT ITER 5741 NEW BEST:: SOT 64639 SOS 44002 HAS SOPS 44002 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17034.002
AT ITER 5747 NEW BEST:: SOT 64631 SOS 43992 HAS SOPS 43992 HAS SOUS 16983 HAS SOUPS 16983 WITH SCORE 17026.992
AT ITER 5790 NEW BEST:: SOT 64631 SOS 43992 HAS SOPS 43992 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17024.992
AT ITER 5820 NEW BEST:: SOT 64619 SOS 43985 HAS SOPS 43985 HAS SOUS 16972 HAS SOUPS 16972 WITH SCORE 17015.985
AT ITER 5845 NEW BEST:: SOT 64635 SOS 44000 HAS SOPS 44000 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 17012.0
AT ITER 5859 NEW BEST:: SOT 64586 SOS 43951 HAS SOPS 43951 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16986.951
AT ITER 5924 NEW BEST:: SOT 64588 SOS 44657 HAS SOPS 44657 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16985.657
AT ITER 5939 NEW BEST:: SOT 64589 SOS 44658 HAS SOPS 44658 HAS SOUS 16938 HAS SOUPS 16938 WITH SCORE 16982.658
AT ITER 5965 NEW BEST:: SOT 64541 SOS 44610 HAS SOPS 44610 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16934.61
AT ITER 5980 NEW BEST:: SOT 64533 SOS 44602 HAS SOPS 44602 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16926.602
AT ITER 5992 NEW BEST:: SOT 64533 SOS 44602 HAS SOPS 44602 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16925.602
AT ITER 6097 NEW BEST:: SOT 64533 SOS 44602 HAS SOPS 44602 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16885.602
AT ITER 6098 NEW BEST:: SOT 64533 SOS 44602 HAS SOPS 44602 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16847.602
AT ITER 6122 NEW BEST:: SOT 64531 SOS 44603 HAS SOPS 44603 HAS SOUS 16791 HAS SOUPS 16791 WITH SCORE 16835.603
AT ITER 6125 NEW BEST:: SOT 64517 SOS 44589 HAS SOPS 44589 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16805.589
AT ITER 6311 NEW BEST:: SOT 64483 SOS 44570 HAS SOPS 44570 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16730.57
AT ITER 6337 NEW BEST:: SOT 64481 SOS 44568 HAS SOPS 44568 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16728.568
AT ITER 6432 NEW BEST:: SOT 64469 SOS 44572 HAS SOPS 44572 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16727.572
AT ITER 6457 NEW BEST:: SOT 64469 SOS 44572 HAS SOPS 44572 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16713.572
AT ITER 6607 NEW BEST:: SOT 64469 SOS 44575 HAS SOPS 44575 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16710.575
AT ITER 6658 NEW BEST:: SOT 64439 SOS 44525 HAS SOPS 44525 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16685.525
AT ITER 6753 NEW BEST:: SOT 64439 SOS 44501 HAS SOPS 44501 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16685.501
AT ITER 6756 NEW BEST:: SOT 64423 SOS 44485 HAS SOPS 44485 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16669.485
AT ITER 6787 NEW BEST:: SOT 64415 SOS 44477 HAS SOPS 44477 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16663.477
AT ITER 6803 NEW BEST:: SOT 64416 SOS 44478 HAS SOPS 44478 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16658.478
AT ITER 6862 NEW BEST:: SOT 64428 SOS 44400 HAS SOPS 44400 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16658.4
AT ITER 6877 NEW BEST:: SOT 64432 SOS 44404 HAS SOPS 44404 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16642.404
AT ITER 6952 NEW BEST:: SOT 64416 SOS 44387 HAS SOPS 44387 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16628.387
AT ITER 6972 NEW BEST:: SOT 64404 SOS 44380 HAS SOPS 44380 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16611.38
AT ITER 7055 NEW BEST:: SOT 64394 SOS 44376 HAS SOPS 44376 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16599.376
AT ITER 7108 NEW BEST:: SOT 64404 SOS 44386 HAS SOPS 44386 HAS SOUS 16549 HAS SOUPS 16549 WITH SCORE 16593.386
AT ITER 7197 NEW BEST:: SOT 64404 SOS 44386 HAS SOPS 44386 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16579.386
AT ITER 7203 NEW BEST:: SOT 64421 SOS 44403 HAS SOPS 44403 HAS SOUS 16514 HAS SOUPS 16514 WITH SCORE 16558.403
AT ITER 7213 NEW BEST:: SOT 64421 SOS 44392 HAS SOPS 44392 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16553.392
AT ITER 7308 NEW BEST:: SOT 64421 SOS 44184 HAS SOPS 44184 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16551.184
AT ITER 7439 NEW BEST:: SOT 64425 SOS 44188 HAS SOPS 44188 HAS SOUS 16503 HAS SOUPS 16503 WITH SCORE 16547.188
AT ITER 7570 NEW BEST:: SOT 64423 SOS 44186 HAS SOPS 44186 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16531.186
AT ITER 7613 NEW BEST:: SOT 64423 SOS 44186 HAS SOPS 44186 HAS SOUS 16475 HAS SOUPS 16475 WITH SCORE 16519.186
AT ITER 7621 NEW BEST:: SOT 64393 SOS 44159 HAS SOPS 44159 HAS SOUS 16402 HAS SOUPS 16402 WITH SCORE 16446.159
AT ITER 7706 NEW BEST:: SOT 64393 SOS 44159 HAS SOPS 44159 HAS SOUS 16391 HAS SOUPS 16391 WITH SCORE 16435.159
AT ITER 7721 NEW BEST:: SOT 64393 SOS 44158 HAS SOPS 44158 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16433.158
AT ITER 7803 NEW BEST:: SOT 64393 SOS 44158 HAS SOPS 44158 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16428.158
AT ITER 7835 NEW BEST:: SOT 64393 SOS 44158 HAS SOPS 44158 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16420.158
AT ITER 7862 NEW BEST:: SOT 64385 SOS 44153 HAS SOPS 44153 HAS SOUS 16368 HAS SOUPS 16368 WITH SCORE 16412.153
AT ITER 7933 NEW BEST:: SOT 64359 SOS 44119 HAS SOPS 44119 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16392.119
AT ITER 7981 NEW BEST:: SOT 64341 SOS 44126 HAS SOPS 44126 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16390.126
AT ITER 8115 NEW BEST:: SOT 64346 SOS 44071 HAS SOPS 44071 HAS SOUS 16325 HAS SOUPS 16325 WITH SCORE 16369.071
AT ITER 8169 NEW BEST:: SOT 64346 SOS 44071 HAS SOPS 44071 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16368.071
AT ITER 8308 NEW BEST:: SOT 64346 SOS 44071 HAS SOPS 44071 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16350.071
AT ITER 8585 NEW BEST:: SOT 64324 SOS 44043 HAS SOPS 44043 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16325.043
AT ITER 8618 NEW BEST:: SOT 64315 SOS 44034 HAS SOPS 44034 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16314.034
AT ITER 8619 NEW BEST:: SOT 64309 SOS 44028 HAS SOPS 44028 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16300.028
AT ITER 8646 NEW BEST:: SOT 64301 SOS 44020 HAS SOPS 44020 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16300.02
AT ITER 8648 NEW BEST:: SOT 64301 SOS 44020 HAS SOPS 44020 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16298.02
AT ITER 8813 NEW BEST:: SOT 64308 SOS 44027 HAS SOPS 44027 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16288.027
AT ITER 8939 NEW BEST:: SOT 64284 SOS 44003 HAS SOPS 44003 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16266.003
AT ITER 8981 NEW BEST:: SOT 64284 SOS 43963 HAS SOPS 43963 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16265.963
AT ITER 8999 NEW BEST:: SOT 64274 SOS 43950 HAS SOPS 43950 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16253.95
AT ITER 9031 NEW BEST:: SOT 64153 SOS 43829 HAS SOPS 43829 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16249.829
AT ITER 9041 NEW BEST:: SOT 64236 SOS 43912 HAS SOPS 43912 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16235.912
AT ITER 9086 NEW BEST:: SOT 64236 SOS 43912 HAS SOPS 43912 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16230.912
AT ITER 9184 NEW BEST:: SOT 64236 SOS 43912 HAS SOPS 43912 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16224.912
AT ITER 9261 NEW BEST:: SOT 64236 SOS 43872 HAS SOPS 43872 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16224.872
AT ITER 9328 NEW BEST:: SOT 64198 SOS 43834 HAS SOPS 43834 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16216.834
AT ITER 9443 NEW BEST:: SOT 64196 SOS 43833 HAS SOPS 43833 HAS SOUS 16170 HAS SOUPS 16170 WITH SCORE 16213.833
AT ITER 9486 NEW BEST:: SOT 64185 SOS 43822 HAS SOPS 43822 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16178.822
AT ITER 9575 NEW BEST:: SOT 64185 SOS 43790 HAS SOPS 43790 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16178.79
AT ITER 9807 NEW BEST:: SOT 64180 SOS 43785 HAS SOPS 43785 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16165.785
AT ITER 9850 NEW BEST:: SOT 64172 SOS 43777 HAS SOPS 43777 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16157.777
AT ITER 9870 NEW BEST:: SOT 64154 SOS 43769 HAS SOPS 43769 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16145.769
AT ITER 9926 NEW BEST:: SOT 64154 SOS 43768 HAS SOPS 43768 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16130.768
AT ITER 9930 NEW BEST:: SOT 64156 SOS 43771 HAS SOPS 43771 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16121.771
AT ITER 9957 NEW BEST:: SOT 64156 SOS 43769 HAS SOPS 43769 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16113.769
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 202144 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16289596 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-05"
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-05, 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-167863542000528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-05.tgz
mv PermAdmissibility-PT-05 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 ;