About the Execution of Smart+red for DoubleLock-PT-p2s1
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9520.476 | 1562070.00 | 1574044.00 | 4400.80 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819423400536.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 DoubleLock-PT-p2s1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423400536
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 25 14:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 14:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678468135882
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=DoubleLock-PT-p2s1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 17:08:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 17:08:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 17:08:59] [INFO ] Load time of PNML (sax parser for PT used): 129 ms
[2023-03-10 17:08:59] [INFO ] Transformed 64 places.
[2023-03-10 17:08:59] [INFO ] Transformed 212 transitions.
[2023-03-10 17:08:59] [INFO ] Parsed PT model containing 64 places and 212 transitions and 860 arcs in 282 ms.
[2023-03-10 17:08:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 64 places, 212 transitions and 860 arcs took 12 ms.
Total runtime 357 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p2s1
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: 64 places, 212 transitions, 860 arcs.
AT ITER 0 NEW BEST:: SOT 10121 SOS 8617 HAS SOPS 7343 HAS SOUS 3918 HAS SOUPS 3681 WITH SCORE 3689.617
AT ITER 13 NEW BEST:: SOT 9981 SOS 8483 HAS SOPS 7207 HAS SOUS 3854 HAS SOUPS 3615 WITH SCORE 3623.483
AT ITER 28 NEW BEST:: SOT 9131 SOS 7687 HAS SOPS 6209 HAS SOUS 3870 HAS SOUPS 3569 WITH SCORE 3576.687
AT ITER 60 NEW BEST:: SOT 9127 SOS 7683 HAS SOPS 6205 HAS SOUS 3858 HAS SOUPS 3557 WITH SCORE 3564.683
AT ITER 62 NEW BEST:: SOT 9107 SOS 7669 HAS SOPS 6180 HAS SOUS 3838 HAS SOUPS 3531 WITH SCORE 3538.669
AT ITER 77 NEW BEST:: SOT 9101 SOS 7663 HAS SOPS 6174 HAS SOUS 3816 HAS SOUPS 3509 WITH SCORE 3516.663
AT ITER 86 NEW BEST:: SOT 9099 SOS 7657 HAS SOPS 6168 HAS SOUS 3816 HAS SOUPS 3509 WITH SCORE 3516.657
AT ITER 88 NEW BEST:: SOT 9093 SOS 7637 HAS SOPS 6148 HAS SOUS 3790 HAS SOUPS 3483 WITH SCORE 3490.637
AT ITER 108 NEW BEST:: SOT 9085 SOS 7629 HAS SOPS 6124 HAS SOUS 3782 HAS SOUPS 3467 WITH SCORE 3474.629
AT ITER 136 NEW BEST:: SOT 9085 SOS 7629 HAS SOPS 6124 HAS SOUS 3778 HAS SOUPS 3463 WITH SCORE 3470.629
AT ITER 137 NEW BEST:: SOT 9084 SOS 7625 HAS SOPS 6120 HAS SOUS 3776 HAS SOUPS 3461 WITH SCORE 3468.625
AT ITER 156 NEW BEST:: SOT 9082 SOS 7618 HAS SOPS 6112 HAS SOUS 3768 HAS SOUPS 3453 WITH SCORE 3460.618
AT ITER 176 NEW BEST:: SOT 9082 SOS 7528 HAS SOPS 6043 HAS SOUS 3768 HAS SOUPS 3453 WITH SCORE 3460.528
AT ITER 184 NEW BEST:: SOT 9059 SOS 6986 HAS SOPS 5723 HAS SOUS 3731 HAS SOUPS 3443 WITH SCORE 3449.986
AT ITER 202 NEW BEST:: SOT 9055 SOS 6982 HAS SOPS 5723 HAS SOUS 3707 HAS SOUPS 3423 WITH SCORE 3429.982
AT ITER 204 NEW BEST:: SOT 8456 SOS 6452 HAS SOPS 5134 HAS SOUS 3553 HAS SOUPS 3239 WITH SCORE 3245.452
AT ITER 263 NEW BEST:: SOT 8481 SOS 6473 HAS SOPS 5152 HAS SOUS 3522 HAS SOUPS 3208 WITH SCORE 3214.473
AT ITER 267 NEW BEST:: SOT 8168 SOS 6190 HAS SOPS 4819 HAS SOUS 3189 HAS SOUPS 2871 WITH SCORE 2877.19
AT ITER 273 NEW BEST:: SOT 8387 SOS 6105 HAS SOPS 4914 HAS SOUS 3113 HAS SOUPS 2817 WITH SCORE 2823.105
AT ITER 274 NEW BEST:: SOT 8367 SOS 6085 HAS SOPS 4892 HAS SOUS 3082 HAS SOUPS 2786 WITH SCORE 2792.085
AT ITER 275 NEW BEST:: SOT 8367 SOS 6163 HAS SOPS 4958 HAS SOUS 3056 HAS SOUPS 2760 WITH SCORE 2766.163
AT ITER 283 NEW BEST:: SOT 8367 SOS 6133 HAS SOPS 4928 HAS SOUS 3053 HAS SOUPS 2757 WITH SCORE 2763.133
AT ITER 299 NEW BEST:: SOT 8391 SOS 6139 HAS SOPS 4949 HAS SOUS 3008 HAS SOUPS 2715 WITH SCORE 2721.139
AT ITER 317 NEW BEST:: SOT 8391 SOS 6153 HAS SOPS 4955 HAS SOUS 3007 HAS SOUPS 2713 WITH SCORE 2719.153
AT ITER 339 NEW BEST:: SOT 8391 SOS 6147 HAS SOPS 4976 HAS SOUS 2995 HAS SOUPS 2712 WITH SCORE 2718.147
AT ITER 343 NEW BEST:: SOT 8389 SOS 5748 HAS SOPS 4783 HAS SOUS 2931 HAS SOUPS 2686 WITH SCORE 2691.748
AT ITER 355 NEW BEST:: SOT 8375 SOS 5734 HAS SOPS 4765 HAS SOUS 2917 HAS SOUPS 2668 WITH SCORE 2673.734
AT ITER 363 NEW BEST:: SOT 8375 SOS 5808 HAS SOPS 4839 HAS SOUS 2904 HAS SOUPS 2655 WITH SCORE 2660.808
AT ITER 378 NEW BEST:: SOT 8324 SOS 5789 HAS SOPS 4841 HAS SOUS 2912 HAS SOUPS 2637 WITH SCORE 2642.789
AT ITER 396 NEW BEST:: SOT 8324 SOS 5788 HAS SOPS 4835 HAS SOUS 2900 HAS SOUPS 2625 WITH SCORE 2630.788
AT ITER 421 NEW BEST:: SOT 8324 SOS 5746 HAS SOPS 4817 HAS SOUS 2888 HAS SOUPS 2616 WITH SCORE 2621.746
AT ITER 426 NEW BEST:: SOT 8324 SOS 5778 HAS SOPS 4846 HAS SOUS 2878 HAS SOUPS 2606 WITH SCORE 2611.778
AT ITER 427 NEW BEST:: SOT 8328 SOS 5518 HAS SOPS 4845 HAS SOUS 2758 HAS SOUPS 2529 WITH SCORE 2534.518
AT ITER 429 NEW BEST:: SOT 8328 SOS 5523 HAS SOPS 4842 HAS SOUS 2760 HAS SOUPS 2528 WITH SCORE 2533.523
AT ITER 430 NEW BEST:: SOT 8328 SOS 5478 HAS SOPS 4797 HAS SOUS 2743 HAS SOUPS 2511 WITH SCORE 2516.478
AT ITER 432 NEW BEST:: SOT 8327 SOS 5477 HAS SOPS 4795 HAS SOUS 2712 HAS SOUPS 2480 WITH SCORE 2485.477
AT ITER 437 NEW BEST:: SOT 8301 SOS 5455 HAS SOPS 4772 HAS SOUS 2684 HAS SOUPS 2452 WITH SCORE 2457.455
AT ITER 455 NEW BEST:: SOT 8301 SOS 5431 HAS SOPS 4748 HAS SOUS 2681 HAS SOUPS 2449 WITH SCORE 2454.431
AT ITER 470 NEW BEST:: SOT 8293 SOS 5423 HAS SOPS 4732 HAS SOUS 2665 HAS SOUPS 2433 WITH SCORE 2438.423
AT ITER 481 NEW BEST:: SOT 8293 SOS 5423 HAS SOPS 4732 HAS SOUS 2664 HAS SOUPS 2432 WITH SCORE 2437.423
AT ITER 485 NEW BEST:: SOT 8293 SOS 5388 HAS SOPS 4673 HAS SOUS 2665 HAS SOUPS 2426 WITH SCORE 2431.388
AT ITER 489 NEW BEST:: SOT 8273 SOS 5368 HAS SOPS 4655 HAS SOUS 2617 HAS SOUPS 2380 WITH SCORE 2385.368
AT ITER 523 NEW BEST:: SOT 8273 SOS 5374 HAS SOPS 4655 HAS SOUS 2618 HAS SOUPS 2379 WITH SCORE 2384.374
AT ITER 538 NEW BEST:: SOT 8269 SOS 5370 HAS SOPS 4647 HAS SOUS 2618 HAS SOUPS 2379 WITH SCORE 2384.37
AT ITER 548 NEW BEST:: SOT 8285 SOS 5386 HAS SOPS 4625 HAS SOUS 2586 HAS SOUPS 2353 WITH SCORE 2358.386
AT ITER 563 NEW BEST:: SOT 8026 SOS 5067 HAS SOPS 4339 HAS SOUS 2465 HAS SOUPS 2233 WITH SCORE 2238.067
AT ITER 576 NEW BEST:: SOT 7845 SOS 4928 HAS SOPS 4228 HAS SOUS 2354 HAS SOUPS 2125 WITH SCORE 2129.928
AT ITER 581 NEW BEST:: SOT 7844 SOS 4899 HAS SOPS 4203 HAS SOUS 2342 HAS SOUPS 2110 WITH SCORE 2114.899
AT ITER 595 NEW BEST:: SOT 7824 SOS 4879 HAS SOPS 4179 HAS SOUS 2318 HAS SOUPS 2086 WITH SCORE 2090.879
AT ITER 604 NEW BEST:: SOT 7821 SOS 4876 HAS SOPS 4176 HAS SOUS 2315 HAS SOUPS 2083 WITH SCORE 2087.876
AT ITER 605 NEW BEST:: SOT 7828 SOS 4723 HAS SOPS 4131 HAS SOUS 2243 HAS SOUPS 2026 WITH SCORE 2030.723
AT ITER 608 NEW BEST:: SOT 7818 SOS 4713 HAS SOPS 4121 HAS SOUS 2213 HAS SOUPS 1996 WITH SCORE 2000.713
AT ITER 622 NEW BEST:: SOT 7819 SOS 4684 HAS SOPS 4081 HAS SOUS 2204 HAS SOUPS 1983 WITH SCORE 1987.684
AT ITER 634 NEW BEST:: SOT 7807 SOS 4672 HAS SOPS 4070 HAS SOUS 2198 HAS SOUPS 1977 WITH SCORE 1981.672
AT ITER 641 NEW BEST:: SOT 7790 SOS 4663 HAS SOPS 4066 HAS SOUS 2181 HAS SOUPS 1961 WITH SCORE 1965.663
AT ITER 650 NEW BEST:: SOT 7790 SOS 4647 HAS SOPS 4050 HAS SOUS 2177 HAS SOUPS 1957 WITH SCORE 1961.647
AT ITER 664 NEW BEST:: SOT 7784 SOS 4641 HAS SOPS 4043 HAS SOUS 2165 HAS SOUPS 1945 WITH SCORE 1949.641
AT ITER 677 NEW BEST:: SOT 7778 SOS 4635 HAS SOPS 4033 HAS SOUS 2159 HAS SOUPS 1935 WITH SCORE 1939.635
AT ITER 697 NEW BEST:: SOT 7778 SOS 4585 HAS SOPS 3983 HAS SOUS 2154 HAS SOUPS 1930 WITH SCORE 1934.585
AT ITER 714 NEW BEST:: SOT 7776 SOS 4556 HAS SOPS 3879 HAS SOUS 2076 HAS SOUPS 1846 WITH SCORE 1850.556
AT ITER 716 NEW BEST:: SOT 7776 SOS 4526 HAS SOPS 3849 HAS SOUS 2073 HAS SOUPS 1843 WITH SCORE 1847.526
AT ITER 731 NEW BEST:: SOT 7776 SOS 4530 HAS SOPS 3848 HAS SOUS 2071 HAS SOUPS 1840 WITH SCORE 1844.53
AT ITER 736 NEW BEST:: SOT 7772 SOS 4527 HAS SOPS 3860 HAS SOUS 2067 HAS SOUPS 1836 WITH SCORE 1840.527
AT ITER 743 NEW BEST:: SOT 7772 SOS 4507 HAS SOPS 3840 HAS SOUS 2062 HAS SOUPS 1831 WITH SCORE 1835.507
AT ITER 756 NEW BEST:: SOT 7778 SOS 4553 HAS SOPS 3880 HAS SOUS 2045 HAS SOUPS 1817 WITH SCORE 1821.553
AT ITER 783 NEW BEST:: SOT 7762 SOS 4537 HAS SOPS 3892 HAS SOUS 2001 HAS SOUPS 1801 WITH SCORE 1805.537
AT ITER 786 NEW BEST:: SOT 7708 SOS 4579 HAS SOPS 3854 HAS SOUS 2006 HAS SOUPS 1790 WITH SCORE 1794.579
AT ITER 797 NEW BEST:: SOT 7688 SOS 4559 HAS SOPS 3794 HAS SOUS 1978 HAS SOUPS 1750 WITH SCORE 1754.559
AT ITER 843 NEW BEST:: SOT 7688 SOS 4537 HAS SOPS 3740 HAS SOUS 1984 HAS SOUPS 1748 WITH SCORE 1752.537
AT ITER 845 NEW BEST:: SOT 7689 SOS 4523 HAS SOPS 3726 HAS SOUS 1981 HAS SOUPS 1745 WITH SCORE 1749.523
AT ITER 925 NEW BEST:: SOT 7689 SOS 4526 HAS SOPS 3727 HAS SOUS 1976 HAS SOUPS 1740 WITH SCORE 1744.526
AT ITER 936 NEW BEST:: SOT 7690 SOS 4451 HAS SOPS 3652 HAS SOUS 1976 HAS SOUPS 1740 WITH SCORE 1744.451
AT ITER 958 NEW BEST:: SOT 7683 SOS 4464 HAS SOPS 3645 HAS SOUS 1973 HAS SOUPS 1733 WITH SCORE 1737.464
AT ITER 961 NEW BEST:: SOT 7683 SOS 4390 HAS SOPS 3571 HAS SOUS 1962 HAS SOUPS 1722 WITH SCORE 1726.39
AT ITER 964 NEW BEST:: SOT 7663 SOS 4370 HAS SOPS 3551 HAS SOUS 1959 HAS SOUPS 1719 WITH SCORE 1723.37
AT ITER 992 NEW BEST:: SOT 7651 SOS 4358 HAS SOPS 3543 HAS SOUS 1951 HAS SOUPS 1711 WITH SCORE 1715.358
AT ITER 1009 NEW BEST:: SOT 7651 SOS 4354 HAS SOPS 3539 HAS SOUS 1951 HAS SOUPS 1711 WITH SCORE 1715.354
AT ITER 1021 NEW BEST:: SOT 7649 SOS 4352 HAS SOPS 3533 HAS SOUS 1945 HAS SOUPS 1705 WITH SCORE 1709.352
AT ITER 1043 NEW BEST:: SOT 7647 SOS 4380 HAS SOPS 3552 HAS SOUS 1943 HAS SOUPS 1700 WITH SCORE 1704.38
AT ITER 1107 NEW BEST:: SOT 7645 SOS 4378 HAS SOPS 3550 HAS SOUS 1937 HAS SOUPS 1694 WITH SCORE 1698.378
AT ITER 1165 NEW BEST:: SOT 7645 SOS 4378 HAS SOPS 3550 HAS SOUS 1936 HAS SOUPS 1693 WITH SCORE 1697.378
AT ITER 1168 NEW BEST:: SOT 7646 SOS 4368 HAS SOPS 3549 HAS SOUS 1933 HAS SOUPS 1693 WITH SCORE 1697.368
AT ITER 1182 NEW BEST:: SOT 7646 SOS 4360 HAS SOPS 3541 HAS SOUS 1931 HAS SOUPS 1691 WITH SCORE 1695.36
AT ITER 1248 NEW BEST:: SOT 7644 SOS 4358 HAS SOPS 3539 HAS SOUS 1925 HAS SOUPS 1685 WITH SCORE 1689.358
AT ITER 1260 NEW BEST:: SOT 7644 SOS 4354 HAS SOPS 3535 HAS SOUS 1924 HAS SOUPS 1684 WITH SCORE 1688.354
AT ITER 1283 NEW BEST:: SOT 7639 SOS 4349 HAS SOPS 3530 HAS SOUS 1923 HAS SOUPS 1683 WITH SCORE 1687.349
AT ITER 1320 NEW BEST:: SOT 7637 SOS 4347 HAS SOPS 3528 HAS SOUS 1920 HAS SOUPS 1680 WITH SCORE 1684.347
AT ITER 1412 NEW BEST:: SOT 7637 SOS 4359 HAS SOPS 3512 HAS SOUS 1926 HAS SOUPS 1679 WITH SCORE 1683.359
AT ITER 1441 NEW BEST:: SOT 7637 SOS 4347 HAS SOPS 3492 HAS SOUS 1926 HAS SOUPS 1677 WITH SCORE 1681.347
AT ITER 1457 NEW BEST:: SOT 7637 SOS 4347 HAS SOPS 3488 HAS SOUS 1928 HAS SOUPS 1675 WITH SCORE 1679.347
AT ITER 1487 NEW BEST:: SOT 7637 SOS 4335 HAS SOPS 3476 HAS SOUS 1928 HAS SOUPS 1675 WITH SCORE 1679.335
AT ITER 1499 NEW BEST:: SOT 7637 SOS 4295 HAS SOPS 3444 HAS SOUS 1924 HAS SOUPS 1673 WITH SCORE 1677.295
AT ITER 1589 NEW BEST:: SOT 7637 SOS 4299 HAS SOPS 3448 HAS SOUS 1923 HAS SOUPS 1672 WITH SCORE 1676.299
AT ITER 1705 NEW BEST:: SOT 7637 SOS 4307 HAS SOPS 3444 HAS SOUS 1925 HAS SOUPS 1671 WITH SCORE 1675.307
AT ITER 1765 NEW BEST:: SOT 7658 SOS 4328 HAS SOPS 3458 HAS SOUS 1877 HAS SOUPS 1623 WITH SCORE 1627.328
AT ITER 1819 NEW BEST:: SOT 7646 SOS 4316 HAS SOPS 3434 HAS SOUS 1853 HAS SOUPS 1599 WITH SCORE 1603.316
AT ITER 1823 NEW BEST:: SOT 7646 SOS 4308 HAS SOPS 3434 HAS SOUS 1851 HAS SOUPS 1599 WITH SCORE 1603.308
AT ITER 1830 NEW BEST:: SOT 7644 SOS 4306 HAS SOPS 3436 HAS SOUS 1844 HAS SOUPS 1596 WITH SCORE 1600.306
AT ITER 1840 NEW BEST:: SOT 7640 SOS 4292 HAS SOPS 3422 HAS SOUS 1830 HAS SOUPS 1582 WITH SCORE 1586.292
AT ITER 2074 NEW BEST:: SOT 7638 SOS 4290 HAS SOPS 3416 HAS SOUS 1824 HAS SOUPS 1576 WITH SCORE 1580.29
AT ITER 2200 NEW BEST:: SOT 7637 SOS 4289 HAS SOPS 3391 HAS SOUS 1799 HAS SOUPS 1551 WITH SCORE 1555.289
AT ITER 2328 NEW BEST:: SOT 7637 SOS 4283 HAS SOPS 3385 HAS SOUS 1799 HAS SOUPS 1551 WITH SCORE 1555.283
AT ITER 2398 NEW BEST:: SOT 7629 SOS 4275 HAS SOPS 3385 HAS SOUS 1791 HAS SOUPS 1543 WITH SCORE 1547.275
AT ITER 2418 NEW BEST:: SOT 7629 SOS 4275 HAS SOPS 3357 HAS SOUS 1783 HAS SOUPS 1523 WITH SCORE 1527.275
AT ITER 2566 NEW BEST:: SOT 7625 SOS 4271 HAS SOPS 3353 HAS SOUS 1775 HAS SOUPS 1515 WITH SCORE 1519.271
AT ITER 2687 NEW BEST:: SOT 7629 SOS 4242 HAS SOPS 3340 HAS SOUS 1770 HAS SOUPS 1512 WITH SCORE 1516.242
AT ITER 2754 NEW BEST:: SOT 7629 SOS 4224 HAS SOPS 3322 HAS SOUS 1767 HAS SOUPS 1509 WITH SCORE 1513.224
AT ITER 3052 NEW BEST:: SOT 7626 SOS 4226 HAS SOPS 3315 HAS SOUS 1762 HAS SOUPS 1503 WITH SCORE 1507.226
AT ITER 3094 NEW BEST:: SOT 7622 SOS 4222 HAS SOPS 3311 HAS SOUS 1754 HAS SOUPS 1495 WITH SCORE 1499.222
AT ITER 3170 NEW BEST:: SOT 7622 SOS 4222 HAS SOPS 3307 HAS SOUS 1750 HAS SOUPS 1491 WITH SCORE 1495.222
AT ITER 3190 NEW BEST:: SOT 7618 SOS 4218 HAS SOPS 3303 HAS SOUS 1742 HAS SOUPS 1483 WITH SCORE 1487.218
AT ITER 3370 NEW BEST:: SOT 7624 SOS 4224 HAS SOPS 3301 HAS SOUS 1760 HAS SOUPS 1481 WITH SCORE 1485.224
AT ITER 3446 NEW BEST:: SOT 7612 SOS 4212 HAS SOPS 3293 HAS SOUS 1744 HAS SOUPS 1473 WITH SCORE 1477.212
AT ITER 3459 NEW BEST:: SOT 7618 SOS 4218 HAS SOPS 3291 HAS SOUS 1750 HAS SOUPS 1471 WITH SCORE 1475.218
AT ITER 3554 NEW BEST:: SOT 7621 SOS 4221 HAS SOPS 3294 HAS SOUS 1749 HAS SOUPS 1470 WITH SCORE 1474.221
AT ITER 3711 NEW BEST:: SOT 7621 SOS 4215 HAS SOPS 3288 HAS SOUS 1749 HAS SOUPS 1470 WITH SCORE 1474.215
AT ITER 3794 NEW BEST:: SOT 7617 SOS 4211 HAS SOPS 3284 HAS SOUS 1741 HAS SOUPS 1466 WITH SCORE 1470.211
AT ITER 3996 NEW BEST:: SOT 7617 SOS 4211 HAS SOPS 3282 HAS SOUS 1739 HAS SOUPS 1464 WITH SCORE 1468.211
AT ITER 4122 NEW BEST:: SOT 7613 SOS 4207 HAS SOPS 3278 HAS SOUS 1731 HAS SOUPS 1456 WITH SCORE 1460.207
AT ITER 4281 NEW BEST:: SOT 7613 SOS 4233 HAS SOPS 3292 HAS SOUS 1733 HAS SOUPS 1455 WITH SCORE 1459.233
AT ITER 4438 NEW BEST:: SOT 7613 SOS 4225 HAS SOPS 3284 HAS SOUS 1731 HAS SOUPS 1453 WITH SCORE 1457.225
AT ITER 4505 NEW BEST:: SOT 7613 SOS 4225 HAS SOPS 3276 HAS SOUS 1723 HAS SOUPS 1445 WITH SCORE 1449.225
AT ITER 4604 NEW BEST:: SOT 7612 SOS 4224 HAS SOPS 3275 HAS SOUS 1722 HAS SOUPS 1444 WITH SCORE 1448.224
AT ITER 4884 NEW BEST:: SOT 7604 SOS 4216 HAS SOPS 3275 HAS SOUS 1714 HAS SOUPS 1444 WITH SCORE 1448.216
AT ITER 4980 NEW BEST:: SOT 7604 SOS 4208 HAS SOPS 3271 HAS SOUS 1712 HAS SOUPS 1443 WITH SCORE 1447.208
AT ITER 5010 NEW BEST:: SOT 7602 SOS 4206 HAS SOPS 3269 HAS SOUS 1709 HAS SOUPS 1440 WITH SCORE 1444.206
AT ITER 5092 NEW BEST:: SOT 7602 SOS 4210 HAS SOPS 3271 HAS SOUS 1704 HAS SOUPS 1435 WITH SCORE 1439.21
AT ITER 5381 NEW BEST:: SOT 7605 SOS 4213 HAS SOPS 3274 HAS SOUS 1703 HAS SOUPS 1434 WITH SCORE 1438.213
AT ITER 5406 NEW BEST:: SOT 7605 SOS 4209 HAS SOPS 3274 HAS SOUS 1702 HAS SOUPS 1434 WITH SCORE 1438.209
AT ITER 5508 NEW BEST:: SOT 7605 SOS 4209 HAS SOPS 3266 HAS SOUS 1694 HAS SOUPS 1426 WITH SCORE 1430.209
AT ITER 5538 NEW BEST:: SOT 7605 SOS 4199 HAS SOPS 3256 HAS SOUS 1693 HAS SOUPS 1425 WITH SCORE 1429.199
AT ITER 5580 NEW BEST:: SOT 7607 SOS 4201 HAS SOPS 3254 HAS SOUS 1695 HAS SOUPS 1423 WITH SCORE 1427.201
AT ITER 5648 NEW BEST:: SOT 7611 SOS 4193 HAS SOPS 3258 HAS SOUS 1693 HAS SOUPS 1423 WITH SCORE 1427.193
AT ITER 5712 NEW BEST:: SOT 7611 SOS 4193 HAS SOPS 3260 HAS SOUS 1687 HAS SOUPS 1417 WITH SCORE 1421.193
AT ITER 6176 NEW BEST:: SOT 7607 SOS 4189 HAS SOPS 3260 HAS SOUS 1683 HAS SOUPS 1413 WITH SCORE 1417.189
AT ITER 6634 NEW BEST:: SOT 7607 SOS 4193 HAS SOPS 3262 HAS SOUS 1678 HAS SOUPS 1408 WITH SCORE 1412.193
AT ITER 7074 NEW BEST:: SOT 7607 SOS 4193 HAS SOPS 3260 HAS SOUS 1676 HAS SOUPS 1406 WITH SCORE 1410.193
AT ITER 7132 NEW BEST:: SOT 7607 SOS 4189 HAS SOPS 3260 HAS SOUS 1675 HAS SOUPS 1406 WITH SCORE 1410.189
AT ITER 7194 NEW BEST:: SOT 7603 SOS 4185 HAS SOPS 3252 HAS SOUS 1667 HAS SOUPS 1398 WITH SCORE 1402.185
AT ITER 7876 NEW BEST:: SOT 7603 SOS 4185 HAS SOPS 3248 HAS SOUS 1667 HAS SOUPS 1397 WITH SCORE 1401.185
AT ITER 9217 NEW BEST:: SOT 7607 SOS 4177 HAS SOPS 3252 HAS SOUS 1665 HAS SOUPS 1397 WITH SCORE 1401.177
AT ITER 9690 NEW BEST:: SOT 7605 SOS 4175 HAS SOPS 3250 HAS SOUS 1663 HAS SOUPS 1395 WITH SCORE 1399.175
BK_STOP 1678469697952
--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 1153
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Segmentation fault ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DoubleLock-PT-p2s1"
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 DoubleLock-PT-p2s1, 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 r139-smll-167819423400536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleLock-PT-p2s1.tgz
mv DoubleLock-PT-p2s1 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 ;