About the Execution of LoLA for Echo-PT-d05r03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8012.771 | 3600000.00 | 8356938.00 | 9327.40 | ?????????????T?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.r080-tall-162048871300666.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 lola
Input is Echo-PT-d05r03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r080-tall-162048871300666
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 165K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 28 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 10:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 10:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 18:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 18:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 7 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 2.3M 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 Echo-PT-d05r03-CTLFireability-00
FORMULA_NAME Echo-PT-d05r03-CTLFireability-01
FORMULA_NAME Echo-PT-d05r03-CTLFireability-02
FORMULA_NAME Echo-PT-d05r03-CTLFireability-03
FORMULA_NAME Echo-PT-d05r03-CTLFireability-04
FORMULA_NAME Echo-PT-d05r03-CTLFireability-05
FORMULA_NAME Echo-PT-d05r03-CTLFireability-06
FORMULA_NAME Echo-PT-d05r03-CTLFireability-07
FORMULA_NAME Echo-PT-d05r03-CTLFireability-08
FORMULA_NAME Echo-PT-d05r03-CTLFireability-09
FORMULA_NAME Echo-PT-d05r03-CTLFireability-10
FORMULA_NAME Echo-PT-d05r03-CTLFireability-11
FORMULA_NAME Echo-PT-d05r03-CTLFireability-12
FORMULA_NAME Echo-PT-d05r03-CTLFireability-13
FORMULA_NAME Echo-PT-d05r03-CTLFireability-14
FORMULA_NAME Echo-PT-d05r03-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620817780782
starting LoLA
BK_INPUT Echo-PT-d05r03
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
CTLFireability
spx_run: Lost feasibility 10 times - iter 1343 and 4 nodes.
FORMULA Echo-PT-d05r03-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Echo-PT-d05r03-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/CTLFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:460
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:340
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:340
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:340
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:472
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:448
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:478
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:460
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:454
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:445
lola: rewrite Frontend/Parser/formula_rewrite.k:394
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1105 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1110 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 3 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1115 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 2.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 3 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1120 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 3 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1125 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 3 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1130 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 11.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 0 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 3 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1135 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 7.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 3 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1140 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1145 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1150 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1155 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1160 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 18.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1165 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1170 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 13.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 1 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1175 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 1 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1180 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 1 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1185 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 1 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1190 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 0 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 0 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 1 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-15: EXEF 1 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1195 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: LAUNCH task # 62 (type EXCL) for 61 Echo-PT-d05r03-CTLFireability-15
lola: time limit : 120 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: FINISHED task # 62 (type EXCL) for Echo-PT-d05r03-CTLFireability-15
lola: result : true
lola: markings : 70
lola: fired transitions : 69
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 50 (type EXCL) for 49 Echo-PT-d05r03-CTLFireability-11
lola: time limit : 126 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 67 (type FNDP) for 55 Echo-PT-d05r03-CTLFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type EQUN) for 55 Echo-PT-d05r03-CTLFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 70 (type SRCH) for 55 Echo-PT-d05r03-CTLFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-13: EF 0 1 3 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 1 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 3/126 1/32 Echo-PT-d05r03-CTLFireability-11 15774 m, 3154 m/sec, 74550 t fired, .
67 EF FNDP 0/2399 0/5 Echo-PT-d05r03-CTLFireability-13 --
68 EF STEQ 0/2399 0/5 Echo-PT-d05r03-CTLFireability-13 --
70 EF SRCH 0/2399 1/5 Echo-PT-d05r03-CTLFireability-13 --
Time elapsed: 1201 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 70 (type SRCH) for Echo-PT-d05r03-CTLFireability-13
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 67 (type FNDP) for Echo-PT-d05r03-CTLFireability-13
lola: result : true
lola: fired transitions : 13
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 68 (type EQUN) for Echo-PT-d05r03-CTLFireability-13 (obsolete)
sara: try reading problem file /home/mcc/execution/CTLFireability-68.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 8/133 1/32 Echo-PT-d05r03-CTLFireability-11 40589 m, 4963 m/sec, 212049 t fired, .
Time elapsed: 1206 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 13/133 1/32 Echo-PT-d05r03-CTLFireability-11 67644 m, 5411 m/sec, 361840 t fired, .
Time elapsed: 1211 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 18/133 1/32 Echo-PT-d05r03-CTLFireability-11 94350 m, 5341 m/sec, 505759 t fired, .
Time elapsed: 1216 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 23/133 1/32 Echo-PT-d05r03-CTLFireability-11 119918 m, 5113 m/sec, 659632 t fired, .
Time elapsed: 1221 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 28/133 1/32 Echo-PT-d05r03-CTLFireability-11 144802 m, 4976 m/sec, 810532 t fired, .
Time elapsed: 1226 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 33/133 2/32 Echo-PT-d05r03-CTLFireability-11 170501 m, 5139 m/sec, 958817 t fired, .
Time elapsed: 1231 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 38/133 2/32 Echo-PT-d05r03-CTLFireability-11 195665 m, 5032 m/sec, 1106648 t fired, .
Time elapsed: 1236 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 43/133 2/32 Echo-PT-d05r03-CTLFireability-11 221320 m, 5131 m/sec, 1264018 t fired, .
Time elapsed: 1241 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 48/133 2/32 Echo-PT-d05r03-CTLFireability-11 247194 m, 5174 m/sec, 1415535 t fired, .
Time elapsed: 1246 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 53/133 2/32 Echo-PT-d05r03-CTLFireability-11 272174 m, 4996 m/sec, 1558251 t fired, .
Time elapsed: 1251 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 58/133 2/32 Echo-PT-d05r03-CTLFireability-11 297274 m, 5020 m/sec, 1710465 t fired, .
Time elapsed: 1256 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 63/133 3/32 Echo-PT-d05r03-CTLFireability-11 321793 m, 4903 m/sec, 1857155 t fired, .
Time elapsed: 1261 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 68/133 3/32 Echo-PT-d05r03-CTLFireability-11 348801 m, 5401 m/sec, 2010646 t fired, .
Time elapsed: 1266 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 73/133 3/32 Echo-PT-d05r03-CTLFireability-11 373994 m, 5038 m/sec, 2163195 t fired, .
Time elapsed: 1271 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 78/133 3/32 Echo-PT-d05r03-CTLFireability-11 399149 m, 5031 m/sec, 2314730 t fired, .
Time elapsed: 1276 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 83/133 3/32 Echo-PT-d05r03-CTLFireability-11 425296 m, 5229 m/sec, 2469014 t fired, .
Time elapsed: 1281 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 88/133 3/32 Echo-PT-d05r03-CTLFireability-11 449108 m, 4762 m/sec, 2623184 t fired, .
Time elapsed: 1286 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 93/133 4/32 Echo-PT-d05r03-CTLFireability-11 470786 m, 4335 m/sec, 2767933 t fired, .
Time elapsed: 1291 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 98/133 4/32 Echo-PT-d05r03-CTLFireability-11 495249 m, 4892 m/sec, 2922675 t fired, .
Time elapsed: 1296 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 103/133 4/32 Echo-PT-d05r03-CTLFireability-11 519362 m, 4822 m/sec, 3072821 t fired, .
Time elapsed: 1301 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 108/133 4/32 Echo-PT-d05r03-CTLFireability-11 543745 m, 4876 m/sec, 3232411 t fired, .
Time elapsed: 1306 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 113/133 4/32 Echo-PT-d05r03-CTLFireability-11 567579 m, 4766 m/sec, 3388257 t fired, .
Time elapsed: 1311 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 118/133 4/32 Echo-PT-d05r03-CTLFireability-11 592339 m, 4952 m/sec, 3542104 t fired, .
Time elapsed: 1316 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 123/133 5/32 Echo-PT-d05r03-CTLFireability-11 615672 m, 4666 m/sec, 3693303 t fired, .
Time elapsed: 1321 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 128/133 5/32 Echo-PT-d05r03-CTLFireability-11 638379 m, 4541 m/sec, 3843905 t fired, .
Time elapsed: 1326 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 133/133 5/32 Echo-PT-d05r03-CTLFireability-11 661193 m, 4562 m/sec, 3988501 t fired, .
Time elapsed: 1331 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 50 (type EXCL) for Echo-PT-d05r03-CTLFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 1 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 1336 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 59 (type EXCL) for 58 Echo-PT-d05r03-CTLFireability-14
lola: time limit : 133 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 50 (type EXCL) for 49 Echo-PT-d05r03-CTLFireability-11
lola: time limit : 2264 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 5/2264 1/5 Echo-PT-d05r03-CTLFireability-11 27188 m, -126801 m/sec, 138082 t fired, .
59 CTL EXCL 5/133 1/32 Echo-PT-d05r03-CTLFireability-14 24443 m, 4888 m/sec, 136829 t fired, .
Time elapsed: 1341 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 10/2264 1/5 Echo-PT-d05r03-CTLFireability-11 54415 m, 5445 m/sec, 290826 t fired, .
59 CTL EXCL 10/125 1/32 Echo-PT-d05r03-CTLFireability-14 48729 m, 4857 m/sec, 287193 t fired, .
Time elapsed: 1346 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 15/2264 1/5 Echo-PT-d05r03-CTLFireability-11 82372 m, 5591 m/sec, 440595 t fired, .
59 CTL EXCL 15/125 1/32 Echo-PT-d05r03-CTLFireability-14 72871 m, 4828 m/sec, 432706 t fired, .
Time elapsed: 1351 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 20/2264 1/5 Echo-PT-d05r03-CTLFireability-11 108544 m, 5234 m/sec, 591321 t fired, .
59 CTL EXCL 20/125 1/32 Echo-PT-d05r03-CTLFireability-14 93511 m, 4128 m/sec, 581669 t fired, .
Time elapsed: 1356 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 25/2264 1/5 Echo-PT-d05r03-CTLFireability-11 133607 m, 5012 m/sec, 742869 t fired, .
59 CTL EXCL 25/125 1/32 Echo-PT-d05r03-CTLFireability-14 114737 m, 4245 m/sec, 727839 t fired, .
Time elapsed: 1361 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 30/2264 2/5 Echo-PT-d05r03-CTLFireability-11 158823 m, 5043 m/sec, 892673 t fired, .
59 CTL EXCL 30/125 2/32 Echo-PT-d05r03-CTLFireability-14 136807 m, 4414 m/sec, 877582 t fired, .
Time elapsed: 1366 secs. Pages in use: 10
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 35/2264 2/5 Echo-PT-d05r03-CTLFireability-11 184884 m, 5212 m/sec, 1041119 t fired, .
59 CTL EXCL 35/125 2/32 Echo-PT-d05r03-CTLFireability-14 157811 m, 4200 m/sec, 1026129 t fired, .
Time elapsed: 1371 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 40/2264 2/5 Echo-PT-d05r03-CTLFireability-11 210446 m, 5112 m/sec, 1195649 t fired, .
59 CTL EXCL 40/125 2/32 Echo-PT-d05r03-CTLFireability-14 180086 m, 4455 m/sec, 1173133 t fired, .
Time elapsed: 1376 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 45/2264 2/5 Echo-PT-d05r03-CTLFireability-11 235548 m, 5020 m/sec, 1347305 t fired, .
59 CTL EXCL 45/125 2/32 Echo-PT-d05r03-CTLFireability-14 200514 m, 4085 m/sec, 1322095 t fired, .
Time elapsed: 1381 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 50/2264 2/5 Echo-PT-d05r03-CTLFireability-11 261185 m, 5127 m/sec, 1493035 t fired, .
59 CTL EXCL 50/125 2/32 Echo-PT-d05r03-CTLFireability-14 222101 m, 4317 m/sec, 1463683 t fired, .
Time elapsed: 1386 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 55/2264 2/5 Echo-PT-d05r03-CTLFireability-11 286609 m, 5084 m/sec, 1646623 t fired, .
59 CTL EXCL 55/125 2/32 Echo-PT-d05r03-CTLFireability-14 244101 m, 4400 m/sec, 1619292 t fired, .
Time elapsed: 1391 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 60/2264 3/5 Echo-PT-d05r03-CTLFireability-11 311422 m, 4962 m/sec, 1796844 t fired, .
59 CTL EXCL 60/125 3/32 Echo-PT-d05r03-CTLFireability-14 265293 m, 4238 m/sec, 1764836 t fired, .
Time elapsed: 1396 secs. Pages in use: 13
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 65/2264 3/5 Echo-PT-d05r03-CTLFireability-11 337766 m, 5268 m/sec, 1947811 t fired, .
59 CTL EXCL 65/125 3/32 Echo-PT-d05r03-CTLFireability-14 283748 m, 3691 m/sec, 1913857 t fired, .
Time elapsed: 1401 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 70/2264 3/5 Echo-PT-d05r03-CTLFireability-11 364099 m, 5266 m/sec, 2103042 t fired, .
59 CTL EXCL 70/125 3/32 Echo-PT-d05r03-CTLFireability-14 302776 m, 3805 m/sec, 2060985 t fired, .
Time elapsed: 1406 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 75/2264 3/5 Echo-PT-d05r03-CTLFireability-11 390014 m, 5183 m/sec, 2261800 t fired, .
59 CTL EXCL 75/125 3/32 Echo-PT-d05r03-CTLFireability-14 322154 m, 3875 m/sec, 2213222 t fired, .
Time elapsed: 1411 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 80/2264 3/5 Echo-PT-d05r03-CTLFireability-11 416695 m, 5336 m/sec, 2418088 t fired, .
59 CTL EXCL 80/125 3/32 Echo-PT-d05r03-CTLFireability-14 340347 m, 3638 m/sec, 2358058 t fired, .
Time elapsed: 1416 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 85/2264 3/5 Echo-PT-d05r03-CTLFireability-11 440981 m, 4857 m/sec, 2571324 t fired, .
59 CTL EXCL 85/125 3/32 Echo-PT-d05r03-CTLFireability-14 359497 m, 3830 m/sec, 2505563 t fired, .
Time elapsed: 1421 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 90/2264 4/5 Echo-PT-d05r03-CTLFireability-11 463752 m, 4554 m/sec, 2719989 t fired, .
59 CTL EXCL 90/125 3/32 Echo-PT-d05r03-CTLFireability-14 377316 m, 3563 m/sec, 2649359 t fired, .
Time elapsed: 1426 secs. Pages in use: 15
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 95/2264 4/5 Echo-PT-d05r03-CTLFireability-11 487226 m, 4694 m/sec, 2872287 t fired, .
59 CTL EXCL 95/125 4/32 Echo-PT-d05r03-CTLFireability-14 398941 m, 4325 m/sec, 2799174 t fired, .
Time elapsed: 1431 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 100/2264 4/5 Echo-PT-d05r03-CTLFireability-11 513190 m, 5192 m/sec, 3032985 t fired, .
59 CTL EXCL 100/125 4/32 Echo-PT-d05r03-CTLFireability-14 420526 m, 4317 m/sec, 2951043 t fired, .
Time elapsed: 1436 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 105/2264 4/5 Echo-PT-d05r03-CTLFireability-11 536248 m, 4611 m/sec, 3184590 t fired, .
59 CTL EXCL 105/125 4/32 Echo-PT-d05r03-CTLFireability-14 439931 m, 3881 m/sec, 3094284 t fired, .
Time elapsed: 1441 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 110/2264 4/5 Echo-PT-d05r03-CTLFireability-11 559462 m, 4642 m/sec, 3336840 t fired, .
59 CTL EXCL 110/125 4/32 Echo-PT-d05r03-CTLFireability-14 458126 m, 3639 m/sec, 3241193 t fired, .
Time elapsed: 1446 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 115/2264 4/5 Echo-PT-d05r03-CTLFireability-11 584347 m, 4977 m/sec, 3493295 t fired, .
59 CTL EXCL 115/125 4/32 Echo-PT-d05r03-CTLFireability-14 478052 m, 3985 m/sec, 3393293 t fired, .
Time elapsed: 1451 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 120/2264 5/5 Echo-PT-d05r03-CTLFireability-11 607780 m, 4686 m/sec, 3642087 t fired, .
59 CTL EXCL 120/125 4/32 Echo-PT-d05r03-CTLFireability-14 496049 m, 3599 m/sec, 3539745 t fired, .
Time elapsed: 1456 secs. Pages in use: 18
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 125/2264 5/5 Echo-PT-d05r03-CTLFireability-11 631037 m, 4651 m/sec, 3795269 t fired, .
59 CTL EXCL 125/125 5/32 Echo-PT-d05r03-CTLFireability-14 515805 m, 3951 m/sec, 3687993 t fired, .
Time elapsed: 1461 secs. Pages in use: 19
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 59 (type EXCL) for Echo-PT-d05r03-CTLFireability-14 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 1 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 130/2264 5/5 Echo-PT-d05r03-CTLFireability-11 654392 m, 4671 m/sec, 3945537 t fired, .
Time elapsed: 1466 secs. Pages in use: 20
# running tasks: 2 of 4 Visible: 16
lola: LAUNCH task # 59 (type EXCL) for 58 Echo-PT-d05r03-CTLFireability-14
lola: time limit : 2134 sec
lola: memory limit: 5 pages
lola: CANCELED task # 50 (type EXCL) for Echo-PT-d05r03-CTLFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 1 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 CTL EXCL 4/2134 1/5 Echo-PT-d05r03-CTLFireability-14 17449 m, -99671 m/sec, 95211 t fired, .
Time elapsed: 1471 secs. Pages in use: 22
# running tasks: 2 of 4 Visible: 16
lola: LAUNCH task # 50 (type EXCL) for 49 Echo-PT-d05r03-CTLFireability-11
lola: time limit : 2129 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 3/2129 1/5 Echo-PT-d05r03-CTLFireability-11 14910 m, -127896 m/sec, 70022 t fired, .
59 CTL EXCL 9/125 1/5 Echo-PT-d05r03-CTLFireability-14 32949 m, 3100 m/sec, 189486 t fired, .
Time elapsed: 1476 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 8/2129 1/5 Echo-PT-d05r03-CTLFireability-11 32720 m, 3562 m/sec, 168014 t fired, .
59 CTL EXCL 14/118 1/5 Echo-PT-d05r03-CTLFireability-14 48594 m, 3129 m/sec, 286359 t fired, .
Time elapsed: 1481 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 13/2129 1/5 Echo-PT-d05r03-CTLFireability-11 50347 m, 3525 m/sec, 267526 t fired, .
59 CTL EXCL 19/118 1/5 Echo-PT-d05r03-CTLFireability-14 62279 m, 2737 m/sec, 366671 t fired, .
Time elapsed: 1486 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 18/2129 1/5 Echo-PT-d05r03-CTLFireability-11 68402 m, 3611 m/sec, 366083 t fired, .
59 CTL EXCL 24/118 1/5 Echo-PT-d05r03-CTLFireability-14 77515 m, 3047 m/sec, 466914 t fired, .
Time elapsed: 1491 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 23/2129 1/5 Echo-PT-d05r03-CTLFireability-11 88091 m, 3937 m/sec, 470608 t fired, .
59 CTL EXCL 29/118 1/5 Echo-PT-d05r03-CTLFireability-14 92483 m, 2993 m/sec, 573578 t fired, .
Time elapsed: 1496 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 28/2129 1/5 Echo-PT-d05r03-CTLFireability-11 105268 m, 3435 m/sec, 570027 t fired, .
59 CTL EXCL 34/118 1/5 Echo-PT-d05r03-CTLFireability-14 104189 m, 2341 m/sec, 656038 t fired, .
Time elapsed: 1501 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 33/2129 1/5 Echo-PT-d05r03-CTLFireability-11 123072 m, 3560 m/sec, 678172 t fired, .
59 CTL EXCL 39/118 1/5 Echo-PT-d05r03-CTLFireability-14 115901 m, 2342 m/sec, 733778 t fired, .
Time elapsed: 1506 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 38/2129 1/5 Echo-PT-d05r03-CTLFireability-11 140499 m, 3485 m/sec, 785361 t fired, .
59 CTL EXCL 44/118 2/5 Echo-PT-d05r03-CTLFireability-14 130431 m, 2906 m/sec, 831833 t fired, .
Time elapsed: 1511 secs. Pages in use: 26
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 43/2129 2/5 Echo-PT-d05r03-CTLFireability-11 154377 m, 2775 m/sec, 866952 t fired, .
59 CTL EXCL 49/118 2/5 Echo-PT-d05r03-CTLFireability-14 142510 m, 2415 m/sec, 916953 t fired, .
Time elapsed: 1516 secs. Pages in use: 27
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 48/2129 2/5 Echo-PT-d05r03-CTLFireability-11 169540 m, 3032 m/sec, 953743 t fired, .
59 CTL EXCL 54/118 2/5 Echo-PT-d05r03-CTLFireability-14 154565 m, 2411 m/sec, 1003270 t fired, .
Time elapsed: 1521 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 54/2129 2/5 Echo-PT-d05r03-CTLFireability-11 186519 m, 3395 m/sec, 1050897 t fired, .
59 CTL EXCL 60/118 2/5 Echo-PT-d05r03-CTLFireability-14 168056 m, 2698 m/sec, 1092871 t fired, .
Time elapsed: 1527 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 59/2129 2/5 Echo-PT-d05r03-CTLFireability-11 201833 m, 3062 m/sec, 1144492 t fired, .
59 CTL EXCL 65/118 2/5 Echo-PT-d05r03-CTLFireability-14 177226 m, 1834 m/sec, 1152129 t fired, .
Time elapsed: 1532 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 64/2129 2/5 Echo-PT-d05r03-CTLFireability-11 219674 m, 3568 m/sec, 1253377 t fired, .
59 CTL EXCL 70/118 2/5 Echo-PT-d05r03-CTLFireability-14 189253 m, 2405 m/sec, 1240239 t fired, .
Time elapsed: 1537 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 69/2129 2/5 Echo-PT-d05r03-CTLFireability-11 235888 m, 3242 m/sec, 1349297 t fired, .
59 CTL EXCL 75/118 2/5 Echo-PT-d05r03-CTLFireability-14 201159 m, 2381 m/sec, 1326399 t fired, .
Time elapsed: 1542 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 74/2129 2/5 Echo-PT-d05r03-CTLFireability-11 251137 m, 3049 m/sec, 1437516 t fired, .
59 CTL EXCL 80/118 2/5 Echo-PT-d05r03-CTLFireability-14 213974 m, 2563 m/sec, 1412814 t fired, .
Time elapsed: 1547 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 79/2129 2/5 Echo-PT-d05r03-CTLFireability-11 268105 m, 3393 m/sec, 1533214 t fired, .
59 CTL EXCL 85/118 2/5 Echo-PT-d05r03-CTLFireability-14 229213 m, 3047 m/sec, 1512621 t fired, .
Time elapsed: 1552 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 84/2129 2/5 Echo-PT-d05r03-CTLFireability-11 282574 m, 2893 m/sec, 1620678 t fired, .
59 CTL EXCL 90/118 2/5 Echo-PT-d05r03-CTLFireability-14 240414 m, 2240 m/sec, 1591382 t fired, .
Time elapsed: 1557 secs. Pages in use: 29
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 89/2129 2/5 Echo-PT-d05r03-CTLFireability-11 294172 m, 2319 m/sec, 1690694 t fired, .
59 CTL EXCL 95/118 2/5 Echo-PT-d05r03-CTLFireability-14 248426 m, 1602 m/sec, 1649780 t fired, .
Time elapsed: 1562 secs. Pages in use: 30
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 94/2129 3/5 Echo-PT-d05r03-CTLFireability-11 305340 m, 2233 m/sec, 1761618 t fired, .
59 CTL EXCL 100/118 3/5 Echo-PT-d05r03-CTLFireability-14 257587 m, 1832 m/sec, 1710756 t fired, .
Time elapsed: 1567 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 99/2129 3/5 Echo-PT-d05r03-CTLFireability-11 322157 m, 3363 m/sec, 1859266 t fired, .
59 CTL EXCL 105/118 3/5 Echo-PT-d05r03-CTLFireability-14 271815 m, 2845 m/sec, 1817790 t fired, .
Time elapsed: 1572 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 104/2129 3/5 Echo-PT-d05r03-CTLFireability-11 338418 m, 3252 m/sec, 1951300 t fired, .
59 CTL EXCL 110/118 3/5 Echo-PT-d05r03-CTLFireability-14 282984 m, 2233 m/sec, 1907242 t fired, .
Time elapsed: 1577 secs. Pages in use: 34
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 109/2129 3/5 Echo-PT-d05r03-CTLFireability-11 356264 m, 3569 m/sec, 2056525 t fired, .
59 CTL EXCL 115/118 3/5 Echo-PT-d05r03-CTLFireability-14 294077 m, 2218 m/sec, 1996072 t fired, .
Time elapsed: 1582 secs. Pages in use: 34
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 59 (type EXCL) for Echo-PT-d05r03-CTLFireability-14 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 0 0 1 1 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 114/2129 3/5 Echo-PT-d05r03-CTLFireability-11 372510 m, 3249 m/sec, 2154128 t fired, .
Time elapsed: 1587 secs. Pages in use: 34
# running tasks: 2 of 4 Visible: 16
lola: LAUNCH task # 59 (type EXCL) for 58 Echo-PT-d05r03-CTLFireability-14
lola: time limit : 2013 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 123/125 3/5 Echo-PT-d05r03-CTLFireability-11 397750 m, 5048 m/sec, 2306487 t fired, .
59 CTL EXCL 0/2013 0/5 Echo-PT-d05r03-CTLFireability-14 --
Time elapsed: 1596 secs. Pages in use: 35
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 50 (type EXCL) for Echo-PT-d05r03-CTLFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 0 0 1 1 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 CTL EXCL 5/111 1/5 Echo-PT-d05r03-CTLFireability-14 15136 m, -55788 m/sec, 79378 t fired, .
Time elapsed: 1601 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
lola: LAUNCH task # 50 (type EXCL) for 49 Echo-PT-d05r03-CTLFireability-11
lola: time limit : 1999 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 0/1999 0/5 Echo-PT-d05r03-CTLFireability-11 --
59 CTL EXCL 13/117 1/5 Echo-PT-d05r03-CTLFireability-14 32752 m, 3523 m/sec, 188438 t fired, .
Time elapsed: 1609 secs. Pages in use: 37
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 5/1999 1/5 Echo-PT-d05r03-CTLFireability-11 8253 m, -77899 m/sec, 34958 t fired, .
59 CTL EXCL 18/111 1/5 Echo-PT-d05r03-CTLFireability-14 40135 m, 1476 m/sec, 237313 t fired, .
Time elapsed: 1614 secs. Pages in use: 38
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 10/1999 1/5 Echo-PT-d05r03-CTLFireability-11 20642 m, 2477 m/sec, 101023 t fired, .
59 CTL EXCL 23/111 1/5 Echo-PT-d05r03-CTLFireability-14 51416 m, 2256 m/sec, 303332 t fired, .
Time elapsed: 1619 secs. Pages in use: 38
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 15/1999 1/5 Echo-PT-d05r03-CTLFireability-11 34037 m, 2679 m/sec, 175436 t fired, .
59 CTL EXCL 28/111 1/5 Echo-PT-d05r03-CTLFireability-14 62752 m, 2267 m/sec, 369808 t fired, .
Time elapsed: 1624 secs. Pages in use: 39
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 20/1999 1/5 Echo-PT-d05r03-CTLFireability-11 45573 m, 2307 m/sec, 239229 t fired, .
59 CTL EXCL 33/111 1/5 Echo-PT-d05r03-CTLFireability-14 72928 m, 2035 m/sec, 433167 t fired, .
Time elapsed: 1629 secs. Pages in use: 39
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 25/1999 1/5 Echo-PT-d05r03-CTLFireability-11 55945 m, 2074 m/sec, 299832 t fired, .
59 CTL EXCL 38/111 1/5 Echo-PT-d05r03-CTLFireability-14 81595 m, 1733 m/sec, 494719 t fired, .
Time elapsed: 1634 secs. Pages in use: 40
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 30/1999 1/5 Echo-PT-d05r03-CTLFireability-11 67125 m, 2236 m/sec, 358739 t fired, .
59 CTL EXCL 43/111 1/5 Echo-PT-d05r03-CTLFireability-14 90694 m, 1819 m/sec, 559635 t fired, .
Time elapsed: 1639 secs. Pages in use: 40
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 35/1999 1/5 Echo-PT-d05r03-CTLFireability-11 79910 m, 2557 m/sec, 427090 t fired, .
59 CTL EXCL 48/111 1/5 Echo-PT-d05r03-CTLFireability-14 99551 m, 1771 m/sec, 625122 t fired, .
Time elapsed: 1644 secs. Pages in use: 40
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 40/1999 1/5 Echo-PT-d05r03-CTLFireability-11 91095 m, 2237 m/sec, 486972 t fired, .
59 CTL EXCL 53/111 1/5 Echo-PT-d05r03-CTLFireability-14 107118 m, 1513 m/sec, 676445 t fired, .
Time elapsed: 1649 secs. Pages in use: 40
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 45/1999 1/5 Echo-PT-d05r03-CTLFireability-11 100014 m, 1783 m/sec, 538379 t fired, .
59 CTL EXCL 58/111 1/5 Echo-PT-d05r03-CTLFireability-14 111932 m, 962 m/sec, 708221 t fired, .
Time elapsed: 1654 secs. Pages in use: 40
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 50/1999 1/5 Echo-PT-d05r03-CTLFireability-11 110586 m, 2114 m/sec, 602730 t fired, .
59 CTL EXCL 63/111 1/5 Echo-PT-d05r03-CTLFireability-14 119126 m, 1438 m/sec, 752766 t fired, .
Time elapsed: 1659 secs. Pages in use: 41
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 55/1999 1/5 Echo-PT-d05r03-CTLFireability-11 124914 m, 2865 m/sec, 689092 t fired, .
59 CTL EXCL 68/111 2/5 Echo-PT-d05r03-CTLFireability-14 129342 m, 2043 m/sec, 824323 t fired, .
Time elapsed: 1664 secs. Pages in use: 42
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 60/1999 1/5 Echo-PT-d05r03-CTLFireability-11 136869 m, 2391 m/sec, 763037 t fired, .
59 CTL EXCL 73/111 2/5 Echo-PT-d05r03-CTLFireability-14 136457 m, 1423 m/sec, 874783 t fired, .
Time elapsed: 1669 secs. Pages in use: 42
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 65/1999 1/5 Echo-PT-d05r03-CTLFireability-11 149820 m, 2590 m/sec, 839144 t fired, .
59 CTL EXCL 78/111 2/5 Echo-PT-d05r03-CTLFireability-14 143914 m, 1491 m/sec, 928007 t fired, .
Time elapsed: 1674 secs. Pages in use: 42
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 70/1999 2/5 Echo-PT-d05r03-CTLFireability-11 160926 m, 2221 m/sec, 905094 t fired, .
59 CTL EXCL 83/111 2/5 Echo-PT-d05r03-CTLFireability-14 152789 m, 1775 m/sec, 992509 t fired, .
Time elapsed: 1679 secs. Pages in use: 43
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 75/1999 2/5 Echo-PT-d05r03-CTLFireability-11 174037 m, 2622 m/sec, 978208 t fired, .
59 CTL EXCL 88/111 2/5 Echo-PT-d05r03-CTLFireability-14 160532 m, 1548 m/sec, 1044009 t fired, .
Time elapsed: 1684 secs. Pages in use: 43
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 80/1999 2/5 Echo-PT-d05r03-CTLFireability-11 188508 m, 2894 m/sec, 1063194 t fired, .
59 CTL EXCL 93/111 2/5 Echo-PT-d05r03-CTLFireability-14 171118 m, 2117 m/sec, 1111126 t fired, .
Time elapsed: 1689 secs. Pages in use: 44
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Echo-PT-d05r03-CTLFireability-13: EF true findpath
Echo-PT-d05r03-CTLFireability-15: EXEF true state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Echo-PT-d05r03-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-01: AGAF 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-07: F 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-08: DISJ 0 2 0 0 2 0 0 0
Echo-PT-d05r03-CTLFireability-09: CONJ 0 4 0 0 4 0 0 0
Echo-PT-d05r03-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-12: CTL 0 1 0 0 1 0 0 0
Echo-PT-d05r03-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 CTL EXCL 85/1999 2/5 Echo-PT-d05r03-CTLFireability-11 200746 m, 2447 m/sec, 1137223 t fired, .
59 CTL EXCL 98/111 2/5 Echo-PT-d05r03-CTLFireability-14 180867 m, 1949 m/sec, 1179301 t fired, .
Time elapsed: 1694 secs. Pages in use: 44
========== file over 1MB has been truncated ======
retrieve it from the run archives if needed
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="Echo-PT-d05r03"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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 lola"
echo " Input is Echo-PT-d05r03, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r080-tall-162048871300666"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d05r03.tgz
mv Echo-PT-d05r03 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;