About the Execution of ITS-Tools for DoubleExponent-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12434.212 | 3600000.00 | 6659646.00 | 28269.90 | ???F??????T????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r083-tall-162048875400447.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DoubleExponent-PT-100, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r083-tall-162048875400447
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 128K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 102K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 22 18:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.4K Mar 22 18:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.8M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-00
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-01
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-02
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-03
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-04
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-05
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-06
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-07
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-08
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-09
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-10
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-11
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-12
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-13
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-14
FORMULA_NAME DoubleExponent-PT-100-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1620599164141
Running Version 0
[2021-05-09 22:26:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-09 22:26:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 22:26:06] [INFO ] Load time of PNML (sax parser for PT used): 194 ms
[2021-05-09 22:26:06] [INFO ] Transformed 5304 places.
[2021-05-09 22:26:06] [INFO ] Transformed 4998 transitions.
[2021-05-09 22:26:06] [INFO ] Parsed PT model containing 5304 places and 4998 transitions in 266 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 324 resets, run finished after 82 ms. (steps per millisecond=121 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 30 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 25 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 31 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 22 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 29 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 26 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 27 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 752666 steps, run timeout after 30001 ms. (steps per millisecond=25 ) properties seen :{10=1}
Probabilistic random walk after 752666 steps, saw 376389 distinct states, run finished after 30004 ms. (steps per millisecond=25 ) properties seen :{10=1}
FORMULA DoubleExponent-PT-100-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 15 properties.
// Phase 1: matrix 4998 rows 5304 cols
[2021-05-09 22:26:37] [INFO ] Invariants computation overflowed in 263 ms
[2021-05-09 22:26:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:27:02] [INFO ] [Real]Absence check using state equation in 22384 ms returned unsat :0 sat :14 real:0
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-09 22:27:02] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :14 real:0
Fused 15 Parikh solutions to 1 different solutions.
Support contains 45 out of 5304 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 5304/5304 places, 4998/4998 transitions.
Graph (complete) has 9096 edges and 5304 vertex of which 5298 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.18 ms
Discarding 6 places :
Also discarding 0 output transitions
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1152 transitions
Trivial Post-agglo rules discarded 1152 transitions
Performed 1152 trivial Post agglomeration. Transition count delta: 1152
Iterating post reduction 0 with 1155 rules applied. Total rules applied 1156 place count 5297 transition count 3844
Reduce places removed 1152 places and 0 transitions.
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Iterating post reduction 1 with 1169 rules applied. Total rules applied 2325 place count 4145 transition count 3827
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 2 with 17 rules applied. Total rules applied 2342 place count 4128 transition count 3827
Performed 208 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 208 Pre rules applied. Total rules applied 2342 place count 4128 transition count 3619
Deduced a syphon composed of 208 places in 279 ms
Reduce places removed 208 places and 0 transitions.
Iterating global reduction 3 with 416 rules applied. Total rules applied 2758 place count 3920 transition count 3619
Performed 877 Post agglomeration using F-continuation condition.Transition count delta: 877
Deduced a syphon composed of 877 places in 134 ms
Reduce places removed 877 places and 0 transitions.
Iterating global reduction 3 with 1754 rules applied. Total rules applied 4512 place count 3043 transition count 2742
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 59 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4714 place count 2942 transition count 2742
Performed 93 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 93 places in 61 ms
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 3 with 186 rules applied. Total rules applied 4900 place count 2849 transition count 2742
Free-agglomeration rule applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4901 place count 2849 transition count 2741
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 4902 place count 2848 transition count 2741
Free-agglomeration rule (complex) applied 399 times.
Iterating global reduction 4 with 399 rules applied. Total rules applied 5301 place count 2848 transition count 2342
Reduce places removed 399 places and 0 transitions.
Iterating post reduction 4 with 399 rules applied. Total rules applied 5700 place count 2449 transition count 2342
Renaming transitions due to excessive name length > 1024 char.
Partial Free-agglomeration rule applied 405 times.
Drop transitions removed 405 transitions
Iterating global reduction 5 with 405 rules applied. Total rules applied 6105 place count 2449 transition count 2342
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 6106 place count 2448 transition count 2341
Applied a total of 6106 rules in 2966 ms. Remains 2448 /5304 variables (removed 2856) and now considering 2341/4998 (removed 2657) transitions.
Finished structural reductions, in 1 iterations. Remains : 2448/5304 places, 2341/4998 transitions.
[2021-05-09 22:27:07] [INFO ] Flatten gal took : 1502 ms
[2021-05-09 22:27:08] [INFO ] Flatten gal took : 1058 ms
[2021-05-09 22:27:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2738244443868077231.gal : 108 ms
[2021-05-09 22:27:08] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11244610110813832849.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2738244443868077231.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11244610110813832849.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2738244443868077231.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11244610110813832849.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11244610110813832849.prop.
Detected timeout of ITS tools.
[2021-05-09 22:27:24] [INFO ] Flatten gal took : 1000 ms
[2021-05-09 22:27:24] [INFO ] Applying decomposition
[2021-05-09 22:27:25] [INFO ] Flatten gal took : 942 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16989803584115745934.txt, -o, /tmp/graph16989803584115745934.bin, -w, /tmp/graph16989803584115745934.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16989803584115745934.bin, -l, -1, -v, -w, /tmp/graph16989803584115745934.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 22:27:27] [INFO ] Decomposing Gal with order
[2021-05-09 22:27:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 22:27:28] [INFO ] Removed a total of 4550 redundant transitions.
[2021-05-09 22:27:29] [INFO ] Flatten gal took : 1456 ms
[2021-05-09 22:27:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 800 labels/synchronizations in 216 ms.
[2021-05-09 22:27:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2838441745246343788.gal : 59 ms
[2021-05-09 22:27:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4841528945412122217.prop : 9 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2838441745246343788.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4841528945412122217.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2838441745246343788.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4841528945412122217.prop --nowitness
Loading property file /tmp/ReachabilityCardinality4841528945412122217.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9462077337157260612
[2021-05-09 22:27:45] [INFO ] Built C files in 126ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9462077337157260612
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9462077337157260612]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9462077337157260612] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin9462077337157260612] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 128328 resets, run finished after 4360 ms. (steps per millisecond=229 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8456 resets, run finished after 264 ms. (steps per millisecond=378 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8436 resets, run finished after 308 ms. (steps per millisecond=324 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100001 steps, including 8665 resets, run finished after 323 ms. (steps per millisecond=309 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100001 steps, including 8443 resets, run finished after 307 ms. (steps per millisecond=325 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100001 steps, including 8467 resets, run finished after 330 ms. (steps per millisecond=303 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8509 resets, run finished after 307 ms. (steps per millisecond=325 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8481 resets, run finished after 297 ms. (steps per millisecond=336 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8488 resets, run finished after 294 ms. (steps per millisecond=340 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8548 resets, run finished after 275 ms. (steps per millisecond=363 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8440 resets, run finished after 237 ms. (steps per millisecond=421 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8585 resets, run finished after 234 ms. (steps per millisecond=427 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8510 resets, run finished after 236 ms. (steps per millisecond=423 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100001 steps, including 8435 resets, run finished after 249 ms. (steps per millisecond=401 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8413 resets, run finished after 239 ms. (steps per millisecond=418 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 100000 steps, including 8525 resets, run finished after 249 ms. (steps per millisecond=401 ) properties (out of 15) seen :0
Interrupted probabilistic random walk after 1460124 steps, run timeout after 30001 ms. (steps per millisecond=48 ) properties seen :{}
Probabilistic random walk after 1460124 steps, saw 730083 distinct states, run finished after 30001 ms. (steps per millisecond=48 ) properties seen :{}
Running SMT prover for 15 properties.
// Phase 1: matrix 2341 rows 2448 cols
[2021-05-09 22:28:24] [INFO ] Invariants computation overflowed in 73 ms
[2021-05-09 22:28:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:29:09] [INFO ] [Real]Absence check using state equation in 44677 ms returned unknown
[2021-05-09 22:29:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:29:47] [INFO ] [Real]Absence check using state equation in 37477 ms returned sat
[2021-05-09 22:29:47] [INFO ] State equation strengthened by 382 read => feed constraints.
[2021-05-09 22:29:50] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:29:53] [INFO ] [Real]Added 382 Read/Feed constraints in 6074 ms returned unknown
[2021-05-09 22:29:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:30:07] [INFO ] [Real]Absence check using state equation in 13694 ms returned sat
[2021-05-09 22:30:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:30:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:30:25] [INFO ] [Nat]Absence check using state equation in 16998 ms returned unknown
[2021-05-09 22:30:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:30:44] [INFO ] [Real]Absence check using state equation in 19402 ms returned unsat
[2021-05-09 22:30:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:31:00] [INFO ] [Real]Absence check using state equation in 15571 ms returned unknown
[2021-05-09 22:31:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:31:13] [INFO ] [Real]Absence check using state equation in 12915 ms returned sat
[2021-05-09 22:31:16] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:31:19] [INFO ] [Real]Added 382 Read/Feed constraints in 6047 ms returned unknown
[2021-05-09 22:31:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:31:34] [INFO ] [Real]Absence check using state equation in 14621 ms returned sat
[2021-05-09 22:31:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:31:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:31:52] [INFO ] [Nat]Absence check using state equation in 17966 ms returned unknown
[2021-05-09 22:31:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:32:37] [INFO ] [Real]Absence check using state equation in 44786 ms returned unknown
[2021-05-09 22:32:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:33:22] [INFO ] [Real]Absence check using state equation in 44803 ms returned unknown
[2021-05-09 22:33:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:33:38] [INFO ] [Real]Absence check using state equation in 14985 ms returned unknown
[2021-05-09 22:33:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:34:23] [INFO ] [Real]Absence check using state equation in 44810 ms returned unknown
[2021-05-09 22:34:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:35:08] [INFO ] [Real]Absence check using state equation in 44790 ms returned unknown
[2021-05-09 22:35:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:35:53] [INFO ] [Real]Absence check using state equation in 44788 ms returned unknown
[2021-05-09 22:35:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:35:54] [INFO ] [Real]Absence check using state equation in 1107 ms returned sat
[2021-05-09 22:35:57] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:36:00] [INFO ] [Real]Added 382 Read/Feed constraints in 6034 ms returned unknown
[2021-05-09 22:36:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:36:09] [INFO ] [Real]Absence check using state equation in 8639 ms returned unknown
FORMULA DoubleExponent-PT-100-ReachabilityFireability-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 15 Parikh solutions to 4 different solutions.
Incomplete Parikh walk after 0 steps, including 0 resets, run finished after 1 ms. (steps per millisecond=0 ) properties (out of 14) seen :0 could not realise parikh vector
Incomplete Parikh walk after 0 steps, including 0 resets, run finished after 1 ms. (steps per millisecond=0 ) properties (out of 14) seen :0 could not realise parikh vector
Interrupted Parikh walk after 8457893 steps, including 1226209 resets, run timeout after 30001 ms. (steps per millisecond=281 ) properties (out of 14) seen :0
Support contains 42 out of 2448 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2448/2448 places, 2341/2341 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 2448 transition count 2340
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 2447 transition count 2340
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 76 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 6 place count 2445 transition count 2338
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 7 place count 2445 transition count 2337
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 8 place count 2444 transition count 2337
Applied a total of 8 rules in 607 ms. Remains 2444 /2448 variables (removed 4) and now considering 2337/2341 (removed 4) transitions.
Finished structural reductions, in 1 iterations. Remains : 2444/2448 places, 2337/2341 transitions.
[2021-05-09 22:36:41] [INFO ] Flatten gal took : 944 ms
[2021-05-09 22:36:42] [INFO ] Flatten gal took : 917 ms
[2021-05-09 22:36:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1346556210894754850.gal : 65 ms
[2021-05-09 22:36:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1479752471521098863.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1346556210894754850.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1479752471521098863.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality1346556210894754850.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1479752471521098863.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1479752471521098863.prop.
Detected timeout of ITS tools.
[2021-05-09 22:36:58] [INFO ] Flatten gal took : 957 ms
[2021-05-09 22:36:58] [INFO ] Applying decomposition
[2021-05-09 22:36:59] [INFO ] Flatten gal took : 919 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16462472639375760455.txt, -o, /tmp/graph16462472639375760455.bin, -w, /tmp/graph16462472639375760455.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16462472639375760455.bin, -l, -1, -v, -w, /tmp/graph16462472639375760455.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 22:36:59] [INFO ] Decomposing Gal with order
[2021-05-09 22:36:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 22:37:01] [INFO ] Removed a total of 4328 redundant transitions.
[2021-05-09 22:37:01] [INFO ] Flatten gal took : 1319 ms
[2021-05-09 22:37:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 800 labels/synchronizations in 106 ms.
[2021-05-09 22:37:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11616831181920613709.gal : 43 ms
[2021-05-09 22:37:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8533919793026613225.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11616831181920613709.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8533919793026613225.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11616831181920613709.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8533919793026613225.prop --nowitness
Loading property file /tmp/ReachabilityCardinality8533919793026613225.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6979305294536971011
[2021-05-09 22:37:17] [INFO ] Built C files in 75ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6979305294536971011
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6979305294536971011]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6979305294536971011] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6979305294536971011] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 128146 resets, run finished after 3842 ms. (steps per millisecond=260 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84491 resets, run finished after 2724 ms. (steps per millisecond=367 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 85023 resets, run finished after 2627 ms. (steps per millisecond=380 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84653 resets, run finished after 2592 ms. (steps per millisecond=385 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84423 resets, run finished after 2585 ms. (steps per millisecond=386 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84998 resets, run finished after 2518 ms. (steps per millisecond=397 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84415 resets, run finished after 2372 ms. (steps per millisecond=421 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84950 resets, run finished after 2367 ms. (steps per millisecond=422 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84762 resets, run finished after 2355 ms. (steps per millisecond=424 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84437 resets, run finished after 2354 ms. (steps per millisecond=424 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84650 resets, run finished after 2319 ms. (steps per millisecond=431 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84768 resets, run finished after 2334 ms. (steps per millisecond=428 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84839 resets, run finished after 2327 ms. (steps per millisecond=429 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000001 steps, including 84843 resets, run finished after 2364 ms. (steps per millisecond=423 ) properties (out of 14) seen :0
Incomplete Best-First random walk after 1000000 steps, including 84752 resets, run finished after 2430 ms. (steps per millisecond=411 ) properties (out of 14) seen :0
Interrupted probabilistic random walk after 1474840 steps, run timeout after 30001 ms. (steps per millisecond=49 ) properties seen :{}
Probabilistic random walk after 1474840 steps, saw 737450 distinct states, run finished after 30001 ms. (steps per millisecond=49 ) properties seen :{}
Running SMT prover for 14 properties.
// Phase 1: matrix 2337 rows 2444 cols
[2021-05-09 22:38:26] [INFO ] Invariants computation overflowed in 58 ms
[2021-05-09 22:38:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:39:11] [INFO ] [Real]Absence check using state equation in 44844 ms returned unknown
[2021-05-09 22:39:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:39:15] [INFO ] [Real]Absence check using state equation in 3673 ms returned sat
[2021-05-09 22:39:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:39:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:39:19] [INFO ] [Nat]Absence check using state equation in 3781 ms returned sat
[2021-05-09 22:39:19] [INFO ] State equation strengthened by 382 read => feed constraints.
[2021-05-09 22:39:19] [INFO ] [Nat]Added 382 Read/Feed constraints in 354 ms returned sat
[2021-05-09 22:39:23] [INFO ] Deduced a trap composed of 4 places in 4008 ms of which 5 ms to minimize.
[2021-05-09 22:39:27] [INFO ] Deduced a trap composed of 2 places in 4011 ms of which 3 ms to minimize.
[2021-05-09 22:39:31] [INFO ] Deduced a trap composed of 9 places in 3963 ms of which 2 ms to minimize.
[2021-05-09 22:39:35] [INFO ] Deduced a trap composed of 8 places in 3896 ms of which 3 ms to minimize.
[2021-05-09 22:39:39] [INFO ] Deduced a trap composed of 638 places in 3915 ms of which 2 ms to minimize.
[2021-05-09 22:39:43] [INFO ] Deduced a trap composed of 623 places in 3923 ms of which 2 ms to minimize.
[2021-05-09 22:39:47] [INFO ] Deduced a trap composed of 637 places in 3879 ms of which 2 ms to minimize.
[2021-05-09 22:39:51] [INFO ] Deduced a trap composed of 635 places in 3889 ms of which 2 ms to minimize.
[2021-05-09 22:39:55] [INFO ] Deduced a trap composed of 648 places in 3941 ms of which 2 ms to minimize.
[2021-05-09 22:39:59] [INFO ] Deduced a trap composed of 632 places in 3915 ms of which 2 ms to minimize.
[2021-05-09 22:40:03] [INFO ] Deduced a trap composed of 639 places in 3896 ms of which 2 ms to minimize.
[2021-05-09 22:40:03] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-09 22:40:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:40:14] [INFO ] [Real]Absence check using state equation in 10985 ms returned unknown
[2021-05-09 22:40:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:40:16] [INFO ] [Real]Absence check using state equation in 1356 ms returned sat
[2021-05-09 22:40:19] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:40:22] [INFO ] [Real]Added 382 Read/Feed constraints in 6368 ms returned unknown
[2021-05-09 22:40:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:40:41] [INFO ] [Real]Absence check using state equation in 17927 ms returned sat
[2021-05-09 22:40:44] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:40:47] [INFO ] [Real]Added 382 Read/Feed constraints in 6130 ms returned unknown
[2021-05-09 22:40:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:41:32] [INFO ] [Real]Absence check using state equation in 44790 ms returned unknown
[2021-05-09 22:41:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:42:17] [INFO ] [Real]Absence check using state equation in 44780 ms returned unknown
[2021-05-09 22:42:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:43:02] [INFO ] [Real]Absence check using state equation in 44787 ms returned unknown
[2021-05-09 22:43:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:43:14] [INFO ] [Real]Absence check using state equation in 12384 ms returned sat
[2021-05-09 22:43:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:43:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:43:27] [INFO ] [Nat]Absence check using state equation in 12543 ms returned unknown
[2021-05-09 22:43:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:44:12] [INFO ] [Real]Absence check using state equation in 44794 ms returned unknown
[2021-05-09 22:44:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:44:57] [INFO ] [Real]Absence check using state equation in 44789 ms returned unknown
[2021-05-09 22:44:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:45:42] [INFO ] [Real]Absence check using state equation in 44784 ms returned unknown
[2021-05-09 22:45:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:45:44] [INFO ] [Real]Absence check using state equation in 1083 ms returned sat
[2021-05-09 22:45:47] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:45:50] [INFO ] [Real]Added 382 Read/Feed constraints in 6046 ms returned unknown
[2021-05-09 22:45:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:46:00] [INFO ] [Real]Absence check using state equation in 9575 ms returned sat
[2021-05-09 22:46:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:46:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:46:08] [INFO ] [Nat]Absence check using state equation in 8398 ms returned sat
[2021-05-09 22:46:09] [INFO ] [Nat]Added 382 Read/Feed constraints in 502 ms returned sat
[2021-05-09 22:46:10] [INFO ] Deduced a trap composed of 3 places in 814 ms of which 2 ms to minimize.
[2021-05-09 22:46:11] [INFO ] Deduced a trap composed of 4 places in 830 ms of which 2 ms to minimize.
[2021-05-09 22:46:11] [INFO ] Deduced a trap composed of 4 places in 822 ms of which 2 ms to minimize.
[2021-05-09 22:46:12] [INFO ] Deduced a trap composed of 6 places in 821 ms of which 2 ms to minimize.
[2021-05-09 22:46:13] [INFO ] Deduced a trap composed of 12 places in 812 ms of which 2 ms to minimize.
[2021-05-09 22:46:13] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 4651 ms
[2021-05-09 22:46:14] [INFO ] Computed and/alt/rep : 1864/11289/1864 causal constraints (skipped 472 transitions) in 486 ms.
[2021-05-09 22:46:20] [INFO ] Added : 5 causal constraints over 1 iterations in 6620 ms. Result :unknown
Fused 14 Parikh solutions to 5 different solutions.
Incomplete Parikh walk after 2178000 steps, including 315656 resets, run finished after 7709 ms. (steps per millisecond=282 ) properties (out of 14) seen :0 could not realise parikh vector
Interrupted Parikh walk after 8361172 steps, including 1211998 resets, run timeout after 30001 ms. (steps per millisecond=278 ) properties (out of 14) seen :0
Interrupted Parikh walk after 8441220 steps, including 1223978 resets, run timeout after 30001 ms. (steps per millisecond=281 ) properties (out of 14) seen :0
Interrupted Parikh walk after 7043468 steps, including 1021138 resets, run timeout after 30001 ms. (steps per millisecond=234 ) properties (out of 14) seen :0
Support contains 42 out of 2444 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2444/2444 places, 2337/2337 transitions.
Applied a total of 0 rules in 203 ms. Remains 2444 /2444 variables (removed 0) and now considering 2337/2337 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2444/2444 places, 2337/2337 transitions.
Starting structural reductions, iteration 0 : 2444/2444 places, 2337/2337 transitions.
Applied a total of 0 rules in 195 ms. Remains 2444 /2444 variables (removed 0) and now considering 2337/2337 (removed 0) transitions.
// Phase 1: matrix 2337 rows 2444 cols
[2021-05-09 22:47:58] [INFO ] Invariants computation overflowed in 36 ms
[2021-05-09 22:48:16] [INFO ] Implicit Places using invariants in 18099 ms returned []
// Phase 1: matrix 2337 rows 2444 cols
[2021-05-09 22:48:16] [INFO ] Invariants computation overflowed in 52 ms
[2021-05-09 22:48:35] [INFO ] Implicit Places using invariants and state equation in 18787 ms returned []
Implicit Place search using SMT with State Equation took 36888 ms to find 0 implicit places.
[2021-05-09 22:48:35] [INFO ] Redundant transitions in 187 ms returned []
// Phase 1: matrix 2337 rows 2444 cols
[2021-05-09 22:48:35] [INFO ] Invariants computation overflowed in 35 ms
[2021-05-09 22:48:37] [INFO ] Dead Transitions using invariants and state equation in 1516 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2444/2444 places, 2337/2337 transitions.
Incomplete random walk after 100000 steps, including 12832 resets, run finished after 530 ms. (steps per millisecond=188 ) properties (out of 14) seen :0
Running SMT prover for 14 properties.
// Phase 1: matrix 2337 rows 2444 cols
[2021-05-09 22:48:37] [INFO ] Invariants computation overflowed in 35 ms
[2021-05-09 22:48:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:48:57] [INFO ] [Real]Absence check using state equation in 19794 ms returned unknown
[2021-05-09 22:48:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:49:01] [INFO ] [Real]Absence check using state equation in 3683 ms returned sat
[2021-05-09 22:49:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:49:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:49:05] [INFO ] [Nat]Absence check using state equation in 3807 ms returned sat
[2021-05-09 22:49:05] [INFO ] State equation strengthened by 382 read => feed constraints.
[2021-05-09 22:49:06] [INFO ] [Nat]Added 382 Read/Feed constraints in 360 ms returned sat
[2021-05-09 22:49:10] [INFO ] Deduced a trap composed of 4 places in 4064 ms of which 3 ms to minimize.
[2021-05-09 22:49:14] [INFO ] Deduced a trap composed of 2 places in 3925 ms of which 2 ms to minimize.
[2021-05-09 22:49:18] [INFO ] Deduced a trap composed of 9 places in 3966 ms of which 3 ms to minimize.
[2021-05-09 22:49:22] [INFO ] Deduced a trap composed of 8 places in 3901 ms of which 2 ms to minimize.
[2021-05-09 22:49:22] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-09 22:49:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:49:33] [INFO ] [Real]Absence check using state equation in 10886 ms returned unknown
[2021-05-09 22:49:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:49:35] [INFO ] [Real]Absence check using state equation in 1364 ms returned sat
[2021-05-09 22:49:38] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:49:41] [INFO ] [Real]Added 382 Read/Feed constraints in 6423 ms returned unknown
[2021-05-09 22:49:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:49:59] [INFO ] [Real]Absence check using state equation in 18060 ms returned sat
[2021-05-09 22:50:01] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:50:01] [INFO ] [Real]Added 382 Read/Feed constraints in 1659 ms returned unknown
[2021-05-09 22:50:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:50:21] [INFO ] [Real]Absence check using state equation in 19783 ms returned unknown
[2021-05-09 22:50:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:50:41] [INFO ] [Real]Absence check using state equation in 19790 ms returned unknown
[2021-05-09 22:50:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:51:01] [INFO ] [Real]Absence check using state equation in 19843 ms returned unknown
[2021-05-09 22:51:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:51:14] [INFO ] [Real]Absence check using state equation in 12219 ms returned sat
[2021-05-09 22:51:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:51:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:51:26] [INFO ] [Nat]Absence check using state equation in 12402 ms returned unknown
[2021-05-09 22:51:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:51:46] [INFO ] [Real]Absence check using state equation in 19796 ms returned unknown
[2021-05-09 22:51:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:52:06] [INFO ] [Real]Absence check using state equation in 19786 ms returned unknown
[2021-05-09 22:52:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:52:26] [INFO ] [Real]Absence check using state equation in 19791 ms returned unknown
[2021-05-09 22:52:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:52:28] [INFO ] [Real]Absence check using state equation in 1069 ms returned sat
[2021-05-09 22:52:31] [INFO ] SMT solver returned unknown. Retrying;
[2021-05-09 22:52:34] [INFO ] [Real]Added 382 Read/Feed constraints in 6066 ms returned unknown
[2021-05-09 22:52:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:52:43] [INFO ] [Real]Absence check using state equation in 8937 ms returned sat
[2021-05-09 22:52:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:52:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:52:51] [INFO ] [Nat]Absence check using state equation in 8038 ms returned sat
[2021-05-09 22:52:52] [INFO ] [Nat]Added 382 Read/Feed constraints in 495 ms returned sat
[2021-05-09 22:52:53] [INFO ] Deduced a trap composed of 3 places in 825 ms of which 1 ms to minimize.
[2021-05-09 22:52:54] [INFO ] Deduced a trap composed of 4 places in 834 ms of which 1 ms to minimize.
[2021-05-09 22:52:55] [INFO ] Deduced a trap composed of 4 places in 875 ms of which 2 ms to minimize.
[2021-05-09 22:52:55] [INFO ] Deduced a trap composed of 6 places in 880 ms of which 1 ms to minimize.
[2021-05-09 22:52:56] [INFO ] Deduced a trap composed of 12 places in 816 ms of which 1 ms to minimize.
[2021-05-09 22:52:56] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 4771 ms
[2021-05-09 22:52:58] [INFO ] Computed and/alt/rep : 1864/11289/1864 causal constraints (skipped 472 transitions) in 1070 ms.
[2021-05-09 22:53:03] [INFO ] Added : 5 causal constraints over 1 iterations in 6483 ms. Result :unknown
[2021-05-09 22:53:04] [INFO ] Flatten gal took : 929 ms
[2021-05-09 22:53:05] [INFO ] Flatten gal took : 931 ms
[2021-05-09 22:53:05] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11641857516309588546.gal : 65 ms
[2021-05-09 22:53:05] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3552582202967738335.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11641857516309588546.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3552582202967738335.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11641857516309588546.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3552582202967738335.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3552582202967738335.prop.
Detected timeout of ITS tools.
[2021-05-09 22:53:21] [INFO ] Flatten gal took : 973 ms
[2021-05-09 22:53:21] [INFO ] Applying decomposition
[2021-05-09 22:53:22] [INFO ] Flatten gal took : 918 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13489175862468753566.txt, -o, /tmp/graph13489175862468753566.bin, -w, /tmp/graph13489175862468753566.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13489175862468753566.bin, -l, -1, -v, -w, /tmp/graph13489175862468753566.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 22:53:23] [INFO ] Decomposing Gal with order
[2021-05-09 22:53:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 22:53:24] [INFO ] Removed a total of 4187 redundant transitions.
[2021-05-09 22:53:24] [INFO ] Flatten gal took : 1253 ms
[2021-05-09 22:53:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 910 labels/synchronizations in 86 ms.
[2021-05-09 22:53:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3065124734073172273.gal : 47 ms
[2021-05-09 22:53:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6972631999007762357.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3065124734073172273.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6972631999007762357.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3065124734073172273.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6972631999007762357.prop --nowitness
Loading property file /tmp/ReachabilityCardinality6972631999007762357.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin13061430262764205023
[2021-05-09 22:53:40] [INFO ] Built C files in 60ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13061430262764205023
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin13061430262764205023]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin13061430262764205023] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin13061430262764205023] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 2444 transition count 2336
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 2443 transition count 2336
Performed 191 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 191 Pre rules applied. Total rules applied 2 place count 2443 transition count 2145
Deduced a syphon composed of 191 places in 77 ms
Reduce places removed 191 places and 0 transitions.
Iterating global reduction 2 with 382 rules applied. Total rules applied 384 place count 2252 transition count 2145
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 385 place count 2252 transition count 2144
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 386 place count 2251 transition count 2144
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 387 place count 2251 transition count 2143
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 388 place count 2250 transition count 2143
Applied a total of 388 rules in 800 ms. Remains 2250 /2444 variables (removed 194) and now considering 2143/2337 (removed 194) transitions.
Running SMT prover for 14 properties.
// Phase 1: matrix 2143 rows 2250 cols
[2021-05-09 22:53:42] [INFO ] Invariants computation overflowed in 37 ms
[2021-05-09 22:53:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:54:27] [INFO ] [Real]Absence check using state equation in 44805 ms returned unknown
[2021-05-09 22:54:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:55:03] [INFO ] [Real]Absence check using state equation in 36265 ms returned sat
[2021-05-09 22:55:07] [INFO ] Deduced a trap composed of 2 places in 3851 ms of which 2 ms to minimize.
[2021-05-09 22:55:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 4020 ms
[2021-05-09 22:55:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:55:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:55:45] [INFO ] [Nat]Absence check using state equation in 37091 ms returned sat
[2021-05-09 22:55:48] [INFO ] Deduced a trap composed of 9 places in 3800 ms of which 2 ms to minimize.
[2021-05-09 22:55:52] [INFO ] Deduced a trap composed of 15 places in 3766 ms of which 2 ms to minimize.
[2021-05-09 22:55:56] [INFO ] Deduced a trap composed of 3 places in 3984 ms of which 2 ms to minimize.
[2021-05-09 22:55:56] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-09 22:55:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:56:10] [INFO ] [Real]Absence check using state equation in 13715 ms returned unknown
[2021-05-09 22:56:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:56:22] [INFO ] [Real]Absence check using state equation in 11385 ms returned unknown
[2021-05-09 22:56:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:56:46] [INFO ] [Real]Absence check using state equation in 23686 ms returned sat
[2021-05-09 22:56:48] [INFO ] Deduced a trap composed of 2 places in 2385 ms of which 1 ms to minimize.
[2021-05-09 22:56:51] [INFO ] Deduced a trap composed of 6 places in 2384 ms of which 2 ms to minimize.
[2021-05-09 22:56:53] [INFO ] Deduced a trap composed of 15 places in 2375 ms of which 2 ms to minimize.
[2021-05-09 22:56:53] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 7470 ms
[2021-05-09 22:56:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:56:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:57:17] [INFO ] [Nat]Absence check using state equation in 23808 ms returned sat
[2021-05-09 22:57:20] [INFO ] Deduced a trap composed of 2 places in 2387 ms of which 2 ms to minimize.
[2021-05-09 22:57:22] [INFO ] Deduced a trap composed of 6 places in 2361 ms of which 2 ms to minimize.
[2021-05-09 22:57:25] [INFO ] Deduced a trap composed of 15 places in 2492 ms of which 2 ms to minimize.
[2021-05-09 22:57:25] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 7578 ms
[2021-05-09 22:57:25] [INFO ] Computed and/alt/rep : 1671/10344/1671 causal constraints (skipped 471 transitions) in 327 ms.
[2021-05-09 22:57:29] [INFO ] Added : 5 causal constraints over 1 iterations in 4314 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-09 22:57:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:57:33] [INFO ] [Real]Absence check using state equation in 3852 ms returned sat
[2021-05-09 22:57:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 22:57:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 22:57:37] [INFO ] [Nat]Absence check using state equation in 3828 ms returned sat
[2021-05-09 22:57:41] [INFO ] Deduced a trap composed of 2 places in 3815 ms of which 2 ms to minimize.
[2021-05-09 22:57:45] [INFO ] Deduced a trap composed of 7 places in 3852 ms of which 2 ms to minimize.
[2021-05-09 22:57:49] [INFO ] Deduced a trap composed of 15 places in 3818 ms of which 2 ms to minimize.
[2021-05-09 22:57:53] [INFO ] Deduced a trap composed of 9 places in 3874 ms of which 2 ms to minimize.
[2021-05-09 22:57:57] [INFO ] Deduced a trap composed of 8 places in 4145 ms of which 2 ms to minimize.
[2021-05-09 22:58:01] [INFO ] Deduced a trap composed of 12 places in 3816 ms of which 2 ms to minimize.
[2021-05-09 22:58:05] [INFO ] Deduced a trap composed of 9 places in 3845 ms of which 14 ms to minimize.
[2021-05-09 22:58:09] [INFO ] Deduced a trap composed of 10 places in 3758 ms of which 2 ms to minimize.
[2021-05-09 22:58:13] [INFO ] Deduced a trap composed of 3 places in 3769 ms of which 2 ms to minimize.
[2021-05-09 22:58:13] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 35353 ms
[2021-05-09 22:58:13] [INFO ] Computed and/alt/rep : 1671/10344/1671 causal constraints (skipped 471 transitions) in 326 ms.
[2021-05-09 22:58:18] [INFO ] Added : 5 causal constraints over 1 iterations in 5675 ms. Result :unknown
[2021-05-09 22:58:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:59:03] [INFO ] [Real]Absence check using state equation in 44800 ms returned unknown
[2021-05-09 22:59:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 22:59:48] [INFO ] [Real]Absence check using state equation in 44806 ms returned unknown
[2021-05-09 22:59:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 23:00:04] [INFO ] [Real]Absence check using state equation in 15605 ms returned sat
[2021-05-09 23:00:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-09 23:00:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 23:00:18] [INFO ] [Nat]Absence check using state equation in 13016 ms returned unknown
[2021-05-09 23:00:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 23:01:03] [INFO ] [Real]Absence check using state equation in 44853 ms returned unknown
[2021-05-09 23:01:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 23:01:48] [INFO ] [Real]Absence check using state equation in 44798 ms returned unknown
[2021-05-09 23:01:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 23:02:33] [INFO ] [Real]Absence check using state equation in 44803 ms returned unknown
[2021-05-09 23:02:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 23:02:34] [INFO ] [Real]Absence check using state equation in 1031 ms returned sat
[2021-05-09 23:02:38] [INFO ] Deduced a trap composed of 593 places in 3870 ms of which 2 ms to minimize.
[2021-05-09 23:02:43] [INFO ] Deduced a trap composed of 13 places in 3983 ms of which 2 ms to minimize.
[2021-05-09 23:02:47] [INFO ] Deduced a trap composed of 10 places in 3892 ms of which 8 ms to minimize.
[2021-05-09 23:02:51] [INFO ] Deduced a trap composed of 16 places in 3874 ms of which 3 ms to minimize.
[2021-05-09 23:02:55] [INFO ] Deduced a trap composed of 21 places in 3944 ms of which 2 ms to minimize.
[2021-05-09 23:02:59] [INFO ] Deduced a trap composed of 612 places in 4027 ms of which 2 ms to minimize.
[2021-05-09 23:03:03] [INFO ] Deduced a trap composed of 614 places in 3957 ms of which 3 ms to minimize.
[2021-05-09 23:03:07] [INFO ] Deduced a trap composed of 591 places in 3861 ms of which 3 ms to minimize.
[2021-05-09 23:03:11] [INFO ] Deduced a trap composed of 594 places in 3860 ms of which 2 ms to minimize.
[2021-05-09 23:03:15] [INFO ] Deduced a trap composed of 600 places in 3886 ms of which 2 ms to minimize.
[2021-05-09 23:03:19] [INFO ] Deduced a trap composed of 614 places in 4005 ms of which 2 ms to minimize.
[2021-05-09 23:03:19] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 12
[2021-05-09 23:03:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 23:03:28] [INFO ] [Real]Absence check using state equation in 8170 ms returned unknown
[2021-05-09 23:03:29] [INFO ] Flatten gal took : 937 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin10512018183761520857
[2021-05-09 23:03:29] [INFO ] Too many transitions (2337) to apply POR reductions. Disabling POR matrices.
[2021-05-09 23:03:30] [INFO ] Built C files in 199ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10512018183761520857
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10512018183761520857]
[2021-05-09 23:03:30] [INFO ] Applying decomposition
[2021-05-09 23:03:30] [INFO ] Flatten gal took : 1329 ms
[2021-05-09 23:03:31] [INFO ] Input system was already deterministic with 2337 transitions.
[2021-05-09 23:03:31] [INFO ] Flatten gal took : 1175 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13278578882524527101.txt, -o, /tmp/graph13278578882524527101.bin, -w, /tmp/graph13278578882524527101.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13278578882524527101.bin, -l, -1, -v, -w, /tmp/graph13278578882524527101.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 23:03:32] [INFO ] Decomposing Gal with order
[2021-05-09 23:03:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 23:03:33] [INFO ] Ran tautology test, simplified 0 / 14 in 2563 ms.
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-00(UNSAT) depth K=0 took 60 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-01(UNSAT) depth K=0 took 8 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-02(UNSAT) depth K=0 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-04(UNSAT) depth K=0 took 12 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-05(UNSAT) depth K=0 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-06(UNSAT) depth K=0 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-07(UNSAT) depth K=0 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-08(UNSAT) depth K=0 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-09(UNSAT) depth K=0 took 4 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-11(UNSAT) depth K=0 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-12(UNSAT) depth K=0 took 12 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-13(UNSAT) depth K=0 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-14(UNSAT) depth K=0 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-15(UNSAT) depth K=0 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-00(UNSAT) depth K=1 took 6 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-01(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-02(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-04(UNSAT) depth K=1 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-05(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-06(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-07(UNSAT) depth K=1 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-08(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-09(UNSAT) depth K=1 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-11(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-12(UNSAT) depth K=1 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-13(UNSAT) depth K=1 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-14(UNSAT) depth K=1 took 1 ms
[2021-05-09 23:03:33] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-15(UNSAT) depth K=1 took 2 ms
[2021-05-09 23:03:34] [INFO ] Removed a total of 4513 redundant transitions.
[2021-05-09 23:03:35] [INFO ] Flatten gal took : 1753 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-00(UNSAT) depth K=2 took 1160 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-01(UNSAT) depth K=2 took 3 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-02(UNSAT) depth K=2 took 3 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-04(UNSAT) depth K=2 took 2 ms
[2021-05-09 23:03:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 808 labels/synchronizations in 168 ms.
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-05(UNSAT) depth K=2 took 3 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-06(UNSAT) depth K=2 took 2 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-07(UNSAT) depth K=2 took 3 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-08(UNSAT) depth K=2 took 2 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-09(UNSAT) depth K=2 took 3 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-11(UNSAT) depth K=2 took 2 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-12(UNSAT) depth K=2 took 2 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-13(UNSAT) depth K=2 took 2 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-14(UNSAT) depth K=2 took 95 ms
[2021-05-09 23:03:35] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-15(UNSAT) depth K=2 took 6 ms
[2021-05-09 23:03:35] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability5490997916549936863.gal : 137 ms
[2021-05-09 23:03:35] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability15941917437043863389.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityFireability5490997916549936863.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability15941917437043863389.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability5490997916549936863.gal -t CGAL -reachable-file /tmp/ReachabilityFireability15941917437043863389.prop --nowitness
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 2337 rows 2444 cols
[2021-05-09 23:03:35] [INFO ] Invariants computation overflowed in 72 ms
Total of 0 invariants.
[2021-05-09 23:03:35] [INFO ] Computed 0 place invariants in 73 ms
[2021-05-09 23:03:37] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-00(UNSAT) depth K=3 took 1603 ms
[2021-05-09 23:03:37] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-01(UNSAT) depth K=3 took 607 ms
Loading property file /tmp/ReachabilityFireability15941917437043863389.prop.
[2021-05-09 23:03:38] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-02(UNSAT) depth K=3 took 631 ms
[2021-05-09 23:03:39] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-04(UNSAT) depth K=3 took 725 ms
[2021-05-09 23:03:39] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-05(UNSAT) depth K=3 took 678 ms
[2021-05-09 23:03:40] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-06(UNSAT) depth K=3 took 751 ms
[2021-05-09 23:03:41] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-07(UNSAT) depth K=3 took 791 ms
[2021-05-09 23:03:43] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-08(UNSAT) depth K=3 took 1821 ms
[2021-05-09 23:03:43] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-09(UNSAT) depth K=3 took 730 ms
[2021-05-09 23:03:44] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-11(UNSAT) depth K=3 took 735 ms
[2021-05-09 23:03:46] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-12(UNSAT) depth K=3 took 1610 ms
[2021-05-09 23:03:46] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-13(UNSAT) depth K=3 took 795 ms
[2021-05-09 23:03:47] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-14(UNSAT) depth K=3 took 766 ms
[2021-05-09 23:03:49] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-15(UNSAT) depth K=3 took 1492 ms
[2021-05-09 23:03:53] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-00(UNSAT) depth K=4 took 3705 ms
SDD proceeding with computation,14 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,14 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,14 properties remain. new max is 16
SDD size :1 after 16
SDD proceeding with computation,14 properties remain. new max is 32
SDD size :16 after 55
SDD proceeding with computation,14 properties remain. new max is 64
SDD size :55 after 111
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10512018183761520857] killed by timeout after 25 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10512018183761520857] killed by timeout after 25 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-09 23:03:56] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-01(UNSAT) depth K=4 took 3316 ms
SDD proceeding with computation,14 properties remain. new max is 128
SDD size :111 after 699
[2021-05-09 23:04:02] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-02(UNSAT) depth K=4 took 6257 ms
SDD proceeding with computation,14 properties remain. new max is 256
SDD size :699 after 1500
[2021-05-09 23:04:06] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-04(UNSAT) depth K=4 took 4170 ms
SDD proceeding with computation,14 properties remain. new max is 512
SDD size :1500 after 3063
[2021-05-09 23:04:09] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-05(UNSAT) depth K=4 took 2713 ms
SDD proceeding with computation,14 properties remain. new max is 1024
SDD size :3063 after 10146
[2021-05-09 23:04:13] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-06(UNSAT) depth K=4 took 3961 ms
[2021-05-09 23:04:17] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-07(UNSAT) depth K=4 took 4224 ms
[2021-05-09 23:04:21] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-08(UNSAT) depth K=4 took 3734 ms
[2021-05-09 23:04:25] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-09(UNSAT) depth K=4 took 4144 ms
[2021-05-09 23:04:32] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-11(UNSAT) depth K=4 took 6609 ms
[2021-05-09 23:04:36] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-12(UNSAT) depth K=4 took 4644 ms
[2021-05-09 23:04:38] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-13(UNSAT) depth K=4 took 1842 ms
[2021-05-09 23:04:43] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-14(UNSAT) depth K=4 took 5084 ms
[2021-05-09 23:04:48] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-15(UNSAT) depth K=4 took 4267 ms
[2021-05-09 23:04:57] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-00(UNSAT) depth K=5 took 9585 ms
SDD proceeding with computation,14 properties remain. new max is 2048
SDD size :10146 after 55250
[2021-05-09 23:05:28] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-01(UNSAT) depth K=5 took 31315 ms
[2021-05-09 23:05:56] [INFO ] Proved 2444 variables to be positive in 140910 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-00
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-00(SAT) depth K=0 took 104 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-01
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-01(SAT) depth K=0 took 30 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-02
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-02(SAT) depth K=0 took 24 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-04
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-04(SAT) depth K=0 took 20 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-05
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-05(SAT) depth K=0 took 24 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-06
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-06(SAT) depth K=0 took 12 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-07
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-07(SAT) depth K=0 took 13 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-08
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-08(SAT) depth K=0 took 12 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-09
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-09(SAT) depth K=0 took 12 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-11
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-11(SAT) depth K=0 took 12 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-12
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-12(SAT) depth K=0 took 10 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-13
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-13(SAT) depth K=0 took 10 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-14
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-14(SAT) depth K=0 took 12 ms
[2021-05-09 23:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-15
[2021-05-09 23:05:56] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-15(SAT) depth K=0 took 13 ms
[2021-05-09 23:06:22] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-02(UNSAT) depth K=5 took 53450 ms
[2021-05-09 23:06:38] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-00
[2021-05-09 23:06:38] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-00(SAT) depth K=1 took 41387 ms
[2021-05-09 23:07:17] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-01
[2021-05-09 23:07:17] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-01(SAT) depth K=1 took 38538 ms
[2021-05-09 23:08:27] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-02
[2021-05-09 23:08:27] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-02(SAT) depth K=1 took 70130 ms
[2021-05-09 23:08:57] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-04(UNSAT) depth K=5 took 154770 ms
[2021-05-09 23:09:02] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-05(UNSAT) depth K=5 took 5283 ms
[2021-05-09 23:09:03] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-04
[2021-05-09 23:09:03] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-04(SAT) depth K=1 took 36482 ms
[2021-05-09 23:09:57] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-05
[2021-05-09 23:09:57] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-05(SAT) depth K=1 took 53628 ms
[2021-05-09 23:10:23] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-06
[2021-05-09 23:10:23] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-06(SAT) depth K=1 took 25790 ms
[2021-05-09 23:10:54] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-07
[2021-05-09 23:10:54] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-07(SAT) depth K=1 took 31393 ms
[2021-05-09 23:11:58] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-06(UNSAT) depth K=5 took 175539 ms
[2021-05-09 23:12:15] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-07(UNSAT) depth K=5 took 17695 ms
[2021-05-09 23:12:22] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-08
[2021-05-09 23:12:22] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-08(SAT) depth K=1 took 88010 ms
[2021-05-09 23:13:40] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-09
[2021-05-09 23:13:40] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-09(SAT) depth K=1 took 77526 ms
[2021-05-09 23:14:14] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-11
[2021-05-09 23:14:14] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-11(SAT) depth K=1 took 34609 ms
[2021-05-09 23:14:24] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-08(UNSAT) depth K=5 took 129148 ms
[2021-05-09 23:14:33] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-12
[2021-05-09 23:14:33] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-12(SAT) depth K=1 took 18954 ms
[2021-05-09 23:14:54] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-13
[2021-05-09 23:14:54] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-13(SAT) depth K=1 took 21363 ms
[2021-05-09 23:15:08] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-14
[2021-05-09 23:15:08] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-14(SAT) depth K=1 took 13227 ms
[2021-05-09 23:15:40] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-09(UNSAT) depth K=5 took 75438 ms
[2021-05-09 23:15:43] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-15
[2021-05-09 23:15:43] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-15(SAT) depth K=1 took 34950 ms
[2021-05-09 23:16:38] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-11(UNSAT) depth K=5 took 57820 ms
[2021-05-09 23:17:06] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-12(UNSAT) depth K=5 took 28524 ms
[2021-05-09 23:17:24] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-13(UNSAT) depth K=5 took 17951 ms
[2021-05-09 23:17:47] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-14(UNSAT) depth K=5 took 23137 ms
[2021-05-09 23:20:50] [INFO ] BMC solution for property DoubleExponent-PT-100-ReachabilityFireability-15(UNSAT) depth K=5 took 182648 ms
[2021-05-09 23:21:00] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDoubleExponent-PT-100-ReachabilityFireability-00
[2021-05-09 23:21:00] [INFO ] KInduction solution for property DoubleExponent-PT-100-ReachabilityFireability-00(SAT) depth K=2 took 316902 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="DoubleExponent-PT-100"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
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-4028"
echo " Executing tool itstools"
echo " Input is DoubleExponent-PT-100, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r083-tall-162048875400447"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-100.tgz
mv DoubleExponent-PT-100 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;