About the Execution of Smart+red for SemanticWebServices-PT-S064P12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8554.396 | 457471.00 | 466783.00 | 1840.70 | [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.r363-smll-167891814200360.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 SemanticWebServices-PT-S064P12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814200360
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 10:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 26 10:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 26 10:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 117K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679136003437
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=SemanticWebServices-PT-S064P12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 10:40:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 10:40:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 10:40:06] [INFO ] Load time of PNML (sax parser for PT used): 132 ms
[2023-03-18 10:40:06] [INFO ] Transformed 104 places.
[2023-03-18 10:40:06] [INFO ] Transformed 158 transitions.
[2023-03-18 10:40:06] [INFO ] Parsed PT model containing 104 places and 158 transitions and 863 arcs in 276 ms.
[2023-03-18 10:40:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 104 places, 158 transitions and 863 arcs took 15 ms.
Total runtime 354 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S064P12
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: 104 places, 158 transitions, 863 arcs.
AT ITER 0 NEW BEST:: SOT 12973 SOS 8117 HAS SOPS 5561 HAS SOUS 3493 HAS SOUPS 2715 WITH SCORE 2723.117
AT ITER 1 NEW BEST:: SOT 12973 SOS 8091 HAS SOPS 5535 HAS SOUS 3480 HAS SOUPS 2702 WITH SCORE 2710.091
AT ITER 8 NEW BEST:: SOT 12973 SOS 8033 HAS SOPS 5477 HAS SOUS 3451 HAS SOUPS 2673 WITH SCORE 2681.033
AT ITER 9 NEW BEST:: SOT 12957 SOS 8017 HAS SOPS 5461 HAS SOUS 3436 HAS SOUPS 2658 WITH SCORE 2666.017
AT ITER 10 NEW BEST:: SOT 12957 SOS 7995 HAS SOPS 5439 HAS SOUS 3425 HAS SOUPS 2647 WITH SCORE 2654.995
AT ITER 15 NEW BEST:: SOT 12957 SOS 7879 HAS SOPS 5363 HAS SOUS 3367 HAS SOUPS 2609 WITH SCORE 2616.879
AT ITER 20 NEW BEST:: SOT 12957 SOS 7813 HAS SOPS 5363 HAS SOUS 3334 HAS SOUPS 2609 WITH SCORE 2616.813
AT ITER 24 NEW BEST:: SOT 12957 SOS 7731 HAS SOPS 5281 HAS SOUS 3293 HAS SOUPS 2568 WITH SCORE 2575.731
AT ITER 26 NEW BEST:: SOT 12957 SOS 7743 HAS SOPS 5263 HAS SOUS 3299 HAS SOUPS 2559 WITH SCORE 2566.743
AT ITER 31 NEW BEST:: SOT 12957 SOS 7705 HAS SOPS 5227 HAS SOUS 3280 HAS SOUPS 2541 WITH SCORE 2548.705
AT ITER 32 NEW BEST:: SOT 12957 SOS 7673 HAS SOPS 5195 HAS SOUS 3264 HAS SOUPS 2525 WITH SCORE 2532.673
AT ITER 34 NEW BEST:: SOT 12957 SOS 7651 HAS SOPS 5175 HAS SOUS 3253 HAS SOUPS 2515 WITH SCORE 2522.651
AT ITER 35 NEW BEST:: SOT 12957 SOS 7649 HAS SOPS 5175 HAS SOUS 3252 HAS SOUPS 2515 WITH SCORE 2522.649
AT ITER 43 NEW BEST:: SOT 12943 SOS 7635 HAS SOPS 5161 HAS SOUS 3239 HAS SOUPS 2502 WITH SCORE 2509.635
AT ITER 49 NEW BEST:: SOT 12943 SOS 7561 HAS SOPS 5115 HAS SOUS 3202 HAS SOUPS 2479 WITH SCORE 2486.561
AT ITER 53 NEW BEST:: SOT 12943 SOS 7517 HAS SOPS 5065 HAS SOUS 3180 HAS SOUPS 2454 WITH SCORE 2461.517
AT ITER 56 NEW BEST:: SOT 12943 SOS 7501 HAS SOPS 5063 HAS SOUS 3172 HAS SOUPS 2453 WITH SCORE 2460.501
AT ITER 59 NEW BEST:: SOT 12939 SOS 7497 HAS SOPS 5059 HAS SOUS 3168 HAS SOUPS 2449 WITH SCORE 2456.497
AT ITER 67 NEW BEST:: SOT 12939 SOS 7477 HAS SOPS 5025 HAS SOUS 3158 HAS SOUPS 2432 WITH SCORE 2439.477
AT ITER 70 NEW BEST:: SOT 12933 SOS 7619 HAS SOPS 5153 HAS SOUS 3163 HAS SOUPS 2430 WITH SCORE 2437.619
AT ITER 72 NEW BEST:: SOT 11473 SOS 8561 HAS SOPS 8009 HAS SOUS 2436 HAS SOUPS 2307 WITH SCORE 2315.561
AT ITER 73 NEW BEST:: SOT 11451 SOS 8539 HAS SOPS 7987 HAS SOUS 2436 HAS SOUPS 2307 WITH SCORE 2315.539
AT ITER 92 NEW BEST:: SOT 11451 SOS 8547 HAS SOPS 7987 HAS SOUS 2427 HAS SOUPS 2294 WITH SCORE 2302.547
AT ITER 93 NEW BEST:: SOT 11409 SOS 8505 HAS SOPS 7945 HAS SOUS 2405 HAS SOUPS 2272 WITH SCORE 2280.505
AT ITER 96 NEW BEST:: SOT 11381 SOS 8445 HAS SOPS 7901 HAS SOUS 2375 HAS SOUPS 2250 WITH SCORE 2258.445
AT ITER 100 NEW BEST:: SOT 11379 SOS 8443 HAS SOPS 7899 HAS SOUS 2374 HAS SOUPS 2249 WITH SCORE 2257.443
AT ITER 104 NEW BEST:: SOT 11361 SOS 8411 HAS SOPS 7881 HAS SOUS 2349 HAS SOUPS 2231 WITH SCORE 2239.411
AT ITER 110 NEW BEST:: SOT 11355 SOS 8405 HAS SOPS 7875 HAS SOUS 2343 HAS SOUPS 2225 WITH SCORE 2233.405
AT ITER 120 NEW BEST:: SOT 11361 SOS 8397 HAS SOPS 7867 HAS SOUS 2336 HAS SOUPS 2218 WITH SCORE 2226.397
AT ITER 126 NEW BEST:: SOT 11339 SOS 8375 HAS SOPS 7845 HAS SOUS 2322 HAS SOUPS 2204 WITH SCORE 2212.375
AT ITER 130 NEW BEST:: SOT 10831 SOS 8211 HAS SOPS 7767 HAS SOUS 2186 HAS SOUPS 2111 WITH SCORE 2119.211
AT ITER 139 NEW BEST:: SOT 10973 SOS 8050 HAS SOPS 7518 HAS SOUS 2193 HAS SOUPS 2074 WITH SCORE 2082.05
AT ITER 154 NEW BEST:: SOT 10973 SOS 8042 HAS SOPS 7504 HAS SOUS 2196 HAS SOUPS 2074 WITH SCORE 2082.042
AT ITER 162 NEW BEST:: SOT 11067 SOS 7062 HAS SOPS 6090 HAS SOUS 2243 HAS SOUPS 2002 WITH SCORE 2009.062
AT ITER 166 NEW BEST:: SOT 11067 SOS 7046 HAS SOPS 6060 HAS SOUS 2235 HAS SOUPS 1987 WITH SCORE 1994.046
AT ITER 169 NEW BEST:: SOT 11067 SOS 7032 HAS SOPS 6046 HAS SOUS 2228 HAS SOUPS 1980 WITH SCORE 1987.032
AT ITER 171 NEW BEST:: SOT 11064 SOS 7029 HAS SOPS 6043 HAS SOUS 2222 HAS SOUPS 1974 WITH SCORE 1981.029
AT ITER 172 NEW BEST:: SOT 11064 SOS 7015 HAS SOPS 6021 HAS SOUS 2215 HAS SOUPS 1963 WITH SCORE 1970.015
AT ITER 181 NEW BEST:: SOT 11050 SOS 6985 HAS SOPS 6001 HAS SOUS 2196 HAS SOUPS 1949 WITH SCORE 1955.985
AT ITER 200 NEW BEST:: SOT 11054 SOS 6989 HAS SOPS 6005 HAS SOUS 2188 HAS SOUPS 1941 WITH SCORE 1947.989
AT ITER 207 NEW BEST:: SOT 11042 SOS 6977 HAS SOPS 5993 HAS SOUS 2176 HAS SOUPS 1929 WITH SCORE 1935.977
AT ITER 220 NEW BEST:: SOT 11042 SOS 6979 HAS SOPS 5979 HAS SOUS 2177 HAS SOUPS 1922 WITH SCORE 1928.979
AT ITER 230 NEW BEST:: SOT 11048 SOS 6985 HAS SOPS 5985 HAS SOUS 2169 HAS SOUPS 1914 WITH SCORE 1920.985
AT ITER 232 NEW BEST:: SOT 10976 SOS 6919 HAS SOPS 5919 HAS SOUS 2138 HAS SOUPS 1883 WITH SCORE 1889.919
AT ITER 242 NEW BEST:: SOT 10972 SOS 6851 HAS SOPS 5817 HAS SOUS 2151 HAS SOUPS 1879 WITH SCORE 1885.851
AT ITER 276 NEW BEST:: SOT 10972 SOS 6847 HAS SOPS 5815 HAS SOUS 2149 HAS SOUPS 1878 WITH SCORE 1884.847
AT ITER 297 NEW BEST:: SOT 10957 SOS 6832 HAS SOPS 5800 HAS SOUS 2136 HAS SOUPS 1865 WITH SCORE 1871.832
AT ITER 301 NEW BEST:: SOT 10957 SOS 6828 HAS SOPS 5796 HAS SOUS 2134 HAS SOUPS 1863 WITH SCORE 1869.828
AT ITER 307 NEW BEST:: SOT 10955 SOS 6826 HAS SOPS 5794 HAS SOUS 2128 HAS SOUPS 1857 WITH SCORE 1863.826
AT ITER 309 NEW BEST:: SOT 10901 SOS 6772 HAS SOPS 5740 HAS SOUS 2106 HAS SOUPS 1835 WITH SCORE 1841.772
AT ITER 354 NEW BEST:: SOT 10901 SOS 6728 HAS SOPS 5696 HAS SOUS 2106 HAS SOUPS 1835 WITH SCORE 1841.728
AT ITER 361 NEW BEST:: SOT 10851 SOS 6668 HAS SOPS 5626 HAS SOUS 2076 HAS SOUPS 1800 WITH SCORE 1806.668
AT ITER 370 NEW BEST:: SOT 10851 SOS 6616 HAS SOPS 5626 HAS SOUS 2050 HAS SOUPS 1800 WITH SCORE 1806.616
AT ITER 414 NEW BEST:: SOT 10849 SOS 6614 HAS SOPS 5624 HAS SOUS 2048 HAS SOUPS 1798 WITH SCORE 1804.614
AT ITER 448 NEW BEST:: SOT 10687 SOS 6510 HAS SOPS 5520 HAS SOUS 2025 HAS SOUPS 1775 WITH SCORE 1781.51
AT ITER 470 NEW BEST:: SOT 10653 SOS 6476 HAS SOPS 5486 HAS SOUS 2014 HAS SOUPS 1764 WITH SCORE 1770.476
AT ITER 492 NEW BEST:: SOT 10653 SOS 6472 HAS SOPS 5484 HAS SOUS 2012 HAS SOUPS 1763 WITH SCORE 1769.472
AT ITER 507 NEW BEST:: SOT 10665 SOS 6466 HAS SOPS 5496 HAS SOUS 1997 HAS SOUPS 1757 WITH SCORE 1763.466
AT ITER 520 NEW BEST:: SOT 10665 SOS 6450 HAS SOPS 5496 HAS SOUS 1989 HAS SOUPS 1757 WITH SCORE 1763.45
AT ITER 521 NEW BEST:: SOT 10661 SOS 6446 HAS SOPS 5492 HAS SOUS 1989 HAS SOUPS 1757 WITH SCORE 1763.446
AT ITER 529 NEW BEST:: SOT 10611 SOS 6396 HAS SOPS 5442 HAS SOUS 1964 HAS SOUPS 1732 WITH SCORE 1738.396
AT ITER 532 NEW BEST:: SOT 10607 SOS 6392 HAS SOPS 5438 HAS SOUS 1964 HAS SOUPS 1732 WITH SCORE 1738.392
AT ITER 540 NEW BEST:: SOT 10607 SOS 6378 HAS SOPS 5424 HAS SOUS 1957 HAS SOUPS 1725 WITH SCORE 1731.378
AT ITER 565 NEW BEST:: SOT 10607 SOS 6370 HAS SOPS 5418 HAS SOUS 1953 HAS SOUPS 1722 WITH SCORE 1728.37
AT ITER 591 NEW BEST:: SOT 10611 SOS 6374 HAS SOPS 5422 HAS SOUS 1949 HAS SOUPS 1718 WITH SCORE 1724.374
AT ITER 612 NEW BEST:: SOT 10569 SOS 6332 HAS SOPS 5380 HAS SOUS 1949 HAS SOUPS 1718 WITH SCORE 1724.332
AT ITER 632 NEW BEST:: SOT 10485 SOS 6264 HAS SOPS 5296 HAS SOUS 1942 HAS SOUPS 1703 WITH SCORE 1709.264
AT ITER 642 NEW BEST:: SOT 10479 SOS 6250 HAS SOPS 5290 HAS SOUS 1932 HAS SOUPS 1697 WITH SCORE 1703.25
AT ITER 654 NEW BEST:: SOT 10479 SOS 6250 HAS SOPS 5290 HAS SOUS 1929 HAS SOUPS 1694 WITH SCORE 1700.25
AT ITER 673 NEW BEST:: SOT 10475 SOS 6246 HAS SOPS 5286 HAS SOUS 1925 HAS SOUPS 1690 WITH SCORE 1696.246
AT ITER 679 NEW BEST:: SOT 10425 SOS 6196 HAS SOPS 5236 HAS SOUS 1900 HAS SOUPS 1665 WITH SCORE 1671.196
AT ITER 694 NEW BEST:: SOT 10425 SOS 6196 HAS SOPS 5236 HAS SOUS 1899 HAS SOUPS 1664 WITH SCORE 1670.196
AT ITER 717 NEW BEST:: SOT 10425 SOS 6194 HAS SOPS 5220 HAS SOUS 1898 HAS SOUPS 1656 WITH SCORE 1662.194
AT ITER 719 NEW BEST:: SOT 10425 SOS 6184 HAS SOPS 5220 HAS SOUS 1893 HAS SOUPS 1656 WITH SCORE 1662.184
AT ITER 723 NEW BEST:: SOT 10421 SOS 6180 HAS SOPS 5216 HAS SOUS 1890 HAS SOUPS 1653 WITH SCORE 1659.18
AT ITER 725 NEW BEST:: SOT 10405 SOS 6168 HAS SOPS 5204 HAS SOUS 1887 HAS SOUPS 1650 WITH SCORE 1656.168
AT ITER 761 NEW BEST:: SOT 10393 SOS 6156 HAS SOPS 5192 HAS SOUS 1884 HAS SOUPS 1647 WITH SCORE 1653.156
AT ITER 790 NEW BEST:: SOT 10389 SOS 6152 HAS SOPS 5188 HAS SOUS 1881 HAS SOUPS 1644 WITH SCORE 1650.152
AT ITER 814 NEW BEST:: SOT 10371 SOS 6134 HAS SOPS 5170 HAS SOUS 1872 HAS SOUPS 1635 WITH SCORE 1641.134
AT ITER 823 NEW BEST:: SOT 10369 SOS 6114 HAS SOPS 5168 HAS SOUS 1861 HAS SOUPS 1633 WITH SCORE 1639.114
AT ITER 842 NEW BEST:: SOT 10369 SOS 6088 HAS SOPS 5162 HAS SOUS 1848 HAS SOUPS 1630 WITH SCORE 1636.088
AT ITER 891 NEW BEST:: SOT 10369 SOS 6080 HAS SOPS 5158 HAS SOUS 1844 HAS SOUPS 1628 WITH SCORE 1634.08
AT ITER 928 NEW BEST:: SOT 10365 SOS 6076 HAS SOPS 5154 HAS SOUS 1841 HAS SOUPS 1625 WITH SCORE 1631.076
AT ITER 942 NEW BEST:: SOT 10341 SOS 6052 HAS SOPS 5130 HAS SOUS 1824 HAS SOUPS 1608 WITH SCORE 1614.052
AT ITER 944 NEW BEST:: SOT 10341 SOS 6046 HAS SOPS 5124 HAS SOUS 1821 HAS SOUPS 1605 WITH SCORE 1611.046
AT ITER 960 NEW BEST:: SOT 10333 SOS 6038 HAS SOPS 5116 HAS SOUS 1806 HAS SOUPS 1590 WITH SCORE 1596.038
AT ITER 962 NEW BEST:: SOT 10333 SOS 6034 HAS SOPS 5116 HAS SOUS 1804 HAS SOUPS 1590 WITH SCORE 1596.034
AT ITER 983 NEW BEST:: SOT 10333 SOS 6004 HAS SOPS 5114 HAS SOUS 1789 HAS SOUPS 1589 WITH SCORE 1595.004
AT ITER 1022 NEW BEST:: SOT 10333 SOS 5992 HAS SOPS 5108 HAS SOUS 1783 HAS SOUPS 1586 WITH SCORE 1591.992
AT ITER 1025 NEW BEST:: SOT 10339 SOS 5998 HAS SOPS 5114 HAS SOUS 1780 HAS SOUPS 1583 WITH SCORE 1588.998
AT ITER 1042 NEW BEST:: SOT 10195 SOS 5968 HAS SOPS 5138 HAS SOUS 1729 HAS SOUPS 1559 WITH SCORE 1564.968
AT ITER 1099 NEW BEST:: SOT 10217 SOS 5879 HAS SOPS 5001 HAS SOUS 1721 HAS SOUPS 1527 WITH SCORE 1532.879
AT ITER 1100 NEW BEST:: SOT 10219 SOS 5881 HAS SOPS 5003 HAS SOUS 1719 HAS SOUPS 1525 WITH SCORE 1530.881
AT ITER 1156 NEW BEST:: SOT 10217 SOS 5879 HAS SOPS 5001 HAS SOUS 1718 HAS SOUPS 1524 WITH SCORE 1529.879
AT ITER 1176 NEW BEST:: SOT 10213 SOS 5875 HAS SOPS 4997 HAS SOUS 1705 HAS SOUPS 1511 WITH SCORE 1516.875
AT ITER 1191 NEW BEST:: SOT 10213 SOS 5867 HAS SOPS 4993 HAS SOUS 1701 HAS SOUPS 1509 WITH SCORE 1514.867
AT ITER 1232 NEW BEST:: SOT 10257 SOS 5904 HAS SOPS 5030 HAS SOUS 1700 HAS SOUPS 1508 WITH SCORE 1513.904
AT ITER 1316 NEW BEST:: SOT 10067 SOS 6522 HAS SOPS 5938 HAS SOUS 1613 HAS SOUPS 1496 WITH SCORE 1502.522
AT ITER 1324 NEW BEST:: SOT 10067 SOS 6522 HAS SOPS 5938 HAS SOUS 1601 HAS SOUPS 1484 WITH SCORE 1490.522
AT ITER 1361 NEW BEST:: SOT 10067 SOS 6506 HAS SOPS 5922 HAS SOUS 1593 HAS SOUPS 1476 WITH SCORE 1482.506
AT ITER 1365 NEW BEST:: SOT 10059 SOS 6498 HAS SOPS 5914 HAS SOUS 1589 HAS SOUPS 1472 WITH SCORE 1478.498
AT ITER 1376 NEW BEST:: SOT 10053 SOS 6492 HAS SOPS 5908 HAS SOUS 1582 HAS SOUPS 1465 WITH SCORE 1471.492
AT ITER 1399 NEW BEST:: SOT 10051 SOS 6490 HAS SOPS 5906 HAS SOUS 1581 HAS SOUPS 1464 WITH SCORE 1470.49
AT ITER 1432 NEW BEST:: SOT 10029 SOS 6468 HAS SOPS 5884 HAS SOUS 1581 HAS SOUPS 1464 WITH SCORE 1470.468
AT ITER 1450 NEW BEST:: SOT 10025 SOS 6464 HAS SOPS 5880 HAS SOUS 1578 HAS SOUPS 1461 WITH SCORE 1467.464
AT ITER 1475 NEW BEST:: SOT 10021 SOS 6432 HAS SOPS 5848 HAS SOUS 1572 HAS SOUPS 1455 WITH SCORE 1461.432
AT ITER 1482 NEW BEST:: SOT 10017 SOS 6428 HAS SOPS 5844 HAS SOUS 1569 HAS SOUPS 1452 WITH SCORE 1458.428
AT ITER 1490 NEW BEST:: SOT 9991 SOS 6408 HAS SOPS 5824 HAS SOUS 1562 HAS SOUPS 1445 WITH SCORE 1451.408
AT ITER 1518 NEW BEST:: SOT 9963 SOS 6380 HAS SOPS 5796 HAS SOUS 1539 HAS SOUPS 1422 WITH SCORE 1428.38
AT ITER 1540 NEW BEST:: SOT 9963 SOS 6380 HAS SOPS 5796 HAS SOUS 1535 HAS SOUPS 1418 WITH SCORE 1424.38
AT ITER 1556 NEW BEST:: SOT 9963 SOS 6380 HAS SOPS 5796 HAS SOUS 1508 HAS SOUPS 1391 WITH SCORE 1397.38
AT ITER 1574 NEW BEST:: SOT 9957 SOS 6374 HAS SOPS 5790 HAS SOUS 1502 HAS SOUPS 1385 WITH SCORE 1391.374
AT ITER 1648 NEW BEST:: SOT 9989 SOS 6406 HAS SOPS 5822 HAS SOUS 1495 HAS SOUPS 1378 WITH SCORE 1384.406
AT ITER 1686 NEW BEST:: SOT 9987 SOS 6404 HAS SOPS 5820 HAS SOUS 1493 HAS SOUPS 1376 WITH SCORE 1382.404
AT ITER 1692 NEW BEST:: SOT 9979 SOS 6396 HAS SOPS 5812 HAS SOUS 1490 HAS SOUPS 1373 WITH SCORE 1379.396
AT ITER 1796 NEW BEST:: SOT 9965 SOS 6474 HAS SOPS 5916 HAS SOUS 1483 HAS SOUPS 1372 WITH SCORE 1378.474
AT ITER 1820 NEW BEST:: SOT 9955 SOS 6464 HAS SOPS 5906 HAS SOUS 1479 HAS SOUPS 1368 WITH SCORE 1374.464
AT ITER 1916 NEW BEST:: SOT 9953 SOS 6462 HAS SOPS 5904 HAS SOUS 1479 HAS SOUPS 1368 WITH SCORE 1374.462
AT ITER 1920 NEW BEST:: SOT 9951 SOS 6460 HAS SOPS 5902 HAS SOUS 1478 HAS SOUPS 1367 WITH SCORE 1373.46
AT ITER 2031 NEW BEST:: SOT 9953 SOS 6462 HAS SOPS 5904 HAS SOUS 1477 HAS SOUPS 1366 WITH SCORE 1372.462
AT ITER 2044 NEW BEST:: SOT 9971 SOS 6480 HAS SOPS 5922 HAS SOUS 1475 HAS SOUPS 1364 WITH SCORE 1370.48
AT ITER 2120 NEW BEST:: SOT 9971 SOS 6470 HAS SOPS 5920 HAS SOUS 1470 HAS SOUPS 1363 WITH SCORE 1369.47
AT ITER 2143 NEW BEST:: SOT 9967 SOS 6466 HAS SOPS 5916 HAS SOUS 1468 HAS SOUPS 1361 WITH SCORE 1367.466
AT ITER 2190 NEW BEST:: SOT 9967 SOS 6466 HAS SOPS 5916 HAS SOUS 1464 HAS SOUPS 1357 WITH SCORE 1363.466
AT ITER 2241 NEW BEST:: SOT 9959 SOS 6458 HAS SOPS 5908 HAS SOUS 1460 HAS SOUPS 1353 WITH SCORE 1359.458
AT ITER 2252 NEW BEST:: SOT 9947 SOS 6446 HAS SOPS 5896 HAS SOUS 1445 HAS SOUPS 1338 WITH SCORE 1344.446
AT ITER 2259 NEW BEST:: SOT 9943 SOS 6442 HAS SOPS 5892 HAS SOUS 1444 HAS SOUPS 1337 WITH SCORE 1343.442
AT ITER 2262 NEW BEST:: SOT 9893 SOS 6401 HAS SOPS 5851 HAS SOUS 1436 HAS SOUPS 1329 WITH SCORE 1335.401
AT ITER 2303 NEW BEST:: SOT 9893 SOS 6397 HAS SOPS 5847 HAS SOUS 1436 HAS SOUPS 1329 WITH SCORE 1335.397
AT ITER 2304 NEW BEST:: SOT 9891 SOS 6395 HAS SOPS 5845 HAS SOUS 1434 HAS SOUPS 1327 WITH SCORE 1333.395
AT ITER 2338 NEW BEST:: SOT 9885 SOS 6390 HAS SOPS 5840 HAS SOUS 1432 HAS SOUPS 1325 WITH SCORE 1331.39
AT ITER 2356 NEW BEST:: SOT 9881 SOS 6386 HAS SOPS 5836 HAS SOUS 1432 HAS SOUPS 1325 WITH SCORE 1331.386
AT ITER 2466 NEW BEST:: SOT 9875 SOS 6380 HAS SOPS 5830 HAS SOUS 1426 HAS SOUPS 1319 WITH SCORE 1325.38
AT ITER 2552 NEW BEST:: SOT 9867 SOS 6373 HAS SOPS 5823 HAS SOUS 1423 HAS SOUPS 1316 WITH SCORE 1322.373
AT ITER 2555 NEW BEST:: SOT 9865 SOS 6371 HAS SOPS 5821 HAS SOUS 1422 HAS SOUPS 1315 WITH SCORE 1321.371
AT ITER 2673 NEW BEST:: SOT 9863 SOS 6369 HAS SOPS 5819 HAS SOUS 1420 HAS SOUPS 1313 WITH SCORE 1319.369
AT ITER 2735 NEW BEST:: SOT 9859 SOS 6365 HAS SOPS 5815 HAS SOUS 1417 HAS SOUPS 1310 WITH SCORE 1316.365
AT ITER 2758 NEW BEST:: SOT 9845 SOS 6351 HAS SOPS 5801 HAS SOUS 1410 HAS SOUPS 1303 WITH SCORE 1309.351
AT ITER 2855 NEW BEST:: SOT 9841 SOS 6347 HAS SOPS 5797 HAS SOUS 1404 HAS SOUPS 1297 WITH SCORE 1303.347
AT ITER 2864 NEW BEST:: SOT 9837 SOS 6343 HAS SOPS 5793 HAS SOUS 1404 HAS SOUPS 1297 WITH SCORE 1303.343
AT ITER 2900 NEW BEST:: SOT 9813 SOS 6323 HAS SOPS 5773 HAS SOUS 1400 HAS SOUPS 1293 WITH SCORE 1299.323
AT ITER 2939 NEW BEST:: SOT 9811 SOS 6321 HAS SOPS 5771 HAS SOUS 1398 HAS SOUPS 1291 WITH SCORE 1297.321
AT ITER 3017 NEW BEST:: SOT 9810 SOS 6320 HAS SOPS 5770 HAS SOUS 1397 HAS SOUPS 1290 WITH SCORE 1296.32
AT ITER 3026 NEW BEST:: SOT 9808 SOS 6318 HAS SOPS 5768 HAS SOUS 1395 HAS SOUPS 1288 WITH SCORE 1294.318
AT ITER 3138 NEW BEST:: SOT 9808 SOS 6318 HAS SOPS 5768 HAS SOUS 1394 HAS SOUPS 1287 WITH SCORE 1293.318
AT ITER 3164 NEW BEST:: SOT 9804 SOS 6313 HAS SOPS 5763 HAS SOUS 1391 HAS SOUPS 1284 WITH SCORE 1290.313
AT ITER 3331 NEW BEST:: SOT 9806 SOS 6315 HAS SOPS 5765 HAS SOUS 1387 HAS SOUPS 1280 WITH SCORE 1286.315
AT ITER 3347 NEW BEST:: SOT 9805 SOS 6314 HAS SOPS 5764 HAS SOUS 1386 HAS SOUPS 1279 WITH SCORE 1285.314
AT ITER 3389 NEW BEST:: SOT 9805 SOS 6314 HAS SOPS 5756 HAS SOUS 1386 HAS SOUPS 1275 WITH SCORE 1281.314
AT ITER 3401 NEW BEST:: SOT 9809 SOS 6318 HAS SOPS 5760 HAS SOUS 1379 HAS SOUPS 1268 WITH SCORE 1274.318
AT ITER 3478 NEW BEST:: SOT 9807 SOS 6316 HAS SOPS 5758 HAS SOUS 1377 HAS SOUPS 1266 WITH SCORE 1272.316
AT ITER 3515 NEW BEST:: SOT 9799 SOS 6305 HAS SOPS 5747 HAS SOUS 1371 HAS SOUPS 1260 WITH SCORE 1266.305
AT ITER 3592 NEW BEST:: SOT 9789 SOS 6295 HAS SOPS 5737 HAS SOUS 1370 HAS SOUPS 1259 WITH SCORE 1265.295
AT ITER 3598 NEW BEST:: SOT 9796 SOS 6302 HAS SOPS 5744 HAS SOUS 1367 HAS SOUPS 1256 WITH SCORE 1262.302
AT ITER 3605 NEW BEST:: SOT 9833 SOS 6349 HAS SOPS 5791 HAS SOUS 1360 HAS SOUPS 1249 WITH SCORE 1255.349
AT ITER 3737 NEW BEST:: SOT 9821 SOS 6337 HAS SOPS 5779 HAS SOUS 1354 HAS SOUPS 1243 WITH SCORE 1249.337
AT ITER 3834 NEW BEST:: SOT 9819 SOS 6335 HAS SOPS 5777 HAS SOUS 1354 HAS SOUPS 1243 WITH SCORE 1249.335
AT ITER 3912 NEW BEST:: SOT 9817 SOS 6333 HAS SOPS 5775 HAS SOUS 1354 HAS SOUPS 1243 WITH SCORE 1249.333
AT ITER 4035 NEW BEST:: SOT 9815 SOS 6331 HAS SOPS 5773 HAS SOUS 1352 HAS SOUPS 1241 WITH SCORE 1247.331
AT ITER 4126 NEW BEST:: SOT 9763 SOS 6309 HAS SOPS 5751 HAS SOUS 1351 HAS SOUPS 1240 WITH SCORE 1246.309
AT ITER 4142 NEW BEST:: SOT 9765 SOS 6311 HAS SOPS 5753 HAS SOUS 1350 HAS SOUPS 1239 WITH SCORE 1245.311
AT ITER 4158 NEW BEST:: SOT 9765 SOS 6311 HAS SOPS 5753 HAS SOUS 1349 HAS SOUPS 1238 WITH SCORE 1244.311
AT ITER 4179 NEW BEST:: SOT 9765 SOS 6303 HAS SOPS 5749 HAS SOUS 1345 HAS SOUPS 1236 WITH SCORE 1242.303
AT ITER 4286 NEW BEST:: SOT 9761 SOS 6299 HAS SOPS 5745 HAS SOUS 1343 HAS SOUPS 1234 WITH SCORE 1240.299
AT ITER 4415 NEW BEST:: SOT 9761 SOS 6299 HAS SOPS 5743 HAS SOUS 1343 HAS SOUPS 1233 WITH SCORE 1239.299
AT ITER 4463 NEW BEST:: SOT 9751 SOS 6289 HAS SOPS 5733 HAS SOUS 1343 HAS SOUPS 1233 WITH SCORE 1239.289
AT ITER 4578 NEW BEST:: SOT 9751 SOS 6289 HAS SOPS 5733 HAS SOUS 1342 HAS SOUPS 1232 WITH SCORE 1238.289
AT ITER 4582 NEW BEST:: SOT 9751 SOS 6285 HAS SOPS 5729 HAS SOUS 1340 HAS SOUPS 1230 WITH SCORE 1236.285
AT ITER 4756 NEW BEST:: SOT 9749 SOS 6283 HAS SOPS 5727 HAS SOUS 1340 HAS SOUPS 1230 WITH SCORE 1236.283
AT ITER 4821 NEW BEST:: SOT 9748 SOS 6282 HAS SOPS 5726 HAS SOUS 1339 HAS SOUPS 1229 WITH SCORE 1235.282
AT ITER 5064 NEW BEST:: SOT 9748 SOS 6282 HAS SOPS 5726 HAS SOUS 1338 HAS SOUPS 1228 WITH SCORE 1234.282
AT ITER 5193 NEW BEST:: SOT 9748 SOS 6282 HAS SOPS 5726 HAS SOUS 1335 HAS SOUPS 1225 WITH SCORE 1231.282
AT ITER 5395 NEW BEST:: SOT 9771 SOS 6312 HAS SOPS 5756 HAS SOUS 1333 HAS SOUPS 1223 WITH SCORE 1229.312
AT ITER 5409 NEW BEST:: SOT 9771 SOS 6310 HAS SOPS 5754 HAS SOUS 1332 HAS SOUPS 1222 WITH SCORE 1228.31
AT ITER 5509 NEW BEST:: SOT 9769 SOS 6308 HAS SOPS 5752 HAS SOUS 1332 HAS SOUPS 1222 WITH SCORE 1228.308
AT ITER 5557 NEW BEST:: SOT 9765 SOS 6288 HAS SOPS 5732 HAS SOUS 1329 HAS SOUPS 1219 WITH SCORE 1225.288
AT ITER 5564 NEW BEST:: SOT 9765 SOS 6282 HAS SOPS 5726 HAS SOUS 1329 HAS SOUPS 1219 WITH SCORE 1225.282
AT ITER 5566 NEW BEST:: SOT 9743 SOS 6260 HAS SOPS 5704 HAS SOUS 1329 HAS SOUPS 1219 WITH SCORE 1225.26
AT ITER 5816 NEW BEST:: SOT 9751 SOS 6268 HAS SOPS 5712 HAS SOUS 1320 HAS SOUPS 1210 WITH SCORE 1216.268
AT ITER 5867 NEW BEST:: SOT 9745 SOS 6262 HAS SOPS 5706 HAS SOUS 1316 HAS SOUPS 1206 WITH SCORE 1212.262
AT ITER 6015 NEW BEST:: SOT 9743 SOS 6260 HAS SOPS 5704 HAS SOUS 1314 HAS SOUPS 1204 WITH SCORE 1210.26
AT ITER 6059 NEW BEST:: SOT 9729 SOS 6246 HAS SOPS 5690 HAS SOUS 1312 HAS SOUPS 1202 WITH SCORE 1208.246
AT ITER 6326 NEW BEST:: SOT 9725 SOS 6242 HAS SOPS 5686 HAS SOUS 1309 HAS SOUPS 1199 WITH SCORE 1205.242
AT ITER 6353 NEW BEST:: SOT 9715 SOS 6235 HAS SOPS 5679 HAS SOUS 1307 HAS SOUPS 1197 WITH SCORE 1203.235
AT ITER 6366 NEW BEST:: SOT 9715 SOS 6235 HAS SOPS 5679 HAS SOUS 1306 HAS SOUPS 1196 WITH SCORE 1202.235
AT ITER 6509 NEW BEST:: SOT 9711 SOS 6231 HAS SOPS 5675 HAS SOUS 1303 HAS SOUPS 1193 WITH SCORE 1199.231
AT ITER 6609 NEW BEST:: SOT 9707 SOS 6226 HAS SOPS 5670 HAS SOUS 1301 HAS SOUPS 1191 WITH SCORE 1197.226
AT ITER 6836 NEW BEST:: SOT 9707 SOS 6226 HAS SOPS 5670 HAS SOUS 1300 HAS SOUPS 1190 WITH SCORE 1196.226
AT ITER 6963 NEW BEST:: SOT 9705 SOS 6224 HAS SOPS 5668 HAS SOUS 1297 HAS SOUPS 1187 WITH SCORE 1193.224
AT ITER 7165 NEW BEST:: SOT 9701 SOS 6220 HAS SOPS 5664 HAS SOUS 1294 HAS SOUPS 1184 WITH SCORE 1190.22
AT ITER 7562 NEW BEST:: SOT 9700 SOS 6219 HAS SOPS 5663 HAS SOUS 1294 HAS SOUPS 1184 WITH SCORE 1190.219
AT ITER 7696 NEW BEST:: SOT 9698 SOS 6218 HAS SOPS 5662 HAS SOUS 1294 HAS SOUPS 1184 WITH SCORE 1190.218
AT ITER 7885 NEW BEST:: SOT 9698 SOS 6216 HAS SOPS 5662 HAS SOUS 1293 HAS SOUPS 1184 WITH SCORE 1190.216
AT ITER 7891 NEW BEST:: SOT 9696 SOS 6215 HAS SOPS 5661 HAS SOUS 1293 HAS SOUPS 1184 WITH SCORE 1190.215
AT ITER 7946 NEW BEST:: SOT 9691 SOS 6210 HAS SOPS 5656 HAS SOUS 1290 HAS SOUPS 1181 WITH SCORE 1187.21
AT ITER 8030 NEW BEST:: SOT 9687 SOS 6206 HAS SOPS 5652 HAS SOUS 1289 HAS SOUPS 1180 WITH SCORE 1186.206
AT ITER 8198 NEW BEST:: SOT 9685 SOS 6204 HAS SOPS 5650 HAS SOUS 1287 HAS SOUPS 1178 WITH SCORE 1184.204
AT ITER 9159 NEW BEST:: SOT 9685 SOS 6200 HAS SOPS 5648 HAS SOUS 1285 HAS SOUPS 1177 WITH SCORE 1183.2
AT ITER 9276 NEW BEST:: SOT 9678 SOS 6196 HAS SOPS 5644 HAS SOUS 1284 HAS SOUPS 1176 WITH SCORE 1182.196
BK_STOP 1679136460908
--------------------
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 1142
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 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="SemanticWebServices-PT-S064P12"
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 SemanticWebServices-PT-S064P12, 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 r363-smll-167891814200360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S064P12.tgz
mv SemanticWebServices-PT-S064P12 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 ;